joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-05-31 07:57:44 +02:00
Code Issues Releases Activity
mealy-decompose/hs/src
History
Exact
Joshua Moerman ec8a4f0689 Added simultaneous bfs algorithm, not yet tested on a bigger model
2025-05-07 15:12:12 +02:00
..
Data Addded state cover to hsi method 2025-04-29 11:02:53 +02:00
StateCover Added simultaneous bfs algorithm, not yet tested on a bigger model 2025-05-07 15:12:12 +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