Menu ▾ ▴

Code Commit Log


Commit Date  
[r131] by hannesklarner

bugfix

 2015-11-11 14:26:18 Tree
[r130] by hannesklarner

styles fixes

 2015-11-11 13:47:36 Tree
[r129] by hannesklarner

styles fixes

 2015-11-11 13:28:51 Tree
[r128] by hannesklarner

default style for STGs does not include min-trap-spaces (seems a bit advanced). adjusted penwidth of styles (all the same width, prettier)

 2015-11-11 13:21:59 Tree
[r127] by hannesklarner

added 'str2subspace(Primes,Str)' that converts a str into a dic

 2015-11-11 13:05:33 Tree
[r126] by hannesklarner

rename 'VARIABLESCHANGING' to 'SUCCESSORS' (seems more intuitive)

 2015-11-11 13:04:28 Tree
[r125] by hannesklarner

added 'init_for_multivalues(Primes)' which creates initial conditions for non-Boolean components

 2015-11-10 13:31:25 Tree
[r124] by hannesklarner

added 'count(Subspaces)' for a list of subspaces

 2015-11-10 13:29:02 Tree
[r123] by hannesklarner

added 'add_style_condensation(IGraph)'

 2015-11-10 13:26:49 Tree
[r122] by hannesklarner

TrapSpaces: removed trap_spaces_projected as I do not understand what's going on. Added Aggregate for counting projected steady states.

 2015-11-05 13:35:31 Tree
Older >