{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":473783558,"defaultBranch":"master","name":"Parallel-Verifier","ownerLogin":"RAIRLab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-24T21:48:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2984267?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1682395726.0","currentOid":""},"activityList":{"items":[{"before":"386be063a7c94e7f9a3629f187e47c4e13302fcd","after":"e2f7d09c0f2ff32febe9b43826024e834043711d","ref":"refs/heads/master","pushedAt":"2023-12-16T01:49:26.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":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"ecfb0a072fa85f5aa5b9280366b6e323ac24d340","after":"386be063a7c94e7f9a3629f187e47c4e13302fcd","ref":"refs/heads/master","pushedAt":"2023-10-11T08:49:52.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":"Delete proofs/lazyslate/nullModels.py\n\nNull models are no longer on main","shortMessageHtmlLink":"Delete proofs/lazyslate/nullModels.py"}},{"before":"64ebf4dbd3891dba25e998e2dfa1dd0559c16a1a","after":"ecfb0a072fa85f5aa5b9280366b6e323ac24d340","ref":"refs/heads/master","pushedAt":"2023-10-11T08:49:21.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":"Delete proofs/lazyslate/SAFormula directory\n\nThis was added with the intention of null models but is currently dead code.","shortMessageHtmlLink":"Delete proofs/lazyslate/SAFormula directory"}},{"before":"102a5309956485c3d696500414b66703a2b633a8","after":"64ebf4dbd3891dba25e998e2dfa1dd0559c16a1a","ref":"refs/heads/master","pushedAt":"2023-10-11T08:48:05.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":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a661abbe5bf038a3fa8645b8af532b0a60daebe5","after":"102a5309956485c3d696500414b66703a2b633a8","ref":"refs/heads/master","pushedAt":"2023-10-11T08:47:29.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":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"c40a0cd938d8355f57b59c39104e1bcb87349022","after":"a661abbe5bf038a3fa8645b8af532b0a60daebe5","ref":"refs/heads/master","pushedAt":"2023-04-28T02:31:42.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":"update quickbench","shortMessageHtmlLink":"update quickbench"}},{"before":"3a51a0a3ce3b59b19a3d467c3b03641fbd9f9e54","after":"c40a0cd938d8355f57b59c39104e1bcb87349022","ref":"refs/heads/master","pushedAt":"2023-04-27T21:10:19.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":"Update with new parallel benchmarks","shortMessageHtmlLink":"Update with new parallel benchmarks"}},{"before":"d12f244c2c6980d21db807d59bf56c35a3a5c75b","after":"ed22c3dcdfb5be611e52a7b51f267c101e5b2963","ref":"refs/heads/OpenMP_AllSyntax_ThenAllSemantic","pushedAt":"2023-04-27T20:52:45.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":"New parallel branch bench","shortMessageHtmlLink":"New parallel branch bench"}},{"before":"8be7177e1dcbbe450f06213240a4d549eed992c1","after":"3a51a0a3ce3b59b19a3d467c3b03641fbd9f9e54","ref":"refs/heads/master","pushedAt":"2023-04-25T19:18:25.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":"Added back old LF Tree benchmarks","shortMessageHtmlLink":"Added back old LF Tree benchmarks"}},{"before":"60ac038c805731398a8a140eb9da1670664f14b2","after":"8be7177e1dcbbe450f06213240a4d549eed992c1","ref":"refs/heads/master","pushedAt":"2023-04-25T04:19:53.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":"Merge branch 'master' of https://github.com/James-Oswald/Parallel-Verifier","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/James-Oswald/Parallel-Verifier\">https://github.com/James-Oswald/Parallel-Ver…</a>"}},{"before":"727bf5dc0eada9357600cfdf4b13592baa92551b","after":null,"ref":"refs/heads/something","pushedAt":"2023-04-25T04:08:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"}},{"before":"5a967d0ea69fbe2460bf077d97864b1bf34d5610","after":"60ac038c805731398a8a140eb9da1670664f14b2","ref":"refs/heads/master","pushedAt":"2023-04-25T04:08:42.000Z","pushType":"pr_merge","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":"Prepping for experiments","shortMessageHtmlLink":"Prepping for experiments"}},{"before":null,"after":"727bf5dc0eada9357600cfdf4b13592baa92551b","ref":"refs/heads/something","pushedAt":"2023-04-25T04:08:15.000Z","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":"Prepping for experiments","shortMessageHtmlLink":"Prepping for experiments"}},{"before":"2162c06730a5d97aad656dc1bd20ae4bbb119845","after":"5a967d0ea69fbe2460bf077d97864b1bf34d5610","ref":"refs/heads/master","pushedAt":"2023-04-25T04:02:17.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":"MPI Naming Refactor","shortMessageHtmlLink":"MPI Naming Refactor"}},{"before":"e02f56c6110da9f1dc6a768781a1179ee1f33ed9","after":"2162c06730a5d97aad656dc1bd20ae4bbb119845","ref":"refs/heads/master","pushedAt":"2023-04-25T01:24:31.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":"added FastLayering to shared verifier, serial, etc","shortMessageHtmlLink":"added FastLayering to shared verifier, serial, etc"}},{"before":"7f59c87ac50d84f8483ee4303bdc678802285c40","after":"e02f56c6110da9f1dc6a768781a1179ee1f33ed9","ref":"refs/heads/master","pushedAt":"2023-04-25T00:53:47.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":"CP Test","shortMessageHtmlLink":"CP Test"}},{"before":"aff207cd2a5cb9e8e22b747cd4a32552b623e305","after":"7f59c87ac50d84f8483ee4303bdc678802285c40","ref":"refs/heads/master","pushedAt":"2023-04-25T00:27:47.000Z","pushType":"pr_merge","commitsCount":17,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Added OpenMP algorithms","shortMessageHtmlLink":"Added OpenMP algorithms"}},{"before":"85b59953ed9f0d6af98be3a8955078e2ce1d47e7","after":"d0f0b06a6cd50cf4ebac32113dadea6cbe3fdd9b","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-25T00:25:48.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Adding SyntaxFirst approach","shortMessageHtmlLink":"Adding SyntaxFirst approach"}},{"before":"c131499bba6ec58a64af7ba2ee87f0875c19c3f5","after":"85b59953ed9f0d6af98be3a8955078e2ce1d47e7","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T22:26:02.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":"Finished sequential version, still sad.","shortMessageHtmlLink":"Finished sequential version, still sad."}},{"before":"42f73b5df51590d9eefe807ce409dca96c905a68","after":"d12f244c2c6980d21db807d59bf56c35a3a5c75b","ref":"refs/heads/OpenMP_AllSyntax_ThenAllSemantic","pushedAt":"2023-04-24T22:22:14.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":"New version of BF","shortMessageHtmlLink":"New version of BF"}},{"before":null,"after":"42f73b5df51590d9eefe807ce409dca96c905a68","ref":"refs/heads/OpenMP_AllSyntax_ThenAllSemantic","pushedAt":"2023-04-24T21:43:23.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":"OpenMP BF","shortMessageHtmlLink":"OpenMP BF"}},{"before":"8666545896ae144193d98e6bc4bdd9b5af863dc1","after":"c131499bba6ec58a64af7ba2ee87f0875c19c3f5","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T21:04:11.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":"Moved environment reading code outside the loop","shortMessageHtmlLink":"Moved environment reading code outside the loop"}},{"before":"240bcb69909eddf646255f81fd105823d9ad7d57","after":"8666545896ae144193d98e6bc4bdd9b5af863dc1","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T20:23: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":"Finished v0 of OpenMP Load Balance","shortMessageHtmlLink":"Finished v0 of OpenMP Load Balance"}},{"before":"43dea0147b6837d38eb49980c6f4e3debc9429aa","after":"240bcb69909eddf646255f81fd105823d9ad7d57","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T17:07:04.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":"OpenMP Load Balance WIP","shortMessageHtmlLink":"OpenMP Load Balance WIP"}},{"before":"f81f7f738f86ef9f2af53377b3956fa8af236b60","after":"43dea0147b6837d38eb49980c6f4e3debc9429aa","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T08:25:51.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Started work on load balancing","shortMessageHtmlLink":"Started work on load balancing"}},{"before":"2d5a7db4c337079ddaeae77d6dc6b44fed4c9ea4","after":"f81f7f738f86ef9f2af53377b3956fa8af236b60","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T06:14:45.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Switched to IN-OUT optimization. Also highly optimized OpenMP","shortMessageHtmlLink":"Switched to IN-OUT optimization. Also highly optimized OpenMP"}},{"before":null,"after":"2d5a7db4c337079ddaeae77d6dc6b44fed4c9ea4","ref":"refs/heads/assumption_refactor","pushedAt":"2023-04-24T02:43:52.000Z","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":"Testing assumption refactor","shortMessageHtmlLink":"Testing assumption refactor"}},{"before":"07260533bdbdb3b9ffc5e7ac017fc01b5f3bbc24","after":"aff207cd2a5cb9e8e22b747cd4a32552b623e305","ref":"refs/heads/master","pushedAt":"2023-04-23T23:47:07.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":"OpenMP fix, OpenMP CTests","shortMessageHtmlLink":"OpenMP fix, OpenMP CTests"}},{"before":"94cec0e559fc762b17d065d073eb7b192345e012","after":"07260533bdbdb3b9ffc5e7ac017fc01b5f3bbc24","ref":"refs/heads/master","pushedAt":"2023-04-23T19:34:58.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":"Testing without C specification","shortMessageHtmlLink":"Testing without C specification"}},{"before":"1db8d5f0a1dd7d8025987b4e542d0ac3cc219cf5","after":"94cec0e559fc762b17d065d073eb7b192345e012","ref":"refs/heads/master","pushedAt":"2023-04-23T19:18:08.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":"Pre CMake 3.9 flags for OpenMP","shortMessageHtmlLink":"Pre CMake 3.9 flags for OpenMP"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0xNlQwMTo0OToyNi4wMDAwMDBazwAAAAPLrAQ3","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0xNlQwMTo0OToyNi4wMDAwMDBazwAAAAPLrAQ3","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yM1QxOToxODowOC4wMDAwMDBazwAAAAMejoZx"}},"title":"Activity · RAIRLab/Parallel-Verifier"}