Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / debugger @ 40a714df

Name Size
debugger.ml 3.94 KB

Latest revisions

# Date Author Comment
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

View revisions

Also available in: Atom