• MARCHE Claude's avatar
    Merge remote-tracking branch 'origin/master' into new_system · 077ae9c6
    MARCHE Claude authored
    Conflicts:
    	examples/fibonacci.mlw
    	examples/fibonacci/why3session.xml
    	examples/fibonacci/why3shapes.gz
    	examples/koda_ruskey/why3session.xml
    	examples/koda_ruskey/why3shapes.gz
    	examples/schorr_waite_via_recursion/why3session.xml
    	examples/schorr_waite_via_recursion/why3shapes.gz
    	examples/tests-provers/bv/why3session.xml
    	examples/tests-provers/bv/why3shapes.gz
    	examples/tests-provers/ieee_float/why3session.xml
    	examples/tree_of_array/why3session.xml
    	examples/tree_of_array/why3shapes.gz
    	examples/vstte12_bfs/why3session.xml
    	examples/vstte12_bfs/why3shapes.gz
    	theories/int.why
    	theories/real.why
    077ae9c6
ieee_float.mlw 2.86 KB