v1.0.0

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

New Contributors

• @MaxVortman made their first contribution in #1
• @tursunova made their first contribution in #2
• @wafemand made their first contribution in #15
• @katevi made their first contribution in #22
• @SergeyKuz1001 made their first contribution in #24
• @Glebanister made their first contribution in #28

Full Changelog: https://github.com/YaccConstructor/LangToGroup/commits/v1.0.0