- 26 Nov, 2018 10 commits
-
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
The artifacts are quite big and we would need to specify the stack options in each and every job. So simply boil it down to one job that does it all: building, testing, installing.
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
Thorsten Wißmann authored
-
- 16 Nov, 2018 5 commits
-
-
Hans-Peter Deifel authored
There seems to be no up to date docker image for GHC
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 15 Nov, 2018 4 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
Comparision with (a-b < ɛ) is not transitive and thus doesn't induce an equality relation. Since the whole job of the algorithm is to partition according to an equality relation, this may be problematic. Instead, to compare doubles a and b, we now round both values to floats and compare those exactly. This means that we get a proper equality relation, even if it fails to distinguish some states and wrongly distinguishes others when compared to operations on true real numbers.
-
Hans-Peter Deifel authored
This adds a field to `--stat` output, which counts the number of times a block is skiped instead of marked for splitting because it only has one element. This optimization has drastic performance improvements in some cases and the new metric can give help to attribute the run time cost correctly.
-
- 14 Nov, 2018 5 commits
-
-
Hans-Peter Deifel authored
This was there to ensure that the original block isn't put into the queue twice, but first this can't happen anyway due to how the queue is implemented and second, one of the new split-of blocks always inherits the identity of the original block, making (maybeAdd b blocks) a no-op.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This splits the previous stat values "refine-duration" into "initialize-duration" and "refine-duration". The sum of those (plus measurement overhead, etc) is still reported as "algorithm-duration".
-
Thorsten Wißmann authored
-
- 13 Nov, 2018 2 commits
-
-
Hans-Peter Deifel authored
-
Thorsten Wißmann authored
-
- 09 Nov, 2018 14 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
It's not really needed.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
F seems to be the canonical name for the functor of an F-coalgebra.
-
Hans-Peter Deifel authored
-
Thorsten Wißmann authored
Instead of a tuple of a Bool and an Int, include the Bool value in the Int as its least significant bit.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-