Commits · 662ea15e763fe2209ae576fc4608db47782dfcfc · Why3 / why3 · GitLab

Attention une mise à jour du service Gitlab va être effectuée le mardi 07 février entre 13h30 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes (habituellement de l'ordre de trois minutes).

11 May, 2012 3 commits
- why3doc: new option --title to set a title for the index page · 662ea15e
  Jean-Christophe Filliâtre authored May 11, 2012
  
  662ea15e
- updated ROADMAP; cleaning up · 29a88d32
  Jean-Christophe Filliâtre authored May 11, 2012
  
  29a88d32
- new program example: Bellman-Ford algorithm · 3113cea0
  Jean-Christophe Filliâtre authored May 11, 2012
  
  3113cea0
10 May, 2012 10 commits
- why3doc: fixed links in index file · 7717a356
  Jean-Christophe Filliâtre authored May 10, 2012
  
  7717a356
- fix division bug with CVC3 · 7c9ab69f
  MARCHE Claude authored May 10, 2012
  
  7c9ab69f
- distribute more examples · 813b6414
  MARCHE Claude authored May 10, 2012
  
  813b6414
- more proofs on isqrt example · 7b0a19e7
  MARCHE Claude authored May 10, 2012
  
  7b0a19e7
- Hopefully fixes BTS 14221 · 1c5f9901
  MARCHE Claude authored May 10, 2012
  
  1c5f9901
- Workaround for division bug in CVC3 · e92023a8
  MARCHE Claude authored May 10, 2012
  
  e92023a8
- why3doc: index generation · 8d51bb2c
  Jean-Christophe Filliâtre authored May 10, 2012
  
  8d51bb2c
- why3doc: new option --stdlib-url to add links for files found in load path · af69cabc
  Jean-Christophe Filliâtre authored May 10, 2012
  
  af69cabc
- more proofs in bitvector example · 1d18fce0
  MARCHE Claude authored May 10, 2012
  
  1d18fce0
- completed proof of example flag2 · a2fa050c
  MARCHE Claude authored May 10, 2012
  
  a2fa050c
09 May, 2012 11 commits
- more on bitvectors example · 7adfce46
  MARCHE Claude authored May 09, 2012
  
  7adfce46
- CVC# bug is NOT fixed · f1f6ec36
  MARCHE Claude authored May 09, 2012
  
  f1f6ec36
- test gappa on terms with labels · 2d4bf231
  MARCHE Claude authored May 09, 2012
  
  2d4bf231
- More examples included in regression tests · c41a4218
  MARCHE Claude authored May 09, 2012
  
  c41a4218
- Polished doc, no more todo, no more overfull boxes · ccad1159
  MARCHE Claude authored May 09, 2012
  
  ccad1159
- Clean generated documentation for modules a bit. · 089cbe8f
  Guillaume Melquiond authored May 09, 2012
  
  089cbe8f
- Fix some typos in the manual. · 4cc8890c
  Guillaume Melquiond authored May 09, 2012
  
  4cc8890c
- Avoid a superfluous symbolic link to why3doc. · 6d53ed83
  Guillaume Melquiond authored May 09, 2012
  
  6d53ed83
- Slant i.e. and e.g. in documentation. · bc4bba0c
  Guillaume Melquiond authored May 09, 2012
  
  bc4bba0c
- Manual for why3doc · 690242b2
  MARCHE Claude authored May 09, 2012
  
  690242b2
- Doc: standard library updated, with ref to the URL of the on-line · bcae786c
  MARCHE Claude authored May 09, 2012
```
doc generated by why3doc
```
  bcae786c
08 May, 2012 5 commits
- fixed bug #14190 · c854f2d9
  Jean-Christophe Filliâtre authored May 08, 2012
  
  c854f2d9
- Euler example fully proved · 016edab9
  MARCHE Claude authored May 08, 2012
  
  016edab9
- update session after Coq upgrade · 85aa8844
  MARCHE Claude authored May 08, 2012
  
  85aa8844
- Coq 8.3pl4 is supported · 5c974ea5
  MARCHE Claude authored May 08, 2012
  
  5c974ea5
- Small change in the effect of the -force option of the replayer · 51572a8b
  MARCHE Claude authored May 08, 2012
  
  51572a8b
07 May, 2012 11 commits
- whyml: compute varset for ity's on construction · 67d896b8
  Andrei Paskevich authored May 07, 2012
  
  67d896b8
- session update · 6b219bee
  MARCHE Claude authored May 07, 2012
  
  6b219bee
- WhyML: typing of expressions (in progress) · 6815352e
  Jean-Christophe Filliâtre authored May 07, 2012
  
  6815352e
- Fix problem with gappa substitution: subtitute modulo alpha-renaming to · 0579ac10
  MARCHE Claude authored May 07, 2012
```
ignore labels
```
  0579ac10
- Roadmap updated, towards release 0.72 · 80dea17f
  MARCHE Claude authored May 07, 2012
  
  80dea17f
- Why3doc for modules · f840e0be
  MARCHE Claude authored May 07, 2012
  
  f840e0be
- doc: specific Coq features · 412b6e68
  MARCHE Claude authored May 07, 2012
  
  412b6e68
- store loadpath as a set of paths, not as a list · df417ca3
  Andrei Paskevich authored May 07, 2012
```
Thanks to Johannes Kanig for the suggestion.
```
  df417ca3
- fix driver import with relative paths · 2726d45a
  Andrei Paskevich authored May 07, 2012
  
  2726d45a
- Reduce the font size of some listings. Warn when compiling documentation. · 9e5aab7b
  Guillaume Melquiond authored May 07, 2012
  
  9e5aab7b
- Document the issue with realization dependencies. · 1ef5d144
  Guillaume Melquiond authored May 07, 2012
  
  1ef5d144