search

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
MIT License
49 stars 9 forks source link

0.1 release #69

Closed tlringer closed 4 years ago

tlringer commented 4 years ago

Just the other 4 things, now:

  1. Case study regression
  2. Rebase
  3. Merge
  4. Time with other 3 releases

Going to rebase and then I'll run 1 overnight for sanity checking. Then working on the others

tlringer commented 4 years ago

Going to merge, but if there is a regression in case study numbers tonight, will not release until it is addressed. Also, will not release until the other three libs are ready