occam on vagrant with yices

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed ianamason closed 8 years ago

ianamason commented 8 years ago

works kinda sorta.

need to handle the native links properly.

need to link the bitcode libraries too.

done by hand seems to work okayish.

ianamason commented 8 years ago

no longer needs to be done by hand.