Ocaml bindings for openSMT

[pranav]

Hi,

I want to use openSMT for symbolic execution of C programs. The front
end I use is based on
the Cil AST written in ocaml. Does the openSMT team have any plans to
provide its bindings for
ocaml?

Thanks
Pranav

[Roberto Bruttomesso]

Hi,

no, at the moment we don't plan to have an ocaml interface

Cheers,
R

>
> Thanks
> Pranav
>
> --
> You received this message because you are subscribed to the Google Groups "opensmt" group.
> To post to this group, send email to ope...@googlegroups.com.
> To unsubscribe from this group, send email to opensmt+u...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/opensmt?hl=en.
>
>

--
Roberto Bruttomesso, PhD - http://tinyurl.com/r0b3r70

[David Monniaux]

Dear Roberto,

Does the C interface currently work?

If so, since it is based on principles close to those of Z3 and Yices,
it should not be too difficult to build an OCaml interface.

Regards,

--
David Monniaux, charg� de recherche au CNRS, laboratoire VERIMAG
http://www-verimag.imag.fr/~monniaux/

[Roberto Bruttomesso]

Hi,

the current one works but has some problems with incrementality. The
one in the version to be release is much better, but not substantially
different. Yes the ocaml interface should be an easy cut-and-paste
from existing ones. Still we do not have time to set it up at the
moment, sorry

R

On Mon, Jun 20, 2011 at 4:14 PM, David Monniaux <David.M...@imag.fr> wrote:
> Dear Roberto,
>
> Does the C interface currently work?
>
> If so, since it is based on principles close to those of Z3 and Yices,
> it should not be too difficult to build an OCaml interface.
>
> Regards,
>
> --

> David Monniaux, chargé de recherche au CNRS, laboratoire VERIMAG
> http://www-verimag.imag.fr/~monniaux/
>