{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":341233292,"defaultBranch":"main","name":"islaris","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-22T14:46:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713536606.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"3dafdd006e1dce5d54de6ff2bb93fe9c63aaf103","ref":"refs/heads/2024-04-risc-v","pushedAt":"2024-04-19T14:23:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Changes from updating the RISC-V model","shortMessageHtmlLink":"Changes from updating the RISC-V model"}},{"before":"1ab5847a22f277c886029b84aef37dfdfeef6992","after":"271dadb1b4c490a57f1b7e44a89dd1e86ccf7d17","ref":"refs/heads/main","pushedAt":"2024-04-18T08:23:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"MacOS Campatibility (#28)\n\n* MacOS Campatibility:\r\n\r\n* read the executing file from the standard library\r\n* add the name of GNU GMP library on MacOS to README","shortMessageHtmlLink":"MacOS Campatibility (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2249365968\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/islaris/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/islaris/pull/28/hovercard\" href=\"https://github.com/rems-project/islaris/pull/28\">#28</a>)"}},{"before":"5187877d1d53d95070e86c903eb71fe505f67a53","after":"1ab5847a22f277c886029b84aef37dfdfeef6992","ref":"refs/heads/main","pushedAt":"2024-04-18T07:14:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update isla-lang dependency via pin-depends","shortMessageHtmlLink":"update isla-lang dependency via pin-depends"}},{"before":null,"after":"1b7cd6b5e02611ebd9ef6606d88df63cf66b7d83","ref":"refs/heads/ric-almeida-patch-1","pushedAt":"2024-03-18T13:29:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ric-almeida","name":"Ricardo Almeida","path":"/ric-almeida","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3705908?s=80&v=4"},"commit":{"message":"Update automation.v\n\nAdded ite to the list of constructors to reduce in solve_compute_wp_exp","shortMessageHtmlLink":"Update automation.v"}},{"before":"8434160762dacf95c9c58448172d8e61b8ad8421","after":"5187877d1d53d95070e86c903eb71fe505f67a53","ref":"refs/heads/main","pushedAt":"2024-03-14T07:29:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update to Coq 8.19","shortMessageHtmlLink":"update to Coq 8.19"}},{"before":"895426ce32ab8f80243b8e938c7c13fb9adfe7e1","after":"8434160762dacf95c9c58448172d8e61b8ad8421","ref":"refs/heads/main","pushedAt":"2024-03-06T10:06:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"Also support Val_bool in eval_exp'","shortMessageHtmlLink":"Also support Val_bool in eval_exp'"}},{"before":"60da48e952c31c1d0a24790652414c619400da58","after":"895426ce32ab8f80243b8e938c7c13fb9adfe7e1","ref":"refs/heads/main","pushedAt":"2024-03-05T09:52:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"Add Manyop And and Or to eval_manyop","shortMessageHtmlLink":"Add Manyop And and Or to eval_manyop"}},{"before":"608a69e648fb2a72e99c21897da4983baecf3ec0","after":"60da48e952c31c1d0a24790652414c619400da58","ref":"refs/heads/main","pushedAt":"2024-01-09T19:25:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update to Coq 8.18 and new version of deps","shortMessageHtmlLink":"update to Coq 8.18 and new version of deps"}},{"before":"e2b84becbd10c60b2dd09ce294eea87df7f1995f","after":"608a69e648fb2a72e99c21897da4983baecf3ec0","ref":"refs/heads/main","pushedAt":"2023-12-13T12:08:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"fix pinning of isla-lang","shortMessageHtmlLink":"fix pinning of isla-lang"}},{"before":"1e32bf4285c8c2ab3ac49b41e9eec1d45bb1a82a","after":"e2b84becbd10c60b2dd09ce294eea87df7f1995f","ref":"refs/heads/main","pushedAt":"2023-12-06T13:44:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ric-almeida","name":"Ricardo Almeida","path":"/ric-almeida","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3705908?s=80&v=4"},"commit":{"message":"Fixed paratheses missing on function application when printing a valu","shortMessageHtmlLink":"Fixed paratheses missing on function application when printing a valu"}},{"before":"f18556e835dc1edc4b2ecbd9bbb01032497c22b9","after":"1e32bf4285c8c2ab3ac49b41e9eec1d45bb1a82a","ref":"refs/heads/main","pushedAt":"2023-12-05T15:36:32.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"ric-almeida","name":"Ricardo Almeida","path":"/ric-almeida","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3705908?s=80&v=4"},"commit":{"message":"Merge pull request #25 from ric-almeida/main\n\nAdapted islaris to the latest isla and to the (currently under review) latest isla-lang","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2007064070\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/islaris/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/islaris/pull/25/hovercard\" href=\"https://github.com/rems-project/islaris/pull/25\">#25</a> from ric-almeida/main"}},{"before":"45ca8001aff8260340659f9365905dab7417ba6f","after":"f18556e835dc1edc4b2ecbd9bbb01032497c22b9","ref":"refs/heads/main","pushedAt":"2023-11-06T13:36:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Mjiig","name":"Angus Hammond","path":"/Mjiig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1839397?s=80&v=4"},"commit":{"message":"Merge pull request #24 from ric-almeida/patch-1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1965594377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/islaris/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/islaris/pull/24/hovercard\" href=\"https://github.com/rems-project/islaris/pull/24\">#24</a> from ric-almeida/patch-1"}},{"before":null,"after":"8d8ffb97cd0c77e21eebf35fa8dc2c3a98e827ed","ref":"refs/heads/CN2Islaris","pushedAt":"2023-10-16T09:45:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"metp","name":"Mete Polat","path":"/metp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7515487?s=80&v=4"},"commit":{"message":"CN2Islaris: add SMT constraints automatically","shortMessageHtmlLink":"CN2Islaris: add SMT constraints automatically"}},{"before":"cc80cd433d65c3a5f778a366d9bb14af355a4b9a","after":null,"ref":"refs/heads/update-cmdliner","pushedAt":"2023-08-30T12:39:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"}},{"before":"a9b9415cb15a1863830644a2f63543d1dcab9dab","after":"45ca8001aff8260340659f9365905dab7417ba6f","ref":"refs/heads/main","pushedAt":"2023-08-30T12:39:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update cmdliner (#21)","shortMessageHtmlLink":"update cmdliner (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1866780160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/islaris/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/islaris/pull/21/hovercard\" href=\"https://github.com/rems-project/islaris/pull/21\">#21</a>)"}},{"before":null,"after":"cc80cd433d65c3a5f778a366d9bb14af355a4b9a","ref":"refs/heads/update-cmdliner","pushedAt":"2023-08-25T06:24:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"metp","name":"Mete Polat","path":"/metp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7515487?s=80&v=4"},"commit":{"message":"update cmdliner","shortMessageHtmlLink":"update cmdliner"}},{"before":"007acd60d216a699e2858b1a3ada3d6fa501d929","after":"a9b9415cb15a1863830644a2f63543d1dcab9dab","ref":"refs/heads/main","pushedAt":"2023-08-14T07:22:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update Lithium","shortMessageHtmlLink":"update Lithium"}},{"before":"977ed9ac2ad533048a804fafd98f21a527d31cff","after":"007acd60d216a699e2858b1a3ada3d6fa501d929","ref":"refs/heads/main","pushedAt":"2023-07-31T14:25:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update Lithium for lazy existentials","shortMessageHtmlLink":"update Lithium for lazy existentials"}},{"before":"95d281e3a6ef7bbe63914319fe5d1b62f6a1352a","after":"977ed9ac2ad533048a804fafd98f21a527d31cff","ref":"refs/heads/main","pushedAt":"2023-07-25T17:27:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update RefinedC dep","shortMessageHtmlLink":"update RefinedC dep"}},{"before":"f589a51ec1cbdd5b1bbdf5cae69c5f8afd004442","after":"95d281e3a6ef7bbe63914319fe5d1b62f6a1352a","ref":"refs/heads/main","pushedAt":"2023-07-17T18:04:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"use flambda in ci","shortMessageHtmlLink":"use flambda in ci"}},{"before":"af1f013c056821f4d745b5e72a4a8e9381f7e373","after":"f589a51ec1cbdd5b1bbdf5cae69c5f8afd004442","ref":"refs/heads/main","pushedAt":"2023-07-17T16:34:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update dune and RefinedC version","shortMessageHtmlLink":"update dune and RefinedC version"}},{"before":"d4defe4a5c9478135e5cd93cb4304e8820b3f43a","after":"af1f013c056821f4d745b5e72a4a8e9381f7e373","ref":"refs/heads/main","pushedAt":"2023-06-23T14:11:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"fix ci (#20)","shortMessageHtmlLink":"fix ci (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1771167411\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/islaris/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/islaris/pull/20/hovercard\" href=\"https://github.com/rems-project/islaris/pull/20\">#20</a>)"}},{"before":"ff179afbbf30ed97922a89d253355fb3b166ede4","after":"f9725864a928e5503edd0ccf0531563b78c44070","ref":"refs/heads/msammler/fix_ci","pushedAt":"2023-06-23T12:01:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"fix ci","shortMessageHtmlLink":"fix ci"}},{"before":"26fdd4cf3e0517c6e9a9e1707521c1d3ea024325","after":"ff179afbbf30ed97922a89d253355fb3b166ede4","ref":"refs/heads/msammler/fix_ci","pushedAt":"2023-06-23T09:57:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"try fix ci","shortMessageHtmlLink":"try fix ci"}},{"before":null,"after":"26fdd4cf3e0517c6e9a9e1707521c1d3ea024325","ref":"refs/heads/msammler/fix_ci","pushedAt":"2023-06-23T09:53:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"try fix ci","shortMessageHtmlLink":"try fix ci"}},{"before":"a81802260cdf4ff6adbb84b792e9625562e6c96c","after":"d4defe4a5c9478135e5cd93cb4304e8820b3f43a","ref":"refs/heads/main","pushedAt":"2023-06-22T09:18:37.141Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"update lithium","shortMessageHtmlLink":"update lithium"}},{"before":"3f35741e286f188eb63eb8c3507ac59466d3bfae","after":null,"ref":"refs/heads/auto-inst-evar","pushedAt":"2023-06-19T17:32:02.152Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"}},{"before":"f99eaf3d9c10f6af194ce0179dd65b8df657bdc1","after":"a81802260cdf4ff6adbb84b792e9625562e6c96c","ref":"refs/heads/main","pushedAt":"2023-06-19T17:31:33.774Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"Merge pull request #19 from rems-project/auto-inst-evar\n\nAutomate instantiation of memory evars","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1754965782\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/islaris/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/islaris/pull/19/hovercard\" href=\"https://github.com/rems-project/islaris/pull/19\">#19</a> from rems-project/auto-inst-evar"}},{"before":"912c4c61edc97c30965b05be136e7ed554033a23","after":"3f35741e286f188eb63eb8c3507ac59466d3bfae","ref":"refs/heads/auto-inst-evar","pushedAt":"2023-06-16T09:46:09.274Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"Write the new sidecondition in a form that can be solved by bv_solve\n\nAdditionally, make a pass over the sideconditions of hello.v to use\nvm_compute where possible","shortMessageHtmlLink":"Write the new sidecondition in a form that can be solved by bv_solve"}},{"before":"2901782461de6e3e5e1f3d8848e6003560fc7e38","after":"912c4c61edc97c30965b05be136e7ed554033a23","ref":"refs/heads/auto-inst-evar","pushedAt":"2023-06-16T09:44:32.941Z","pushType":"push","commitsCount":1,"pusher":{"login":"MackieLoeffel","name":null,"path":"/MackieLoeffel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1643750?s=80&v=4"},"commit":{"message":"Write the new sidecondition in a form that can be solved by bv_solve\n\nAdditionally, make a pass over the sideconditions of hello.v to use\nvm_compute where possible","shortMessageHtmlLink":"Write the new sidecondition in a form that can be solved by bv_solve"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAENT_FvQA","startCursor":null,"endCursor":null}},"title":"Activity · rems-project/islaris"}