Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 92102c11

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

Latest revisions

# Date Author Comment
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

fe81b988 04/09/2016 03:17 AM Christoph Egger

Make real empty set for deferral (not including True)

ef0e7121 04/09/2016 03:17 AM Christoph Egger

Actually use refocused deferral in modal step

215ad4d7 04/08/2016 08:09 PM Christoph Egger

Mark `True` only node as Sat

1e781c93 04/08/2016 08:08 PM Christoph Egger

For now, don't consider Expandable states

de84f40d 04/08/2016 08:08 PM Christoph Egger

Mark deferrals bold in graphviz export

View revisions

Also available in: Atom