| Branch: | Revision:

cool / src / debugger / @ 1d36cd07

History | View | Annotate | Download (4.11 KB)

# Date Author Comment
f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance

83612ae5 03/22/2017 04:54 PM Hans-Peter Deifel

debugger: Stop and print result if reasoner finishes

The 'step' command takes an optional repeat count. Now it stops
stepping and prints the result if the reasoner finishes before
reaching the specified number of steps.

86c2c2ee 03/22/2017 04:54 PM Hans-Peter Deifel

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

371cb823 03/22/2017 04:54 PM Hans-Peter Deifel

Perform sat propagation in debugger step

Otherwise, the debugger would report the reasoner result to be "Sat"
when it should really be "Unsat".

bbd5d2db 03/22/2017 04:54 PM Hans-Peter Deifel

Fix command line argument check in debugger

Also shows the correct binary name in the usage output.

a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

8d6bf016 02/15/2016 04:52 PM Christoph Egger

Add basic graphviz export feature

5f972559 02/05/2015 06:21 AM Thorsten Wißmann

Implement node showing in debugger

488cea0f 02/05/2015 06:11 AM Thorsten Wißmann

Implement queue printing

73762b19 02/05/2015 05:39 AM Thorsten Wißmann

Implement state listing for debugger

f335015f 02/05/2015 05:08 AM Thorsten Wißmann

Implement lscores for debugger

d040e00f 02/05/2015 04:00 AM Thorsten Wißmann

Allow multisteps in debugger

c2cc0c2e 02/05/2015 04:00 AM Thorsten Wißmann

Add basic debugging repl