Menu ▾ ▴

Code Commit Log


Commit Date  
[r11] by hannesklarner

nearly v2.0

 2014-06-06 12:47:11 Tree
[r10] by hannesklarner

unstable approach to v2.0

 2014-06-03 17:09:32 Tree
[r9] by hannesklarner

next version: NuSMV export and option for reduced output format.

 2014-05-28 12:04:37 Tree
[r8] by hannesklarner

propsets..

 2014-05-28 09:59:53 Tree
[r7] by hannesklarner

propsets

 2014-05-28 09:59:05 Tree
[r6] by hannesklarner

keep on truckin..

 2014-05-28 09:57:28 Tree
[r5] by hannesklarner

keep on truckin..

 2014-05-28 09:26:46 Tree
[r4] by hannesklarner

upadte of manual.pdf

 2014-04-29 14:17:36 Tree
[r3] by hannesklarner

added readme and manual

 2014-04-29 14:04:30 Tree
[r2] by hannesklarner

doesn't display pdfs

 2014-04-29 13:57:59 Tree
Older >