- Sep 21, 2022
-
-
Patrick Baudin authored
-
- Sep 13, 2022
-
-
Virgile Prevosto authored
normalize Makefile See merge request frama-c/meta!72
-
- Sep 08, 2022
-
-
Andre Maroneze authored
-
- Aug 25, 2022
-
-
Patrick Baudin authored
[tests] access to the local cache wp Closes #9 See merge request frama-c/meta!71
-
- Jul 29, 2022
-
-
Patrick Baudin authored
-
Allan Blanchard authored[wp] updated oracles See merge request frama-c/meta!70
-
- Jul 20, 2022
-
-
Loïc Correnson authored
-
- Jul 11, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
Use Dune for building MetAcsl See merge request frama-c/meta!59
-
- Jul 08, 2022
-
-
Allan Blanchard authored
Extend plugins CI capabilities See merge request frama-c/meta!69
-
Allan Blanchard authored
-
-
Virgile Prevosto authored
as mentioned by kit-ty-kate on github, if we are to launch autoonf, we should depend on conf-autoconf
-
Virgile Prevosto authored
- Refer to the existing opam package - Indicates optional dependencies for deduction
-
- Jul 07, 2022
-
-
Allan Blanchard authored
-
- Jul 05, 2022
-
-
Virgile Prevosto authored
-
-
- Jul 01, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Jun 21, 2022
-
-
Virgile Prevosto authored
Fix: Lint + Syntax + Headers See merge request frama-c/meta!68
-
Allan Blanchard authored
-
- Jun 20, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Jun 09, 2022
-
-
Allan Blanchard authored
Merging master in Dune branch See merge request frama-c/meta!67
-
Allan Blanchard authored
-
- Jun 07, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
Update Frama-CI data See merge request frama-c/meta!66
-
- Jun 03, 2022
-
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- May 25, 2022
-
-
Allan Blanchard authored
Nix template for external plugins See merge request frama-c/meta!65
-
Allan Blanchard authored
-
- May 24, 2022
-
-
Nathan Koskas de Diego authored[Qed] update tests See merge request frama-c/meta!64
-
