[SMT-LIB] improvements to smtlib-parser

[Michal Moskal]

Hi,

while working on Simplify->SMT converter I've made a few little
improvments to smtlib-parser:

1. make it show where (line number) the parsing fails, priceless when
designing SMT backends
2. handle ' in quantified variable names
3. add "checker" utility taking SMT files as parameters
4. add Makefile.opt (use make -f Makefile.opt), to get a faster
checker (parsing a few thousand SMT queries can make some time, and
it's several times faster with ocamlopt)

I attach a patch for it.

-- 
   Michał
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smtlib-parser.patch
Type: text/x-patch
Size: 11049 bytes
Desc: not available
Url : /pipermail/smt-lib/attachments/20070118/7f47cfdd/smtlib-parser.bin