Menu ▾ ▴

Code Commit Log


Commit Date  
[r120] by hannesklarner

bold labels

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

depreceated cluster edges and added 'condensation graph diagram' instead

 2015-11-05 10:48:01 Tree
[r118] by hannesklarner
2015-11-04 16:03:46 Tree
[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
Older >