Menu ▾ ▴

Code Commit Log


Commit Date  
[r44] by hannesklarner

recent changes

 2014-08-25 16:33:46 Tree
[r43] by hannesklarner

adding STG to BoolNet in FEX.

 2014-08-21 16:00:56 Tree
[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
Older >