Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ e765822b

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

Latest revisions

# Date Author Comment
e765822b 10/17/2017 11:28 PM Daniel Hausmann

Implement own parity game solver

Instead of relying on pgsolver for this task.

b078517b 10/13/2017 10:14 PM Hans-Peter Deifel

Fix printing of modality of the identity functor

69962164 10/13/2017 05:11 PM Hans-Peter Deifel

CoAlgMisc: Store fixpoint variable name for every deferral

This is only useful for debugging and currently not used anywhere in
the code.

97d89f3f 10/11/2017 10:53 PM Hans-Peter Deifel

Remove unused code

9cab822e 10/10/2017 11:52 PM Hans-Peter Deifel

Fix apply for the partial permutation tracker

- Apply all indices in the map, not only the currently tracked ones.
- Apply Stars in the same way as regular formulas

3dc07cf8 10/10/2017 09:34 PM Hans-Peter Deifel

Fix bug in detClosure

7776135e 04/22/2017 12:52 AM Hans-Peter Deifel

Move verifyFormula after simplification

a60f4851 04/21/2017 11:16 PM Hans-Peter Deifel

Enforce aconjunctivity globally

In the future, we would need a switch for that

64adaa3d 04/21/2017 10:23 PM Hans-Peter Deifel

Disable debug output

2400280e 04/21/2017 10:23 PM Hans-Peter Deifel

Fix alternation level computation

View revisions

Also available in: Atom