Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ b9a8d969

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

Latest revisions

# Date Author Comment
b9a8d969 04/05/2016 02:56 AM Christoph Egger

Space normalization

f4498ed1 04/05/2016 02:55 AM Christoph Egger

Add documentation on dependencies

a25a6849 02/29/2016 10:37 AM Christoph Egger

Make KD a deferral-tracking Logic

dcc8167f 02/22/2016 03:44 PM Christoph Egger

Use custom variables for CTL -> μ

Makes morally same formulas actually the same. Removes the need to
recalculate some States that have already been fully expanded but with
different variable names only (where this is possible)

653eaa4b 02/16/2016 02:32 PM Christoph Egger

Update deferral when revisiting formula

fbffb079 02/16/2016 12:54 PM Christoph Egger

Some seemingly missed patern-match cases

c13029a3 02/16/2016 12:47 PM Christoph Egger

Color-code core/state status in graph output

16af388e 02/15/2016 04:57 PM Christoph Egger

Make reasoner nodes include deferrals

This makes the identifying information be of type bset*bset instead of
bset and adds tracking of deferrals for propositional reasoning and --
in case of K -- for modal reasoning

8d6bf016 02/15/2016 04:52 PM Christoph Egger

Add basic graphviz export feature

b395c870 02/09/2016 11:45 AM Christoph Egger

track deferrals across propositional reasoning

View revisions

Also available in: Atom