Commits · 9d874a639a5539fcee3a118eac40e26f075891e6 · Why3 / why3

15 Dec, 2010 9 commits
- doc: syntax of types · 9d874a63
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  9d874a63
- doc: syntax of theories (start) · 60f985b8
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  60f985b8
- doc: syntax of formulas · 6c2c5eff
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  6c2c5eff
- doc: syntax of terms · 7aaff834
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  7aaff834
- doc: tex from bnf · 275deafa
  MARCHE Claude authored Dec 15, 2010
  
  275deafa
- doc : some why3, some configuration file, add whybench · f9d1a079
  François Bobot authored Dec 15, 2010
  
  f9d1a079
- use rubber instead of an arbitrary number of compilation · cbf6bb1d
  François Bobot authored Dec 15, 2010
  
  cbf6bb1d
- doc: gettings started, continued · a94f931e
  MARCHE Claude authored Dec 15, 2010
  
  a94f931e
- doc: gettings started · e83e0109
  MARCHE Claude authored Dec 15, 2010
  
  e83e0109
14 Dec, 2010 20 commits
- merge · ace5595d
  MARCHE Claude authored Dec 14, 2010
  
  ace5595d
- Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//why3/why3 · 3960903d
  MARCHE Claude authored Dec 14, 2010
  
  3960903d
- reorg doc · cab293f6
  MARCHE Claude authored Dec 14, 2010
  
  cab293f6
- more buttons · 1aa52660
  MARCHE Claude authored Dec 14, 2010
  
  1aa52660
- propositional examples now work · 703e0c3d
  MARCHE Claude authored Dec 14, 2010
  
  703e0c3d
- encoding_arrays : non of the type are removed so we can let them · f964bd96
  François Bobot authored Dec 14, 2010
  
  f964bd96
- try to fix make test · e2410f4b
  François Bobot authored Dec 14, 2010
  
  e2410f4b
- typing : type propositional logic (close : #11564) · 3fcc2aae
  François Bobot authored Dec 14, 2010
  
  3fcc2aae
- bench : transpose line and column · 83a6c42b
  François Bobot authored Dec 14, 2010
  
  83a6c42b
- META · 7f33da20
  François Bobot authored Dec 14, 2010
  
  7f33da20
- bench : array.why : use int.Int and 0 instead of 2, · 4af6d4e4
  François Bobot authored Dec 14, 2010
```
better since 0<>1 is then in the axiomatic of tptp prover
```
  4af6d4e4
- pp : add one ansi-code function · 4fa83226
  François Bobot authored Dec 14, 2010
  
  4fa83226
- whybench : show progression · 87db1335
  François Bobot authored Dec 14, 2010
  
  87db1335
- whybench : csv output · 49265aa3
  François Bobot authored Dec 13, 2010
  
  49265aa3
- rc file working add timelimit · 48dce311
  François Bobot authored Dec 08, 2010
  
  48dce311
- benchrc : A way to describe bench · 22cfca3f
  François Bobot authored Dec 08, 2010
  
  22cfca3f
- make distrib (prepares the tarball distrib/why3-xxx.tar.gz) · f4af8ebb
  Jean-Christophe Filliâtre authored Dec 14, 2010
  
  f4af8ebb
- context of application of provers · 7ffd5735
  MARCHE Claude authored Dec 14, 2010
  
  7ffd5735
- acknowledgments · 155bb315
  MARCHE Claude authored Dec 14, 2010
  
  155bb315
- new example: scottish club · 952cc543
  MARCHE Claude authored Dec 14, 2010
  
  952cc543
13 Dec, 2010 8 commits
- doc: version, prover detection · b402afbd
  MARCHE Claude authored Dec 13, 2010
  
  b402afbd
- language tutorial (work in progress) · 66a33777
  Jean-Christophe Filliâtre authored Dec 13, 2010
  
  66a33777
- start of ide man page · e429a822
  MARCHE Claude authored Dec 13, 2010
  
  e429a822
- reorg of manual · 89435c10
  MARCHE Claude authored Dec 13, 2010
  
  89435c10
- new headers · 22d325ab
  MARCHE Claude authored Dec 13, 2010
  
  22d325ab
- new files for distrib · 9ea5cab3
  MARCHE Claude authored Dec 13, 2010
  
  9ea5cab3
- licence · 33503e93
  MARCHE Claude authored Dec 13, 2010
  
  33503e93
- add · 2323809a
  MARCHE Claude authored Dec 13, 2010
  
  2323809a
11 Dec, 2010 1 commit
- start a glossary · 9977ee8a
  Andrei Paskevich authored Dec 11, 2010
  
  9977ee8a
10 Dec, 2010 2 commits
- menage · 41b13151
  MARCHE Claude authored Dec 10, 2010
  
  41b13151
- WP does not simplify anymorer 'A -> False' into 'not A' · 44703fba
  MARCHE Claude authored Dec 10, 2010
  
  44703fba