Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 67b07e54

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

Latest revisions

# Date Author Comment
67b07e54 04/07/2016 04:16 AM Christoph Egger

Restrict finishing nodes used as startingpoint

Only finishing nodes with enough Open / Sat children are to be
considered as startingpoints

Also accept already Satisfiable nodes when finding paths

1d5d9896 04/07/2016 02:38 AM Christoph Egger

Call new propagateSatMu instead of old propagateSat

6bbde09c 04/07/2016 02:37 AM Christoph Egger

preliminary propafateSat for μ-Calculus

This still produces wrong results: It assumes every node with empty
focus to be sat.

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)

View revisions

Also available in: Atom