Menu ▾ ▴

Code Commit Log


Commit Date  
[r152] by hannesklarner

add_style_path: added penwidth argument

 2015-12-15 11:54:24 Tree
[r151] by hannesklarner

[bugfix] subgraphs2tree: false detection of non-trivial intersection fixed.

 2015-12-15 11:52:50 Tree
[r150] by hannesklarner

added STGs.compute_attractors with test and docstring

 2015-12-11 11:46:02 Tree
[r149] by hannesklarner

stg2dot: heuristic scaling based on update strategy

 2015-12-10 16:14:46 Tree
[r148] by hannesklarner

typos

 2015-12-10 16:14:08 Tree
[r147] by hannesklarner

renamed SUCCESSORS to CHANGING and finished docstrings

 2015-12-09 16:04:43 Tree
[r146] by hannesklarner

added PyBoolNet.version() to query its version

 2015-12-09 16:04:00 Tree
[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
Older >