ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
24.2
why3/bench/valid/split_vc
History
François Bobot dd3125e921 [Bench] mccarty f19_pseudorec is not proved 
without an additional assert and splitting. The splitting make
        also the bench faster by 2sec.
2018-06-27 23:11:41 +02:00
..
mccarthy.mlw
[Bench] mccarty f19_pseudorec is not proved
2018-06-27 23:11:41 +02:00