Menu

Code Commit Log


Commit Date  
[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
[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
Older >