search

PrincetonUniversity / VST

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

fix coercion of assert', fix local2ptree_denote.v #691

Closed rinshankaihou closed 12 months ago

rinshankaihou commented 1 year ago

Still no coercion from (environ->mpred) to bi_car.