{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":621099453,"defaultBranch":"master","name":"ShadowProver","ownerLogin":"RAIRLab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-30T01:47:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2984267?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697091075.0","currentOid":""},"activityList":{"items":[{"before":"ac0271c2975981ef4a697226313b1fbfde5fac8b","after":"11677d76b43a109f3cd1156486f2d50219fd690d","ref":"refs/heads/master","pushedAt":"2023-11-28T01:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Expanding assumptions in QA over DCEC","shortMessageHtmlLink":"Expanding assumptions in QA over DCEC"}},{"before":"ac0271c2975981ef4a697226313b1fbfde5fac8b","after":"40f4985058224270abbefed439a3129a6b5480a9","ref":"refs/heads/Better-Exec-Jar-Support","pushedAt":"2023-10-12T16:35:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"messing with snark inside the jar","shortMessageHtmlLink":"messing with snark inside the jar"}},{"before":null,"after":"ac0271c2975981ef4a697226313b1fbfde5fac8b","ref":"refs/heads/Better-Exec-Jar-Support","pushedAt":"2023-10-12T06:11:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"rename tests","shortMessageHtmlLink":"rename tests"}},{"before":"ef30208cf60981fc9856c39d3722d400ec67ce26","after":"ac0271c2975981ef4a697226313b1fbfde5fac8b","ref":"refs/heads/master","pushedAt":"2023-10-12T00:31:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"rename tests","shortMessageHtmlLink":"rename tests"}},{"before":"a7a3d914752f3434287ea3c287de1d044cd28583","after":"ef30208cf60981fc9856c39d3722d400ec67ce26","ref":"refs/heads/master","pushedAt":"2023-10-12T00:23:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"org.rairlab rebrand","shortMessageHtmlLink":"org.rairlab rebrand"}},{"before":"ef390a1f84d981068b9c1d28bbb8f0fd195994a4","after":"a7a3d914752f3434287ea3c287de1d044cd28583","ref":"refs/heads/master","pushedAt":"2023-10-11T14:31:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"readme update","shortMessageHtmlLink":"readme update"}},{"before":"c112c4033616117da867b3053bb3e0327fe9e57d","after":null,"ref":"refs/heads/Examples-and-Deadcode-trim","pushedAt":"2023-10-11T08:40:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"}},{"before":"b0f4a3a15e37c161dd43f6933e1b78a5b3abaab6","after":"ef390a1f84d981068b9c1d28bbb8f0fd195994a4","ref":"refs/heads/master","pushedAt":"2023-10-11T08:40:22.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Merge pull request #5 from RAIRLab/Examples-and-Deadcode-trim\n\nExamples and deadcode trim","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1937194521\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RAIRLab/ShadowProver/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RAIRLab/ShadowProver/pull/5/hovercard\" href=\"https://github.com/RAIRLab/ShadowProver/pull/5\">#5</a> from RAIRLab/Examples-and-Deadcode-trim"}},{"before":null,"after":"c112c4033616117da867b3053bb3e0327fe9e57d","ref":"refs/heads/Examples-and-Deadcode-trim","pushedAt":"2023-10-11T08:39:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"removed old setting file","shortMessageHtmlLink":"removed old setting file"}},{"before":"64797ea50d7ef222a8a2a5164e90fda5b02f5d51","after":null,"ref":"refs/heads/Deadcode-removal-and-readme-update","pushedAt":"2023-10-11T08:11:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"}},{"before":"bb2abbd058625d5521b331a5d2cebf8975490f0e","after":"b0f4a3a15e37c161dd43f6933e1b78a5b3abaab6","ref":"refs/heads/master","pushedAt":"2023-10-11T08:11:09.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Merge pull request #3 from RAIRLab/Deadcode-removal-and-readme-update\n\nDeadcode removal and readme update","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1937121086\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RAIRLab/ShadowProver/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RAIRLab/ShadowProver/pull/3/hovercard\" href=\"https://github.com/RAIRLab/ShadowProver/pull/3\">#3</a> from RAIRLab/Deadcode-removal-and-readme-update"}},{"before":null,"after":"64797ea50d7ef222a8a2a5164e90fda5b02f5d51","ref":"refs/heads/Deadcode-removal-and-readme-update","pushedAt":"2023-10-11T08:09:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"New readme","shortMessageHtmlLink":"New readme"}},{"before":"08835fdf6155cb616cff09ba5d57261feb414d29","after":"bb2abbd058625d5521b331a5d2cebf8975490f0e","ref":"refs/heads/master","pushedAt":"2023-04-17T21:12:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"First version of answer extraction for DCEC.","shortMessageHtmlLink":"First version of answer extraction for DCEC."}},{"before":"cf0af8d4570b9032afd13b38019edccf652278d6","after":null,"ref":"refs/heads/add-license-1","pushedAt":"2023-04-04T01:27:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"}},{"before":"d7e63e4476d9f05f9f8011f81c166970a515e33e","after":"08835fdf6155cb616cff09ba5d57261feb414d29","ref":"refs/heads/master","pushedAt":"2023-04-04T01:27:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Merge pull request #2 from RAIRLab/add-license-1\n\nCreate LICENCE","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1653015160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RAIRLab/ShadowProver/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RAIRLab/ShadowProver/pull/2/hovercard\" href=\"https://github.com/RAIRLab/ShadowProver/pull/2\">#2</a> from RAIRLab/add-license-1"}},{"before":null,"after":"cf0af8d4570b9032afd13b38019edccf652278d6","ref":"refs/heads/add-license-1","pushedAt":"2023-04-04T01:27:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Create LICENCE","shortMessageHtmlLink":"Create LICENCE"}},{"before":"28d085be6bba03b1f042eb2aa8efe009e3c168d2","after":"d7e63e4476d9f05f9f8011f81c166970a515e33e","ref":"refs/heads/master","pushedAt":"2023-03-31T19:53:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Commented and de-duped","shortMessageHtmlLink":"Commented and de-duped"}},{"before":"df7688e51299d42110fbdeff5b7977b7ef80d216","after":"28d085be6bba03b1f042eb2aa8efe009e3c168d2","ref":"refs/heads/master","pushedAt":"2023-03-31T19:49:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Commented and de-duped","shortMessageHtmlLink":"Commented and de-duped"}},{"before":"da6b828205c862f987668e36b62f6438b5b81154","after":"df7688e51299d42110fbdeff5b7977b7ef80d216","ref":"refs/heads/master","pushedAt":"2023-03-31T08:16:25.476Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Formatting, Commenting, Un-nesting","shortMessageHtmlLink":"Formatting, Commenting, Un-nesting"}},{"before":"9f450bdd19ba08ee1b85de9b65c1a2bbdd52a7ab","after":null,"ref":"refs/heads/cc_cleanup","pushedAt":"2023-03-31T02:41:25.227Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"}},{"before":"6fb4a82de9da0846731f3550d5232027344e662a","after":"da6b828205c862f987668e36b62f6438b5b81154","ref":"refs/heads/master","pushedAt":"2023-03-31T02:41:13.262Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"Merge pull request #1 from RAIRLab/cc_cleanup\n\nCc cleanup","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1648575672\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RAIRLab/ShadowProver/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RAIRLab/ShadowProver/pull/1/hovercard\" href=\"https://github.com/RAIRLab/ShadowProver/pull/1\">#1</a> from RAIRLab/cc_cleanup"}},{"before":"3af076d10d2af96c94f19ae4c822c15c3c04a7ac","after":"9f450bdd19ba08ee1b85de9b65c1a2bbdd52a7ab","ref":"refs/heads/cc_cleanup","pushedAt":"2023-03-31T02:04:49.033Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"More CC Improvements\n\n- Added comments\n- flattened statements\n- added iff elim rule\n- better proof by cases","shortMessageHtmlLink":"More CC Improvements"}},{"before":null,"after":"3af076d10d2af96c94f19ae4c822c15c3c04a7ac","ref":"refs/heads/cc_cleanup","pushedAt":"2023-03-30T22:03:55.341Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Adding comments, unnesting if statements","shortMessageHtmlLink":"Adding comments, unnesting if statements"}},{"before":"04e5dbcdcd6f985adfc70135a6f2c1f9cf1fe3e6","after":"6fb4a82de9da0846731f3550d5232027344e662a","ref":"refs/heads/master","pushedAt":"2023-03-30T19:24:41.517Z","pushType":"push","commitsCount":2,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Moving files from root","shortMessageHtmlLink":"Moving files from root"}},{"before":"6fddeb96fdd16aaa067c129da507702f806dd975","after":"04e5dbcdcd6f985adfc70135a6f2c1f9cf1fe3e6","ref":"refs/heads/master","pushedAt":"2023-03-30T16:47:56.289Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Moved paladyn demo to problems folder","shortMessageHtmlLink":"Moved paladyn demo to problems folder"}},{"before":"9542aab55f1820d4b9cc1877e70c93428ac05dd8","after":"6fddeb96fdd16aaa067c129da507702f806dd975","ref":"refs/heads/master","pushedAt":"2023-03-30T15:42:12.204Z","pushType":"push","commitsCount":2,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Turn off verbose logging","shortMessageHtmlLink":"Turn off verbose logging"}},{"before":"4d34de6180195911c4cc264660ef8b856daec300","after":"9542aab55f1820d4b9cc1877e70c93428ac05dd8","ref":"refs/heads/master","pushedAt":"2023-03-30T14:50:59.726Z","pushType":"push","commitsCount":1,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Cleaning up some warnings","shortMessageHtmlLink":"Cleaning up some warnings"}},{"before":"e0270c12cfb66ac98976202ec7e9b77bb25cfe03","after":"4d34de6180195911c4cc264660ef8b856daec300","ref":"refs/heads/master","pushedAt":"2023-03-30T10:15:43.059Z","pushType":"push","commitsCount":2,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"More commenting and formatting","shortMessageHtmlLink":"More commenting and formatting"}},{"before":"1f79506aaf5b6b1e6319a47bbcf6352966492d4a","after":"e0270c12cfb66ac98976202ec7e9b77bb25cfe03","ref":"refs/heads/master","pushedAt":"2023-03-30T08:13:51.981Z","pushType":"push","commitsCount":3,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"More DEADCODE","shortMessageHtmlLink":"More DEADCODE"}},{"before":"9b32bf512303653daeeed808a34b26a355b8bad2","after":"1f79506aaf5b6b1e6319a47bbcf6352966492d4a","ref":"refs/heads/master","pushedAt":"2023-03-30T06:17:15.095Z","pushType":"push","commitsCount":1,"pusher":{"login":"James-Oswald","name":"James Oswald","path":"/James-Oswald","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43485956?s=80&v=4"},"commit":{"message":"temurin","shortMessageHtmlLink":"temurin"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADuVD0GQA","startCursor":null,"endCursor":null}},"title":"Activity · RAIRLab/ShadowProver"}