Menu ▾ ▴

Code Commit Log


Commit Date  
[r69] by hannesklarner

rename

 2015-06-18 15:43:25 Tree
[r68] by hannesklarner

versions are important

 2015-06-18 13:10:31 Tree
[r67] by hannesklarner

added InputReductions

 2015-06-18 12:24:40 Tree
[r66] by hannesklarner

minor fixes..

 2015-06-18 08:15:21 Tree
[r65] by hannesklarner

interactive decision diagrams fertig.

 2015-06-09 16:34:43 Tree
[r64] by hannesklarner

graph drawing with DOT added.

 2015-06-04 16:49:21 Tree
[r63] by hannesklarner

ongoing stuff

 2015-06-02 13:43:59 Tree
[r62] by hannesklarner

added refinement tree and export as dot / pdf. smooth.

 2015-05-27 15:54:28 Tree
[r61] by hannesklarner

rename

 2015-05-27 09:44:18 Tree
[r60] by hannesklarner

towards next release..

 2015-05-27 09:38:18 Tree
Older >