Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 15537461

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

Latest revisions

# Date Author Comment
15537461 08/29/2016 09:20 AM Ludwig Dietel

Added TBox normalisation and subsumption reasoning

da7ec37f 08/29/2016 09:10 AM Ludwig Dietel

Started using CoAlgReasoner

caf45bbd 08/29/2016 09:09 AM Ludwig Dietel

Started parsing of TBox axioms

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

View revisions

Also available in: Atom