Hichem R. A. comments

Results 50 comments of


                                            Hichem R. A.

bench test error Alt-Ergo AltErgoLib.Errors

Ok I took a closer look and the issues is Alt-Ergo's lack of support for smt-lib floating-point arithmetic (there might be another way to encore them but I'll have to...

bench test error Alt-Ergo AltErgoLib.Errors

> Why are the two errors different? Is it that the first one got fixed by your PR on smtml and now we are hitting a new one? The error...

bench test error Alt-Ergo lib/structures/expr.ml 2

Should be fixed by https://github.com/formalsec/smtml/pull/347

bench test error Alt-Ergo UNsupported operator clz

Should be fixed by https://github.com/formalsec/smtml/pull/347

bench test error Alt-Ergo lib/reasoners/bitv.ml 3

Should be fixed by https://github.com/formalsec/smtml/pull/347

bench test error Alt-Ergo lib/structures/expr.ml

Should be fixed by: https://github.com/formalsec/smtml/pull/347

bench test error Alt-Ergo lib/structures/expr.ml

What timeout did you use @felixL-K? I can't seem to reproduce them

bench test error Alt-Ergo Unsupported type i1

Should be fixed by https://github.com/formalsec/smtml/pull/349

bench test error Alt-Ergo Invalid_argument("extract")

Should be fixed by https://github.com/formalsec/smtml/pull/347

bench test error Alt-Ergo CamlinternalLazy.Undefined

Should be fixed by: https://github.com/formalsec/smtml/pull/347