Closed stchang closed 4 years ago
Ready to merge!
I decided to leave all the commits bc I realized the fine-grained history is useful. I already did a lot of squashing while developing.
Okay! I'll press the big red (green) button!
fingers crossed
Okay merged! Does this work with macrotypes/turnstile master now?
yup. woohoo!
Huzzah! Thanks for all the work!
Opening this, but dont merge.Ready to merge!This pr combines:
wilbowma/cur turnstile-core
stchang/cur metantac
stchang/cur generic-type-methods
stchang/cur popl2020-artifact
So this includes all the additional work from your
turnstile-core
, as well as everything frompopl2020-artifact
exceptdefine-z3-axiom
(to avoid dependency on rosette).The tests should now pass with
macrotypes master
so after this merge, users should usecur master
along withmacrotypes master