{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":491009113,"defaultBranch":"CAV24","name":"AutoQ","ownerLogin":"alan23273850","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-11T07:49:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10044077?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709703447.0","currentOid":""},"activityList":{"items":[{"before":"5ce606712ff3cafc0c17b2ef011756ee7dc9009f","after":"aec588918324efd594e97e967b49fb6f2b9fe776","ref":"refs/heads/CAV24","pushedAt":"2024-03-30T08:38:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"fix compilation issues","shortMessageHtmlLink":"fix compilation issues"}},{"before":"dea3f86da3410c1ddb903dcfc04ec70d02def384","after":"5ce606712ff3cafc0c17b2ef011756ee7dc9009f","ref":"refs/heads/CAV24","pushedAt":"2024-03-29T07:27:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"fix operator||","shortMessageHtmlLink":"fix operator||"}},{"before":"165696c5955727a3d0fa3c0a4ec0ab9db6afd15c","after":"dea3f86da3410c1ddb903dcfc04ec70d02def384","ref":"refs/heads/CAV24","pushedAt":"2024-03-29T07:08:03.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Merge branch 'CAV24' of github.com:alan23273850/AutoQ into CAV24","shortMessageHtmlLink":"Merge branch 'CAV24' of github.com:alan23273850/AutoQ into CAV24"}},{"before":"016f8a7e8f307306d04b3528e0b7253ab95dcc74","after":null,"ref":"refs/heads/PLDI","pushedAt":"2024-03-06T05:37:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"}},{"before":null,"after":"b1ad1e208ebe06b657a7cadc205bcd7c6a2c24f4","ref":"refs/heads/POPL24","pushedAt":"2024-03-06T05:36:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"PLDI -> POPL","shortMessageHtmlLink":"PLDI -&gt; POPL"}},{"before":"a22e1664e8e461f5a949cf1c98eca00893b6f5a7","after":"165696c5955727a3d0fa3c0a4ec0ab9db6afd15c","ref":"refs/heads/CAV24","pushedAt":"2024-02-16T07:54:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Update \"Appendix - Internal Structures\" in README.md","shortMessageHtmlLink":"Update \"Appendix - Internal Structures\" in README.md"}},{"before":"05ea790cc8958ee24008019abb66186bd8066032","after":"a22e1664e8e461f5a949cf1c98eca00893b6f5a7","ref":"refs/heads/CAV24","pushedAt":"2024-02-16T06:55:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Update \"The Extension to Quantum Programs\" in README.md","shortMessageHtmlLink":"Update \"The Extension to Quantum Programs\" in README.md"}},{"before":"d3d5003ced5e92e01c1701ee099dce45f5ab8a09","after":"05ea790cc8958ee24008019abb66186bd8066032","ref":"refs/heads/CAV24","pushedAt":"2024-02-08T15:00:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"update Symbolic's timeout","shortMessageHtmlLink":"update Symbolic's timeout"}},{"before":"e120e9696ff8da98bea5221dc32d8ad6cc65ea68","after":"d3d5003ced5e92e01c1701ee099dce45f5ab8a09","ref":"refs/heads/CAV24","pushedAt":"2024-02-08T05:04:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f84b0f537fedb7939cdc003ffb1b02d8fe579102","after":"e120e9696ff8da98bea5221dc32d8ad6cc65ea68","ref":"refs/heads/CAV24","pushedAt":"2024-02-08T04:54:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"update README.md","shortMessageHtmlLink":"update README.md"}},{"before":"eb524497f98558b1898c363e4329e2dadf73cc57","after":"f84b0f537fedb7939cdc003ffb1b02d8fe579102","ref":"refs/heads/CAV24","pushedAt":"2024-02-07T17:35:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"better accuracy for symbolic inclusion, but still not enough","shortMessageHtmlLink":"better accuracy for symbolic inclusion, but still not enough"}},{"before":null,"after":"f84b0f537fedb7939cdc003ffb1b02d8fe579102","ref":"refs/heads/symbolic","pushedAt":"2024-02-07T17:31:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"better accuracy for symbolic inclusion, but still not enough","shortMessageHtmlLink":"better accuracy for symbolic inclusion, but still not enough"}},{"before":"657ee00130930112a2fe520abfd1f76e7ae09750","after":"eb524497f98558b1898c363e4329e2dadf73cc57","ref":"refs/heads/CAV24","pushedAt":"2024-02-07T05:07:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"add figure","shortMessageHtmlLink":"add figure"}},{"before":"24678d0574150dd26e0c56d3fbfdd8badebe3d7a","after":"657ee00130930112a2fe520abfd1f76e7ae09750","ref":"refs/heads/CAV24","pushedAt":"2024-02-07T05:07:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"remove abs(.) in README.md","shortMessageHtmlLink":"remove abs(.) in README.md"}},{"before":"1bcf24434fad203a938e1cc57da48189f8c11efb","after":"24678d0574150dd26e0c56d3fbfdd8badebe3d7a","ref":"refs/heads/CAV24","pushedAt":"2024-02-07T04:53:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Revert \"add abs(.) for real variables\"\n\nThis reverts commit d37a6f46ae84156cedac3ab04a9565edd632d054.","shortMessageHtmlLink":"Revert \"add abs(.) for real variables\""}},{"before":"b8744bc90ba195ac7c478d420d9e2d3383234493","after":"1bcf24434fad203a938e1cc57da48189f8c11efb","ref":"refs/heads/CAV24","pushedAt":"2024-02-07T04:52:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Revert \"add abs(.) in README.md\"\n\nThis reverts commit 4f8daf2bc749723a6b66c14bfd1a2fd00677f445.","shortMessageHtmlLink":"Revert \"add abs(.) in README.md\""}},{"before":"4f8daf2bc749723a6b66c14bfd1a2fd00677f445","after":"b8744bc90ba195ac7c478d420d9e2d3383234493","ref":"refs/heads/CAV24","pushedAt":"2024-02-07T04:47:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Update README.md a little","shortMessageHtmlLink":"Update README.md a little"}},{"before":"adaf675eebce54686186bfa2646d5fc335970bbb","after":"4f8daf2bc749723a6b66c14bfd1a2fd00677f445","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T15:09:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"add abs(.) in README.md","shortMessageHtmlLink":"add abs(.) in README.md"}},{"before":"ce5cace85bcb3a37f556dcb08537a37e9ff74ece","after":"adaf675eebce54686186bfa2646d5fc335970bbb","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T12:35:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Remove `*.aut` in README.md","shortMessageHtmlLink":"Remove <code>*.aut</code> in README.md"}},{"before":"777e303ea679ae0d85e1eb85f9f8032ca11aa191","after":"ce5cace85bcb3a37f556dcb08537a37e9ff74ece","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T10:44:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"sanitize the project with https://unix.stackexchange.com/a/161853/394102","shortMessageHtmlLink":"sanitize the project with <a href=\"https://unix.stackexchange.com/a/161853/394102\" rel=\"nofollow\">https://unix.stackexchange.com/a/161853/394102</a>"}},{"before":"04c7ff05547cab2f8798b13b771804e4d0b5bd1a","after":"777e303ea679ae0d85e1eb85f9f8032ca11aa191","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T09:28:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"add MOGrover03_reorder","shortMessageHtmlLink":"add MOGrover03_reorder"}},{"before":"495f74822553b41a3e8646c7794ad889f9bd9bd9","after":"04c7ff05547cab2f8798b13b771804e4d0b5bd1a","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T08:34:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"do almost nothing","shortMessageHtmlLink":"do almost nothing"}},{"before":"b34863c602a4281c94eb6a145ec5d4944e6ed2b6","after":"495f74822553b41a3e8646c7794ad889f9bd9bd9","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T08:26:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Polish before \"extension\" README.md","shortMessageHtmlLink":"Polish before \"extension\" README.md"}},{"before":"ea6542f129d15b925b013665da58ec308373fcff","after":"b34863c602a4281c94eb6a145ec5d4944e6ed2b6","ref":"refs/heads/CAV24","pushedAt":"2024-02-06T05:42:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"Polish \"overview\" in README.md","shortMessageHtmlLink":"Polish \"overview\" in README.md"}},{"before":"2221819ea9743b5662abff785ad3fddad8f66543","after":"ea6542f129d15b925b013665da58ec308373fcff","ref":"refs/heads/CAV24","pushedAt":"2024-02-05T13:59:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"add (...) in Extended Dirac for readability (not mandatory)","shortMessageHtmlLink":"add (...) in Extended Dirac for readability (not mandatory)"}},{"before":"7b83781ff7735083562d12a941b739651a5f0aed","after":"2221819ea9743b5662abff785ad3fddad8f66543","ref":"refs/heads/CAV24","pushedAt":"2024-02-05T13:36:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"modify the program output a little","shortMessageHtmlLink":"modify the program output a little"}},{"before":"838cb34865c1e9ced677d070938639f514e36c02","after":"7b83781ff7735083562d12a941b739651a5f0aed","ref":"refs/heads/CAV24","pushedAt":"2024-02-05T13:22:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"update \"Installation and Compilation\" in README.md","shortMessageHtmlLink":"update \"Installation and Compilation\" in README.md"}},{"before":null,"after":"76b01b7e7bfc93883e57bfb209deb7a7dae227f7","ref":"refs/heads/Z3api2","pushedAt":"2024-02-05T12:39:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"call Z3 with C++ API instead","shortMessageHtmlLink":"call Z3 with C++ API instead"}},{"before":null,"after":"e67c11b003d8aa43f5b578f2a469a8e0af3445f4","ref":"refs/heads/Z3api","pushedAt":"2024-02-05T11:28:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"call Z3 with C++ API instead","shortMessageHtmlLink":"call Z3 with C++ API instead"}},{"before":"8a599855f9672d9e74fc131a8498aaa70c7c24c9","after":"838cb34865c1e9ced677d070938639f514e36c02","ref":"refs/heads/CAV24","pushedAt":"2024-02-04T16:10:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"alan23273850","name":"Wei-Lun Tsai","path":"/alan23273850","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10044077?s=80&v=4"},"commit":{"message":"extend ConstraintParser with comparisons and fix bugs to run a subset of CAV'23","shortMessageHtmlLink":"extend ConstraintParser with comparisons and fix bugs to run a subset…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEIzfsQgA","startCursor":null,"endCursor":null}},"title":"Activity · alan23273850/AutoQ"}