{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":262994126,"defaultBranch":"master","name":"KnuthBendix.jl","ownerLogin":"kalmarek","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-11T09:14:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1666118?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724164097.0","currentOid":""},"activityList":{"items":[{"before":"2314a1a10efc5c40ca4d9c4f142290f73db65f79","after":"78743540e2b85e1b110fe9d3486db394ec63d381","ref":"refs/heads/gh-pages","pushedAt":"2024-08-20T14:29:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 82129d9","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/kalmarek/KnuthBendix.jl/commit/82129d9f9bb4bf74f4ec7a76dabf0780550cb4f3/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/commit/82129d9f9bb4bf74f4ec7a76dabf0780550cb4f3\"><tt>82129d9</tt></a>"}},{"before":"db1ad197199999f01304da647a11490f4be78da5","after":null,"ref":"refs/heads/mk/add_benchmarks","pushedAt":"2024-08-20T14:28:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"}},{"before":"5f036c3d93617fffa39fa664345aee113ababa26","after":"82129d9f9bb4bf74f4ec7a76dabf0780550cb4f3","ref":"refs/heads/master","pushedAt":"2024-08-20T14:28:09.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"Merge pull request #77 from kalmarek/mk/add_benchmarks\n\nadd benchmarks","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2475744398\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kalmarek/KnuthBendix.jl/issues/77\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kalmarek/KnuthBendix.jl/pull/77/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/pull/77\">#77</a> from kalmarek/mk/add_benchmarks"}},{"before":null,"after":"db1ad197199999f01304da647a11490f4be78da5","ref":"refs/heads/mk/add_benchmarks","pushedAt":"2024-08-20T14:00:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"remove old benchmarking","shortMessageHtmlLink":"remove old benchmarking"}},{"before":"3bd5813fb99b1b5f12da6ea9dc19be4359628153","after":"2314a1a10efc5c40ca4d9c4f142290f73db65f79","ref":"refs/heads/gh-pages","pushedAt":"2024-08-19T09:29:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 5f036c3","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/kalmarek/KnuthBendix.jl/commit/5f036c3d93617fffa39fa664345aee113ababa26/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/commit/5f036c3d93617fffa39fa664345aee113ababa26\"><tt>5f036c3</tt></a>"}},{"before":"11f69155f993a3fca08c46c3984ea1aaf2076693","after":null,"ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-19T09:27:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"}},{"before":"690cfa8c87fb030ea1d2226f360d08f74b6e1adb","after":"5f036c3d93617fffa39fa664345aee113ababa26","ref":"refs/heads/master","pushedAt":"2024-08-19T09:27:32.000Z","pushType":"pr_merge","commitsCount":36,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"Merge pull request #76 from kalmarek/mk/prefix_automaton_new\n\nAdd `PrefixAutomaton`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2440366895\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kalmarek/KnuthBendix.jl/issues/76\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kalmarek/KnuthBendix.jl/pull/76/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/pull/76\">#76</a> from kalmarek/mk/prefix_automaton_new"}},{"before":"ee04bde4e173e22122f89dd8055d1138d1d8eb31","after":"11f69155f993a3fca08c46c3984ea1aaf2076693","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-19T08:57:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"add PrefixAutomaton and KBPrefix to the docs","shortMessageHtmlLink":"add PrefixAutomaton and KBPrefix to the docs"}},{"before":"06f9e3122a51e70112d87e832d206388ff151ac9","after":"ee04bde4e173e22122f89dd8055d1138d1d8eb31","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-15T12:06:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"fix doctests","shortMessageHtmlLink":"fix doctests"}},{"before":"1a3590d7e50e21089af7e8c33d0e95dde7c2a6e8","after":"06f9e3122a51e70112d87e832d206388ff151ac9","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-14T15:27:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"update timnings of kb_data examples","shortMessageHtmlLink":"update timnings of kb_data examples"}},{"before":"ae324bcb7b6c7ece8236785d7615e8cf2f892aee","after":"1a3590d7e50e21089af7e8c33d0e95dde7c2a6e8","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-14T13:49:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"fix botched rebases: remove double definitions","shortMessageHtmlLink":"fix botched rebases: remove double definitions"}},{"before":null,"after":"1a3590d7e50e21089af7e8c33d0e95dde7c2a6e8","ref":"refs/heads/mk/prefix_automaton_backup","pushedAt":"2024-08-14T13:47:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"fix botched rebases: remove double definitions","shortMessageHtmlLink":"fix botched rebases: remove double definitions"}},{"before":"ba740cb4fabe98debd944f26afee2b80052aa198","after":"ae324bcb7b6c7ece8236785d7615e8cf2f892aee","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-09T22:57:28.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"rename stack_size to confluence_delay","shortMessageHtmlLink":"rename stack_size to confluence_delay"}},{"before":"89003b9ec943fb7c03954f0e8b42d83167d6dfd1","after":"ba740cb4fabe98debd944f26afee2b80052aa198","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-09T22:24:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"run KBPlain with verbosity=0 to minimize chatter","shortMessageHtmlLink":"run KBPlain with verbosity=0 to minimize chatter"}},{"before":"31fe7c6d57d2e7a22f368622d5fb056a7e5661a7","after":"89003b9ec943fb7c03954f0e8b42d83167d6dfd1","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-06T15:53:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"better printing","shortMessageHtmlLink":"better printing"}},{"before":"51055154c7c3eb59504b2371c2467774b780cdee","after":"31fe7c6d57d2e7a22f368622d5fb056a7e5661a7","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-06T15:49:42.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"better printing","shortMessageHtmlLink":"better printing"}},{"before":"14b3a068bf43f6151a9e84ddad740a9474d7c81a","after":"51055154c7c3eb59504b2371c2467774b780cdee","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-08-05T20:34:26.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"docs: fix order of rwrules in kbmag parsing","shortMessageHtmlLink":"docs: fix order of rwrules in kbmag parsing"}},{"before":null,"after":"14b3a068bf43f6151a9e84ddad740a9474d7c81a","ref":"refs/heads/mk/prefix_automaton_new","pushedAt":"2024-07-31T15:42:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"yet another cleanup of Workspace constructors","shortMessageHtmlLink":"yet another cleanup of Workspace constructors"}},{"before":"a84e1ddc2454e62c046245db270af707fd7938f8","after":"64691e6138dadff0fe345ef7041c8ea9850c8ec1","ref":"refs/heads/mk/prefix_automaton","pushedAt":"2024-07-31T15:11:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"define Stack{W} as alias to Vector{Tuple{W,W}}","shortMessageHtmlLink":"define Stack{W} as alias to Vector{Tuple{W,W}}"}},{"before":"76eb55c66ac9a6eb11158c7cb3418cfdc73358d7","after":"a84e1ddc2454e62c046245db270af707fd7938f8","ref":"refs/heads/mk/prefix_automaton","pushedAt":"2024-07-31T15:07:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"define Stack{W} as alias to Vector{Tuple{W,W}}","shortMessageHtmlLink":"define Stack{W} as alias to Vector{Tuple{W,W}}"}},{"before":null,"after":"76eb55c66ac9a6eb11158c7cb3418cfdc73358d7","ref":"refs/heads/mk/prefix_automaton","pushedAt":"2024-07-30T10:29:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"add tests for PackedVector and rewriting with automata","shortMessageHtmlLink":"add tests for PackedVector and rewriting with automata"}},{"before":"8566d4975e78b3240ad0f0db2eb4339325cb5b97","after":"3bd5813fb99b1b5f12da6ea9dc19be4359628153","ref":"refs/heads/gh-pages","pushedAt":"2024-07-29T12:09:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 690cfa8","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/kalmarek/KnuthBendix.jl/commit/690cfa8c87fb030ea1d2226f360d08f74b6e1adb/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/commit/690cfa8c87fb030ea1d2226f360d08f74b6e1adb\"><tt>690cfa8</tt></a>"}},{"before":"f8e65d944953b14a563cf4e9eda8c680314af2f5","after":"690cfa8c87fb030ea1d2226f360d08f74b6e1adb","ref":"refs/heads/master","pushedAt":"2024-07-29T12:07:50.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"Merge pull request #74 from kalmarek/mk/filter_rules\n\nEnable filtering of added rules via knobs in Settings","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2429940622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kalmarek/KnuthBendix.jl/issues/74\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kalmarek/KnuthBendix.jl/pull/74/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/pull/74\">#74</a> from kalmarek/mk/filter_rules"}},{"before":"2db92182478b0eab83151b7b4a590416fc608d46","after":"6dc2632831343f7322109cb412357c91e0454bae","ref":"refs/heads/mk/filter_rules","pushedAt":"2024-07-29T11:46:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"enable \"degen4b\" example setting max_length_lhs = 20","shortMessageHtmlLink":"enable \"degen4b\" example setting max_length_lhs = 20"}},{"before":null,"after":"2db92182478b0eab83151b7b4a590416fc608d46","ref":"refs/heads/mk/filter_rules","pushedAt":"2024-07-25T13:12:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"remove the unused filter!(::Settings, stack)","shortMessageHtmlLink":"remove the unused filter!(::Settings, stack)"}},{"before":"96292bd52eb60c0c76866a39b4bde5c3e970ae0b","after":"8566d4975e78b3240ad0f0db2eb4339325cb5b97","ref":"refs/heads/gh-pages","pushedAt":"2024-07-22T12:15:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on f8e65d9","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/kalmarek/KnuthBendix.jl/commit/f8e65d944953b14a563cf4e9eda8c680314af2f5/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/commit/f8e65d944953b14a563cf4e9eda8c680314af2f5\"><tt>f8e65d9</tt></a>"}},{"before":"ccace0bd15212c5172dfa327e82f5f1129a8a0c9","after":null,"ref":"refs/heads/mk/rename_index_at_terminals","pushedAt":"2024-07-22T12:13:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"}},{"before":"3bef24c2b18e3b9053f913fd5c377d49138f0123","after":"f8e65d944953b14a563cf4e9eda8c680314af2f5","ref":"refs/heads/master","pushedAt":"2024-07-22T12:13:38.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"Merge pull request #73 from kalmarek/mk/rename_index_at_terminals\n\nrename index automaton terminals","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2422667830\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kalmarek/KnuthBendix.jl/issues/73\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kalmarek/KnuthBendix.jl/pull/73/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/pull/73\">#73</a> from kalmarek/mk/rename_index_at_terminals"}},{"before":"59455b3a1e74cdac1dcfae2fa0ee5e99b26649cb","after":"ccace0bd15212c5172dfa327e82f5f1129a8a0c9","ref":"refs/heads/mk/rename_index_at_terminals","pushedAt":"2024-07-22T11:53:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kalmarek","name":"Marek Kaluba","path":"/kalmarek","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666118?s=80&v=4"},"commit":{"message":"Merge branch 'master' into mk/rename_index_at_terminals","shortMessageHtmlLink":"Merge branch 'master' into mk/rename_index_at_terminals"}},{"before":"bc7506ac3eecb26f0253c37359cf358e8a62d0fc","after":"96292bd52eb60c0c76866a39b4bde5c3e970ae0b","ref":"refs/heads/gh-pages","pushedAt":"2024-07-22T11:43:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 3bef24c","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/kalmarek/KnuthBendix.jl/commit/3bef24c2b18e3b9053f913fd5c377d49138f0123/hovercard\" href=\"https://github.com/kalmarek/KnuthBendix.jl/commit/3bef24c2b18e3b9053f913fd5c377d49138f0123\"><tt>3bef24c</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMFQxNDoyOTo0OC4wMDAwMDBazwAAAASfNKXP","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMFQxNDoyOTo0OC4wMDAwMDBazwAAAASfNKXP","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yMlQxMTo0MzowMi4wMDAwMDBazwAAAASFtQul"}},"title":"Activity · kalmarek/KnuthBendix.jl"}