- 05 Apr, 2012 1 commit
-
-
Jean-Christophe Filliâtre authored
test-api no longer depends on why3.cma
-
- 04 Apr, 2012 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 31 Mar, 2012 2 commits
-
-
Andrei Paskevich authored
-
MARCHE Claude authored
-
- 30 Mar, 2012 1 commit
-
-
MARCHE Claude authored
-
- 26 Mar, 2012 1 commit
-
-
MARCHE Claude authored
-
- 21 Mar, 2012 1 commit
-
-
MARCHE Claude authored
-
- 18 Mar, 2012 1 commit
-
-
Andrei Paskevich authored
-
- 17 Mar, 2012 2 commits
-
-
Andrei Paskevich authored
-
MARCHE Claude authored
-
- 16 Mar, 2012 3 commits
-
-
MARCHE Claude authored
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
- 15 Mar, 2012 2 commits
-
-
Andrei Paskevich authored
also, produce less noise on plugin detection also, use -linkall to compile our binaries
-
Andrei Paskevich authored
-
- 10 Mar, 2012 1 commit
-
-
Andrei Paskevich authored
-
- 08 Mar, 2012 1 commit
-
-
Andrei Paskevich authored
As they say, "A penny saved is ridiculous."
-
- 29 Feb, 2012 2 commits
-
-
Andrei Paskevich authored
-
François Bobot authored
-
- 25 Feb, 2012 4 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 24 Feb, 2012 3 commits
-
-
Guillaume Melquiond authored
Note: Currently, only the set of real theories has been fully converted to the new script format. So it is the only one enabled. The other ones would not survive the process.
-
Guillaume Melquiond authored
Make its building rule a bit quieter.
-
Guillaume Melquiond authored
-
- 21 Feb, 2012 2 commits
-
-
Jean-Christophe Filliâtre authored
-
Jean-Christophe Filliâtre authored
-
- 20 Feb, 2012 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 19 Feb, 2012 1 commit
-
-
Andrei Paskevich authored
-
- 15 Feb, 2012 1 commit
-
-
Guillaume Melquiond authored
That should fix the build failure of the nightly bench.
-
- 14 Feb, 2012 1 commit
-
-
Andrei Paskevich authored
-
- 13 Feb, 2012 3 commits
-
-
Andrei Paskevich authored
Also, do not build the bytecode of the why3 library when compiling in native code.
-
Andrei Paskevich authored
-
Jean-Christophe Filliâtre authored
-
- 10 Feb, 2012 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 09 Feb, 2012 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 08 Feb, 2012 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 01 Feb, 2012 1 commit
-
-
François Bobot authored
-
- 31 Jan, 2012 1 commit
-
-
François Bobot authored
It's goal is to allow to view and modify sessions. Currently three sub-commands : info : can give the provers used, pretty-print in ascii a session, can give the corresponding directory mod : allow to set obsolete, or modify the archive state of proof attempt which corresponds to selected provers copy : copy a proof attempt by modifing its prover
-