Project

General

Profile

Statistics
| Branch: | Revision:

cool @ de84f40d

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 338 Bytes
BUGS 764 Bytes
HACKING 4.33 KB
INSTALL 2.51 KB
Makefile 258 Bytes
_oasis 5.41 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
makestatic.sh 942 Bytes
playground.hs 1.42 KB
tatl-compatibility-wrapper.sh 82 Bytes

Latest revisions

# Date Author Comment
de84f40d 04/08/2016 08:08 PM Christoph Egger

Mark deferrals bold in graphviz export

0a6a3df5 04/08/2016 02:29 AM Christoph Egger

Fix inclusion condition for A_x

2fba43c0 04/08/2016 02:28 AM Christoph Egger

Make Sat children actually propagate their state to the parents

46cd6856 04/08/2016 02:26 AM Christoph Egger

Preliminarily mark States with no childs Sat in propagateSatMu

Should actually happen when the State changes from `Expandable` to
`Open` and trigger the propagateSatMu but for now just do it in
propagateSatMu so we can observe the algorithm working.

07a36b24 04/07/2016 05:35 PM Christoph Egger

Reorganize code, start from Sat nodes as well

Not only finishing cycles but also plain sat nodes may cause a node to
be satisfiable

67b07e54 04/07/2016 04:16 AM Christoph Egger

Restrict finishing nodes used as startingpoint

Only finishing nodes with enough Open / Sat children are to be
considered as startingpoints

Also accept already Satisfiable nodes when finding paths

1d5d9896 04/07/2016 02:38 AM Christoph Egger

Call new propagateSatMu instead of old propagateSat

6bbde09c 04/07/2016 02:37 AM Christoph Egger

preliminary propafateSat for μ-Calculus

This still produces wrong results: It assumes every node with empty
focus to be sat.

6d64bc5a 04/07/2016 02:35 AM Christoph Egger

whitespace cleanup

50df1dc2 04/07/2016 02:34 AM Christoph Egger

Add function to determin size of Core / State set

View all revisions | View revisions

Also available in: Atom