Releases · YaccConstructor/LangToGroup

First actual release

What's Changed

Add a TM_1 type by @MaxVortman in #1
Add Group Type by @tursunova in #2
Add a grammar type. by @MaxVortman in #3
Relation type fixed by @tursunova in #4
CFG to PDA mapping and move project to stack build system. by @MaxVortman in #5
Travis settings added. by @MaxVortman in #6
Cfg to TM1 map by @MaxVortman in #8
SMType, GRType fixed by @tursunova in #9
SMtoGR fixed, SRules added to group by @tursunova in #10
newtype A -> data A by @tursunova in #11
Added tm2type and one more constraint on tm1 by @MaxVortman in #12
Hub relation added. GRType, SMType changed by @tursunova in #13
Implement LaTeX printers for TM1 and Grammar by @wafemand in #15
CFG -> GR by @MaxVortman in #16
refactoring pr by @MaxVortman in #17
more refactoring by @MaxVortman in #18
Update README.md by @MaxVortman in #19
Print example flag by @MaxVortman in #20
-G flag added for printing group presentation in gap-format file by @MaxVortman in #21
Hub in gap by @MaxVortman in #23
Added megaparsec library for parsing grammar files to project by @katevi in #22
Created tests for grammar reader and added documentation about this module execution into README. by @katevi in #25
First version of converting TM to group by @SergeyKuz1001 in #24
Fix converting SP to GP by @SergeyKuz1001 in #26
Add GAP writer by @SergeyKuz1001 in #27
Implement TM conversion to String by @Glebanister in #28
Prettify Show for Tms with prettyprint by @Glebanister in #29
Implement conversion TuringMachine <-> Tms by @Glebanister in #30
Implement parser for Tms by @Glebanister in #31
Added hlint check in CI by @katevi in #32
Add testing of semigroup presentations by @SergeyKuz1001 in #33
Add Knuth-Bendix algorithm by @SergeyKuz1001 in #34
Add executable program by @SergeyKuz1001 in #35
Update constructGP by @SergeyKuz1001 in #36
Apply almost all style suggestions by @Glebanister in #37
Apply rest of hlint suggestions by @Glebanister in #38
Added implementation of building Turing machine by given boolean grammar by @katevi in #39
Refactoring of building boolean grammar to tm algorithm by @katevi in #40
Upgrade type system, added integration, writed more tests. by @katevi in #41
Added new experiments by @katevi in #42
Second version of converting TM to group by @SergeyKuz1001 in #45
Create documentation workflow by @Glebanister in #47
First version of command line interface by @SergeyKuz1001 in #46
Joss paper by @MaxVortman in #48