Antoine Miné
Antoine Miné
Thanks for the report and sorry for the bug. PR #101 should fix the issue. Could you confirm? After the patch, I get no bottom, and the bounds for expression...
PR #97 may be related to (and possibly a fix for) this problem.
That would be nice indeed. However, I don't know how to do this and not break existing code... Any idea on this ? Note that, if you install through opam...
PR #97 might solve your problem as it uses `strip` directly to strip binaries instead of using the `--strip` option. Could you please check whether this is the case, so...
Could you check that PR #97 fixes the issue on FreeBSD?
README and build instructions for Linux and Windows have been reviewed. The README for Mac is not up-to-date though.
I've merged #28, which should help. Jan, Caterina, could you confirm that it works? (without symlinks!) I imagine you still need to specify `GMP_PREFIX` and `MPFR_PREFIX` by hand, though, and...
Thanks for the report. Could you see if #95 fixes this issue on your side?
This is strange. This fixes the problem for me on your example. Do you have a full program. The following code: ```java Texpr1VarNode x = new Texpr1VarNode("x"); Environment environment =...
Sorry, it will be difficult for me to fix the issue if I cannot reproduce it... Any additional information would be welcome.