1. 26 Nov, 2018 10 commits
  2. 16 Nov, 2018 5 commits
  3. 15 Nov, 2018 4 commits
    • Hans-Peter Deifel's avatar
      Add example for Q^X · 7a0526a2
      Hans-Peter Deifel authored
    • Hans-Peter Deifel's avatar
      Implement GroupValued for rationals · 26c5e0ff
      Hans-Peter Deifel authored
    • Hans-Peter Deifel's avatar
      Use exact comparision for doubles · 3bcddcd7
      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
    • Hans-Peter Deifel's avatar
      Add stat for how often size-1-optimization fires · 55768977
      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.
  4. 14 Nov, 2018 5 commits
  5. 13 Nov, 2018 2 commits
  6. 09 Nov, 2018 14 commits