- 15 May, 2014 2 commits
-
-
Guillaume Melquiond authored
The 1-argument version of AC_INIT is obsolete since 2003. Moreover, it prevents ./configure --version from giving a meaningful output.
-
Guillaume Melquiond authored
-
- 13 May, 2014 1 commit
-
-
- 24 Mar, 2014 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 14 Mar, 2014 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 13 Mar, 2014 1 commit
-
-
Guillaume Melquiond authored
-
- 04 Mar, 2014 1 commit
-
-
MARCHE Claude authored
-
- 17 Feb, 2014 3 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
Guillaume Melquiond authored
-
- 16 Feb, 2014 1 commit
-
-
MARCHE Claude authored
-
- 15 Feb, 2014 2 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 08 Dec, 2013 1 commit
-
-
MARCHE Claude authored
-
- 03 Dec, 2013 1 commit
-
-
MARCHE Claude authored
-
- 15 Nov, 2013 1 commit
-
-
Stefan Berghofer authored
-
- 22 Oct, 2013 1 commit
-
-
MARCHE Claude authored
Signed-off-by:
Claude Marche <Claude.Marche@inria.fr>
-
- 10 Oct, 2013 1 commit
-
-
MARCHE Claude authored
-
- 04 Oct, 2013 1 commit
-
-
MARCHE Claude authored
-
- 23 Sep, 2013 1 commit
-
-
Guillaume Melquiond authored
As a side effect, provers-detection-data.conf no longer needs to be preprocessed.
-
- 10 Sep, 2013 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 23 Aug, 2013 1 commit
-
-
Guillaume Melquiond authored
-
- 20 Aug, 2013 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 06 Jun, 2013 1 commit
-
-
MARCHE Claude authored
-
- 02 May, 2013 1 commit
-
-
Guillaume Melquiond authored
-
- 30 Apr, 2013 1 commit
-
-
François Bobot authored
-
- 25 Apr, 2013 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 24 Apr, 2013 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 21 Mar, 2013 1 commit
-
-
MARCHE Claude authored
-
- 06 Mar, 2013 1 commit
-
-
Andrei Paskevich authored
-
- 04 Feb, 2013 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 30 Jan, 2013 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 30 Oct, 2012 1 commit
-
-
Andrei Paskevich authored
+ remove --enable-debug from ./configure
-
- 22 Oct, 2012 1 commit
-
-
MARCHE Claude authored
-
- 20 Oct, 2012 1 commit
-
-
Andrei Paskevich authored
+ create AUTHORS file + fix the linking exception in LICENSE + update the "About" in IDE + remove the trailing whitespace + inflate my scores at Ohloh
-
- 19 Oct, 2012 1 commit
-
-
Andrei Paskevich authored
-
- 17 Oct, 2012 1 commit
-
-
Andrei Paskevich authored
+ do not build src/programs/ + build the library in lib/why3/ + fix use_api.ml for the case when Alt-Ergo is not present + distribute lib/coq/BuiltIn.v + rename src/config to src/why3config + rename src/bench to src/why3bench + move src/config.ml to src/util/
-
