- 12 Nov, 2020 6 commits
-
-
Loïc Correnson authoredWarn on unsupported from proof See merge request frama-c/frama-c!2939
-
David Bühler authored
[Eva] fix duplicate words See merge request frama-c/frama-c!2942
-
Allan Blanchard authoredMerge remote-tracking branch 'origin/stable/titanium' into feature/blanchard/wp/warn-unsupported-from
-
Allan Blanchard authored
-
Virgile Prevosto authored
Fixes assigns merging See merge request frama-c/frama-c!2936
-
Allan Blanchard authored
-
- 10 Nov, 2020 1 commit
-
-
Andre Maroneze authored
-
- 06 Nov, 2020 4 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 05 Nov, 2020 10 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
Adds missing documentation for some tactics + minor fixes See merge request frama-c/frama-c!2935
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 04 Nov, 2020 1 commit
-
-
Allan Blanchard authored
-
- 03 Nov, 2020 1 commit
-
-
Allan Blanchard authored
Improves WP `@calls` doc See merge request frama-c/frama-c!2925
-
- 02 Nov, 2020 8 commits
-
-
Allan Blanchard authored
-
Loïc Correnson authored
Fixes Wp-Coq version constraints See merge request frama-c/frama-c!2924
-
Loïc Correnson authored
Fix Why3 prover detection See merge request frama-c/frama-c!2926
-
Allan Blanchard authored
[Dev] update opam dependencies; fix Python for tests See merge request frama-c/frama-c!2912
-
Allan Blanchard authored
-
Allan Blanchard authored
Fix/andre/test math oracles macos See merge request frama-c/frama-c!2919
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 30 Oct, 2020 2 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 29 Oct, 2020 5 commits
-
-
Allan Blanchard authored
[logic] ensure gcc-10 will not play with utf8 chars when preprocessing See merge request frama-c/frama-c!2913
-
Allan Blanchard authored
[Tests] avoid oracle diffs with non-default TMPDIRs (namely macOS) See merge request frama-c/frama-c!2918
-
Allan Blanchard authored
[Aorai] avoid macOS issues with test oracles and Filename.get_temp_dir_name See merge request frama-c/frama-c!2917
-
Allan Blanchard authored
Fix/andre/fc script path2 See merge request frama-c/frama-c!2921
-
Andre Maroneze authored
-
- 28 Oct, 2020 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
