1. 13 Nov, 2019 2 commits
  2. 26 Sep, 2019 1 commit
  3. 19 Jun, 2019 6 commits
  4. 07 Jun, 2019 1 commit
  5. 06 Jun, 2019 1 commit
    • Hans-Peter Deifel's avatar
      Bump Cabal version to 2.0 · b4dcc67c
      Hans-Peter Deifel authored
      This will allow to use multiple internal libraries, which can be used to add
      tests for other executables than the main one.
      
      Unfortunately, cabal-doctest is currently not supported in combination with
      internal libraries and so I had to temporarily disable doctests.
      b4dcc67c
  6. 03 Jun, 2019 1 commit
    • Hans-Peter Deifel's avatar
      Disable build of benchmark generators by default · ee5572b9
      Hans-Peter Deifel authored
      This speeds up the build process of the main copar executable and doesn't
      require as much dependencies.
      
      As more and more benchmark suite generators are created, results published and
      the tools forgotten, this creates an unnecessary burden on the everyday compile
      cycle.
      ee5572b9
  7. 16 Apr, 2019 1 commit
  8. 11 Apr, 2019 1 commit
  9. 09 Apr, 2019 2 commits
  10. 05 Apr, 2019 1 commit
  11. 04 Apr, 2019 1 commit
  12. 03 Apr, 2019 1 commit
    • Hans-Peter Deifel's avatar
      wta: Don't use floats for probability · 5ce3af69
      Hans-Peter Deifel authored
      This switches from floats to a sort of arbitrary precision base10 floating point
      implementation where we can easily generate uniform random numbers.
      
      The problem with floats is that they aren't distributed equally across the whole
      range and thus a random number in [0, 1) is not uniform.
      5ce3af69
  13. 25 Mar, 2019 1 commit
  14. 14 Mar, 2019 1 commit
  15. 12 Mar, 2019 1 commit
  16. 11 Mar, 2019 1 commit
  17. 08 Mar, 2019 1 commit
  18. 07 Mar, 2019 1 commit
  19. 22 Dec, 2018 1 commit
  20. 10 Dec, 2018 2 commits
  21. 19 Nov, 2018 1 commit
  22. 16 Nov, 2018 1 commit
  23. 14 Nov, 2018 1 commit
  24. 09 Nov, 2018 3 commits
  25. 06 Nov, 2018 1 commit
  26. 02 Nov, 2018 5 commits
    • Hans-Peter Deifel's avatar
      Improve memory usage of AbsorbingPolynomial · 2f0142c0
      Hans-Peter Deifel authored
      While AbsorbingPolynomial has brought down the running time in many
      cases, it unfortunately required quite a bit more memory than the old
      Polynomial, even though the number of states and edges was reduced.
      The problem here was that:
      
      1. The overall number of labels, weights and H1 values was _not_
         reduced, they were just moved into the corresponding type of
         AbsorbingPolynomial. The only thing saved was the `Sorted` layer on
         the inner data.
      
      2. On the flip side, the old Polynomial implementation could use very
         memory efficient unboxed vectors for nearly everything, whereas
         AbsorbingPolynomial has to store wrapped SomeFunctor values (which
         are not unboxable).
      
      This is now solved by being very memory conscious in the
      implementation of Label, H1, H3 and Weight for AbsorbingPolynomial.
      E.g we use the primitive SmallArray type instead of Vector and try to
      avoid indirections introduced by Maybe or Either wrappers wherever
      possible.
      2f0142c0
    • Hans-Peter Deifel's avatar
      Add parser tests for AbsorbingPolynomial · ed223e65
      Hans-Peter Deifel authored
      These are just the tests originally from Polynomial. Some of them are
      failing right now.
      ed223e65
    • Hans-Peter Deifel's avatar
      Modularize design of functor expr rewrites · 407614de
      Hans-Peter Deifel authored
      Moves the transformations on functor expressions out of the
      SomeFunctor definition. This was really conflating two unrelated
      purposes and the new design is hopefully much cleaner.
      
      There is now `MA.RewriteFunctors`, which is intended to be a
      collection of rewrite rules on the functor expression, including the
      existing polynomial->absorbingpolynomial one.
      407614de
    • Hans-Peter Deifel's avatar
      cabal: Add bounds to pretty-show · 590d63d9
      Hans-Peter Deifel authored
      590d63d9
    • Hans-Peter Deifel's avatar
      44d08d27