Menu ▾ ▴

Code Commit Log


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

improved temporal queries to allow strings, added 'EF_nested_subspace_reachability(Primes, Subspaces)' made some names clearer.

 2015-11-12 10:38:02 Tree
[r131] by hannesklarner

bugfix

 2015-11-11 14:26:18 Tree
[r130] by hannesklarner

styles fixes

 2015-11-11 13:47:36 Tree
[r129] by hannesklarner

styles fixes

 2015-11-11 13:28:51 Tree
[r128] by hannesklarner

default style for STGs does not include min-trap-spaces (seems a bit advanced). adjusted penwidth of styles (all the same width, prettier)

 2015-11-11 13:21:59 Tree
[r127] by hannesklarner

added 'str2subspace(Primes,Str)' that converts a str into a dic

 2015-11-11 13:05:33 Tree
Older >