Michael Hanus (1e6342c3) at 05 May 13:53
Adapt to new graphviz version
Michael Hanus (6eca1d71) at 05 May 13:53
Adapt to new graphviz version
Michael Hanus (5178fefe) at 17 Oct 16:12
Add intermediate steps to graph outputs
Michael Hanus (020fbe55) at 17 Oct 16:12
Add intermediate steps to graph outputs
Michael Hanus (2b922208) at 05 Oct 10:31
Better drawing of incomplete trees, code reformatting
Michael Hanus (aaa07653) at 05 Oct 10:31
Better drawing of incomplete trees, code reformatting
Michael Hanus (6b7d59b2) at 30 Sep 08:52
Add --maxsteps Parameter
Michael Hanus (01672d7d) at 30 Sep 08:50
Add --maxsteps Parameter
Michael Hanus (3cce53bd) at 20 Jul 14:08
Fix examples
Michael Hanus (65066fe1) at 20 Jul 14:08
Fix examples
Michael Hanus (1a3c1162) at 20 Jul 14:01
Add term graph output to interpreter (based on Sascha Ecks BSc thesis)
Michael Hanus (535a1815) at 20 Jul 14:01
Add term graph output to interpreter (based on Sascha Ecks BSc thesis)
Michael Hanus (eeeb430c) at 08 Feb 16:03
Add output of current expression during interpretation if not quiet...
Michael Hanus (71e48e41) at 08 Feb 16:03
Add output of current expression during interpretation if not quiet...
Michael Hanus (7567d498) at 08 Sep 08:23
Add typical pull-tab example
Michael Hanus (15f652be) at 08 Sep 08:22
Add typical pull-tab example
Michael Hanus (a92afc06) at 28 Jul 15:16
Adapt tests
Michael Hanus (1544af84) at 28 Jul 15:16
Adapt tests
Michael Hanus (782af490) at 28 Jul 15:04
Refactoring and improved possibilities to output PDF graphs
Michael Hanus (981a6e30) at 05 Jul 12:20
Add operation to return current state of ICOptions