{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":291067524,"defaultBranch":"master","name":"sail-x86-from-acl2","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-08-28T14:29:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1688407042.0","currentOid":""},"activityList":{"items":[{"before":"408dfa1cc2ab2a632ff6a9f0dc3f8d623e61e8cd","after":"c245451f1faccf55857d61b27e06a16b8ea2cda3","ref":"refs/heads/gdb-stub","pushedAt":"2023-07-16T20:59:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"gdb: use select to stop spinning","shortMessageHtmlLink":"gdb: use select to stop spinning"}},{"before":"b3fcc7cb4a02185c0b27486347f1d844ac65e71b","after":"408dfa1cc2ab2a632ff6a9f0dc3f8d623e61e8cd","ref":"refs/heads/gdb-stub","pushedAt":"2023-07-15T20:36:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Add gdb feature information","shortMessageHtmlLink":"Add gdb feature information"}},{"before":"cb6c4b739bb2bc2ab2097cf7442ab321ea3bd2d2","after":null,"ref":"refs/heads/cdqe","pushedAt":"2023-07-03T17:57:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"}},{"before":"54ae821508e8513a15b859b9db4e6bed9d5a3829","after":"bfc016d354d902bf78f1e2e4a28cc82dd6d5cbfe","ref":"refs/heads/master","pushedAt":"2023-07-03T17:56:54.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Update model snapshot","shortMessageHtmlLink":"Update model snapshot"}},{"before":"cb6c4b739bb2bc2ab2097cf7442ab321ea3bd2d2","after":"66c153e2bf5ba79d5c19549f37b7987e08f4312e","ref":"refs/heads/patches-from-testing","pushedAt":"2023-06-25T22:02:33.540Z","pushType":"push","commitsCount":2,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"More patches for issues from testing","shortMessageHtmlLink":"More patches for issues from testing"}},{"before":null,"after":"cb6c4b739bb2bc2ab2097cf7442ab321ea3bd2d2","ref":"refs/heads/patches-from-testing","pushedAt":"2023-06-25T22:00:12.344Z","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":"Fix `trunc` for signed operands\n\nUse sign-extension","shortMessageHtmlLink":"Fix <code>trunc</code> for signed operands"}},{"before":null,"after":"af38acd9e7ab042cfee672e5fe3232643e1dca81","ref":"refs/heads/testing-fixes","pushedAt":"2023-05-31T21:19:37.486Z","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":"Patches for testing issues","shortMessageHtmlLink":"Patches for testing issues"}},{"before":null,"after":"cb6c4b739bb2bc2ab2097cf7442ab321ea3bd2d2","ref":"refs/heads/cdqe","pushedAt":"2023-05-31T16:56:59.102Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Fix `trunc` for signed operands\n\nUse sign-extension","shortMessageHtmlLink":"Fix <code>trunc</code> for signed operands"}},{"before":"b3e128d9ff6a8b5d8e6258480092f2d1e8199b87","after":"b3fcc7cb4a02185c0b27486347f1d844ac65e71b","ref":"refs/heads/gdb-stub","pushedAt":"2023-04-23T20:55:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Minor gdb protocol fixes","shortMessageHtmlLink":"Minor gdb protocol fixes"}},{"before":null,"after":"9096933894242cbd1daaad3e6e8cbe80eb9b380e","ref":"refs/heads/rip64","pushedAt":"2023-04-12T15:54:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Treat virtual addresses as 64 bits throughout the model","shortMessageHtmlLink":"Treat virtual addresses as 64 bits throughout the model"}},{"before":"639f8a00de509854de127254cf2ef364a1e24b08","after":"54ae821508e8513a15b859b9db4e6bed9d5a3829","ref":"refs/heads/master","pushedAt":"2023-03-31T14:06:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Merge pull request #5 from rems-project/bitvector-rotates\n\nUse bitvector versions of rotate functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1625264822\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/sail-x86-from-acl2/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/sail-x86-from-acl2/pull/5/hovercard\" href=\"https://github.com/rems-project/sail-x86-from-acl2/pull/5\">#5</a> from rems-project/bitvector-rotates"}},{"before":"a30565d11b05badf47e268c2938716ddf55c5440","after":"b3e128d9ff6a8b5d8e6258480092f2d1e8199b87","ref":"refs/heads/gdb-stub","pushedAt":"2023-03-23T20:45:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"gdb: add coverage support","shortMessageHtmlLink":"gdb: add coverage support"}},{"before":"ec5af9098f9d13c9101b235731905fb5ab3f6208","after":"a30565d11b05badf47e268c2938716ddf55c5440","ref":"refs/heads/gdb-stub","pushedAt":"2023-03-23T17:39:04.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Update generated model","shortMessageHtmlLink":"Update generated model"}},{"before":null,"after":"ec5af9098f9d13c9101b235731905fb5ab3f6208","ref":"refs/heads/gdb-stub","pushedAt":"2023-03-21T16:02:15.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":"gdb: Use gmp for register reads/writes","shortMessageHtmlLink":"gdb: Use gmp for register reads/writes"}},{"before":null,"after":"adcea269f8a21106bde7f09a92e576b0395280c2","ref":"refs/heads/bitvector-rotates","pushedAt":"2023-03-15T10:46:43.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":"Use bitvector versions of rotate functions\nAvoids symbolic lengths during symbolic execution for test generation","shortMessageHtmlLink":"Use bitvector versions of rotate functions"}},{"before":"b0968a400ab3ecfaa5b192f21ddaea848b7f962f","after":"639f8a00de509854de127254cf2ef364a1e24b08","ref":"refs/heads/master","pushedAt":"2023-03-14T21:07:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Add missing patch file","shortMessageHtmlLink":"Add missing patch file"}},{"before":"b0968a400ab3ecfaa5b192f21ddaea848b7f962f","after":null,"ref":"refs/heads/type_overrides","pushedAt":"2023-03-14T17:35:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"}},{"before":"6572cbea3be3eefc50e66e888704a3a5ed53aea2","after":"b0968a400ab3ecfaa5b192f21ddaea848b7f962f","ref":"refs/heads/master","pushedAt":"2023-03-14T17:34:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Constrain types of some variables and functions\n\nAvoids gratuitous extension of bitvectors when we already know that we\nwill only be using the lower bits.\n\nIn particular, set the return type of `add_to_iptr` to bits(48), which\nis safe because it internally checks that the result will fit into 48\nbits.\n\nAlso fix some bugs that caused type overrides for variables to not be\npicked up in some corner cases.","shortMessageHtmlLink":"Constrain types of some variables and functions"}},{"before":"8827020f6e51fd5af1aea11048181761bf887765","after":"b0968a400ab3ecfaa5b192f21ddaea848b7f962f","ref":"refs/heads/type_overrides","pushedAt":"2023-03-14T17:24:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Constrain types of some variables and functions\n\nAvoids gratuitous extension of bitvectors when we already know that we\nwill only be using the lower bits.\n\nIn particular, set the return type of `add_to_iptr` to bits(48), which\nis safe because it internally checks that the result will fit into 48\nbits.\n\nAlso fix some bugs that caused type overrides for variables to not be\npicked up in some corner cases.","shortMessageHtmlLink":"Constrain types of some variables and functions"}},{"before":"74522838c14e55ff3a5abc9a42f28d7601362c48","after":"6572cbea3be3eefc50e66e888704a3a5ed53aea2","ref":"refs/heads/master","pushedAt":"2023-03-14T17:17:36.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Tweak translator to incorporate NOP patch","shortMessageHtmlLink":"Tweak translator to incorporate NOP patch"}},{"before":null,"after":"8827020f6e51fd5af1aea11048181761bf887765","ref":"refs/heads/type_overrides","pushedAt":"2023-03-09T21:57:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Constrain types of some variables and functions\n\nAvoids gratuitous extension of bitvectors when we already know that we\nwill only be using the lower bits.\n\nIn particular, set the return type of `add_to_iptr` to bits(48), which\nis safe because it internally checks that the result will fit into 48\nbits.\n\nAlso fix some bugs that caused type overrides for variables to not be\npicked up in some corner cases.","shortMessageHtmlLink":"Constrain types of some variables and functions"}},{"before":"e2a7c80e6298208910868c1b4546ea707599f681","after":"74522838c14e55ff3a5abc9a42f28d7601362c48","ref":"refs/heads/master","pushedAt":"2023-03-07T21:51:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bauereiss","name":"Thomas Bauereiss","path":"/bauereiss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/25056889?s=80&v=4"},"commit":{"message":"Add missing patch file","shortMessageHtmlLink":"Add missing patch file"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADVp3KdQA","startCursor":null,"endCursor":null}},"title":"Activity · rems-project/sail-x86-from-acl2"}