Commits · 4453364486bd2833fabf1445f6e99667f646f17a · Why3 / why3

08 Mar, 2013 2 commits
- fixed a few more proofs, f_puzzle only remains · 44533644
  MARCHE Claude authored Mar 08, 2013
  
  44533644
- fixed Coq proofs (Claude and Guillaume) · e5b01dea
  Jean-Christophe Filliâtre authored Mar 08, 2013
  
  e5b01dea
25 Feb, 2013 1 commit
- updated sessions with correct version of provers: · 5b15206e
  MARCHE Claude authored Feb 25, 2013
  
  5b15206e
22 Feb, 2013 1 commit
- updated proof sessions (new check sums) · 6efd8df6
  Jean-Christophe Filliâtre authored Feb 22, 2013
  
  6efd8df6
17 Feb, 2013 3 commits
- fixed proofs on moloch · d3098e35
  MARCHE Claude authored Feb 17, 2013
  
  d3098e35
- bitvectors: more proofs · f691a29d
  MARCHE Claude authored Feb 17, 2013
  
  f691a29d
- Bitvector: improved lemmas · 619709ec
  MARCHE Claude authored Feb 17, 2013
  
  619709ec
01 Feb, 2013 1 commit
- fixed nightly bench for bitvectors, once more · 4845badd
  MARCHE Claude authored Feb 01, 2013
  
  4845badd
31 Jan, 2013 1 commit
- Nightly bench: fixed Coq proofs in bitvectors example · ae1d164c
  MARCHE Claude authored Jan 31, 2013
  
  ae1d164c
29 Jan, 2013 1 commit
- nightly bench: update obsolete sessions and fixed some proofs · ccf22a40
  MARCHE Claude authored Jan 29, 2013
  
  ccf22a40
15 Jan, 2013 1 commit
- rename 0.95-dev to 0.95 in the proof sessions · 5e3bd0e6
  Andrei Paskevich authored Jan 15, 2013
  
  5e3bd0e6
31 Oct, 2012 1 commit
- use DTD on the Why3 web page · 4adc9ac4
  MARCHE Claude authored Oct 31, 2012
  
  4adc9ac4
26 Oct, 2012 1 commit
- replayer, slight modification of time and mem limit adaptation · 1c63f3d8
  MARCHE Claude authored Oct 26, 2012
  
  1c63f3d8
03 Sep, 2012 1 commit
- Update obsolete sessions. · 7a8f4458
  Guillaume Melquiond authored Sep 03, 2012
  
  7a8f4458
19 Jul, 2012 1 commit
- update proof sessions · a8a44982
  MARCHE Claude authored Jul 19, 2012
  
  a8a44982
17 Jul, 2012 1 commit
- updated all proof sessions with the new shape algorithm · 28106e2c
  MARCHE Claude authored Jul 17, 2012
  
  28106e2c
20 Jun, 2012 2 commits
- update session · 37303264
  MARCHE Claude authored Jun 20, 2012
  
  37303264
- Continued proofs in bitvectors example. Only 3 basic lemmas on · 6b0839fa
  MARCHE Claude authored Jun 20, 2012
```
pow2, div and mod missing
```
  6b0839fa
30 May, 2012 1 commit
- bitvector example: update sessions · 5edd594f
  MARCHE Claude authored May 30, 2012
  
  5edd594f
27 May, 2012 1 commit
- fix detection of 'timeout' result of Alt-Ergo 0.95 · cd28fe41
  MARCHE Claude authored May 27, 2012
  
  cd28fe41
25 May, 2012 2 commits
- One more Coq proof in bitvector example · c20f5d7c
  MARCHE Claude authored May 25, 2012
  
  c20f5d7c
- Bitvector, replay and smoke detector · 2bfff3b8
  MARCHE Claude authored May 25, 2012
  
  2bfff3b8
19 May, 2012 1 commit
- update sessions after changes in stdlib · 19294149
  MARCHE Claude authored May 19, 2012
  
  19294149
18 May, 2012 1 commit
- updated sessions · 2e1cc466
  MARCHE Claude authored May 18, 2012
  
  2e1cc466
08 May, 2012 1 commit
- update session after Coq upgrade · 85aa8844
  MARCHE Claude authored May 08, 2012
  
  85aa8844
29 Apr, 2012 1 commit
- More Coq proofs in bitvector example · abcdc913
  MARCHE Claude authored Apr 27, 2012
  
  abcdc913
21 Apr, 2012 1 commit
- Tuyen's example moved into directory examples · dfa8bcc8
  MARCHE Claude authored Apr 21, 2012
  
  dfa8bcc8