ada/alt-ergo
0
0
Fork 0
mirror of https://github.com/AdaCore/alt-ergo.git synced 2026-02-12 12:39:26 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
alt-ergo/tests/arith
History
Pierrot dc8087713d Active fpa as default (#1177) 
* Activate FPA theory as default

Activating FPA as default introduce a tiny time regression (about 1%)
but we prove more goals on both `ae-format` and `why3-gallery`.

Fix issue #917
2024-07-24 18:32:32 +02:00
..
ceil_floor_propagate.ae
Active fpa as default (#1177)
2024-07-24 18:32:32 +02:00
ceil_floor_propagate.expected
Active fpa as default (#1177)
2024-07-24 18:32:32 +02:00
testfile-arith001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith003.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith003.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith004.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith004.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith005.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith005.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith006.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith006.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith007.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith007.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith008.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith008.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith009.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith009.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith010.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith010.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith011.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith011.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith012.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith012.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith013.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith013.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith014.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith014.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith015.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith015.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith016.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith016.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith017.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith017.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith018.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith018.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith019.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith019.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith020.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith020.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith021.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith021.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith022.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith022.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith023.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith023.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith024.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith024.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith025.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith025.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith026.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith026.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith027.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith027.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith028.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith028.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith029.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith029.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith030.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith030.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith031.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith031.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith032.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith032.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith033.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith033.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith034.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith034.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith035.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith035.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith036.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith036.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith037.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith037.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith038.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith038.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith039.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith039.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith040.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith040.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith041.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith041.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith043.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith043.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith044.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith044.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith045.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith045.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith046.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith046.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith047.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith047.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith048.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith048.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith049.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith049.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith050.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith050.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith051.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith051.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith052.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith052.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith053.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith053.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith054.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith054.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith055.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith055.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith056.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith056.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith057.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith057.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith058.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith058.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith059.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith059.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith060.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith060.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith061.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith061.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith062.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith062.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith063.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith063.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith064.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith064.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith065.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith065.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith066.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith066.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith067.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith067.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith068.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith068.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith069.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith069.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith070.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith070.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith071.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith071.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith072.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith072.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith073.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith073.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith074.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith074.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith075.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith075.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith076.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith076.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith077.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith077.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith078.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith078.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith079.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith079.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith080.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith080.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith081.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith081.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith082.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith082.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith083.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-arith083.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-polynomes001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-polynomes001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-polynomes002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-polynomes002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00