search

mit-plv / rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
Other
22 stars 20 forks source link

Version Util.Tactics2.{Constr,Proj,DestProj} #113

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

Mostly done with

src/Rewriter/Util/Tactics2$ for i in DestProj.v Proj.v Constr.v; do git mv $i $i.v818; for v in 5 6 7; do ln -s $i.v818 $i.v81$v; git add $i.v81$v; done; cp $i.v818 $i.v819; git add $i.v819; done

On top of #112, for making #109 easier.