Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 6d64bc5a

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

Latest revisions

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

7b21fbae 04/05/2016 04:57 PM Christoph Egger

Some more comments

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

View revisions

Also available in: Atom