[SMT-LIB] OCaml parser for SMT-LIB 2.0

[Aaron Stump]

Hi, David.

That line_comment directive indicates that ";" starts comments which then
run to the end of the line.

Thanks for asking,
Aaron

On Wed, Sep 1, 2010 at 1:41 PM, <cok at frontiernet.net> wrote:

>
> Should the line_comment definition be the equivalent of  ";.*"
> (or is there something not expressed in the grammar about how comments are
> handled?)
>
> - David
>
> > On 30 Aug 2010, at 11:35, Aaron Stump wrote:
> >
>
> >
> > > Cesare has looked through our grammar, and at this point, we believe
> > it is
> > > conformant to the SMT-LIB 2.0 standard.  That said, please let us
> > know if
> > > you find any bugs.
> > >
> > > Thanks,
> > > Aaron Stump and Kyle Krchak
> > > The University of Iowa
> > >
> >
> -------------------------------------------------------------------------------------------------------
> > > smtlib
> > >
> > > line_comment = ";"
> > >
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>