Commit 32c3adb3 authored by MARCHE Claude's avatar MARCHE Claude

magic number set to 8 for release 0.71

parent 5974d37e
* marks an incompatible change
version 0.71, October 11, 2011
version 0.71, October 13, 2011
==============================
o [examples] a lot of new program examples in directory examples/programs
......
......@@ -69,7 +69,7 @@
** make the glossary available
=== Roadmap for fourth release ========================
=== Roadmap for release 0.71 ========================
* Final preparation:
** put on the web page
......@@ -87,7 +87,7 @@
*** several bug fixes
*** see also the file CHANGES
** The last commit:
*** increment the magic number in config
*** DONE increment the magic number in config
*** add a tag to the git repository
*** The next commit : increment why3 version
......
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
<why3session
name="./hello_proof/why3session.xml">
name="examples/hello_proof/why3session.xml">
<prover
id="alt-ergo"
name="Alt-Ergo"
......@@ -9,7 +9,7 @@
<prover
id="coq"
name="Coq"
version="8.3pl2"/>
version="8.2pl1"/>
<prover
id="cvc3"
name="CVC3"
......@@ -95,7 +95,7 @@
prover="coq"
timelimit="3"
edited="hello_proof_HelloProof_G2_1.v"
obsolete="false">
obsolete="true">
<result status="unknown" time="0.50"/>
</proof>
<proof
......
......@@ -27,11 +27,12 @@ open Rc
- 2
- 5 cvc3 native
- 6 driver renaming
- 7 yices native
- 7 yices native (used for release 0.70)
- 8 for release 0.71
If a configuration doesn't contain the actual magic number we don't use it.*)
let magicnumber = 7
let magicnumber = 8
exception WrongMagicNumber
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment