1. 19 May, 2021 6 commits
  2. 12 May, 2021 1 commit
    • Gabriel Scherer's avatar
      get rid of WriteOnceRef in SolverLo · 081d405c
      Gabriel Scherer authored
      Before, SolverLo would use write-once references to store information
      in the constraint for SolverHi to access -- the shape of this
      information would depend on the raw-constraint constructor.
      
      Instead we turn rawco into a GADT ('s rawco), parametrized over the
      type 's (like "solution") of the extra information returned by the
      solver, corresponding to the values in the corresponding write-once
      references.
      081d405c
  3. 26 Apr, 2021 2 commits
  4. 21 Apr, 2021 1 commit
  5. 20 Apr, 2021 1 commit
  6. 04 Apr, 2021 2 commits
  7. 03 Apr, 2021 2 commits
  8. 31 Mar, 2021 1 commit
  9. 23 Mar, 2021 1 commit
  10. 25 Feb, 2021 1 commit
  11. 24 Feb, 2021 2 commits
  12. 23 Feb, 2021 3 commits
  13. 16 Feb, 2021 8 commits
  14. 12 Feb, 2021 1 commit
  15. 09 Feb, 2021 8 commits