Menu ▾ ▴

Code Commit Log


Commit Date  
[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
[r8] by hannesklarner

propsets..

 2014-05-28 09:59:53 Tree
[r7] by hannesklarner

propsets

 2014-05-28 09:59:05 Tree
[r6] by hannesklarner

keep on truckin..

 2014-05-28 09:57:28 Tree
[r5] by hannesklarner

keep on truckin..

 2014-05-28 09:26:46 Tree
Older >