Menu

Code Commit Log


Commit Date  
[r132] by hannesklarner

improved temporal queries to allow strings, added 'EF_nested_subspace_reachability(Primes, Subspaces)' made some names clearer.

2015-11-12 10:38:02 Tree
[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
Older >