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
History
Exact
Joshua Moerman a4d97a9d04 hsi and w method (almost)
2025-04-29 11:36:40 +02:00
..
app hsi and w method (almost) 2025-04-29 11:36:40 +02:00
src Addded state cover to hsi method 2025-04-29 11:02:53 +02:00
test Restructured the project 2025-04-14 20:38:53 +02:00
LICENSE Added proper commandline parsing, and moved the input-decompose into main 2025-04-15 17:02:32 +02:00
mealy-decompose.cabal Addded state cover to hsi method 2025-04-29 11:02:53 +02:00