{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":119706050,"defaultBranch":"sail2","name":"sail","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-01-31T15:33:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721769737.0","currentOid":""},"activityList":{"items":[{"before":"0588c2e4973a75a56e5929c6d7c06e4701efcfa0","after":null,"ref":"refs/heads/kinfer","pushedAt":"2024-07-23T21:22:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"}},{"before":"13d94588afdd9e7a8829b745db4397840425581a","after":"49b58527d9e29cb598afb82a2cff3b6b8e07e6d4","ref":"refs/heads/sail2","pushedAt":"2024-07-23T21:22:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add kind-inference algorithm\n\nPreviously kinds needed to be annotated on type synonyms, i.e.\n```\ntype option_syn('a : Type) -> Type = option('a)\n```\nand on type constructors\n```\nstruct S('a : Int, 'b : Type) = ...\n```\n\nThis commit adds a kind-inference algorithm, so that these can become\n```\ntype option_syn('a) = option('a)\n\nstruct S('a, 'b) = ...\n```","shortMessageHtmlLink":"Add kind-inference algorithm"}},{"before":null,"after":"0588c2e4973a75a56e5929c6d7c06e4701efcfa0","ref":"refs/heads/kinfer","pushedAt":"2024-07-23T16:43:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add kind-inference algorithm\n\nPreviously kinds needed to be annotated on type synonyms, i.e.\n```\ntype option_syn('a : Type) -> Type = option('a)\n```\nand on type constructors\n```\nstruct S('a : Int, 'b : Type) = ...\n```\n\nThis commit adds a kind-inference algorithm, so that these can become\n```\ntype option_syn('a) = option('a)\n\nstruct S('a, 'b) = ...\n```","shortMessageHtmlLink":"Add kind-inference algorithm"}},{"before":null,"after":"764d1fb6831c41e91313d29e8cec5cca6fccfe7e","ref":"refs/heads/sailcov_mapping","pushedAt":"2024-07-23T10:35:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"},"commit":{"message":"sailcov test: add test for nested mapping with guard\n\nThis test is reduced from a problem encountered in the RISCV model\n(see #639).  Currently fails due sailcov producing an assertion\nfailure warning.","shortMessageHtmlLink":"sailcov test: add test for nested mapping with guard"}},{"before":"b46f1cddd44fc98e0c374a9a883cec26f48de24b","after":null,"ref":"refs/heads/new_release_0_18","pushedAt":"2024-07-22T16:31:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"}},{"before":"4aff89f5da948af05ffaf519818462e508c92f1c","after":"13d94588afdd9e7a8829b745db4397840425581a","ref":"refs/heads/sail2","pushedAt":"2024-07-22T16:31:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Prepare for 0.18 release","shortMessageHtmlLink":"Prepare for 0.18 release"}},{"before":"1022dc30c2ac9864735cef01699e040ffa3e94db","after":null,"ref":"refs/heads/unknown_end","pushedAt":"2024-07-22T16:10:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"}},{"before":null,"after":"b46f1cddd44fc98e0c374a9a883cec26f48de24b","ref":"refs/heads/new_release_0_18","pushedAt":"2024-07-22T16:10:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Prepare for 0.18 release","shortMessageHtmlLink":"Prepare for 0.18 release"}},{"before":"561df105058bd9c2bbcdc15d7dc50512bf8dfb64","after":"4aff89f5da948af05ffaf519818462e508c92f1c","ref":"refs/heads/sail2","pushedAt":"2024-07-22T13:51:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Make sure end always has a valid scattered definition id","shortMessageHtmlLink":"Make sure end always has a valid scattered definition id"}},{"before":null,"after":"1022dc30c2ac9864735cef01699e040ffa3e94db","ref":"refs/heads/unknown_end","pushedAt":"2024-07-22T13:35:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Make sure end always has a valid scattered definition id","shortMessageHtmlLink":"Make sure end always has a valid scattered definition id"}},{"before":"ddc6ec77b445e5c327075542ec5b5d48f94ab3fc","after":null,"ref":"refs/heads/typat_parens","pushedAt":"2024-07-20T02:58:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"}},{"before":"9a7b1e08679ccf163f96553f3b5c2628d887928a","after":"561df105058bd9c2bbcdc15d7dc50512bf8dfb64","ref":"refs/heads/sail2","pushedAt":"2024-07-20T02:58:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix an issue with nested parentheses in type patterns (#634)\n\nSomething like bool(((('b)))) wouldn't work, and even though it's\r\nunlikely anyone would want to write this, there's no particular reason it\r\nshould fail.","shortMessageHtmlLink":"Fix an issue with nested parentheses in type patterns (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2420506390\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/sail/issues/634\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/sail/pull/634/hovercard\" href=\"https://github.com/rems-project/sail/pull/634\">#634</a>)"}},{"before":null,"after":"ddc6ec77b445e5c327075542ec5b5d48f94ab3fc","ref":"refs/heads/typat_parens","pushedAt":"2024-07-20T02:35:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix an issue with nested parentheses in type patterns\n\nSomething like bool(((('b)))) wouldn't work, and even though it's\nunlikely anyone would want to write this, there's no particular reason it\nshould fail.","shortMessageHtmlLink":"Fix an issue with nested parentheses in type patterns"}},{"before":"0d57d64e99e2c301955f312261cb5f24c0a8ca5d","after":"9a7b1e08679ccf163f96553f3b5c2628d887928a","ref":"refs/heads/sail2","pushedAt":"2024-07-19T23:52:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fmt: wrap exps into oneline if possible (#619)\n\n* FIx sail-fmt block_comment indent\r\n\r\n* fmt\r\n\r\n* update test case\r\n\r\n* add test case\r\n\r\n* fmt: wrap exps into oneline if possibly","shortMessageHtmlLink":"Fmt: wrap exps into oneline if possible (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392101527\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/sail/issues/619\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/sail/pull/619/hovercard\" href=\"https://github.com/rems-project/sail/pull/619\">#619</a>)"}},{"before":"574ccb20c1e007903093e264942603456d11ad92","after":"0d57d64e99e2c301955f312261cb5f24c0a8ca5d","ref":"refs/heads/sail2","pushedAt":"2024-07-19T23:49:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add coverage build files to ignore (#618)\n\nThis includes both the coverage library in /lib/coverage and the Sail\r\ncoverage tool in /sailcov","shortMessageHtmlLink":"Add coverage build files to ignore (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2390329022\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/sail/issues/618\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/sail/pull/618/hovercard\" href=\"https://github.com/rems-project/sail/pull/618\">#618</a>)"}},{"before":"d8c5322fbde0049d844eb1f2e2cc8c56498e1acc","after":"574ccb20c1e007903093e264942603456d11ad92","ref":"refs/heads/sail2","pushedAt":"2024-07-19T23:47:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Float: Refactor bits predicate function for code reuse (#631)\n\n* Float: Refactor bits predicate func for code reuse\r\n\r\n* Add some bits predicate func.\r\n* Leverage thest function in float lib.\r\n\r\nSigned-off-by: Pan Li <pan2.li@intel.com>\r\n\r\n* Simplify the bit ops function\r\n\r\nSigned-off-by: Pan Li <pan2.li@intel.com>\r\n\r\n---------\r\n\r\nSigned-off-by: Pan Li <pan2.li@intel.com>","shortMessageHtmlLink":"Float: Refactor bits predicate function for code reuse (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2406678068\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/sail/issues/631\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/sail/pull/631/hovercard\" href=\"https://github.com/rems-project/sail/pull/631\">#631</a>)"}},{"before":null,"after":"81d1e71ede9b5e89d18d28ba759b0db037ef866c","ref":"refs/heads/tyenum","pushedAt":"2024-07-18T14:14:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add kind-inference algorithm\n\nPreviously kinds needed to be annotated on type synonyms, i.e.\n```\ntype option_syn('a : Type) -> Type = option('a)\n```\nand on type constructors\n```\nstruct S('a : Int, 'b : Type) = ...\n```\n\nThis commit adds a kind-inference algorithm, so that these can become\n```\ntype option_syn('a) = option('a)\n\nstruct S('a, 'b) = ...\n```","shortMessageHtmlLink":"Add kind-inference algorithm"}},{"before":"5194029ff358bcf77d3d96352a137cb8790d19bb","after":"d8c5322fbde0049d844eb1f2e2cc8c56498e1acc","ref":"refs/heads/sail2","pushedAt":"2024-07-12T12:00:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Float: Refactor bool == false into not function (#623)\n\n* Float: Refactor bool == false into not function\r\n\r\n* Add new function not (bool) -> bool.\r\n* Leverage not (bool) function in float lib.\r\n\r\nSigned-off-by: Pan Li <pan2.li@intel.com>\r\n\r\n* Leverage existing not_bool for alias.\r\n\r\nSigned-off-by: Pan Li <pan2.li@intel.com>\r\n\r\n---------\r\n\r\nSigned-off-by: Pan Li <pan2.li@intel.com>","shortMessageHtmlLink":"Float: Refactor bool == false into not function (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393388850\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/sail/issues/623\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/sail/pull/623/hovercard\" href=\"https://github.com/rems-project/sail/pull/623\">#623</a>)"}},{"before":"09ac4b251a25f73933e892a6d6babaf4f81186e6","after":"5194029ff358bcf77d3d96352a137cb8790d19bb","ref":"refs/heads/sail2","pushedAt":"2024-07-11T18:54:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add an event for system register writes","shortMessageHtmlLink":"Add an event for system register writes"}},{"before":null,"after":"c0b4bc2dc00d9e17671c9e4730f01287bfe733b2","ref":"refs/heads/msr_event","pushedAt":"2024-07-11T15:05:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add an event for system register writes","shortMessageHtmlLink":"Add an event for system register writes"}},{"before":null,"after":"85ed8566e26e3f7539832250575249d707923de8","ref":"refs/heads/sailcov_warn_lineno","pushedAt":"2024-07-10T11:41:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"},"commit":{"message":"sailcov: make warnings more informative.\n\nWhen these warnings are triggered it's helpful to know the file and line number of the Sail source file.","shortMessageHtmlLink":"sailcov: make warnings more informative."}},{"before":"90e6358fb9bb1b4a958f325a9a22966321dd6c60","after":null,"ref":"refs/heads/coverage_match_fix","pushedAt":"2024-07-08T14:09:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"}},{"before":"3a2be29d3949c4f816507727be31de21f18b491c","after":null,"ref":"refs/heads/let_single_cov","pushedAt":"2024-07-08T14:03:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"}},{"before":"155d5671d359b6cba87c4da5536d2f69dac0612a","after":"09ac4b251a25f73933e892a6d6babaf4f81186e6","ref":"refs/heads/sail2","pushedAt":"2024-07-08T14:02:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix an issue with sailcov on 1-case matches\n\nA match with a single case (or a let statement)\nwould generate a coverage point that would never\nbe reached.","shortMessageHtmlLink":"Fix an issue with sailcov on 1-case matches"}},{"before":null,"after":"90e6358fb9bb1b4a958f325a9a22966321dd6c60","ref":"refs/heads/coverage_match_fix","pushedAt":"2024-07-08T14:02:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"},"commit":{"message":"Fix coverage for matches containing a single case.\n\nThe C backend tries not to emit branch coverage points for matches\ncontaining a single case but was still emitting a line in\nall_branches.  This confused sailcov and resulting in warnings and\nweird output.  Hopefully fixes #502.  Also adds a test case containing\na tuple deconstruction (which apparently gets compiled to a single\ncase match).","shortMessageHtmlLink":"Fix coverage for matches containing a single case."}},{"before":null,"after":"3a2be29d3949c4f816507727be31de21f18b491c","ref":"refs/heads/let_single_cov","pushedAt":"2024-07-08T13:47:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix an issue with sailcov on 1-case matches\n\nA match with a single case (or a let statement)\nwould generate a coverage point that would never\nbe reached.","shortMessageHtmlLink":"Fix an issue with sailcov on 1-case matches"}},{"before":"e676e12dedb52ad3d7174326a0dfee85e4ad365f","after":null,"ref":"refs/heads/sailcov_count_lastline","pushedAt":"2024-07-05T15:32:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"}},{"before":"97447bb7ae04391438edfb8d980a83dd7c70ee1c","after":null,"ref":"refs/heads/sailcov_warn_assert","pushedAt":"2024-07-05T15:31:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"}},{"before":"ec47b19c54211fb36769e9b83b122de6893f2853","after":"155d5671d359b6cba87c4da5536d2f69dac0612a","ref":"refs/heads/sail2","pushedAt":"2024-07-05T15:31:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"sailcov: invert condition of warn_assert\n\nAssertions should fail if the condition is not true.  This was resulting in\nspurious warnings.  Also turn on --werror in the test case so that warnings will\ncause the test to fail.","shortMessageHtmlLink":"sailcov: invert condition of warn_assert"}},{"before":null,"after":"97447bb7ae04391438edfb8d980a83dd7c70ee1c","ref":"refs/heads/sailcov_warn_assert","pushedAt":"2024-07-05T15:04:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rmn30","name":"Robert Norton","path":"/rmn30","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1412774?s=80&v=4"},"commit":{"message":"sailcov: invert condition of warn_assert\n\nAssertions should fail if the condition is not true.  This was resulting in\nspurious warnings.  Also turn on --werror in the test case so that warnings will\ncause the test to fail.","shortMessageHtmlLink":"sailcov: invert condition of warn_assert"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEh03HEwA","startCursor":null,"endCursor":null}},"title":"Activity · rems-project/sail"}