Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / debugger @ master

Name Size
debugger.ml 4.11 KB

Latest revisions

# 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
characteristics.

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

View revisions

Also available in: Atom