Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ e1489b0d

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

Latest revisions

# Date Author Comment
e1489b0d 04/13/2016 09:54 PM Christoph Egger

Expandable states are always acceptable Finishing states for Unsat propagation

86948fae 04/13/2016 09:33 PM Christoph Egger

Switch to only unsat propagation for testing

c4142480 04/13/2016 09:31 PM Christoph Egger

If root is Sat, formula is unconditionally Sat

5956a56d 04/13/2016 03:04 AM Christoph Egger

First implementation of propagateUnsat

066ed7b8 04/13/2016 02:35 AM Christoph Egger

Fix syntax error introduced in last commit

1b17ef3c 04/13/2016 02:20 AM Christoph Egger

Fix bug in FL calculation and refocusing after states

435390a8 04/12/2016 03:51 PM Christoph Egger

Some adjustment to AB / EB

22fef65c 04/12/2016 03:02 PM Christoph Egger

Fixup for last commit

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

View revisions

Also available in: Atom