Stéphane Graham-Lengrand comments

Results 6 comments of


                                            Stéphane Graham-Lengrand

debian apt instruction fail

How about now? ianamason has added jammy.

why your website is closed? I want to learn some Yices' own specification language.

We have just migrated https://yices.csl.sri.com/ to a new server. Do you still have an issue accessing it?

Model interpolants should be displayed in the SMT syntax

True, but do we have an SMT2 pretty-printer for terms? I thought that was always missing? (That's why I made my own SMT2 pretty-printer in the OCaml bindings, with some...

Bug in model construction from API, in Yices/CDCL(T)

Assertion ailure is: ``` Assertion failed: (d[j].function != f || !mappings_match(table, i, d[j].map)), function add_hash_pair, file concrete_values.c, line 265. ```

Ignore paths tagged with -traverse while scanning

Thanks for the news about this project. It's a great project and hopefully someone will find the time to port it to codept! Until then, I'm still interested in using...

feature: have a `menhir.ocamlbuild` ocamlfind package that `-use-menhir` relies on

I'm just adding my +1 in support of this wishlist item. Is it possible, with use-menhir or with a new alternative for it, to let the menhir invocation (on Ocamlbuild's...