Project

General

Profile

Revision:

Revisions

# Date Author Comment
8c274b5b 10/18/2017 11:17 PM Hans-Peter Deifel

benchmarks: Add cool without propagation

eb9bb469 10/18/2017 10:38 PM Hans-Peter Deifel

benchmarks: Add mlsolver with optimizations to tested programs

e442d62b 10/18/2017 10:28 PM Hans-Peter Deifel

benchmarks: Switch mlsolver to 'recursive' strategy

e412454f 10/18/2017 08:48 PM Hans-Peter Deifel

Make propagation rate configurable with command line flag

Adds the parameter --propagationRate

6b7a66a8 10/18/2017 07:36 PM Hans-Peter Deifel

Cache maximum priority of all nodes in graph

So it doesn't have to be recomputed for each propagation.

Unfortunately this optimization doesn't seem to make a difference for
the formulas I tested, but it doesn't hurt either.

f1eb4f7c 10/18/2017 09:17 AM Hans-Peter Deifel

Add argument checking to benchmark script

a06d5cea 10/18/2017 09:12 AM Hans-Peter Deifel

Add benchmark script to compare cool and mlsolver

dacb681b 10/18/2017 08:12 AM Hans-Peter Deifel

Remove pgsolver dependency

e765822b 10/17/2017 11:28 PM Daniel Hausmann

Implement own parity game solver

Instead of relying on pgsolver for this task.

3e877781 10/17/2017 10:53 PM Hans-Peter Deifel

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 version.

994d7911 10/15/2017 05:05 PM Hans-Peter Deifel

Move aconjunctive formula generator to benchmarks/

77f7da85 10/15/2017 05:01 PM Daniel Hausmann

Add more formula families to gen.ml

682787c5 10/13/2017 10:22 PM Hans-Peter Deifel

generator: Rename formula families to something descriptive

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

Fix printing of modality of the identity functor

88a1a18b 10/13/2017 10:12 PM Hans-Peter Deifel

phi generator: Use identity modality for phi

As this speeds things up quite a bit.

fdfe3dcc 10/13/2017 06:39 PM Hans-Peter Deifel

phi generator: Add another formula family

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.

467e8bbc 10/13/2017 05:03 PM Hans-Peter Deifel

phi generator: Generalize command line syntax

Allows for more variations of the formula and also is a little bit
more self-documenting.

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

c9dbb509 10/10/2017 11:31 PM Hans-Peter Deifel

Add negation to generator for phi

7915d13f 10/10/2017 11:30 PM Hans-Peter Deifel

Fix formula generator for positive phi

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

Fix bug in detClosure

ae7e01ca 10/09/2017 06:45 PM Hans-Peter Deifel

gen.ml: Change quantification order

1d36cd07 10/06/2017 09:06 PM Kristin Braun

Tried to optimize translation with fixpoint approximation; added depthFormula function in CoAlgFormula

(26-50/638) Per page: 25, 50, 100

Also available in: Atom