{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":580551685,"defaultBranch":"master","name":"saw-script","ownerLogin":"pennyannn","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-12-20T20:58:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/112029182?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707171644.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"4d91a1e0f0658d083bd73cb534ebd5ecec0dacef","ref":"refs/heads/yppe/sygus2","pushedAt":"2024-02-05T22:20:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Bump crucible.","shortMessageHtmlLink":"Bump crucible."}},{"before":"92afb5ddc428f1c66a3a513b5751e2fc6e8d5d4e","after":"9919afe266306506de775157282eee1888f5b187","ref":"refs/heads/master","pushedAt":"2024-02-05T22:13:00.000Z","pushType":"push","commitsCount":268,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Merge pull request #2020 from GaloisInc/sum-types\n\nMake things build with the `sum-types` branch of `cryptol`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2102752797\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2020\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2020/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2020\">GaloisInc#2020</a> from GaloisInc/sum-types"}},{"before":"99cd05cc3b38e028bcbb27dfb1e4e9d49954aa32","after":"04e3fb66ea206377423a8f9c2b47261ce0630fc2","ref":"refs/heads/concrete-evaluation","pushedAt":"2023-08-10T18:16:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Treat terms that could not be reduced to concrete values as non-ground term\ninstead of throwing an error during setup phase. This fixes the problem that\n`primitive` values cause failure in concrete evaluation.","shortMessageHtmlLink":"Treat terms that could not be reduced to concrete values as non-groun…"}},{"before":"6ee6248be5fe600e5dce099456e0d1529fe6a62f","after":"99cd05cc3b38e028bcbb27dfb1e4e9d49954aa32","ref":"refs/heads/concrete-evaluation","pushedAt":"2023-08-10T18:03:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Treat terms that could not be reduced to concrete values as non-ground term\ninstead of throwing an error during setup phase","shortMessageHtmlLink":"Treat terms that could not be reduced to concrete values as non-groun…"}},{"before":null,"after":"6ee6248be5fe600e5dce099456e0d1529fe6a62f","ref":"refs/heads/concrete-evaluation","pushedAt":"2023-08-10T17:57:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Treat terms that could not be reduced to concrete values as non-ground term\ninstead of throwing an error during setup phase","shortMessageHtmlLink":"Treat terms that could not be reduced to concrete values as non-groun…"}},{"before":"ab46c76e037e9a50577c15a0b989825aee35ebef","after":"92afb5ddc428f1c66a3a513b5751e2fc6e8d5d4e","ref":"refs/heads/master","pushedAt":"2023-08-09T20:50:29.000Z","pushType":"push","commitsCount":126,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Merge pull request #1899 from GaloisInc/document-bool-pitfalls\n\nManual: Document pitfalls of specifying code with bools","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1822719389\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/1899\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/1899/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/1899\">GaloisInc#1899</a> from GaloisInc/document-bool-pitfalls"}},{"before":null,"after":"c0683e4c04776ffe865356596bbe7f607490b95a","ref":"refs/heads/yppe/match-concrete-size-array","pushedAt":"2023-06-07T17:29:30.818Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Add test.","shortMessageHtmlLink":"Add test."}},{"before":"c5153b5e7faecb2045c2c05d1ae3b024606025c5","after":"a31885dee33a719326fd73076d0d8d91d19347b9","ref":"refs/heads/match-concrete-size-array","pushedAt":"2023-06-07T03:38:26.426Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"c5153b5e7faecb2045c2c05d1ae3b024606025c5","after":"a31885dee33a719326fd73076d0d8d91d19347b9","ref":"refs/heads/match-concrete-size-array","pushedAt":"2023-06-07T03:38:26.376Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"f8eb66abcd273fb094a8a3e85f644f945a74ec04","after":null,"ref":"refs/heads/yppe/match-concrete-size-array","pushedAt":"2023-06-06T22:01:22.946Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"}},{"before":"2b4a9e223d17b9f4a0b1409fbe513e96110de13d","after":"f8eb66abcd273fb094a8a3e85f644f945a74ec04","ref":"refs/heads/yppe/match-concrete-size-array","pushedAt":"2023-06-06T17:51:52.025Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Add test.","shortMessageHtmlLink":"Add test."}},{"before":"dfb69ec783ff147b3f01081cd1d0be9f148d2edd","after":"ab46c76e037e9a50577c15a0b989825aee35ebef","ref":"refs/heads/master","pushedAt":"2023-06-06T17:44:07.557Z","pushType":"push","commitsCount":111,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Merge pull request #1878 from GaloisInc/llvm-16\n\nSupport LLVM 15 and 16, opaque pointers","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1734439580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/1878\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/1878/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/1878\">GaloisInc#1878</a> from GaloisInc/llvm-16"}},{"before":"dfb69ec783ff147b3f01081cd1d0be9f148d2edd","after":"ab46c76e037e9a50577c15a0b989825aee35ebef","ref":"refs/heads/master","pushedAt":"2023-06-06T17:44:07.475Z","pushType":"push","commitsCount":111,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Merge pull request #1878 from GaloisInc/llvm-16\n\nSupport LLVM 15 and 16, opaque pointers","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1734439580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/1878\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/1878/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/1878\">GaloisInc#1878</a> from GaloisInc/llvm-16"}},{"before":"ea539faeb53caadacc982a3bd225f8ad52e03971","after":"2b4a9e223d17b9f4a0b1409fbe513e96110de13d","ref":"refs/heads/yppe/match-concrete-size-array","pushedAt":"2023-03-27T19:34:18.901Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Add test.","shortMessageHtmlLink":"Add test."}},{"before":"eb45d96add08dcfd0ec20c183bbba8e724731ffa","after":null,"ref":"refs/heads/yppe/propsSubset","pushedAt":"2023-03-27T19:33:59.522Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"}},{"before":"9d66afc87e2afe70fbea40033f7f887c6a02558a","after":"dfb69ec783ff147b3f01081cd1d0be9f148d2edd","ref":"refs/heads/master","pushedAt":"2023-03-27T19:32:39.899Z","pushType":"push","commitsCount":33,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Merge pull request #1846 from GaloisInc/cvc5\n\nAdd support for CVC5","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1635825610\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/1846\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/1846/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/1846\">GaloisInc#1846</a> from GaloisInc/cvc5"}},{"before":"d8ed8ec1cf4e6688ca236eb0c18421691e94cef7","after":"eb45d96add08dcfd0ec20c183bbba8e724731ffa","ref":"refs/heads/yppe/propsSubset","pushedAt":"2023-03-07T19:16:10.140Z","pushType":"push","commitsCount":2,"pusher":{"login":"pennyannn","name":"Yan Peng","path":"/pennyannn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112029182?s=80&v=4"},"commit":{"message":"Merge branch 'master' into yppe/propsSubset","shortMessageHtmlLink":"Merge branch 'master' into yppe/propsSubset"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8sF8NQA","startCursor":null,"endCursor":null}},"title":"Activity · pennyannn/saw-script"}