{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":111204713,"defaultBranch":"master","name":"The-Spiral-Language","ownerLogin":"mrakgr","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-11-18T12:42:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6266635?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1722081983.0","currentOid":""},"activityList":{"items":[{"before":"10ff124e4dce62a75cb6346b640c61b894f0acdd","after":"99e523f9e1b85005fecf8a7d61bc00364ca8999b","ref":"refs/heads/master","pushedAt":"2024-09-09T16:02:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Released v2.14.0.","shortMessageHtmlLink":"Released v2.14.0."}},{"before":"7f8ddbc2e3758c950435515a14da1e12bcec31b7","after":"10ff124e4dce62a75cb6346b640c61b894f0acdd","ref":"refs/heads/master","pushedAt":"2024-09-08T10:03:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Minor change to the way the main type vars are defined in the Python backend. Intellisense will stop complaining about vars being used in type annotations.","shortMessageHtmlLink":"* Minor change to the way the main type vars are defined in the Pytho…"}},{"before":"3311547824a13108f01cf2f7747bb181d4d162c9","after":"7f8ddbc2e3758c950435515a14da1e12bcec31b7","ref":"refs/heads/master","pushedAt":"2024-09-06T10:12:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Changed the FreeVars op so it uses {} instead of () as the terminator. Unit types unlike empty records don't mix well with tensors.","shortMessageHtmlLink":"* Changed the FreeVars op so it uses {} instead of () as the terminat…"}},{"before":"8f88e18f54ef14b2a555c0f37babb0c965425289","after":"3311547824a13108f01cf2f7747bb181d4d162c9","ref":"refs/heads/master","pushedAt":"2024-09-05T06:31:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Updated changelog example.","shortMessageHtmlLink":"Updated changelog example."}},{"before":"6cf3857aea1c389bc5622a8a487d385dce5691e0","after":"8f88e18f54ef14b2a555c0f37babb0c965425289","ref":"refs/heads/master","pushedAt":"2024-09-05T06:31:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Non-default literals can now be safely converted by annotations as long as they are immediate. Example: `real 2.5 : f32`.","shortMessageHtmlLink":"* Non-default literals can now be safely converted by annotations as …"}},{"before":"cc7e98468db44e968a7bcf9d3ff577b34751e703","after":"6cf3857aea1c389bc5622a8a487d385dce5691e0","ref":"refs/heads/master","pushedAt":"2024-08-26T12:03:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Fixed a type var shadowing bug during module opens in the top down segment.","shortMessageHtmlLink":"* Fixed a type var shadowing bug during module opens in the top down …"}},{"before":"854ecad93fa36fb8f3290815cbdddd421ead7c83","after":"cc7e98468db44e968a7bcf9d3ff577b34751e703","ref":"refs/heads/master","pushedAt":"2024-08-26T12:03:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Fixed a type var shadowing bug during module opens in the top down segment.","shortMessageHtmlLink":"* Fixed a type var shadowing bug during module opens in the top down …"}},{"before":"3ad71f9015d0f58e34de25fec8efc8b3502191d1","after":"854ecad93fa36fb8f3290815cbdddd421ead7c83","ref":"refs/heads/master","pushedAt":"2024-08-21T08:57:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Changelog.","shortMessageHtmlLink":"Changelog."}},{"before":"08ef47c4e1f5b6ac56c994c9be70f6584ef77e9c","after":"3ad71f9015d0f58e34de25fec8efc8b3502191d1","ref":"refs/heads/master","pushedAt":"2024-08-21T08:57:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Updated to v2.13.11.","shortMessageHtmlLink":"Updated to v2.13.11."}},{"before":"b27125f6bd28114eec0fcc285ea6b9a84e17cae7","after":"08ef47c4e1f5b6ac56c994c9be70f6584ef77e9c","ref":"refs/heads/master","pushedAt":"2024-08-20T17:00:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* The Cuda closure constructors now have the correct __device__ annotation.\n* Added the FreeVarsReplace op to the language.","shortMessageHtmlLink":"* The Cuda closure constructors now have the correct __device__ annot…"}},{"before":"043e7085ade382c2a5445aaec48814bc6724fd91","after":"b27125f6bd28114eec0fcc285ea6b9a84e17cae7","ref":"refs/heads/master","pushedAt":"2024-08-18T08:44:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Added a `__trap()` in TyUnionUnbox. Now trap calls will be placed in the default case in Cuda union unboxing.","shortMessageHtmlLink":"* Added a <code>__trap()</code> in TyUnionUnbox. Now trap calls will be placed i…"}},{"before":"9749ac8b9ae308c9aaaa6ed886777e0357103697","after":"043e7085ade382c2a5445aaec48814bc6724fd91","ref":"refs/heads/master","pushedAt":"2024-08-17T15:59:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Replaced `asm(\"exit;\")` with `__trap()` in the Cuda codegen. It will raise an error on the host (assuming it doesn't exit before the kernel completes.)\n* Changed the way the main function is generated on the Python side so the above bullet point holds.","shortMessageHtmlLink":"* Replaced <code>asm(\"exit;\")</code> with <code>__trap()</code> in the Cuda codegen. It wil…"}},{"before":"6d82f59632855e5f0198644018cacd2d172e5a55","after":"9749ac8b9ae308c9aaaa6ed886777e0357103697","ref":"refs/heads/master","pushedAt":"2024-08-10T17:24:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Cannot serve as a substitute for the discrete sampling function.","shortMessageHtmlLink":"Cannot serve as a substitute for the discrete sampling function."}},{"before":"077523ece028eee8b4a04c302065e7fc5b612e99","after":"6d82f59632855e5f0198644018cacd2d172e5a55","ref":"refs/heads/master","pushedAt":"2024-08-09T16:03:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Released v2.13.7.","shortMessageHtmlLink":"Released v2.13.7."}},{"before":"c4de82434d9b68e144d4d12d7cc655e1b857dd59","after":"077523ece028eee8b4a04c302065e7fc5b612e99","ref":"refs/heads/master","pushedAt":"2024-08-09T09:27:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Released v2.13.6.","shortMessageHtmlLink":"Released v2.13.6."}},{"before":"c35902fe3b5d1b0eb6cb216393316e19711573a5","after":"c4de82434d9b68e144d4d12d7cc655e1b857dd59","ref":"refs/heads/master","pushedAt":"2024-08-08T16:52:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Done for today.","shortMessageHtmlLink":"Done for today."}},{"before":"0747841a5403dad36fcb8c16689ba90bc585dce2","after":"c35902fe3b5d1b0eb6cb216393316e19711573a5","ref":"refs/heads/master","pushedAt":"2024-08-07T11:35:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* The Spiral VS Code plugin now supports dynamic port allocations. It does that when the port is set to 0, and that has been made the new default.","shortMessageHtmlLink":"* The Spiral VS Code plugin now supports dynamic port allocations. It…"}},{"before":"cd520bbcb6b335668ff65fd8f95b600822b96c75","after":"0747841a5403dad36fcb8c16689ba90bc585dce2","ref":"refs/heads/master","pushedAt":"2024-08-05T13:48:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Fixed an error in the handling of real nominals introduded in the v2.13.0 of Spiral.","shortMessageHtmlLink":"* Fixed an error in the handling of real nominals introduded in the v…"}},{"before":"dbb0f28df7c781c84a1594fafc9e3efcfd1f3e57","after":"cd520bbcb6b335668ff65fd8f95b600822b96c75","ref":"refs/heads/master","pushedAt":"2024-08-05T12:01:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Another parser improvement.","shortMessageHtmlLink":"Another parser improvement."}},{"before":"57945b8384cfac6e1255a27f524871f6f5064c8f","after":"dbb0f28df7c781c84a1594fafc9e3efcfd1f3e57","ref":"refs/heads/master","pushedAt":"2024-08-05T10:00:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Parser improvement. Released v2.13.2.","shortMessageHtmlLink":"Parser improvement. Released v2.13.2."}},{"before":"e0ac6a9fa769eb6cfd4fd9e6a390c6ce46af6d5a","after":"57945b8384cfac6e1255a27f524871f6f5064c8f","ref":"refs/heads/master","pushedAt":"2024-08-05T09:20:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"We're moving the existential in the wrong place. We should have moved the forall next to the existential instead.","shortMessageHtmlLink":"We're moving the existential in the wrong place. We should have moved…"}},{"before":"2ae2826e69f2b6c5108ef0a0659defe9cff49620","after":"e0ac6a9fa769eb6cfd4fd9e6a390c6ce46af6d5a","ref":"refs/heads/master","pushedAt":"2024-08-02T14:33:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Release v2.13.1.","shortMessageHtmlLink":"Release v2.13.1."}},{"before":"a05c38c738f65b900975ac0de8e51633ad3ad0b8","after":"2ae2826e69f2b6c5108ef0a0659defe9cff49620","ref":"refs/heads/master","pushedAt":"2024-08-02T14:32:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"* Added Printf and StaticStringConcat ops to the language in order to assist string formatting in the coreext module in the ML library.\n* In the ML library we resolved the issue of semaphores not being used correctly. Now the warp threads will be reconverging correctly.","shortMessageHtmlLink":"* Added Printf and StaticStringConcat ops to the language in order to…"}},{"before":"82aaa68dc83e66d7a2895093e3320772fed0de36","after":"a05c38c738f65b900975ac0de8e51633ad3ad0b8","ref":"refs/heads/master","pushedAt":"2024-07-31T14:04:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Static string concatting works.","shortMessageHtmlLink":"Static string concatting works."}},{"before":"bc2457ad34143a5dea4ed6661d9b04ae19f72e1f","after":"82aaa68dc83e66d7a2895093e3320772fed0de36","ref":"refs/heads/master","pushedAt":"2024-07-28T15:30:31.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Added a test. Turns out there wasn't an error in the pevaller.","shortMessageHtmlLink":"Added a test. Turns out there wasn't an error in the pevaller."}},{"before":"9e0faf12059de16da8fba249322eda4314669cbf","after":"82aaa68dc83e66d7a2895093e3320772fed0de36","ref":"refs/heads/higher_ranked_types","pushedAt":"2024-07-28T15:29:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Added a test. Turns out there wasn't an error in the pevaller.","shortMessageHtmlLink":"Added a test. Turns out there wasn't an error in the pevaller."}},{"before":"52a766c236daef1fdfbb46aaac32603e97f003ce","after":"9e0faf12059de16da8fba249322eda4314669cbf","ref":"refs/heads/higher_ranked_types","pushedAt":"2024-07-28T14:07:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Released v2.13.0.","shortMessageHtmlLink":"Released v2.13.0."}},{"before":"3c724396d0882d320d91c589c347e0885f2be454","after":"52a766c236daef1fdfbb46aaac32603e97f003ce","ref":"refs/heads/higher_ranked_types","pushedAt":"2024-07-28T10:44:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Save 2.","shortMessageHtmlLink":"Save 2."}},{"before":"e6a2da766cce29aa025f4a6d405410c596912c45","after":"3c724396d0882d320d91c589c347e0885f2be454","ref":"refs/heads/higher_ranked_types","pushedAt":"2024-07-28T10:40:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"Save.","shortMessageHtmlLink":"Save."}},{"before":"877770fbce90ba274645ad26171d174efad08593","after":"e6a2da766cce29aa025f4a6d405410c596912c45","ref":"refs/heads/higher_ranked_types","pushedAt":"2024-07-28T09:06:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrakgr","name":"Marko Grdinić","path":"/mrakgr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6266635?s=80&v=4"},"commit":{"message":"It seems the higher ranked types now work in Spiral.","shortMessageHtmlLink":"It seems the higher ranked types now work in Spiral."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEsRqsVwA","startCursor":null,"endCursor":null}},"title":"Activity · mrakgr/The-Spiral-Language"}