Menu ▾ ▴

Code Commit Log


Commit Date  
[r145] by hannesklarner

StateTransitionGraphs:successors: bugfix for state given as str.

 2015-12-07 11:55:42 Tree
[r144] by hannesklarner

best_first_reachability: now returns paths. in general: more docstrings and prettier styles for IGs and STgs.

 2015-12-03 15:53:08 Tree
[r143] by hannesklarner

docstring. trucking towards release

 2015-12-01 17:02:09 Tree
[r142] by hannesklarner

fixed a lot of doc strings

 2015-11-27 16:07:47 Tree
[r141] by hannesklarner

minor stuff

 2015-11-23 11:28:32 Tree
[r140] by hannesklarner

naive_completeness: bugfix for primes with constants

 2015-11-20 16:12:27 Tree
[r139] by hannesklarner

activities2animation: counter agrees with length

 2015-11-20 16:11:45 Tree
[r138] by hannesklarner

stg2dot: default 'FnameDOT=None'

 2015-11-20 16:10:56 Tree
[r137] by hannesklarner

digraph2dot: bold graph labels

 2015-11-20 16:10:19 Tree
[r136] by hannesklarner

add_style_subspaces: better argument validation for 'Subspaces'

 2015-11-20 10:48:06 Tree
Older >