- 03 Dec, 2013 8 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 02 Dec, 2013 6 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 29 Nov, 2013 2 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 28 Nov, 2013 2 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 27 Nov, 2013 5 commits
-
-
Stefan Berghofer authored
-
Stefan Berghofer authored
-
Stefan Berghofer authored
-
Stefan Berghofer authored
-
Stefan Berghofer authored
-
- 25 Nov, 2013 1 commit
-
-
Jean-Christophe Filliâtre authored
-
- 22 Nov, 2013 2 commits
-
-
Stefan Berghofer authored
-
Jean-Christophe Filliâtre authored
-
- 18 Nov, 2013 1 commit
-
-
MARCHE Claude authored
-
- 16 Nov, 2013 2 commits
-
-
MARCHE Claude authored
-
MARCHE Claude authored
-
- 15 Nov, 2013 4 commits
-
-
Stefan Berghofer authored
-
Stefan Berghofer authored
-
Stefan Berghofer authored
The type of syntax_arguments_typed is unnecessarily specific, so that it is not applicable to patterns.
-
Jean-Christophe Filliâtre authored
-
- 12 Nov, 2013 3 commits
-
-
Guillaume Melquiond authored
-
François Bobot authored
fix: recompute_all_shapes forgot to iter on metas
-
Andrei Paskevich authored
thanks to Johannes Kanig
-
- 11 Nov, 2013 1 commit
-
-
Guillaume Melquiond authored
-
- 09 Nov, 2013 3 commits
-
-
Andrei Paskevich authored
-
Andrei Paskevich authored
Certain modifications in Why3 change tasks but not the propositional structure of the goal. In this case, it is sometimes easier to use "optimistic pairing": as long as the number of subgoals is the same as in the old session, match them in the existing order, without comparing shapes. This should be used only for repairing sessions after changes in Why3.
-
Andrei Paskevich authored
-