- Apr 07, 2022
-
-
Patrick Baudin authored
-
- Mar 31, 2022
-
-
Patrick Baudin authored
-
- Mar 30, 2022
-
-
Patrick Baudin authored
-
- Mar 17, 2022
-
-
Allan Blanchard authored[ci] Fix OCaml version to 4.12 for Dune See merge request frama-c/meta!60
-
- Mar 16, 2022
-
-
Allan Blanchard authored
-
- Mar 14, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
-
- Feb 24, 2022
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Jan 19, 2022
-
-
Andre Maroneze authored
Follows removed AST nodes in kernel See merge request frama-c/meta!57
-
- Jan 17, 2022
-
-
Allan Blanchard authored
[typing] Improve error message See merge request frama-c/meta!56
-
-
- Jan 13, 2022
-
-
Virgile Prevosto authored
-
Allan Blanchard authored
-
- Jan 06, 2022
-
-
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
-
- Jan 04, 2022
-
-
-
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
-
Virgile Prevosto authored
-
- Jan 03, 2022
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Compile MetAcsl with OCaml 4.13 See merge request frama-c/meta!53
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
remove Meta_options.StringSet in favor of Meta_utils.StrSet
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
