search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
436 stars 92 forks source link

removed a call to try simple apply eq_refl in SC_tac #731

Closed lennartberinger closed 11 months ago

andrew-appel commented 11 months ago

This is subsumed by #739