joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-05-29 23:27:45 +02:00
Code Issues Releases Activity
mealy-decompose/hs
History
Exact
Joshua Moerman 21306ffe6a hacky compositional testing. not yet better
2025-05-07 16:53:49 +02:00
..
app hacky compositional testing. not yet better 2025-05-07 16:53:49 +02:00
src Added simultaneous bfs algorithm, not yet tested on a bigger model 2025-05-07 15:12:12 +02:00
test Added simultaneous bfs algorithm, not yet tested on a bigger model 2025-05-07 15:12:12 +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 Added simultaneous bfs algorithm, not yet tested on a bigger model 2025-05-07 15:12:12 +02:00