Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 07402362

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

Latest revisions

# Date Author Comment
07402362 05/21/2016 03:50 AM Christoph Egger

Consider also other modal operators as valid guards

edfbcc2b 05/14/2016 11:50 PM Christoph Egger

Fix deferral tracking for new CoalitionLogic code

2a36974b 05/14/2016 10:16 PM Christoph Egger

Revert to fresh variable names in convertToMu

e01c4a03 05/14/2016 05:10 AM Christoph Egger

Merge remote-tracking branch 'origin/master' into flatmu

e08cd8a9 05/12/2016 05:33 PM Christoph Egger

Fix deferral tracking when "empty" least fixpoints appear

c126d689 05/12/2016 04:20 PM Christoph Egger

Fix states with no children

bc8db289 05/12/2016 02:01 PM Christoph Egger

actually verify properties for sat target

de13bc0f 05/10/2016 10:02 AM Christoph Egger

Unify CTL variable name for more global caching

eff3ff0c 05/10/2016 03:07 AM Christoph Egger

make HashConsing accept ¬Var ≡ Var

52f5465c 04/28/2016 04:13 PM Christoph Egger

Add deferral tracking for Identity

View revisions

Also available in: Atom