search

PrincetonUniversity / VST

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

simpl_classes.v #778

Closed sgacs closed 2 months ago

mansky1 commented 3 months ago

Sorry for taking so long to look at this. Can you revert the changes to files other than simpl_classes.v (i.e., DS_store, the FCF files, the ora submodule)? Also, does this PR override #775?

mansky1 commented 2 months ago

Also please make sure the file is simpl_classes.v rather than just simpl_classes.