Commits · 1f4102c3c82c02de3401851bdc7f93594122a1f9 · Why3 / why3

03 Apr, 2011 1 commit
- ignore ocamllex output xml.ml · 1f4102c3
  Jean-Christophe Filliâtre authored Apr 03, 2011
  
  1f4102c3
31 Mar, 2011 1 commit
- why3doc: temporarily limited to a HTML translator · 3c1b944b
  Jean-Christophe Filliâtre authored Mar 31, 2011
```
Makefile targets to build the gallery (to be discussed)
```
  3c1b944b
25 Feb, 2011 1 commit
- record expressions · d99306fc
  Jean-Christophe Filliâtre authored Feb 25, 2011
  
  d99306fc
18 Feb, 2011 3 commits
- new library module Queue · 0da389ed
  Jean-Christophe Filliâtre authored Feb 18, 2011
  
  0da389ed
- new library module Stack · a63251c0
  Jean-Christophe Filliâtre authored Feb 18, 2011
  
  a63251c0
- new example: same fringe; syntax ++ for append · adaf9119
  Jean-Christophe Filliâtre authored Feb 18, 2011
  
  adaf9119
16 Feb, 2011 2 commits
- readd /bench/program/good/* dans .gitignore · cb158ea9
  Andrei Paskevich authored Feb 16, 2011
  
  cb158ea9
- merge .gitignore's + move apidoc/ to doc/apidoc/ · 829ad579
  Andrei Paskevich authored Feb 16, 2011
  
  829ad579
15 Feb, 2011 2 commits
- errors in config file and regeneration · 7c400266
  Jean-Christophe Filliâtre authored Feb 15, 2011
  
  7c400266
- inside the repository we ignore what ends with .tmp · a8f1e433
  François Bobot authored Feb 15, 2011
  
  a8f1e433
09 Feb, 2011 1 commit
- ignore · f6332096
  Jean-Christophe Filliâtre authored Feb 09, 2011
  
  f6332096
08 Feb, 2011 1 commit
- ignore · 107a7483
  Jean-Christophe Filliâtre authored Feb 08, 2011
  
  107a7483
25 Jan, 2011 1 commit
- .gitignore for theories and modules subdirs · b41ff2d3
  Jean-Christophe Filliâtre authored Jan 25, 2011
  
  b41ff2d3
22 Jan, 2011 2 commits
- .gitignore · 5f1bd9b7
  Jean-Christophe Filliâtre authored Jan 22, 2011
  
  5f1bd9b7
- updated .gitignore · 32772a8c
  Jean-Christophe Filliâtre authored Jan 22, 2011
  
  32772a8c
29 Dec, 2010 1 commit
- why2doc: raw HTML pages, with no links yet · f4a70768
  Jean-Christophe Filliâtre authored Dec 20, 2010
  
  f4a70768
20 Dec, 2010 1 commit
- ignore · e35df443
  Jean-Christophe Filliâtre authored Dec 20, 2010
  
  e35df443
18 Dec, 2010 1 commit
- new example: genealogy.why (not very impressive, though) · bcb4bdef
  Jean-Christophe Filliâtre authored Dec 18, 2010
  
  bcb4bdef
15 Dec, 2010 2 commits
- doc: tex from bnf · 275deafa
  MARCHE Claude authored Dec 15, 2010
  
  275deafa
- doc: gettings started · e83e0109
  MARCHE Claude authored Dec 15, 2010
  
  e83e0109
14 Dec, 2010 2 commits
- make distrib (prepares the tarball distrib/why3-xxx.tar.gz) · f4af8ebb
  Jean-Christophe Filliâtre authored Dec 14, 2010
  
  f4af8ebb
- new example: scottish club · 952cc543
  MARCHE Claude authored Dec 14, 2010
  
  952cc543
01 Dec, 2010 2 commits
- bench : array · fbc3ed2b
  François Bobot authored Dec 01, 2010
  
  fbc3ed2b
- EquLin : Generator of linear equation · ebe47266
  François Bobot authored Dec 01, 2010
  
  ebe47266
09 Nov, 2010 1 commit
- exemple of cosine · cc918120
  Claude Marche authored Nov 09, 2010
  
  cc918120
05 Nov, 2010 1 commit
- create an empty .keepme file in bin/ to store it with git · 63dc4442
  Andrei Paskevich authored Nov 05, 2010
  
  63dc4442
01 Nov, 2010 1 commit
- Simplification de la génération de parser.ml/.mli · 3e5341b3
  Francois Bobot authored Nov 01, 2010
```
en utilisant parser.pre.mly (le seul fichier à modifier)
```
  3e5341b3
29 Oct, 2010 1 commit
- update .gitignore for src/config/ · 84775168
  Andrei Paskevich authored Oct 29, 2010
  
  84775168
04 Sep, 2010 1 commit
- Add Whyconfig and the target local_config which create a configuration for the build directory · b0246e31
  Francois Bobot authored Sep 04, 2010
  
  b0246e31
11 Aug, 2010 1 commit
- only one transformation for encoding instantiate · 334d3635
  Francois Bobot authored Aug 11, 2010
  
  334d3635
15 Jul, 2010 1 commit
- minor · 4471bead
  Andrei Paskevich authored Jul 15, 2010
  
  4471bead
16 Jun, 2010 1 commit
- Ajout de benchs pour AC et division euclidean · ba6c67c3
  Francois Bobot authored Jun 16, 2010
  
  ba6c67c3
15 Jun, 2010 1 commit
- Ajout des reals en builtin pour cvc3 et z3 · 5d47822f
  Francois Bobot authored Jun 15, 2010
  
  5d47822f
26 May, 2010 1 commit

Simon Cruanes authored May 26, 2010

gitignore updated (vim swap files and .svn dirs)
bug corrected in explicit_polymorphism for formulae translation

e05064c1

12 May, 2010 1 commit
- .gitignore · 8a00b9d3
  Francois Bobot authored May 12, 2010
  
  8a00b9d3