search

PrincetonUniversity / VST

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

Replaced a hnf with simpl SC_test. Removed another hnf. This seems to… #716

Closed lennartberinger closed 9 months ago

lennartberinger commented 9 months ago

… drastically improve the performance of a Qed of a VSU_link application in an application with 10 modules and shared globals