{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":728802462,"defaultBranch":"main","name":"antwort","ownerLogin":"lixitrixi","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-07T18:17:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52215017?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705331630.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"dce220e1ae3eefdfe24fa8b9de55188f01319f76","ref":"refs/heads/solve-pipeline","pushedAt":"2024-01-15T15:13:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"remove extraneous rule","shortMessageHtmlLink":"remove extraneous rule"}},{"before":"480b97e9615e7feea00b21f0be872b6c12753e06","after":"80201a279bc5a84e58aef991fb72e33d86851025","ref":"refs/heads/main","pushedAt":"2024-01-14T19:32:28.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #7 from lixitrixi/extend-rules\n\nExtend rules","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2080867250\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/7/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/7\">#7</a> from lixitrixi/extend-rules"}},{"before":"991d6b9158f8b987c2ee57bd95adb3d39b491238","after":"9d48967b6313a8cbc34cf78d69ffcd5cd9f724fd","ref":"refs/heads/extend-rules","pushedAt":"2024-01-14T19:31:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"add basic CLI capabilities","shortMessageHtmlLink":"add basic CLI capabilities"}},{"before":"480b97e9615e7feea00b21f0be872b6c12753e06","after":"991d6b9158f8b987c2ee57bd95adb3d39b491238","ref":"refs/heads/extend-rules","pushedAt":"2024-01-14T19:02:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"finalize reduction rules","shortMessageHtmlLink":"finalize reduction rules"}},{"before":null,"after":"480b97e9615e7feea00b21f0be872b6c12753e06","ref":"refs/heads/extend-rules","pushedAt":"2024-01-12T23:48:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #6 from lixitrixi/misc-fixes\n\nMisc fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2079891884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/6/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/6\">#6</a> from lixitrixi/misc-fixes"}},{"before":"62fed939d8440fc55f73d7166918f08f37864788","after":null,"ref":"refs/heads/misc-fixes","pushedAt":"2024-01-12T23:47:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"}},{"before":"7aefbfe971929238a61ee552ae27a34078180f8e","after":"480b97e9615e7feea00b21f0be872b6c12753e06","ref":"refs/heads/main","pushedAt":"2024-01-12T23:47:02.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #6 from lixitrixi/misc-fixes\n\nMisc fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2079891884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/6/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/6\">#6</a> from lixitrixi/misc-fixes"}},{"before":"9ec409370f983780c41f60f0ee5971c53e7936e3","after":"62fed939d8440fc55f73d7166918f08f37864788","ref":"refs/heads/misc-fixes","pushedAt":"2024-01-12T21:40:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"split rule registry into separate crate","shortMessageHtmlLink":"split rule registry into separate crate"}},{"before":"a792286246dae540d537faf7e26b3b792746fb02","after":"9ec409370f983780c41f60f0ee5971c53e7936e3","ref":"refs/heads/misc-fixes","pushedAt":"2024-01-12T20:11:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge branch 'misc-fixes' of github.com:lixitrixi/antwort into misc-fixes","shortMessageHtmlLink":"Merge branch 'misc-fixes' of github.com:lixitrixi/antwort into misc-f…"}},{"before":"7aefbfe971929238a61ee552ae27a34078180f8e","after":"a792286246dae540d537faf7e26b3b792746fb02","ref":"refs/heads/misc-fixes","pushedAt":"2024-01-04T13:07:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":null,"after":"7aefbfe971929238a61ee552ae27a34078180f8e","ref":"refs/heads/misc-fixes","pushedAt":"2024-01-03T22:39:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #5 from lixitrixi/integration-tests\n\nHere I create an integration testing framework to allow testing the full application workflow against various example problems. This will highlight issues like insufficient reduction rules.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061931159\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/5/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/5\">#5</a> from lixitrixi/integration-tests"}},{"before":"031faaa0508fa47d543beca75a776042235c1fc3","after":null,"ref":"refs/heads/integration-tests","pushedAt":"2024-01-02T16:50:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"}},{"before":"69faf072e81b94e94f3e8da4a90dee2b2ce32313","after":"7aefbfe971929238a61ee552ae27a34078180f8e","ref":"refs/heads/main","pushedAt":"2024-01-02T16:50:30.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #5 from lixitrixi/integration-tests\n\nHere I create an integration testing framework to allow testing the full application workflow against various example problems. This will highlight issues like insufficient reduction rules.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061931159\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/5/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/5\">#5</a> from lixitrixi/integration-tests"}},{"before":"55ceaae4848f6b765b70e59524dae11c663e49bf","after":"031faaa0508fa47d543beca75a776042235c1fc3","ref":"refs/heads/integration-tests","pushedAt":"2024-01-02T16:49:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"fix rule registry and correct CNF check method","shortMessageHtmlLink":"fix rule registry and correct CNF check method"}},{"before":"d1a0d24c1f2b0debe988cc2023ffc274fe7ca852","after":"55ceaae4848f6b765b70e59524dae11c663e49bf","ref":"refs/heads/integration-tests","pushedAt":"2024-01-02T04:31:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"integration testing infrastructure (FAILING)","shortMessageHtmlLink":"integration testing infrastructure (FAILING)"}},{"before":null,"after":"d1a0d24c1f2b0debe988cc2023ffc274fe7ca852","ref":"refs/heads/integration-tests","pushedAt":"2024-01-02T02:07:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"de/serialize expressions and add type helper methods","shortMessageHtmlLink":"de/serialize expressions and add type helper methods"}},{"before":"6a0415f71b4185c9584b7e9884ba2e7c5c84c8e4","after":null,"ref":"refs/heads/rule-engine","pushedAt":"2024-01-02T01:01:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"}},{"before":"5289a05c0f3b3f17de8816b2bfad9dedc29062c2","after":"69faf072e81b94e94f3e8da4a90dee2b2ce32313","ref":"refs/heads/main","pushedAt":"2024-01-02T01:01:52.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #4 from lixitrixi/rule-engine\n\nHere I implement a decentralized rule registry which can be added to at compile time with the register_rule macro. I also implement a basic expression rewriting algorithm to iterate over rules and apply available ones until no more are found.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061852423\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/4/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/4\">#4</a> from lixitrixi/rule-engine"}},{"before":"06be5493649593dc4e7188ccd018149f755f3acf","after":"6a0415f71b4185c9584b7e9884ba2e7c5c84c8e4","ref":"refs/heads/rule-engine","pushedAt":"2024-01-02T00:59:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"remove failing doctests and improve naming\n\nI don't wanna touch doctests with a 10-foot pole with the proc-macro shenanigans I'm cooking here","shortMessageHtmlLink":"remove failing doctests and improve naming"}},{"before":"a11a7d307e8cd94e19dccba9c71c2d92abae00c0","after":"06be5493649593dc4e7188ccd018149f755f3acf","ref":"refs/heads/rule-engine","pushedAt":"2024-01-02T00:15:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"implement recursive rewrite algorithm (WOOOOOO)","shortMessageHtmlLink":"implement recursive rewrite algorithm (WOOOOOO)"}},{"before":"49d1c3eb5e49e2a497e77e6c0434bffc5cb7ece8","after":"a11a7d307e8cd94e19dccba9c71c2d92abae00c0","ref":"refs/heads/rule-engine","pushedAt":"2024-01-01T22:05:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"remove RuleApplicationResult type: too abstract","shortMessageHtmlLink":"remove RuleApplicationResult type: too abstract"}},{"before":"7c8173cb46c70a87e4d3866f1a3e1b148becd6b1","after":"49d1c3eb5e49e2a497e77e6c0434bffc5cb7ece8","ref":"refs/heads/rule-engine","pushedAt":"2024-01-01T20:24:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"rename macro and add documentation","shortMessageHtmlLink":"rename macro and add documentation"}},{"before":"1d332f76a29ae251d3730543e006d54f47129670","after":"7c8173cb46c70a87e4d3866f1a3e1b148becd6b1","ref":"refs/heads/rule-engine","pushedAt":"2024-01-01T20:02:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"add rule names for identification","shortMessageHtmlLink":"add rule names for identification"}},{"before":"d17cdec4ae7676fc0be6c0a0acba68b310d35a33","after":"1d332f76a29ae251d3730543e006d54f47129670","ref":"refs/heads/rule-engine","pushedAt":"2024-01-01T19:49:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"internalize macro module imports","shortMessageHtmlLink":"internalize macro module imports"}},{"before":null,"after":"d17cdec4ae7676fc0be6c0a0acba68b310d35a33","ref":"refs/heads/rule-engine","pushedAt":"2024-01-01T19:04:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"write procedural rule register macro","shortMessageHtmlLink":"write procedural rule register macro"}},{"before":"13c7ccd00f635efca1ef98c9ec9420edb36d2391","after":null,"ref":"refs/heads/rename-modules","pushedAt":"2023-12-31T18:45:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"}},{"before":"6768b1d9a56c3b342736b61d628fa0d8dff93144","after":"5289a05c0f3b3f17de8816b2bfad9dedc29062c2","ref":"refs/heads/main","pushedAt":"2023-12-31T18:45:25.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #3 from lixitrixi/rename-modules\n\nRename modules to follow Rust naming conventions.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061142741\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/3/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/3\">#3</a> from lixitrixi/rename-modules"}},{"before":null,"after":"13c7ccd00f635efca1ef98c9ec9420edb36d2391","ref":"refs/heads/rename-modules","pushedAt":"2023-12-31T18:44:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"rename modules to follow Rust convention","shortMessageHtmlLink":"rename modules to follow Rust convention"}},{"before":"dbb6089bc1c8cfc1d767e7d2a0b93c7b0196ef53","after":null,"ref":"refs/heads/antwort-solver","pushedAt":"2023-12-31T18:05:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"}},{"before":"fa22801ead73ce30a91375f430e1c1e8e1a40c12","after":"6768b1d9a56c3b342736b61d628fa0d8dff93144","ref":"refs/heads/main","pushedAt":"2023-12-31T18:05:12.000Z","pushType":"pr_merge","commitsCount":20,"pusher":{"login":"lixitrixi","name":"Felix Leitner","path":"/lixitrixi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52215017?s=80&v=4"},"commit":{"message":"Merge pull request #2 from lixitrixi/antwort-solver\n\nImplement and test a DPLL solver algorithm.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2034155924\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lixitrixi/antwort/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lixitrixi/antwort/pull/2/hovercard\" href=\"https://github.com/lixitrixi/antwort/pull/2\">#2</a> from lixitrixi/antwort-solver"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD4Cqi-AA","startCursor":null,"endCursor":null}},"title":"Activity · lixitrixi/antwort"}