Project

General

Profile

Activity

From 09/18/2017 to 10/17/2017

10/17/2017

11:28 PM Revision e765822b (cool): Implement own parity game solver
Instead of relying on pgsolver for this task. Daniel Hausmann
10:53 PM Revision 3e877781 (cool): Use pgsolver from opam instead of bundling it
Simplifies the installation process and allows to compare performance
with other tools that use the same pgsolver ver...
Hans-Peter Deifel

10/15/2017

05:05 PM Revision 994d7911 (cool): Move aconjunctive formula generator to benchmarks/
Hans-Peter Deifel
05:01 PM Revision 77f7da85 (cool): Add more formula families to gen.ml
Daniel Hausmann

10/13/2017

10:22 PM Revision 682787c5 (cool): generator: Rename formula families to something descriptive
Hans-Peter Deifel
10:14 PM Revision b078517b (cool): Fix printing of modality of the identity functor
Hans-Peter Deifel
10:12 PM Revision 88a1a18b (cool): phi generator: Use identity modality for phi
As this speeds things up quite a bit. Hans-Peter Deifel
06:39 PM Revision fdfe3dcc (cool): phi generator: Add another formula family
Hans-Peter Deifel
05:11 PM Revision 69962164 (cool): CoAlgMisc: Store fixpoint variable name for every deferral
This is only useful for debugging and currently not used anywhere in
the code.
Hans-Peter Deifel
05:03 PM Revision 467e8bbc (cool): phi generator: Generalize command line syntax
Allows for more variations of the formula and also is a little bit
more self-documenting.
Hans-Peter Deifel

10/11/2017

10:53 PM Revision 97d89f3f (cool): Remove unused code
Hans-Peter Deifel

10/10/2017

11:52 PM Revision 9cab822e (cool): 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
Hans-Peter Deifel
11:31 PM Revision c9dbb509 (cool): Add negation to generator for phi
Hans-Peter Deifel
11:30 PM Revision 7915d13f (cool): Fix formula generator for positive phi
Hans-Peter Deifel
09:34 PM Revision 3dc07cf8 (cool): Fix bug in detClosure
Hans-Peter Deifel

10/09/2017

06:45 PM Revision ae7e01ca (cool): gen.ml: Change quantification order
Hans-Peter Deifel

10/06/2017

09:06 PM Revision 1d36cd07 (cool): Tried to optimize translation with fixpoint approximation; added depthF...
Kristin Braun

09/26/2017

01:02 AM Revision 1a213985 (cool): added translation for Const
Kristin Braun

09/19/2017

11:10 PM Revision 78ab3383 (cool): oasis: Correctly declare TCSLib dependency for pgsolver
Hans-Peter Deifel
 

Also available in: Atom