Menu ▾ ▴

Code Commit Log


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

rename a file

 2014-07-11 12:01:26 Tree
[r31] by hannesklarner

percolation still sucks

 2014-07-10 16:22:56 Tree
Older >