Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 97d73a78

Name Size
  coalg
  coalgcompare
  debugger
  lib
  ncurses
  owl
  repl-example
  testsuite
.dir-locals.el 35 Bytes

Latest revisions

# Date Author Comment
97d73a78 04/12/2016 02:54 PM Christoph Egger

Fix A ( φ U ψ ) and E ( φ U ψ ) translation

2f126161 04/11/2016 01:46 PM Christoph Egger

Add some comments to propagateSatMu

4942adb7 04/11/2016 02:43 AM Christoph Egger

Add graph subcommand to coalg

3c05e89f 04/11/2016 01:29 AM Christoph Egger

Allow finishing cycles depending on only Sat states

e30caa42 04/11/2016 12:13 AM Christoph Egger

Implement {A,E}( .. {R,B} ..) CTL formulas

92102c11 04/10/2016 11:23 PM Christoph Egger

Don't assume Open means Sat when finished

Assumption doesn't hold true currently

3f073372 04/10/2016 11:12 PM Christoph Egger

Treat Sat states like finishing states

With Sat states only treated like other states in the second fixpoint
iteration, the outer fixpoint was not ncessarily monononously decreasing
causing wrong results when in the first round the same number of nodes
got removed as added due to sat states.

080482ac 04/09/2016 10:15 PM Christoph Egger

Consider expanable Cores (but not states)

Acceptance test for cores is ∃ which is safe to use when non or only
some child states are created tus far

9fb4b019 04/09/2016 10:15 PM Christoph Egger

Turn inner fixpoint inside-out

f20718d2 04/09/2016 03:18 AM Christoph Egger

Add header for function used in previous commit

View revisions

Also available in: Atom