search

PrincetonUniversity / VST

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

Fix issue #667 (strcmp), fix util/make_version, update clightgenned files #685

Closed andrew-appel closed 1 year ago

andrew-appel commented 1 year ago

closes #667

andrew-appel commented 1 year ago

Remark: After FCF pull request 43 is merged, our fcf submodule can resume tracking the FCF master branch.