Menu ▾ ▴

Code Commit Log


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