Add command line flag for fragment
The user can now choose which fragment of the mu-calculus the reasoneruses. More specialized fragments can have better performancecharacteristics.
debugger: Stop and print result if reasoner finishes
The 'step' command takes an optional repeat count. Now it stopsstepping and prints the result if the reasoner finishes beforereaching the specified number of steps.
Prettify graphviz output
- Use more readable colors and proper spacing- Differentiate between cores and states by shape- Add a legend- Teach debugger to optionally write graph to file instead of stdout
Perform sat propagation in debugger step
Otherwise, the debugger would report the reasoner result to be "Sat" when it should really be "Unsat".
Fix command line argument check in debugger
Also shows the correct binary name in the usage output.
Add vim modeline to all OCaml files
Add basic graphviz export feature
Implement node showing in debugger
Implement queue printing
Implement state listing for debugger
Implement lscores for debugger
Allow multisteps in debugger
Add basic debugging repl