Menu ▾ ▴

Code Commit Log


Commit Date  
[r18] by hannesklarner

last today

 2014-06-16 15:58:56 Tree
[r17] by hannesklarner

bits and pieces..

 2014-06-16 10:25:41 Tree
[r16] by hannesklarner

lets go now

 2014-06-13 16:00:46 Tree
[r15] by hannesklarner

almost there..

 2014-06-11 13:49:29 Tree
[r14] by hannesklarner

nearly finished..

 2014-06-09 22:52:23 Tree
[r13] by hannesklarner

hopefully fixed percolation..

 2014-06-09 12:08:37 Tree
[r12] by hannesklarner

last before mayham..

 2014-06-06 14:54:31 Tree
[r11] by hannesklarner

nearly v2.0

 2014-06-06 12:47:11 Tree
[r10] by hannesklarner

unstable approach to v2.0

 2014-06-03 17:09:32 Tree
[r9] by hannesklarner

next version: NuSMV export and option for reduced output format.

 2014-05-28 12:04:37 Tree
Older >