Commits · ea5b3bddc1629fdda36b5cc4dfdf3ac0b565bb5d · Why3 / why3

26 Jan, 2012 1 commit
- repear broken use_api. The new api is clearly not backward compatible. · ec19a303
  François Bobot authored Jan 25, 2012
```
Perhaps I should revert some part...
```
  ec19a303
20 Oct, 2011 1 commit

smoke detector added to the replayer · eafe468e

François Bobot authored Oct 20, 2011

The smoke detector try to detect when a goal is proved
because the context is self contradicting.

The way it is configured in session is not very pretty.

eafe468e

12 Oct, 2011 1 commit
- doc: updated table genereted by why3replayer · b4324d3c
  MARCHE Claude authored Oct 12, 2011
  
  b4324d3c
11 Oct, 2011 4 commits
- Improved doc for why3replauer -latex · c8b62ca8
  MARCHE Claude authored Oct 11, 2011
  
  c8b62ca8
- Latex documentation · 84dbdac2
  Asma Tafat-Bouzid authored Oct 11, 2011
  
  84dbdac2
- Latex documentation · 0c1dfd77
  Asma Tafat-Bouzid authored Oct 11, 2011
  
  0c1dfd77
- prepare for release 0.71 · 6551fff6
  MARCHE Claude authored Oct 11, 2011
  
  6551fff6
30 Sep, 2011 1 commit
- rename Env.create_env_of_loadpath to Env.create_env · b92e64bc
  Andrei Paskevich authored Sep 30, 2011
```
also add Env.get_loadpath to use for Coq realisation
```
  b92e64bc
23 Sep, 2011 1 commit
- proofs monitoring and cancellation · a6122c07
  MARCHE Claude authored Sep 23, 2011
  
  a6122c07
14 Sep, 2011 1 commit
- options of why3replayer · 906a5e14
  MARCHE Claude authored Sep 14, 2011
  
  906a5e14
11 Aug, 2011 1 commit
- Cleaning, doc and such · b77c9cf1
  MARCHE Claude authored Jul 23, 2011
  
  b77c9cf1
07 Jul, 2011 1 commit
- Remove src/config.ml from the distrib · f92d899b
  MARCHE Claude authored Jul 07, 2011
```
add the way of replaying examples in the doc
```
  f92d899b
05 Jul, 2011 2 commits
- document "make obsolete" tool · f966881d
  MARCHE Claude authored Jul 05, 2011
  
  f966881d
- terminology: code labels are renamed to (code) marks · 2165340a
  Jean-Christophe Filliâtre authored Jul 05, 2011
```
new syntax 'L: to introduce a mark
new syntax at t 'L in logical expressions
```
  2165340a
04 Jul, 2011 3 commits
- Finished doc update for IDE and why3replayer · 2cd501bf
  MARCHE Claude authored Jul 04, 2011
  
  2cd501bf
- improved documentation · 09a2db0c
  Jean-Christophe Filliâtre authored Jul 04, 2011
  
  09a2db0c
- finished update of the manpage of IDE · 362c5cb9
  MARCHE Claude authored Jul 04, 2011
```
updated DTD
```
  362c5cb9
03 Jul, 2011 4 commits
- more doc on IDE · cc9e5dfc
  MARCHE Claude authored Jul 03, 2011
  
  cc9e5dfc
- doc: update of getting started with IDE, part 1 · 3b8f70f8
  MARCHE Claude authored Jul 03, 2011
  
  3b8f70f8
- IDE: removed detection of provers · d781a155
  MARCHE Claude authored Jul 03, 2011
```
because it is incompatible with the session system
```
  d781a155
- doc for why3replayer · 56f88378
  MARCHE Claude authored Jul 03, 2011
  
  56f88378
02 Jul, 2011 4 commits
- update ROADMAP · 61f0302d
  Andrei Paskevich authored Jul 02, 2011
  
  61f0302d
- update the documentation for the last two commits · 3070b01d
  Andrei Paskevich authored Jul 02, 2011
  
  3070b01d
- more in roadmap · 7fe22482
  MARCHE Claude authored Jul 02, 2011
```
small modifs in the manual
```
  7fe22482
- update of section API of the doc · d6d59f63
  MARCHE Claude authored Jul 02, 2011
  
  d6d59f63
01 Jul, 2011 1 commit
- roadmap for release 0.70 · a2867c1f
  MARCHE Claude authored Jul 01, 2011
  
  a2867c1f
30 Jun, 2011 1 commit
- rename "parameter" to "val" · a1e3ab18
  Andrei Paskevich authored Jul 01, 2011
  
  a1e3ab18
29 Jun, 2011 2 commits
- update documentation for the recent syntax changes · dba92e2e
  Andrei Paskevich authored Jun 30, 2011
  
  dba92e2e
- doc : typo, subsection -> section · e5cbb752
  François Bobot authored Jun 29, 2011
  
  e5cbb752
24 Jun, 2011 2 commits
- documentation: solution for VSTTE'10 problem 4 · a32e6807
  Jean-Christophe Filliâtre authored Jun 22, 2011
  
  a32e6807
- Yannick comments on documentation · 8ba811e5
  Jean-Christophe Filliâtre authored Jun 24, 2011
  
  8ba811e5
22 Jun, 2011 2 commits
- documentation: solution for VSTTE'10 problem 5 · 05239c19
  Jean-Christophe Filliâtre authored Jun 22, 2011
  
  05239c19
- loop solution to VSTTE'10 problem 3: proof and documentation · 5fac9dc8
  Jean-Christophe Filliâtre authored Jun 22, 2011
  
  5fac9dc8
21 Jun, 2011 4 commits
- documentation: solution for VSTTE'10 problem 3 · 39292b6e
  Jean-Christophe Filliâtre authored Jun 21, 2011
  
  39292b6e
- documentation: solution for VSTTE'10 problem 2 · 60ffb6d6
  Jean-Christophe Filliâtre authored Jun 21, 2011
  
  60ffb6d6
- documentation: solution for VSTTE'10 problem 1 · 361252b4
  Jean-Christophe Filliâtre authored Jun 21, 2011
  
  361252b4
- cleaning up example max_sum for the doc · 105f6179
  Jean-Christophe Filliâtre authored Jun 21, 2011
  
  105f6179
18 Jun, 2011 1 commit
- update doc/api.tex · d4ccd8f2
  Andrei Paskevich authored Jun 18, 2011
  
  d4ccd8f2
06 Jun, 2011 1 commit
- programs documentation (in progress) · 58d20088
  Jean-Christophe authored Jun 06, 2011
  
  58d20088
01 Jun, 2011 1 commit
- programs library documentation · 9e66b348
  Jean-Christophe Filliâtre authored Jun 01, 2011
  
  9e66b348