kalmarek/KnuthBendix.jl issues and pull requests

#79 - add precompile workload

Pull Request - State: closed - Opened by kalmarek 25 days ago - 1 comment

#78 - Benchmarking example

Issue - State: open - Opened by rokicki 3 months ago - 1 comment

#77 - add benchmarks

Pull Request - State: closed - Opened by kalmarek 3 months ago - 1 comment

#76 - Add `PrefixAutomaton`

Pull Request - State: closed - Opened by kalmarek 4 months ago - 1 comment

#75 - Prefix automaton -- julia bug?

Pull Request - State: open - Opened by kalmarek 4 months ago - 1 comment

#74 - Enable filtering of added rules via knobs in Settings

Pull Request - State: closed - Opened by kalmarek 4 months ago - 1 comment

#73 - rename index automaton terminals

Pull Request - State: closed - Opened by kalmarek 4 months ago - 1 comment

#72 - general cleanup

Pull Request - State: closed - Opened by kalmarek 4 months ago - 1 comment

#71 - rename completion algs

Pull Request - State: closed - Opened by kalmarek 4 months ago - 1 comment

#70 - more on backtracking

Pull Request - State: closed - Opened by kalmarek 8 months ago

#69 - rewrite rewrite docs

Pull Request - State: closed - Opened by kalmarek about 1 year ago - 1 comment

#68 - docs docs docs

Pull Request - State: closed - Opened by kalmarek about 1 year ago - 1 comment

#67 - Benchmarking

Pull Request - State: closed - Opened by kalmarek about 1 year ago - 2 comments

#66 - create timing comparison with kbmag

Issue - State: open - Opened by kalmarek over 1 year ago - 5 comments

#65 - Roadmap

Issue - State: open - Opened by kalmarek over 1 year ago

#64 - Revert "bump version to 0.5.0"

Pull Request - State: closed - Opened by kalmarek about 2 years ago

#63 - Mk/fixes for groups

Pull Request - State: closed - Opened by kalmarek about 2 years ago

#62 - Fixes for Groups.jl next release

Pull Request - State: closed - Opened by kalmarek about 2 years ago - 1 comment

#61 - Mk/orderings anew

Pull Request - State: closed - Opened by kalmarek about 2 years ago

#60 - backtrack

Pull Request - State: closed - Opened by kalmarek about 2 years ago - 1 comment

#59 - Make IndexAutomaton deterministic

Pull Request - State: closed - Opened by kalmarek about 2 years ago - 1 comment

#58 - move Words and Automata to their own modules

Pull Request - State: closed - Opened by kalmarek about 2 years ago - 1 comment

#57 - Mk/rebuild idx a

Pull Request - State: closed - Opened by kalmarek about 2 years ago

#56 - Mk/remake alphabet

Pull Request - State: closed - Opened by kalmarek about 2 years ago

#55 - Mk/completion automaton

Pull Request - State: closed - Opened by kalmarek about 2 years ago - 1 comment

#54 - A brand new implementation of the index automaton

Pull Request - State: closed - Opened by kalmarek over 2 years ago - 1 comment

#53 - Enh/word iter perf

Pull Request - State: closed - Opened by kalmarek over 2 years ago - 1 comment

#52 - add weighted lex ordering

Pull Request - State: closed - Opened by kalmarek almost 3 years ago - 1 comment

#51 - Taking Rules seriously

Pull Request - State: closed - Opened by kalmarek over 3 years ago - 3 comments

#50 - fix printing when symbols involve utf8 wide chars

Pull Request - State: closed - Opened by kalmarek over 3 years ago

#49 - Enh/free rewrite

Pull Request - State: closed - Opened by kalmarek over 3 years ago - 1 comment

#48 - Doc fixes

Pull Request - State: closed - Opened by mikolajpabiszczak over 3 years ago - 1 comment

#47 - Enh/kbmag parsing

Pull Request - State: closed - Opened by kalmarek over 3 years ago - 1 comment

#46 - automaton corruption during `knuthbendix!`?

Issue - State: closed - Opened by kalmarek over 3 years ago - 5 comments

#45 - incorporate example Monoid implementation?

Issue - State: open - Opened by kalmarek over 3 years ago

#44 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot over 3 years ago - 8 comments

#43 - major refactor of IndexAutomaton??

Issue - State: closed - Opened by kalmarek almost 4 years ago - 4 comments

#42 - Enh/deprecate word()

Pull Request - State: closed - Opened by kalmarek almost 4 years ago - 1 comment

#41 - Fix/simplifyrule!

Pull Request - State: closed - Opened by kalmarek almost 4 years ago - 2 comments

#40 - Zipping reversed BufferWords yields error

Issue - State: closed - Opened by mikolajpabiszczak almost 4 years ago - 1 comment

#39 - Doc added and project updated

Pull Request - State: closed - Opened by mikolajpabiszczak almost 4 years ago - 3 comments

#38 - Kbs2 updates

Pull Request - State: closed - Opened by mikolajpabiszczak almost 4 years ago - 15 comments

#37 - change the order of args in Base.inv (Alphabet goes first)

Pull Request - State: closed - Opened by kalmarek about 4 years ago - 2 comments

#36 - Kbs automata integration

Pull Request - State: closed - Opened by mikolajpabiszczak about 4 years ago - 7 comments

#35 - Enumerate normal forms from a given RewritingSystem/Automaton

Issue - State: open - Opened by kalmarek about 4 years ago - 2 comments

#34 - Recursive path ordering

Pull Request - State: closed - Opened by mikolajpabiszczak about 4 years ago - 2 comments

#33 - Example 5.5 - Sims does not replicate

Issue - State: closed - Opened by mikolajpabiszczak about 4 years ago - 2 comments

#32 - New examples

Issue - State: closed - Opened by kalmarek about 4 years ago

#31 - Basic wreath-product ordering implemented

Pull Request - State: closed - Opened by mikolajpabiszczak about 4 years ago - 7 comments

#30 - Enh/rewrite interface

Pull Request - State: closed - Opened by kalmarek about 4 years ago - 1 comment

#29 - integrate IndexAutomaton with Knuth Bendix

Issue - State: closed - Opened by kalmarek about 4 years ago

#28 - Update ci.yml

Pull Request - State: closed - Opened by bprzybylski about 4 years ago - 1 comment

#27 - Index automata

Pull Request - State: closed - Opened by mikolajpabiszczak about 4 years ago - 14 comments

#26 - design for multithreading [updated: kbWork]

Issue - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#25 - Shaving off even more allocations

Issue - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#24 - taking rewriting rules seriously

Issue - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#23 - Enh/bufferwords

Pull Request - State: closed - Opened by kalmarek over 4 years ago - 2 comments

#22 - Enh/usability

Pull Request - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#21 - Wreath product ordering

Issue - State: closed - Opened by kalmarek over 4 years ago

#20 - More efficient getirrsubys

Pull Request - State: closed - Opened by mikolajpabiszczak over 4 years ago - 6 comments

#19 - Possible improvements

Issue - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#18 - is getirrsubsystem correct?

Issue - State: closed - Opened by kalmarek over 4 years ago - 2 comments

#17 - Working kbs2

Pull Request - State: closed - Opened by mikolajpabiszczak over 4 years ago - 6 comments

#16 - indexing into Words and SubWord

Pull Request - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#15 - Naming of functions

Issue - State: closed - Opened by mikolajpabiszczak over 4 years ago - 1 comment

#14 - Indexing into `Word`s and `views`

Issue - State: closed - Opened by mikolajpabiszczak over 4 years ago - 3 comments

#13 - Working kbs1, lenlexordering and minor updates

Pull Request - State: closed - Opened by mikolajpabiszczak over 4 years ago - 5 comments

#12 - unique representations for words

Pull Request - State: closed - Opened by kalmarek over 4 years ago - 3 comments

#11 - make inversions field concrete

Pull Request - State: closed - Opened by kalmarek over 4 years ago - 1 comment

#10 - Orderings

Pull Request - State: closed - Opened by mikolajpabiszczak over 4 years ago - 4 comments

#9 - Alphabet constructors

Pull Request - State: closed - Opened by bprzybylski over 4 years ago - 1 comment

#8 - Increase codecov for `alphabets.jl`

Pull Request - State: closed - Opened by bprzybylski over 4 years ago - 2 comments

#7 - Alphabet initialization + Tests

Pull Request - State: closed - Opened by bprzybylski over 4 years ago - 4 comments

#6 - Words

Pull Request - State: closed - Opened by kalmarek over 4 years ago - 4 comments

#5 - Argument list correction + Alphabets of integers

Pull Request - State: closed - Opened by bprzybylski over 4 years ago - 8 comments

#4 - Alphabet --- First attempt

Pull Request - State: closed - Opened by bprzybylski over 4 years ago - 1 comment

#3 - Word

Pull Request - State: closed - Opened by aleksander-mendoza over 4 years ago - 2 comments

#2 - Implement KBS_1

Issue - State: closed - Opened by kalmarek over 4 years ago

#1 - Implement Words

Issue - State: closed - Opened by kalmarek over 4 years ago - 1 comment

GitHub / kalmarek/KnuthBendix.jl issues and pull requests