joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-04-29 17:57:44 +02:00
Code Issues Releases Activity
mealy-decompose/hs/src
History
Exact
Joshua Moerman 8e3d2d6dbb Addded state cover to hsi method
2025-04-29 11:02:53 +02:00
..
Data Addded state cover to hsi method 2025-04-29 11:02:53 +02:00
StateCover Addded state cover to hsi method 2025-04-29 11:02:53 +02:00
Bisimulation.hs Restructured the project 2025-04-14 20:38:53 +02:00
DotParser.hs Restructured the project 2025-04-14 20:38:53 +02:00
DotWriter.hs Restructured the project 2025-04-14 20:38:53 +02:00
LStar.hs Restructured the project 2025-04-14 20:38:53 +02:00
Mealy.hs Restructured the project 2025-04-14 20:38:53 +02:00
MealyRefine.hs Restructured the project 2025-04-14 20:38:53 +02:00
Merger.hs Added proper commandline parsing, and moved the input-decompose into main 2025-04-15 17:02:32 +02:00
SplittingTree.hs Restructured the project 2025-04-14 20:38:53 +02:00
StateIdentifiers.hs Restructured the project 2025-04-14 20:38:53 +02:00