{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":206733553,"defaultBranch":"master","name":"silq","ownerLogin":"eth-sri","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-06T07:02:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5363413?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1681685021.0","currentOid":""},"activityList":{"items":[{"before":"96493ec424b47e28338a80e8f6f662e07e79a920","after":"8dbcccd24381061eedd3f3c10f5f6a953bea0857","ref":"refs/heads/master","pushedAt":"2024-02-13T15:37:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Annotate assign expressions with pairs of corresponding variables.","shortMessageHtmlLink":"Annotate assign expressions with pairs of corresponding variables."}},{"before":"a6375275b341eff688619e8b8fc8c063f489fb66","after":"96493ec424b47e28338a80e8f6f662e07e79a920","ref":"refs/heads/master","pushedAt":"2023-11-07T23:21:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Improve type checking, add tests.","shortMessageHtmlLink":"Improve type checking, add tests."}},{"before":"aa8f1f1dba7601b92ac4cdede325c783e2e64f76","after":"a6375275b341eff688619e8b8fc8c063f489fb66","ref":"refs/heads/master","pushedAt":"2023-11-07T17:51:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Improve reversed function calls.","shortMessageHtmlLink":"Improve reversed function calls."}},{"before":"9b002bd3624c9cfc5250fdfe0c708f13483659a4","after":"aa8f1f1dba7601b92ac4cdede325c783e2e64f76","ref":"refs/heads/master","pushedAt":"2023-11-06T14:11:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix.","shortMessageHtmlLink":"Fix."}},{"before":"e9bbccd30932ff823497757148a8d66e751d3d07","after":"9b002bd3624c9cfc5250fdfe0c708f13483659a4","ref":"refs/heads/master","pushedAt":"2023-11-06T14:05:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix regression.","shortMessageHtmlLink":"Fix regression."}},{"before":"b93bf82214fb256f92aff9752007d7379efafd51","after":"e9bbccd30932ff823497757148a8d66e751d3d07","ref":"refs/heads/master","pushedAt":"2023-10-17T13:36:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Update ast.","shortMessageHtmlLink":"Update ast."}},{"before":"b7463e2c854f362a2cb2db5b714d89599a2528a2","after":"b93bf82214fb256f92aff9752007d7379efafd51","ref":"refs/heads/master","pushedAt":"2023-10-17T12:44:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Improvements, handle dead code better.","shortMessageHtmlLink":"Improvements, handle dead code better."}},{"before":"634c173a0a507a992d8a94396a027e0f7cb26d20","after":"b7463e2c854f362a2cb2db5b714d89599a2528a2","ref":"refs/heads/master","pushedAt":"2023-10-16T21:10:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Improve modulo operator.","shortMessageHtmlLink":"Improve modulo operator."}},{"before":"011173bb3b2e2d1a748e53b7ca77debc292900ea","after":"634c173a0a507a992d8a94396a027e0f7cb26d20","ref":"refs/heads/master","pushedAt":"2023-10-07T13:45:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Update util.","shortMessageHtmlLink":"Update util."}},{"before":"9f61ea2d4ee5790a94b806fff24aa9166419b657","after":"011173bb3b2e2d1a748e53b7ca77debc292900ea","ref":"refs/heads/master","pushedAt":"2023-09-25T22:22:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Update WASM.","shortMessageHtmlLink":"Update WASM."}},{"before":"37a52b2c20e84b0324675b88c7d01031236060bc","after":"9f61ea2d4ee5790a94b806fff24aa9166419b657","ref":"refs/heads/master","pushedAt":"2023-09-25T11:34:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Update WASM.","shortMessageHtmlLink":"Update WASM."}},{"before":"2159a34e0909ee0b1694b0300a21740491f304b1","after":"37a52b2c20e84b0324675b88c7d01031236060bc","ref":"refs/heads/master","pushedAt":"2023-09-21T13:38:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"WASM support (WIP).","shortMessageHtmlLink":"WASM support (WIP)."}},{"before":"d10c49ce44ca4d2868fe82ee8985e24978e80457","after":"2159a34e0909ee0b1694b0300a21740491f304b1","ref":"refs/heads/master","pushedAt":"2023-09-20T21:55:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"WASM support (WIP).","shortMessageHtmlLink":"WASM support (WIP)."}},{"before":"b4f70b9011a0c180b5e95cfd7f7e2a93aa816330","after":"d10c49ce44ca4d2868fe82ee8985e24978e80457","ref":"refs/heads/master","pushedAt":"2023-09-20T14:23:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Move recommended LDC version to separate file.","shortMessageHtmlLink":"Move recommended LDC version to separate file."}},{"before":"fa1cd05a21d398bb6cbd1023d6690bef296c1118","after":"b4f70b9011a0c180b5e95cfd7f7e2a93aa816330","ref":"refs/heads/master","pushedAt":"2023-09-19T11:45:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Update ast.","shortMessageHtmlLink":"Update ast."}},{"before":"4d96ffcdb72cd7d80f4dcf9677c56bb90aef6006","after":"fa1cd05a21d398bb6cbd1023d6690bef296c1118","ref":"refs/heads/master","pushedAt":"2023-09-18T18:49:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Remove DefExp.","shortMessageHtmlLink":"Remove DefExp."}},{"before":"da77afd8581761ff2f0ad67996b3d675df8d5588","after":"4d96ffcdb72cd7d80f4dcf9677c56bb90aef6006","ref":"refs/heads/master","pushedAt":"2023-09-18T11:55:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Update util.","shortMessageHtmlLink":"Update util."}},{"before":"14b2c9be814fe42e98ab271e0d3d6ac053189bd4","after":"da77afd8581761ff2f0ad67996b3d675df8d5588","ref":"refs/heads/master","pushedAt":"2023-09-04T17:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix boolean `sub`","shortMessageHtmlLink":"Fix boolean <code>sub</code>"}},{"before":"1cbeb05c581132980c533c184739e79d22891e68","after":"14b2c9be814fe42e98ab271e0d3d6ac053189bd4","ref":"refs/heads/master","pushedAt":"2023-08-28T11:19:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Use __primitive for dump and exit","shortMessageHtmlLink":"Use __primitive for dump and exit"}},{"before":"035ea18171eace1e427c59d4cde5e19ddc7c58a0","after":"1cbeb05c581132980c533c184739e79d22891e68","ref":"refs/heads/master","pushedAt":"2023-08-24T18:04:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Add AST checker. Add tests.","shortMessageHtmlLink":"Add AST checker. Add tests."}},{"before":"4b5e570882401810c0c50f51ab9be56b0d654536","after":"035ea18171eace1e427c59d4cde5e19ddc7c58a0","ref":"refs/heads/master","pushedAt":"2023-08-24T17:36:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Add tests.","shortMessageHtmlLink":"Add tests."}},{"before":"27399ddacfc0caca4199b47f83f0962bd9658b70","after":"4b5e570882401810c0c50f51ab9be56b0d654536","ref":"refs/heads/master","pushedAt":"2023-08-24T13:35:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Refactor string interning.","shortMessageHtmlLink":"Refactor string interning."}},{"before":"c59b96fc732b53a83b8948186244901d9b5eb6f1","after":"27399ddacfc0caca4199b47f83f0962bd9658b70","ref":"refs/heads/master","pushedAt":"2023-08-23T14:57:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Add with statement (WIP).","shortMessageHtmlLink":"Add with statement (WIP)."}},{"before":"74fe355c4938354e8d925c82dc82ce1335bc8bb3","after":"c59b96fc732b53a83b8948186244901d9b5eb6f1","ref":"refs/heads/master","pushedAt":"2023-08-22T13:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix regressions.","shortMessageHtmlLink":"Fix regressions."}},{"before":"85a150e499304534ab2dd4955c30116ebb9824e9","after":"74fe355c4938354e8d925c82dc82ce1335bc8bb3","ref":"refs/heads/master","pushedAt":"2023-08-22T13:09:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix.","shortMessageHtmlLink":"Fix."}},{"before":"6046273b31e03384f909e8ce04a94efd048f2e29","after":"85a150e499304534ab2dd4955c30116ebb9824e9","ref":"refs/heads/master","pushedAt":"2023-08-21T18:07:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Remove hasImplicitDup.","shortMessageHtmlLink":"Remove hasImplicitDup."}},{"before":"ee1d9fc31f0954a5d8aedd8ea2b8b4cebff7df06","after":"6046273b31e03384f909e8ce04a94efd048f2e29","ref":"refs/heads/master","pushedAt":"2023-08-21T17:33:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix.","shortMessageHtmlLink":"Fix."}},{"before":"60eb26625c13cba922d0325bf76183fb2aa22ede","after":"ee1d9fc31f0954a5d8aedd8ea2b8b4cebff7df06","ref":"refs/heads/master","pushedAt":"2023-08-21T09:39:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix.","shortMessageHtmlLink":"Fix."}},{"before":"f379dc925d6ef70348d0dea1f6a91e19d6a32e8e","after":"60eb26625c13cba922d0325bf76183fb2aa22ede","ref":"refs/heads/master","pushedAt":"2023-08-19T19:23:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Fix.","shortMessageHtmlLink":"Fix."}},{"before":"3fd6f2b66fd5f88228dfe0f1ae587efed5a0bfa7","after":"f379dc925d6ef70348d0dea1f6a91e19d6a32e8e","ref":"refs/heads/master","pushedAt":"2023-08-19T18:48:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tgehr","name":"Timon Gehr","path":"/tgehr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/741319?s=80&v=4"},"commit":{"message":"Add forgottenVars to returnExp. Forget classical variables too.","shortMessageHtmlLink":"Add forgottenVars to returnExp. Forget classical variables too."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD-aVgQQA","startCursor":null,"endCursor":null}},"title":"Activity · eth-sri/silq"}