Menu ▾ ▴

Code Commit Log


Commit Date  
[r42] by hannesklarner

renames

 2014-08-11 16:57:05 Tree
[r41] by hannesklarner

stuff..

 2014-07-22 08:56:17 Tree
[r40] by hannesklarner

bugfix

 2014-07-17 14:29:30 Tree
[r39] by hannesklarner

bugfix

 2014-07-17 12:09:52 Tree
[r38] by hannesklarner

added truth table export

 2014-07-17 10:29:52 Tree
[r37] by hannesklarner

input reduction and stuff

 2014-07-16 16:10:04 Tree
[r36] by hannesklarner

forgot

 2014-07-14 08:29:30 Tree
[r35] by hannesklarner

Added NuSMV options parameter

 2014-07-14 08:28:16 Tree
[r34] by hannesklarner

Macro bugfix

 2014-07-11 16:02:15 Tree
[r33] by hannesklarner

percolation algorithm revised and bugfixed

 2014-07-11 15:04:12 Tree
Older >