{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":12542665,"defaultBranch":"master","name":"cyclist","ownerLogin":"cyclist-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-09-02T15:02:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/161569349?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709232517.0","currentOid":""},"activityList":{"items":[{"before":"949154ae06ecb3cde07477f4963b4b19d9d57d07","after":"af98d8d784dee82a2a8690d67e472e737f723e28","ref":"refs/heads/sledgehammer","pushedAt":"2024-05-07T08:44:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"update generic test makefile to use new header files","shortMessageHtmlLink":"update generic test makefile to use new header files"}},{"before":"30099778b0d0066f452c98574cfc9936c0a40286","after":"949154ae06ecb3cde07477f4963b4b19d9d57d07","ref":"refs/heads/sledgehammer","pushedAt":"2024-05-06T18:36:42.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"split directed_graph to c and hpp files","shortMessageHtmlLink":"split directed_graph to c and hpp files"}},{"before":"b71220e9f59b87512c77b46270676cfc01955d9f","after":"30099778b0d0066f452c98574cfc9936c0a40286","ref":"refs/heads/sledgehammer","pushedAt":"2024-05-02T09:31:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Fix compilation errors and warnings.","shortMessageHtmlLink":"Fix compilation errors and warnings."}},{"before":"e040d5f497571b795bf36108b43c6229ffc8cf00","after":"b71220e9f59b87512c77b46270676cfc01955d9f","ref":"refs/heads/sledgehammer","pushedAt":"2024-05-01T18:45:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"add a remove method to sloped relation","shortMessageHtmlLink":"add a remove method to sloped relation"}},{"before":"cbfaa3249c0242379c8cb44a78600f450e140d59","after":"e040d5f497571b795bf36108b43c6229ffc8cf00","ref":"refs/heads/sledgehammer","pushedAt":"2024-04-13T13:20:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"add debug logs","shortMessageHtmlLink":"add debug logs"}},{"before":"8b3c9f190a1bb21ba0b7ec5506ec8d82dca40f23","after":"cbfaa3249c0242379c8cb44a78600f450e140d59","ref":"refs/heads/sledgehammer","pushedAt":"2024-04-03T14:16:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"make sledgehammer criteria dynamic and add graph scripts","shortMessageHtmlLink":"make sledgehammer criteria dynamic and add graph scripts"}},{"before":"21b5c7ae42e4c893f45727442b94ae9fa79cb6a9","after":"8b3c9f190a1bb21ba0b7ec5506ec8d82dca40f23","ref":"refs/heads/sledgehammer","pushedAt":"2024-04-01T19:44:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"change automata based to process based","shortMessageHtmlLink":"change automata based to process based"}},{"before":"1c67e4e704aa4a8962074899f67d3c4587131337","after":"21b5c7ae42e4c893f45727442b94ae9fa79cb6a9","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-30T12:24:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"run all sound&complete criteria in processes instead of threads","shortMessageHtmlLink":"run all sound&complete criteria in processes instead of threads"}},{"before":"866ea0bbd1a0134bf66b37f857904bfc153ad750","after":"1c67e4e704aa4a8962074899f67d3c4587131337","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-28T15:10:02.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"add flat cycles complete-unsound criterion","shortMessageHtmlLink":"add flat cycles complete-unsound criterion"}},{"before":"e609ff6d27495c97cc193a7eb5dd846d6cb91c87","after":"866ea0bbd1a0134bf66b37f857904bfc153ad750","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-20T19:39:44.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"add sledgehammer to tests makefile","shortMessageHtmlLink":"add sledgehammer to tests makefile"}},{"before":"a3e94a70c0847bb792338674760ed5f87340a89d","after":"e609ff6d27495c97cc193a7eb5dd846d6cb91c87","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-20T14:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"enable calling relational checks without halting flag","shortMessageHtmlLink":"enable calling relational checks without halting flag"}},{"before":"a4a72db9e184ac51639f8f1bf57b9deee199c2d0","after":"a3e94a70c0847bb792338674760ed5f87340a89d","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-07T20:06:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"convert SoundnessCheckResult to bool when criterion finishes","shortMessageHtmlLink":"convert SoundnessCheckResult to bool when criterion finishes"}},{"before":"1ea23750db8f27839aa31c2c8980ca3876212ae3","after":"a4a72db9e184ac51639f8f1bf57b9deee199c2d0","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-07T19:56:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"create an automata based abstraction for processes and use all complete methods","shortMessageHtmlLink":"create an automata based abstraction for processes and use all comple…"}},{"before":"0123aa506aa15bddcccdc6cfc230688e1546acdc","after":"1ea23750db8f27839aa31c2c8980ca3876212ae3","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-07T18:48:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"run VLA method in a seperate process","shortMessageHtmlLink":"run VLA method in a seperate process"}},{"before":"d340a0200fa1fc987d33dd41fbdec662e8429154","after":"0123aa506aa15bddcccdc6cfc230688e1546acdc","ref":"refs/heads/sledgehammer","pushedAt":"2024-03-05T14:59:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"add -SH flag to run sledgehammer","shortMessageHtmlLink":"add -SH flag to run sledgehammer"}},{"before":"da55c61b2aea84db21a46232f5879156359d5660","after":"d340a0200fa1fc987d33dd41fbdec662e8429154","ref":"refs/heads/sledgehammer","pushedAt":"2024-02-29T18:55:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"add sledgehammer files","shortMessageHtmlLink":"add sledgehammer files"}},{"before":null,"after":"da55c61b2aea84db21a46232f5879156359d5660","ref":"refs/heads/sledgehammer","pushedAt":"2024-02-29T18:48:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Wava11","name":"Matan Shaked","path":"/Wava11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62509331?s=80&v=4"},"commit":{"message":"Modify Dockerfile for POPL2024 configuration so that it uses the correct dune-workspace file out of the box; add some instructions about building the DOcker images.","shortMessageHtmlLink":"Modify Dockerfile for POPL2024 configuration so that it uses the corr…"}},{"before":"7eeb3d09a1feef0ea72a894b20a624aeea4a6efd","after":"da55c61b2aea84db21a46232f5879156359d5660","ref":"refs/heads/Post-CADE2023","pushedAt":"2024-01-14T15:03:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Modify Dockerfile for POPL2024 configuration so that it uses the correct dune-workspace file out of the box; add some instructions about building the DOcker images.","shortMessageHtmlLink":"Modify Dockerfile for POPL2024 configuration so that it uses the corr…"}},{"before":"8ded27e1ac8fe1816f3684b95e2fcfa40daf571a","after":"7eeb3d09a1feef0ea72a894b20a624aeea4a6efd","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-11-05T22:54:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Only include commit SHA in benchmark log file names if we find a .git directory.","shortMessageHtmlLink":"Only include commit SHA in benchmark log file names if we find a .git…"}},{"before":"bacc4bf45a6850291376208b10599b927f118d8b","after":"8ded27e1ac8fe1816f3684b95e2fcfa40daf571a","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-11-03T15:44:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"https.","shortMessageHtmlLink":"https."}},{"before":"916c4495b51c5f2efb3489470af12d9a52bdf714","after":"bacc4bf45a6850291376208b10599b927f118d8b","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-29T10:40:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Update Dockerfile - ocaml/opam2 image deprecated, need to add GitLFS.","shortMessageHtmlLink":"Update Dockerfile - ocaml/opam2 image deprecated, need to add GitLFS."}},{"before":"b579581c1763a0882073ac1866aaff36c7c7b6a7","after":"916c4495b51c5f2efb3489470af12d9a52bdf714","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-25T22:34:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Fix implementation of Tarjan's SCC algorithm.","shortMessageHtmlLink":"Fix implementation of Tarjan's SCC algorithm."}},{"before":"5d84b61b66bc78417ab286350638b8573af8ded7","after":"b579581c1763a0882073ac1866aaff36c7c7b6a7","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-18T18:23:18.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Avoid allocating memory for storing node order when given order is being used.","shortMessageHtmlLink":"Avoid allocating memory for storing node order when given order is be…"}},{"before":"d284f7670c4d939f90598a9048ee90518bcdda56","after":"5d84b61b66bc78417ab286350638b8573af8ded7","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-17T22:40:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Fix benchmarks test script.","shortMessageHtmlLink":"Fix benchmarks test script."}},{"before":"3c75a9a096509b236ba3c04baada407c10e1862c","after":"d284f7670c4d939f90598a9048ee90518bcdda56","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-17T22:24:40.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Implemented ordering nodes lexicographically by out-degree and then in-degree, to tweak performance of ORTL algorithm; ascending order is better for cases that do satisfy ID and descending better in cases with many cycles not satisfying ID.","shortMessageHtmlLink":"Implemented ordering nodes lexicographically by out-degree and then i…"}},{"before":"476b0195046f1e0ae8f50b82d4b287dfd8521c8a","after":"3c75a9a096509b236ba3c04baada407c10e1862c","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-14T15:12:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add new implementation of VLA encoding, and rename things.","shortMessageHtmlLink":"Add new implementation of VLA encoding, and rename things."}},{"before":"ead9e411920fa0f7de43cd2b84abd66c6fc1d6d6","after":"476b0195046f1e0ae8f50b82d4b287dfd8521c8a","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-13T15:47:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Change -OP (One Pass) flag to -OR (Order-reduced).","shortMessageHtmlLink":"Change -OP (One Pass) flag to -OR (Order-reduced)."}},{"before":"a8fca813973252966b0b74c73c00fc984bc20a17","after":"ead9e411920fa0f7de43cd2b84abd66c6fc1d6d6","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-12T17:47:09.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Found the bug!","shortMessageHtmlLink":"Found the bug!"}},{"before":"725e7f3e59aff5abf5f0091031f844a6df8d4f67","after":"a8fca813973252966b0b74c73c00fc984bc20a17","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-12T17:13:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Add print function for CCL in FWK algorithm.","shortMessageHtmlLink":"Add print function for CCL in FWK algorithm."}},{"before":"472e46ab0d6f0777e7bbf6e7686f01923ee7aec6","after":"725e7f3e59aff5abf5f0091031f844a6df8d4f67","ref":"refs/heads/Post-CADE2023","pushedAt":"2023-10-12T16:34:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"reubenrowe","name":"Reuben Rowe","path":"/reubenrowe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8182076?s=80&v=4"},"commit":{"message":"Fix non-termination bug: due to trying to increment iterator over an empty set; other bugs remain.","shortMessageHtmlLink":"Fix non-termination bug: due to trying to increment iterator over an …"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQ1efEwA","startCursor":null,"endCursor":null}},"title":"Activity · cyclist-org/cyclist"}