Problems running codac on Mac m2 chip about codac HOT 5 CLOSED

Hello,

I can confirm the same issue for the first point on our MacBook with M1 chip, contrary to other configurations. For this type of Mac, Codac was built with FILIB interval library (because it was the only one that builds easily in this configuration), contrary to Intel x86_64 Mac or PC with Ubuntu which are with GAOL.
With some changes including those proposed in goualard-f/GAOL#4 , here are some temporary Python 3.9 and 3.10 wheels using GAOL, which would need to be installed with something similar to sudo pip3 uninstall -y codac ; pip3 uninstall -y codac ; pip3 install *.whl to overwrite the existing version :

• https://www.ensta-bretagne.fr/lebars/Share/codac-1.2.0-cp39-cp39-macosx_12_0_arm64.whl
• https://www.ensta-bretagne.fr/lebars/Share/codac-1.2.0-cp310-cp310-macosx_13_0_arm64.whl

Note that I tried also to find a solution for FILIB by adding compiler flags such as -ffloat-store -frounding-math -fno-fast-math -ffp-contract=off to the build process but that did not seem to completely solve the problem, contrary to GAOL. To be checked...

For the second point, do you have an example to reproduce the problem, it might be a separate issue?

from codac.

Thank you very much for your answer, Fabrice. First problem is now solved.
You can reproduce the second problem with the example code for tplanes that you can find on the following link:

https://github.com/codac-team/codac/blob/master/examples/robotics/06_loops_proofs/06_loops_proofs.py

from codac.

OK, I can confirm the problem on our Mac M1, we will need to check more in details...

from codac.

Here are new Python .whl with preliminary fixes for both problems: https://github.com/lebarsfa/codac/releases/tag/v1.2.1-tplane-fix. Download the .whl corresponding to your Python version, e.g. https://github.com/lebarsfa/codac/releases/download/v1.2.1-tplane-fix/codac-1.2.1-cp39-cp39-macosx_11_0_arm64.whl for Python 3.9, and e.g. run in your download folder sudo pip3 uninstall -y codac ; pip3 uninstall -y codac ; pip3 install *.whl to overwrite the existing version.

from codac.

Problems solved, thank you so much!

from codac.