{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":627965490,"defaultBranch":"main","name":"CryptoSolve","ownerLogin":"CryptoSolvers","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-14T15:37:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/130685209?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1686915047.3595421","currentOid":""},"activityList":{"items":[{"before":"f898578fa1429a559f75316b5b786257578bcc22","after":"483c0f2b36966c6fea7da960898da5a7358d3402","ref":"refs/heads/main","pushedAt":"2024-03-11T16:57:40.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":"Removed experiment code","shortMessageHtmlLink":"Removed experiment code"}},{"before":"1c8d2653d92777e9dbd7fb1c041c651331d3f152","after":"f898578fa1429a559f75316b5b786257578bcc22","ref":"refs/heads/main","pushedAt":"2024-03-05T02:37:43.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":"Keep track of which layer an equation is computed from","shortMessageHtmlLink":"Keep track of which layer an equation is computed from"}},{"before":"1959aca9a1b9fbbc5af1b114651a9e61581a8049","after":"1c8d2653d92777e9dbd7fb1c041c651331d3f152","ref":"refs/heads/main","pushedAt":"2024-01-17T23:31:40.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":"Switched out benchmark problem","shortMessageHtmlLink":"Switched out benchmark problem"}},{"before":"2ec7212fc7d19109818e357a4c000da0e0beb687","after":"1959aca9a1b9fbbc5af1b114651a9e61581a8049","ref":"refs/heads/main","pushedAt":"2024-01-17T15:56:59.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":"Compute up to N unique solutions for experiments","shortMessageHtmlLink":"Compute up to N unique solutions for experiments"}},{"before":"ac5d9f32cc64f074cbb4edf1cad26a1b0f4c0842","after":"2ec7212fc7d19109818e357a4c000da0e0beb687","ref":"refs/heads/main","pushedAt":"2024-01-17T15:02:34.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Wrote script that records time to obtain each solution.","shortMessageHtmlLink":"Wrote script that records time to obtain each solution."}},{"before":"1eb00785da168275cdecc5f58b714af3b0a8b797","after":"ac5d9f32cc64f074cbb4edf1cad26a1b0f4c0842","ref":"refs/heads/main","pushedAt":"2024-01-12T21:34:14.000Z","pushType":"push","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":"Selected benchmark problems for AC unification algorithms","shortMessageHtmlLink":"Selected benchmark problems for AC unification algorithms"}},{"before":"633b315f8605f8cc6d01e8db12340c825b187cf5","after":"1eb00785da168275cdecc5f58b714af3b0a8b797","ref":"refs/heads/main","pushedAt":"2023-12-14T15:02:45.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":"Adding more debugging information, some more notes on examples","shortMessageHtmlLink":"Adding more debugging information, some more notes on examples"}},{"before":"a9afcb4955d774b9483da470e7b591f9a27f093d","after":"633b315f8605f8cc6d01e8db12340c825b187cf5","ref":"refs/heads/main","pushedAt":"2023-12-07T19:36:15.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":"Double-Layer experimentation","shortMessageHtmlLink":"Double-Layer experimentation"}},{"before":"1a122e37cf9b0b827daa181198a6ef4b0c065525","after":"a9afcb4955d774b9483da470e7b591f9a27f093d","ref":"refs/heads/main","pushedAt":"2023-11-08T01:39:00.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":"Syntactic AC Updates\n- Keep track of rule application\n- On branching, make sure it's on the same equation\n- Fixed small bug in mutate rule","shortMessageHtmlLink":"Syntactic AC Updates"}},{"before":"8ab39036dc2739d7b41836394a5168882a63c084","after":"1a122e37cf9b0b827daa181198a6ef4b0c065525","ref":"refs/heads/main","pushedAt":"2023-10-27T20:27:45.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":"Simplified mutate rules","shortMessageHtmlLink":"Simplified mutate rules"}},{"before":"e3b95802d02c27eb0704c5ec61e89916823a0bcd","after":"8ab39036dc2739d7b41836394a5168882a63c084","ref":"refs/heads/main","pushedAt":"2023-10-18T00:53:59.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":"Syntactic AC Work\n- Removed orient rule, note that flattening and the new rules always guarentee that a variable will be on the left side.\n- Fixed trace checker\n- Experimenting with ordering for mutate rules\n- Commented out EQE as the rule from paper conflicts with trace checking\n- More debugging info per layer, # of occurs checks etc.","shortMessageHtmlLink":"Syntactic AC Work"}},{"before":"c899549df0d79998d5aee5a0902b95ab9c493f0a","after":"e3b95802d02c27eb0704c5ec61e89916823a0bcd","ref":"refs/heads/main","pushedAt":"2023-10-17T22:01:42.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":"Syntactic AC Updates: Flat Inference Rules\n- Only variable substitute var->var\n- Mutate rules include merge matching\n- Added solved form check\n- Added trace check to see if two variables are equal modulo the equational set","shortMessageHtmlLink":"Syntactic AC Updates: Flat Inference Rules"}},{"before":"f4d59879d69bebde11f830878b7a555d2af4e4ff","after":"c899549df0d79998d5aee5a0902b95ab9c493f0a","ref":"refs/heads/main","pushedAt":"2023-10-12T03:14:18.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":"Updated readme","shortMessageHtmlLink":"Updated readme"}},{"before":"91d5472276730b171dacf76f91754d76c164e229","after":"f4d59879d69bebde11f830878b7a555d2af4e4ff","ref":"refs/heads/main","pushedAt":"2023-10-07T04:12:01.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":"Slight improvement to unravel","shortMessageHtmlLink":"Slight improvement to unravel"}},{"before":"a9f898cf5e97ce57b747d838c1f97c36e1c9ba6e","after":"91d5472276730b171dacf76f91754d76c164e229","ref":"refs/heads/main","pushedAt":"2023-09-19T19:00:49.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":"Added cancellation rule and ordered sets for testing","shortMessageHtmlLink":"Added cancellation rule and ordered sets for testing"}},{"before":"eaa11ce9b75d0564f49d611406fb666c453626ff","after":"a9f898cf5e97ce57b747d838c1f97c36e1c9ba6e","ref":"refs/heads/main","pushedAt":"2023-08-30T15:02:56.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 unravel to algebra library and edited synt ac solution checker","shortMessageHtmlLink":"Moved unravel to algebra library and edited synt ac solution checker"}},{"before":"ba27a7659ac3f1312cc26f7b5f021f7f3e5c417c","after":"eaa11ce9b75d0564f49d611406fb666c453626ff","ref":"refs/heads/main","pushedAt":"2023-08-28T23:06:43.000Z","pushType":"push","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":"Syntactic AC updates\n- Only add to tree if mutate rule can be applied\n- Apply merge to only one equation\n- Add shallow occurence checks to var_rep and eqe\n- Check that set of equations is linear before deeming it a solution","shortMessageHtmlLink":"Syntactic AC updates"}},{"before":"592b5529ced75a53d6838f0b4d93c5ea8e41b8cf","after":"ba27a7659ac3f1312cc26f7b5f021f7f3e5c417c","ref":"refs/heads/main","pushedAt":"2023-08-28T18:12:09.000Z","pushType":"pr_merge","commitsCount":18,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Merge pull request #3 from CryptoSolvers/syntactic_ac\n\nMerging some syntactic ac changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1870218906\" data-permission-text=\"Title is private\" data-url=\"https://github.com/CryptoSolvers/CryptoSolve/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/CryptoSolvers/CryptoSolve/pull/3/hovercard\" href=\"https://github.com/CryptoSolvers/CryptoSolve/pull/3\">#3</a> from CryptoSolvers/syntactic_ac"}},{"before":"1f1d8d51ff90d501699acc7284d23620ba18ef7c","after":"592b5529ced75a53d6838f0b4d93c5ea8e41b8cf","ref":"refs/heads/main","pushedAt":"2023-08-21T18:16:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MarshallAndrew","name":"Andrew Marshall","path":"/MarshallAndrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75184983?s=80&v=4"},"commit":{"message":"some bug fixes but still not fully working","shortMessageHtmlLink":"some bug fixes but still not fully working"}},{"before":"8f07019c652a8352165fb22bc606bccffe346da3","after":"1f1d8d51ff90d501699acc7284d23620ba18ef7c","ref":"refs/heads/main","pushedAt":"2023-08-21T16:12:09.000Z","pushType":"push","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":"Uploading examples file","shortMessageHtmlLink":"Uploading examples file"}},{"before":"7cc218e872645057e966c315e6c7310634f43298","after":"8f07019c652a8352165fb22bc606bccffe346da3","ref":"refs/heads/main","pushedAt":"2023-08-20T17:33:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MarshallAndrew","name":"Andrew Marshall","path":"/MarshallAndrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75184983?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/CryptoSolvers/CryptoSolve","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/CryptoSolvers/CryptoSolve\">https://github.com/CryptoSolvers/CryptoSolve</a>"}},{"before":"2142b109bbeddeaaf5293beb1ed8c36ebf91e81b","after":"a1a9eb0a82db2770a95224c366eccc994228b35a","ref":"refs/heads/syntactic_ac","pushedAt":"2023-08-12T14:37:43.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":"Factored out occurs check from syntactic ac implementations","shortMessageHtmlLink":"Factored out occurs check from syntactic ac implementations"}},{"before":"f5151cf0386e590e3cbb380ef41aa1c2e7dd8c3f","after":"2142b109bbeddeaaf5293beb1ed8c36ebf91e81b","ref":"refs/heads/syntactic_ac","pushedAt":"2023-08-12T14:34:09.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":"Added full occurs check into syntactic unification","shortMessageHtmlLink":"Added full occurs check into syntactic unification"}},{"before":"51d6f7d051cb09993550e09c361b6346c44b09d5","after":"7cc218e872645057e966c315e6c7310634f43298","ref":"refs/heads/main","pushedAt":"2023-08-12T14:33:01.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":"Added full occurs check into syntactic unification","shortMessageHtmlLink":"Added full occurs check into syntactic unification"}},{"before":"97dac8aa26cec36039a6fe1af3a1c0afd0e853df","after":"f5151cf0386e590e3cbb380ef41aa1c2e7dd8c3f","ref":"refs/heads/syntactic_ac","pushedAt":"2023-08-08T23:38:43.000Z","pushType":"push","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":"Incorporating unique solution checker","shortMessageHtmlLink":"Incorporating unique solution checker"}},{"before":"03b3dc94615993ae3815ffc1bb397a7f8b105b10","after":"97dac8aa26cec36039a6fe1af3a1c0afd0e853df","ref":"refs/heads/syntactic_ac","pushedAt":"2023-08-08T22:33:10.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Brandon-Rozek","name":"Brandon Rozek","path":"/Brandon-Rozek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30753990?s=80&v=4"},"commit":{"message":"Merge pull request #1 from CryptoSolvers/main\n\nComparing solved forms","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1842193574\" data-permission-text=\"Title is private\" data-url=\"https://github.com/CryptoSolvers/CryptoSolve/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/CryptoSolvers/CryptoSolve/pull/1/hovercard\" href=\"https://github.com/CryptoSolvers/CryptoSolve/pull/1\">#1</a> from CryptoSolvers/main"}},{"before":"246d51ec258accdb354444124ecc47bfc26b350e","after":"51d6f7d051cb09993550e09c361b6346c44b09d5","ref":"refs/heads/main","pushedAt":"2023-08-07T15:22:56.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"MarshallAndrew","name":"Andrew Marshall","path":"/MarshallAndrew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/75184983?s=80&v=4"},"commit":{"message":"try to use syntactic unification to test for equiv subs","shortMessageHtmlLink":"try to use syntactic unification to test for equiv subs"}},{"before":"6e175a8bd3c815ce5cd4119cb8d494898fd7032c","after":"03b3dc94615993ae3815ffc1bb397a7f8b105b10","ref":"refs/heads/syntactic_ac","pushedAt":"2023-07-14T14:45:16.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":"[New Syntactic AC] Theory Extensions\n- Now support constants and free function symbols\n- Added custom decompose rule\n- Added delete_trivial rule\n- Added function_clash rule\n- Added more test cases","shortMessageHtmlLink":"[New Syntactic AC] Theory Extensions"}},{"before":"4c000496581db9c8a41392748bfc2832be0e9704","after":"6e175a8bd3c815ce5cd4119cb8d494898fd7032c","ref":"refs/heads/syntactic_ac","pushedAt":"2023-07-13T15:55:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gerok","name":null,"path":"/gerok","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7477222?s=80&v=4"},"commit":{"message":"some test cases","shortMessageHtmlLink":"some test cases"}},{"before":"3bfb4e3345829327970848103c323014fa4f32d0","after":"4c000496581db9c8a41392748bfc2832be0e9704","ref":"refs/heads/syntactic_ac","pushedAt":"2023-07-11T23:21:06.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":"Fixing mutate rules to check for binary terms","shortMessageHtmlLink":"Fixing mutate rules to check for binary terms"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEockqgA","startCursor":null,"endCursor":null}},"title":"Activity · CryptoSolvers/CryptoSolve"}