Hichem R. A.
Hichem R. A.
Should be fixed by https://github.com/formalsec/smtml/pull/347
Should be fixed by https://github.com/formalsec/smtml/pull/390
Should be fixed by https://github.com/formalsec/smtml/pull/347
Should be fixed by https://github.com/formalsec/smtml/pull/347
Should be fixed by https://github.com/formalsec/smtml/pull/349
The error is fixed, but a new one occurs, in which `rotate_left` is called with two bit-vectors, not a numeral and a bit-vector (as expected from the smt-lib https://smt-lib.org/logics-all.shtml). Not...
Did something change in the `Symbols.ml` module? In the mapping I use `Symbol.make` to create the smtml symbol that corresponds to a dolmen/alt-ergo symbol and with this function the namespace...
> Couldn't we just make `Symbol.make` create symbols with namespace `term` instead of `var`? This fixes the issue and the tests seem to be running ok. Yes it should, I...
Great! Thanks!
Still happens but smtml cannot parse the last path condition (needs https://github.com/OCamlPro/owi/issues/631)