Commits · 6231bc379177b478579746e4057fdb68f8dffb80 · Why3 / why3 · GitLab

15 Dec, 2010 20 commits
- roadmap updated · 6231bc37
  MARCHE Claude authored Dec 15, 2010
  
  6231bc37
- yet another paragraph of documentation · 83bd9430
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  83bd9430
- doc of stdlib · 2cc3c176
  MARCHE Claude authored Dec 15, 2010
  
  2cc3c176
- doc: syntax for lists with separators · 2103b6b8
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  2103b6b8
- doc: typo in syntax for constants · f7511358
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  f7511358
- doc: syntax of operators · eea7c833
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  eea7c833
- Merge branch 'master' of git+ssh://filliatr@scm.gforge.inria.fr//gitroot//why3/why3 · a6798d63
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  a6798d63
- doc: syntax of constants · ab2dbb1a
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  ab2dbb1a
- doc: syntax of constants · af2bce08
  Jean-Christophe Filliâtre authored Dec 15, 2010
  
  af2bce08
- complements in MinMax + Coq output for Zmin, Zmax · 17784ab0
  MARCHE Claude authored Dec 15, 2010
  
  17784ab0
- complements in MinMax + Coq output for Zmin, Zmax · 5ea6caa9
  MARCHE Claude authored Dec 15, 2010
  
  5ea6caa9
- 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