GitLab

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.

There seems to be no up to date docker image for GHC

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.

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.

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.

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

It's not really needed.

F seems to be the canonical name for the functor of an F-coalgebra.

Instead of a tuple of a Bool and an Int, include the Bool value in the
Int as its least significant bit.