{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":243126118,"defaultBranch":"master","name":"what4","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-25T23:38:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717768922.0","currentOid":""},"activityList":{"items":[{"before":"7e997e6a40534cfb5c15d94488ba94cf322db757","after":"4068bb90ee2a2a83de2477570c16f553117107bb","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-13T17:09:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Further simplify concretization code","shortMessageHtmlLink":"Further simplify concretization code"}},{"before":"49dbfe71367721c56f96ae6def83129878c7d92f","after":"7e997e6a40534cfb5c15d94488ba94cf322db757","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-13T17:05:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Remove dead code for converting between `ConcreteVal`/`IndexLit`","shortMessageHtmlLink":"Remove dead code for converting between <code>ConcreteVal</code>/<code>IndexLit</code>"}},{"before":"ab4176422cf84e3f51286b3f2be54fa34e9f3071","after":"49dbfe71367721c56f96ae6def83129878c7d92f","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-13T17:04:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Remove dead code for converting between `ConcreteVal`/`IndexLit`","shortMessageHtmlLink":"Remove dead code for converting between <code>ConcreteVal</code>/<code>IndexLit</code>"}},{"before":"418ad73145bb17560b66573cc60553e7ee69297c","after":"ab4176422cf84e3f51286b3f2be54fa34e9f3071","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-13T17:03:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Remove dead code for converting between `ConcreteVal`/`IndexLit`","shortMessageHtmlLink":"Remove dead code for converting between <code>ConcreteVal</code>/<code>IndexLit</code>"}},{"before":"fd15cdd6f664d59c097d4ddeaf6251cdb632b6b3","after":"418ad73145bb17560b66573cc60553e7ee69297c","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-13T17:03:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Simplify concretization code with `asGround`","shortMessageHtmlLink":"Simplify concretization code with <code>asGround</code>"}},{"before":"939b3a3a159a4e27824a1396e3de9abe640154a0","after":"fd15cdd6f664d59c097d4ddeaf6251cdb632b6b3","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-13T16:57:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Concretization: Resolve a symbolic expression to a concrete value\n\nThis feature consults the SMT solver determine whether a symbolic\nexpression must be equal to a particular concrete expression.\n\nThis is used in Macaw to concretize pointers to global data, but is\ngenerally useful.","shortMessageHtmlLink":"Concretization: Resolve a symbolic expression to a concrete value"}},{"before":"e08d219b5ee2d5b3915a2d5e0956bdd853cb350c","after":null,"ref":"refs/heads/lb/pp-ground","pushedAt":"2024-06-07T14:02:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"}},{"before":"85e68eba85cccdc7cba3fe627b6b0659b3a8415d","after":"494ac6416ed01eab6ae5d1be427d0aaae4c4bb91","ref":"refs/heads/master","pushedAt":"2024-06-07T14:02:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Inject ground values back into symbolic expressions (#268)","shortMessageHtmlLink":"Inject ground values back into symbolic expressions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2339135064\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/what4/issues/268\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/what4/pull/268/hovercard\" href=\"https://github.com/GaloisInc/what4/pull/268\">#268</a>)"}},{"before":"382562d77ca33b6d9de0a2a8b6517bf35ae4d138","after":"e08d219b5ee2d5b3915a2d5e0956bdd853cb350c","ref":"refs/heads/lb/pp-ground","pushedAt":"2024-06-07T13:16:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Review comments","shortMessageHtmlLink":"Review comments"}},{"before":null,"after":"382562d77ca33b6d9de0a2a8b6517bf35ae4d138","ref":"refs/heads/lb/pp-ground","pushedAt":"2024-06-06T20:51:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Inject ground values back into symbolic expressions","shortMessageHtmlLink":"Inject ground values back into symbolic expressions"}},{"before":"fcb7079fa86ea74aa2a1c323db12029b8d4fa500","after":"939b3a3a159a4e27824a1396e3de9abe640154a0","ref":"refs/heads/lb/concretize","pushedAt":"2024-06-06T15:52:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Concretization: Resolve a symbolic expression to a concrete value\n\nThis feature consults the SMT solver determine whether a symbolic\nexpression must be equal to a particular concrete expression.\n\nThis is used in Macaw to concretize pointers to global data, but is\ngenerally useful.","shortMessageHtmlLink":"Concretization: Resolve a symbolic expression to a concrete value"}},{"before":"60cb3b8efe51ffd0bb0429dd7e91fb809b06125f","after":"85e68eba85cccdc7cba3fe627b6b0659b3a8415d","ref":"refs/heads/master","pushedAt":"2024-06-03T16:08:08.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Use CVC5 1.1.2\n\nCVC5 1.0.2 appears to suffer from a bug that causes it to hang when run on the\n`expr-builder-smtlib2` test suite. Let's upgrade to a more recent version that\ndoes not suffer from this bug.","shortMessageHtmlLink":"CI: Use CVC5 1.1.2"}},{"before":"353dde15b609155e13ec6412e3ceaddf1faf307f","after":null,"ref":"refs/heads/T265-cvc5-tuples","pushedAt":"2024-06-03T16:08:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"54952b7f5b5538a487a4f139be644dd839e0c99f","after":"353dde15b609155e13ec6412e3ceaddf1faf307f","ref":"refs/heads/T265-cvc5-tuples","pushedAt":"2024-06-02T19:38:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Use CVC5 1.1.2\n\nCVC5 1.0.2 appears to suffer from a bug that causes it to hang when run on the\n`expr-builder-smtlib2` test suite. Let's upgrade to a more recent version that\ndoes not suffer from this bug.","shortMessageHtmlLink":"CI: Use CVC5 1.1.2"}},{"before":"52349dc307a922f9b7324f8a5350d6d9105fdeaa","after":"54952b7f5b5538a487a4f139be644dd839e0c99f","ref":"refs/heads/T265-cvc5-tuples","pushedAt":"2024-05-31T19:27:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Use CVC5 1.1.2\n\nCVC5 1.0.2 appears to suffer from a bug that causes it to hang when run on the\n`expr-builder-smtlib2` test suite. Let's upgrade to a more recent version that\ndoes not suffer from this bug.","shortMessageHtmlLink":"CI: Use CVC5 1.1.2"}},{"before":null,"after":"52349dc307a922f9b7324f8a5350d6d9105fdeaa","ref":"refs/heads/T265-cvc5-tuples","pushedAt":"2024-05-31T16:41:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Fix CVC5 SMT-LIB tweaks for structs\n\nCVC4 and CVC5 use completely different syntaxes for tuple datatypes, but due to\nan oversight, we didn't account for this when adding support for CVC5 in #204.\nThis patch uses the correct CVC5 syntax and leaves links to each tool's\ndocumentation to make it clearer where these syntaxes come from.\n\nThis is regression-tested as part of the `expr-builder-smtlib2` test suite\n(which includes several tuple-related tests), after a previous commit made it\nso that the tests are run with both CVC4 and CVC5.\n\nFixes #265.","shortMessageHtmlLink":"Fix CVC5 SMT-LIB tweaks for structs"}},{"before":null,"after":"fcb7079fa86ea74aa2a1c323db12029b8d4fa500","ref":"refs/heads/lb/concretize","pushedAt":"2024-05-24T15:47:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"WIP: Concretization","shortMessageHtmlLink":"WIP: Concretization"}},{"before":"09e2a8a84d3707d3cb824e649ea3267f87b0269a","after":null,"ref":"refs/heads/1.6","pushedAt":"2024-05-15T15:26:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"8c9401b5d21d20451d224d4834bd611fc83b850b","after":"60cb3b8efe51ffd0bb0429dd7e91fb809b06125f","ref":"refs/heads/master","pushedAt":"2024-05-15T15:26:21.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #263 from GaloisInc/1.6\n\n1.6 release prep","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2298064903\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/what4/issues/263\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/what4/pull/263/hovercard\" href=\"https://github.com/GaloisInc/what4/pull/263\">#263</a> from GaloisInc/1.6"}},{"before":null,"after":"09e2a8a84d3707d3cb824e649ea3267f87b0269a","ref":"refs/heads/1.6","pushedAt":"2024-05-15T14:12:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Bump what4 development version to 1.6.0.0.99","shortMessageHtmlLink":"Bump what4 development version to 1.6.0.0.99"}},{"before":"fa36855a8c92b0dc6380d889ff1f7807fd309ded","after":null,"ref":"refs/heads/push-mux-ops-setting","pushedAt":"2024-05-14T14:06:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"30309b5d86179c2d4182f68ccf36e8dd5f68360c","after":"8c9401b5d21d20451d224d4834bd611fc83b850b","ref":"refs/heads/master","pushedAt":"2024-05-14T14:05:59.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #256 from GaloisInc/push-mux-ops-setting\n\nGuard mux-pushing simplifications behind option","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2163729753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/what4/issues/256\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/what4/pull/256/hovercard\" href=\"https://github.com/GaloisInc/what4/pull/256\">#256</a> from GaloisInc/push-mux-ops-setting"}},{"before":"512eca66373a900be1175c1e06aed4041bcf6f54","after":"fa36855a8c92b0dc6380d889ff1f7807fd309ded","ref":"refs/heads/push-mux-ops-setting","pushedAt":"2024-05-14T10:52:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Review comments","shortMessageHtmlLink":"Review comments"}},{"before":"72dd5ff5741caee5a40ca5f5791201a54f6064b7","after":"512eca66373a900be1175c1e06aed4041bcf6f54","ref":"refs/heads/push-mux-ops-setting","pushedAt":"2024-05-13T20:48:32.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Document pushMuxOps in Haddocks and CHANGELOG","shortMessageHtmlLink":"Document pushMuxOps in Haddocks and CHANGELOG"}},{"before":"e9e81426d118b91afeca47cb2b4283578a2c9fcd","after":null,"ref":"refs/heads/lb/resolve-no-width","pushedAt":"2024-04-17T15:00:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"}},{"before":null,"after":"e9e81426d118b91afeca47cb2b4283578a2c9fcd","ref":"refs/heads/lb/resolve-no-width","pushedAt":"2024-04-17T14:52:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Remove `NatRepr` arg from `resolveSymBV`\n\nIt's not necessary; it can be recovered from the bitvector itself.","shortMessageHtmlLink":"Remove <code>NatRepr</code> arg from <code>resolveSymBV</code>"}},{"before":"a0dd970543e3637c2fbcf63a3de2b10bb8a32e4e","after":null,"ref":"refs/heads/lb/bv-helpers","pushedAt":"2024-04-03T19:02:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"}},{"before":"c011f5b9fdcffe931a51b7a0ad907f1952b1c794","after":"30309b5d86179c2d4182f68ccf36e8dd5f68360c","ref":"refs/heads/master","pushedAt":"2024-04-03T19:02:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"Add `bv{Zero,One}` helpers, hlint config (#258)\n\nFixes #257. The HLint configuration only checks that these helpers are\r\nused where appropriate. I used it to find places where they would be\r\nuseful. It may also serve as a template for downstream repos. I added\r\nHLint checking to CI as well.","shortMessageHtmlLink":"Add <code>bv{Zero,One}</code> helpers, hlint config (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2223252203\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/what4/issues/258\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/what4/pull/258/hovercard\" href=\"https://github.com/GaloisInc/what4/pull/258\">#258</a>)"}},{"before":"4cd0e275bcf413984fee1333952d305d9aaa6601","after":"a0dd970543e3637c2fbcf63a3de2b10bb8a32e4e","ref":"refs/heads/lb/bv-helpers","pushedAt":"2024-04-03T17:05:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"ci: Update Ubuntu version for lint job","shortMessageHtmlLink":"ci: Update Ubuntu version for lint job"}},{"before":"e43dc4f0ae0a8fe84eecb5925785d090a5f89a67","after":"4cd0e275bcf413984fee1333952d305d9aaa6601","ref":"refs/heads/lb/bv-helpers","pushedAt":"2024-04-03T16:58:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"langston-barrett","name":"Langston Barrett","path":"/langston-barrett","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294323?s=80&v=4"},"commit":{"message":"ci: Update hlint version","shortMessageHtmlLink":"ci: Update hlint version"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZKxEsQA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/what4"}