{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":779756189,"defaultBranch":"main","name":"btor2-opt","ownerLogin":"dobios","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-30T17:40:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/22934557?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720283399.0","currentOid":""},"activityList":{"items":[{"before":"d887fd6e6c8117146de5619684d35977d6279130","after":"65947d6dff018a6f2859b64e1caefa4ead35448b","ref":"refs/heads/main","pushedAt":"2024-07-06T17:12:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Update Usage error messgae in main","shortMessageHtmlLink":"Update Usage error messgae in main"}},{"before":"52f090a80ff7d9225fbcab3b0df4a6cb2120fa6c","after":"d887fd6e6c8117146de5619684d35977d6279130","ref":"refs/heads/main","pushedAt":"2024-07-06T17:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Updated \"use\" instructions","shortMessageHtmlLink":"Updated \"use\" instructions"}},{"before":"f3d51006a8726b5675cfaba5c179916acc4849fc","after":"52f090a80ff7d9225fbcab3b0df4a6cb2120fa6c","ref":"refs/heads/main","pushedAt":"2024-07-06T17:07:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Added table of supported instrutions to readme","shortMessageHtmlLink":"Added table of supported instrutions to readme"}},{"before":"2096383999987ba9f6fb50f14e5fa4fcd4ff3b5c","after":"f3d51006a8726b5675cfaba5c179916acc4849fc","ref":"refs/heads/main","pushedAt":"2024-07-06T16:30:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"bump version 0.1.2 -> 0.1.3","shortMessageHtmlLink":"bump version 0.1.2 -&gt; 0.1.3"}},{"before":"22cdbbc55a7b775b79eb8015f921284e4f62c2ca","after":null,"ref":"refs/heads/dobios/fix-ci","pushedAt":"2024-07-06T16:25:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"}},{"before":"31f7ecb054a6168d7aefafdfcc55becfb57f6f15","after":null,"ref":"refs/heads/dobios/make-imports-relative","pushedAt":"2024-07-06T16:24:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"}},{"before":"3703885db0e32dd501d221c824312f652f476d95","after":"2096383999987ba9f6fb50f14e5fa4fcd4ff3b5c","ref":"refs/heads/main","pushedAt":"2024-07-06T16:24:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Merge pull request #6 from dobios/dobios/make-imports-relative\n\nMake all imports relative","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393619767\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dobios/btor2-opt/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dobios/btor2-opt/pull/6/hovercard\" href=\"https://github.com/dobios/btor2-opt/pull/6\">#6</a> from dobios/dobios/make-imports-relative"}},{"before":null,"after":"31f7ecb054a6168d7aefafdfcc55becfb57f6f15","ref":"refs/heads/dobios/make-imports-relative","pushedAt":"2024-07-06T16:23:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"make all imports relative","shortMessageHtmlLink":"make all imports relative"}},{"before":"db88455a35dba3ad8b7942a013b52ceae3e88013","after":"3703885db0e32dd501d221c824312f652f476d95","ref":"refs/heads/main","pushedAt":"2024-07-04T20:28:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"bump ver 0.1.1 -> 0.1.2","shortMessageHtmlLink":"bump ver 0.1.1 -&gt; 0.1.2"}},{"before":"6a77294349c3dd170082d2ed7724e2c93c81c496","after":"db88455a35dba3ad8b7942a013b52ceae3e88013","ref":"refs/heads/main","pushedAt":"2024-07-04T20:26:02.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Merge pull request #4 from dobios/dobios/fix-ci\n\nFix CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2391423049\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dobios/btor2-opt/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dobios/btor2-opt/pull/4/hovercard\" href=\"https://github.com/dobios/btor2-opt/pull/4\">#4</a> from dobios/dobios/fix-ci"}},{"before":"bb83b541849edef80628cf09ffc6abf5f4c3011e","after":"22cdbbc55a7b775b79eb8015f921284e4f62c2ca","ref":"refs/heads/dobios/fix-ci","pushedAt":"2024-07-04T20:23:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"made imports relative","shortMessageHtmlLink":"made imports relative"}},{"before":"6a77294349c3dd170082d2ed7724e2c93c81c496","after":"bb83b541849edef80628cf09ffc6abf5f4c3011e","ref":"refs/heads/dobios/fix-ci","pushedAt":"2024-07-04T20:16:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"updated imports to match new filenames","shortMessageHtmlLink":"updated imports to match new filenames"}},{"before":null,"after":"6a77294349c3dd170082d2ed7724e2c93c81c496","ref":"refs/heads/dobios/fix-ci","pushedAt":"2024-07-04T20:13:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"fixing filenames","shortMessageHtmlLink":"fixing filenames"}},{"before":"0a39cfb1f4e0a23530f2089e8b1f232b68476977","after":"6a77294349c3dd170082d2ed7724e2c93c81c496","ref":"refs/heads/main","pushedAt":"2024-07-04T20:12:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"fixing filenames","shortMessageHtmlLink":"fixing filenames"}},{"before":"6939b494ad1b7f74a3e28020336ee67d39174d37","after":"0a39cfb1f4e0a23530f2089e8b1f232b68476977","ref":"refs/heads/main","pushedAt":"2024-07-04T20:02:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"updated package in test","shortMessageHtmlLink":"updated package in test"}},{"before":"366550de932b81f1f20f0e08f36b9c9c4ce9cc75","after":"6939b494ad1b7f74a3e28020336ee67d39174d37","ref":"refs/heads/main","pushedAt":"2024-07-04T19:59:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:dobios/btoropt","shortMessageHtmlLink":"Merge branch 'main' of github.com:dobios/btoropt"}},{"before":"55dd3d93ac09416ac45e7823e3fc7c0aff7bc959","after":"366550de932b81f1f20f0e08f36b9c9c4ce9cc75","ref":"refs/heads/main","pushedAt":"2024-07-04T19:58:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Added basic CI","shortMessageHtmlLink":"Added basic CI"}},{"before":"d8eb8c9e87c0c7ab53d70ad7ccb313071def92ef","after":"55dd3d93ac09416ac45e7823e3fc7c0aff7bc959","ref":"refs/heads/main","pushedAt":"2024-07-04T19:49:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"updated imports with new package name","shortMessageHtmlLink":"updated imports with new package name"}},{"before":"eabec00b338d6b9e4e7e0762b20f9f38b1d8a826","after":"d8eb8c9e87c0c7ab53d70ad7ccb313071def92ef","ref":"refs/heads/main","pushedAt":"2024-07-04T19:35:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Packaged and released","shortMessageHtmlLink":"Packaged and released"}},{"before":"526c747b4a12cea07db68d6bbc9f153476900b9a","after":"eabec00b338d6b9e4e7e0762b20f9f38b1d8a826","ref":"refs/heads/main","pushedAt":"2024-07-04T05:24:05.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Merge pull request #2 from adwait/main\n\nRefactor and fixes for making this importable","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2389169322\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dobios/btor2-opt/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dobios/btor2-opt/pull/2/hovercard\" href=\"https://github.com/dobios/btor2-opt/pull/2\">#2</a> from adwait/main"}},{"before":"2c058a9131ff85db452dd7a285584c2d29190590","after":"526c747b4a12cea07db68d6bbc9f153476900b9a","ref":"refs/heads/main","pushedAt":"2024-05-04T04:12:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"6787a86e3b8cc2bed8bd7f9fc17f41df6b6cc215","after":"2c058a9131ff85db452dd7a285584c2d29190590","ref":"refs/heads/main","pushedAt":"2024-04-08T19:08:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"404b67d9bc9d91c7649c8e840006c7be079cc509","after":"6787a86e3b8cc2bed8bd7f9fc17f41df6b6cc215","ref":"refs/heads/main","pushedAt":"2024-04-08T19:03:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"restructured passes","shortMessageHtmlLink":"restructured passes"}},{"before":"011c4648edc0dc86200404c0e73117dd9a58d616","after":"404b67d9bc9d91c7649c8e840006c7be079cc509","ref":"refs/heads/main","pushedAt":"2024-04-05T20:29:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"added pass that initializes all states to 0","shortMessageHtmlLink":"added pass that initializes all states to 0"}},{"before":"bbb441242ed0e325829e763e8f36983906fb34d3","after":"011c4648edc0dc86200404c0e73117dd9a58d616","ref":"refs/heads/main","pushedAt":"2024-04-02T19:19:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"updated module name to avoid clash with stdlib","shortMessageHtmlLink":"updated module name to avoid clash with stdlib"}},{"before":"aa3ec1c74a7f605882dd3d39ec2b9abd436e9a3c","after":"bbb441242ed0e325829e763e8f36983906fb34d3","ref":"refs/heads/main","pushedAt":"2024-04-01T16:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"license comment","shortMessageHtmlLink":"license comment"}},{"before":"1b657450cbf50d171df6e0450016df34c71c9b20","after":"aa3ec1c74a7f605882dd3d39ec2b9abd436e9a3c","ref":"refs/heads/main","pushedAt":"2024-03-31T19:34:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"updated readme","shortMessageHtmlLink":"updated readme"}},{"before":"668a8f25ec253307da029a35393a5535279761b5","after":"1b657450cbf50d171df6e0450016df34c71c9b20","ref":"refs/heads/main","pushedAt":"2024-03-31T19:22:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"added compiler pass infrastructure","shortMessageHtmlLink":"added compiler pass infrastructure"}},{"before":"4639e98cc12e63ead0c8f574656607de9efb075c","after":"668a8f25ec253307da029a35393a5535279761b5","ref":"refs/heads/main","pushedAt":"2024-03-30T22:42:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"0a7377d0b914f2fbec98b003e9a88021d51ab362","after":"4639e98cc12e63ead0c8f574656607de9efb075c","ref":"refs/heads/main","pushedAt":"2024-03-30T22:42:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dobios","name":"Amelia Dobis","path":"/dobios","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22934557?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNlQxNzoxMjo1OC4wMDAwMDBazwAAAAR4gh5h","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNlQxNzoxMjo1OC4wMDAwMDBazwAAAAR4gh5h","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0zMFQyMjo0MjowMi4wMDAwMDBazwAAAAQjhVHX"}},"title":"Activity · dobios/btor2-opt"}