search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

integrate BmlToBpl with FreeBoogie #64

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
At the very least bml2bpl should use FreeBoogie's AST.

Original issue reported on code.google.com by radugrig...@gmail.com on 24 Oct 2010 at 11:22