Menu ▾ ▴

Code Commit Log


Commit Date  
[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
[r135] by hannesklarner

changed name of multivalue encoding from 'traffic light' to 'bargraph', which seems more descriptive

 2015-11-20 10:47:10 Tree
[r134] by hannesklarner

removed the 'TRANSITIONCOUNTER' feature for model checking. Two reasons: 1. for LTL use bounded model checking (not implemented) while for CTL the semantics is probably to complicated. 2. from the NuSMV manual 'NuSMV allows for Real Time CTL specifications. NuSMV assumes that each transition takes unit time for execution.'

 2015-11-13 14:40:56 Tree
[r133] by hannesklarner

minor fixes

 2015-11-12 16:09:00 Tree
Older >