- 21 Jun, 2022 1 commit
-
-
Virgile Prevosto authored
Fix: Lint + Syntax + Headers See merge request frama-c/meta!68
-
- 20 Jun, 2022 5 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 07 Jun, 2022 2 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
Update Frama-CI data See merge request frama-c/meta!66
-
- 03 Jun, 2022 2 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 24 May, 2022 1 commit
-
-
Nathan Koskas de Diego authored
[Qed] update tests See merge request frama-c/meta!64
-
- 11 May, 2022 1 commit
-
-
Allan Blanchard authored
Follows frama-c/frama-c!3700 See merge request frama-c/meta!61
-
- 09 May, 2022 3 commits
-
-
Nathan Koskas de Diego authored
-
François Bobot authored
-
François Bobot authored
-
- 03 May, 2022 2 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
Update Frama-CI data See merge request frama-c/meta!62
-
- 02 May, 2022 1 commit
-
-
Virgile Prevosto authored
-
- 15 Apr, 2022 2 commits
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- 04 Mar, 2022 2 commits
-
-
Virgile Prevosto authored
synchronize with !3631 See merge request frama-c/meta!58
-
Andre Maroneze authored
-
- 19 Jan, 2022 1 commit
-
-
Andre Maroneze authored
Follows removed AST nodes in kernel See merge request frama-c/meta!57
-
- 17 Jan, 2022 2 commits
-
-
Allan Blanchard authored
[typing] Improve error message See merge request frama-c/meta!56
-
-
- 13 Jan, 2022 2 commits
-
-
Virgile Prevosto authored
-
Allan Blanchard authored
-
- 06 Jan, 2022 4 commits
-
-
Patrick Baudin authored
[Tests] test command are executed from result directories See merge request frama-c/meta!52
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Virgile Prevosto authored
-
- 04 Jan, 2022 9 commits
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Warning instead of abort for unknown functions in target set See merge request frama-c/meta!54
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
warning has a category unknown-func, whose status is abort by default.
-
Virgile Prevosto authored
-
Virgile Prevosto authored
add \func metavar to denote current function See merge request frama-c/meta!55
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-