- 24 Dec, 2017 1 commit
-
-
Guillaume Melquiond authored
-
- 22 Dec, 2017 2 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 23 Nov, 2017 1 commit
-
-
Guillaume Melquiond authored
-
- 22 Nov, 2017 1 commit
-
-
Guillaume Melquiond authored
That way, unrecognized versions of Alt-Ergo (e.g. 2.0) are no longer associated to obsolete versions, by default.
-
- 27 Sep, 2017 1 commit
-
-
MARCHE Claude authored
-
- 08 Sep, 2017 1 commit
-
-
Stefan Berghofer authored
-
- 24 Aug, 2017 1 commit
-
-
MARCHE Claude authored
-
- 22 Aug, 2017 1 commit
-
-
Guillaume Melquiond authored
-
- 13 Jul, 2017 1 commit
-
-
MARCHE Claude authored
-
- 10 Jul, 2017 1 commit
-
-
MARCHE Claude authored
-
- 29 Jun, 2017 1 commit
-
-
Andrei Paskevich authored
-
- 18 Jun, 2017 1 commit
-
-
MARCHE Claude authored
-
- 24 May, 2017 1 commit
-
-
MARCHE Claude authored
If drivers in why3.conf are simple names like "alt_ergo", then the driver file is search as <datadir>/drivers/alt_ergo.drv This behavior is now the same as when a driver is given with option -D on the command line for why3prove, why3replay or why3extract Reminder: the datadir is either given as 1) the environment variable WHY3DATA 2) the field "datadir" of the [main] section of the why3 config file if exists 3) or by default the compile-time datadir
-
- 15 May, 2017 1 commit
-
-
Guillaume Melquiond authored
-
- 05 Apr, 2017 1 commit
-
-
MARCHE Claude authored
-
- 10 Jan, 2017 1 commit
-
-
Guillaume Melquiond authored
-
- 03 Jan, 2017 4 commits
-
-
MARCHE Claude authored
-
Stefan Berghofer authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 23 Nov, 2016 1 commit
-
-
MARCHE Claude authored
-
- 18 Oct, 2016 1 commit
-
-
Andrei Paskevich authored
To install the Why3-related Vim files, just create a symbolic link: ln -s "$(why3 --print-datadir)/vim" ~/.vim/bundle/why3 Thanks to Johanness Kanig for the suggestion.
-
- 15 Sep, 2016 1 commit
-
-
MARCHE Claude authored
-
- 21 Jul, 2016 1 commit
-
-
Guillaume Melquiond authored
-
- 10 Jun, 2016 1 commit
-
-
Piotr Trojanek authored
Use an optional 'words argument to regexp-opt instead of explicitly surrounding the result with special chars.
-
- 26 May, 2016 1 commit
-
-
Jean-Christophe Filliatre authored
-
- 24 May, 2016 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 19 May, 2016 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 13 May, 2016 2 commits
-
-
Martin Clochard authored
-
Martin Clochard authored
-
- 25 Mar, 2016 4 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 24 Mar, 2016 2 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 18 Mar, 2016 1 commit
-
-
Guillaume Melquiond authored
-