Menu ▾ ▴

Code Commit Log


Commit Date  
[r175] by hannesklarner

bugfix for model checking of the empty Boolean network

 2016-02-15 16:30:06 Tree
[r174] by hannesklarner

renamed find_attractorstate_by_randomwalk_and_ctl to find_attractor_by_randomwalk_and_ctl to shorten the function name at least a bit

 2016-02-15 15:23:03 Tree
[r173] by hannesklarner

compute_attractors_tarjan: standard representation of states is dictionary not str

 2016-02-15 14:39:31 Tree
[r172] by hannesklarner

settings.cfg must be added manually for win/linux/mac

 2016-02-12 16:28:17 Tree
[r171] by hannesklarner

revert to NuSMV 2.5.4

 2016-02-12 16:26:37 Tree
[r170] by hannesklarner

refactoring and bugfixes

 2016-02-12 16:26:02 Tree
[r169] by hannesklarner

bugfix for auxillary variables: CHANGING removed, SUCCESSORS added

 2016-02-12 16:25:07 Tree
[r168] by hannesklarner

refactoring

 2016-02-12 16:23:59 Tree
[r167] by hannesklarner

not tested by user

 2016-02-12 11:09:44 Tree
[r166] by hannesklarner

not tested by user

 2016-02-12 11:09:29 Tree
Older >