Menu ▾ ▴

Code Commit Log


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

hmm

 2014-07-03 16:05:22 Tree
[r29] by hannesklarner

bugfix timed modelchecking

 2014-07-03 12:09:00 Tree
[r28] by hannesklarner

bugfix timed modelchecking

 2014-07-03 12:00:46 Tree
Older >