search

BinaryAnalysisPlatform / bil

A formal specification for BIL
https://github.com/BinaryAnalysisPlatform/bap
12 stars 7 forks source link

Problems with bil.ott #11

Open bowtochris opened 3 years ago

bowtochris commented 3 years ago

When I use the command "ott -i bil.ott -o bil.v", I get the message "meta or sugar production must have a hom for each target - here "coq" is missing" I'm probably missing something obvious.

ivg commented 3 years ago

The master branch is indeed missing Coq homs, try the coq-formalization branch that has them.