Menu

Code Commit Log


Commit Date  
[r117] by hannesklarner

added capability to draw edges between clusters. possible use: to emphasize the hierarchy of the SCCs in the interaction graph.

2015-11-04 16:03:03 Tree
[r116] by hannesklarner

added capability to draw edges between clusters. possible use: to emphasize the hierarchy of the SCCs in the interaction graph.

2015-11-04 16:02:02 Tree
[r115] by hannesklarner

bugfix: add_style_mintrapspaces: now only adds minimal trap spaces if they belong to the nodes of the STG.

2015-11-03 15:58:41 Tree
[r114] by hannesklarner

str support for subspace argument

2015-11-03 15:35:20 Tree
[r113] by hannesklarner

primes objects are now mutable, just like stgs and igs

2015-11-03 14:54:37 Tree
[r112] by hannesklarner

outputs with self-loops are still outputs

2015-11-03 14:53:46 Tree
[r111] by hannesklarner

rename TRANSITIONCOUNTER to TRANSITIONS with default value 'None'.

2015-10-29 15:55:06 Tree
[r110] by hannesklarner

more tests

2015-10-29 13:00:58 Tree
[r109] by hannesklarner

Initial states may be dictionaries, strings or an indicator function

2015-10-29 13:00:40 Tree
[r108] by hannesklarner

spelling

2015-10-29 12:59:54 Tree
Older >