Commits · extract-fix · Nils Fitinghoff / why3 · GitLab

Snippets Groups Projects

Aug 08, 2018
- add autoconf and automake build steps to opam packages · 826294c8
  nilfit authored 6 years ago
  826294c8
Jul 17, 2018
- unsafely fix extraction of list.Nth · 6df2c6dc
  nilfit authored 6 years ago
  6df2c6dc
- add parentheses around tyes in Ddata constructors · 6ea537ae
  nilfit authored 6 years ago
  6ea537ae
Jun 25, 2018
- New release. · e112153a
  Guillaume Melquiond authored 6 years ago
  
  e112153a
- Add missing headers. · ac9f96ec
  Guillaume Melquiond authored 6 years ago
  
  ac9f96ec
- Clean release notes. · 05de6964
  Guillaume Melquiond authored 6 years ago
  
  05de6964
- Clean project list. · 61755d48
  Guillaume Melquiond authored 6 years ago
  
  61755d48
- Uniformize Sec. vs Section. · 5519abf1
  Guillaume Melquiond authored 6 years ago
  
  5519abf1
- Partly revert c69c2624 , as it was a spurious error. · c15adff5
  Guillaume Melquiond authored 6 years ago
  
  c15adff5
Jun 24, 2018
- update CHANGES + some cosmetics · 5130cf43
  Andrei Paskevich authored 6 years ago
  
  5130cf43
- Fix invalid html. · c69c2624
  Guillaume Melquiond authored 6 years ago
  
  c69c2624
- Avoid warning messages when generating the gallery. · 6f496754
  Guillaume Melquiond authored 6 years ago
  
  6f496754
- Add examples/prover to the bench. · 0d8cc01c
  Guillaume Melquiond authored 6 years ago
  
  0d8cc01c
- Add an "ignore_missing_diverges" debug flag, and use it to check trywhy3's examples. · ec888b85
  Guillaume Melquiond authored 6 years ago
  
  ec888b85
- Do not skip directories in case of typo. · 65cba90e
  Guillaume Melquiond authored 6 years ago
  
  65cba90e
- Fix spurious space at end of verbatim block. · b34f9182
  Guillaume Melquiond authored 6 years ago
  
  b34f9182
- Update documentation image after the "use import" change. · fd1b7c96
  Guillaume Melquiond authored 6 years ago
  
  fd1b7c96
Jun 23, 2018
- Fix broken html. · 8d56fb95
  Guillaume Melquiond authored 6 years ago
  
  8d56fb95
- Fix unbalanced tag on end of file. · c27599ba
  Guillaume Melquiond authored 6 years ago
  
  c27599ba
- Remove some old-syntax attributes from examples. · 7bd6ab03
  Guillaume Melquiond authored 6 years ago
  
  7bd6ab03
- Fix documentation links broken by the "use import" change. · 89f20f29
  Guillaume Melquiond authored 6 years ago
  
  89f20f29
- Fix broken links. · 74c29c96
  Guillaume Melquiond authored 6 years ago
  
  74c29c96
- Mention opam changes. · 9d26e427
  Guillaume Melquiond authored 6 years ago
  
  9d26e427
Jun 22, 2018
- Open a box and use infinite width when displaying warnings. · eadd9bcd
  Guillaume Melquiond authored 6 years ago
  eadd9bcd
- Update changes and release process. · d2e02d2b
  Guillaume Melquiond authored 6 years ago
  
  d2e02d2b
- Remove "use import" from trywhy3's examples and fix a few other typos. · f3867263
  Guillaume Melquiond authored 6 years ago
  
  f3867263
- Rename functions to match their GMP equivalents · eab446ca
  Raphaël Rieu-Helft authored 6 years ago
  
  eab446ca
- doc: updated examples for why3session command · 9585835c
  Claude Marché authored 6 years ago
  
  9585835c
- doc: partly supported info · ab97a29f
  Claude Marché authored 6 years ago
  
  ab97a29f
- Synchronize authors. · 7ce94d62
  Guillaume Melquiond authored 6 years ago
  
  7ce94d62
- minor changes in changes and manual before the release · 1eedd141
  Claude Marché authored 6 years ago
  
  1eedd141
- Remove large comments in multiprecision · cc8215e3
  Raphaël Rieu-Helft authored 6 years ago
  
  cc8215e3
- Avoid a deprecation warning · f04adefa
  Raphaël Rieu-Helft authored 6 years ago
  
  f04adefa
- Add multiprecision to gallery · 96aa53b8
  Raphaël Rieu-Helft authored 6 years ago
  
  96aa53b8
- multiprecision gitattributes · f705c67a
  Raphaël Rieu-Helft authored 6 years ago
  
  f705c67a
- Merge branch 'extract-headers' into 'master' · 44629438
  Raphaël Rieu-Helft authored 6 years ago
  44629438
- Clean up archive · eda39680
  Raphaël Rieu-Helft authored 6 years ago
  
  eda39680
- Fix error message · 995bd9e5
  Raphaël Rieu-Helft authored 6 years ago
  
  995bd9e5
- Add forgotten file and performance benchmarks · 62e6b440
  Raphaël Rieu-Helft authored 6 years ago
  
  62e6b440
- Fix Makefile · 62b0b504
  Raphaël Rieu-Helft authored 6 years ago
  
  62b0b504