PrincetonUniversity/VST

CompCert 3.10 is ready. This breaks the bitfields branch.

Closed this issue · 0 comments

According to the ChangeLog, the new PTree is also introduced, which breaks the current bitfields branch. Maybe the ptrees branch should be merged to the bitfields branch. Or direct changes could be made in the bitfields branch.