Commits · dceef58cb3d2ff0b41d27f44093adc54feaa1dbe · pub / frama-c · GitLab

Snippets Groups Projects

Jun 09, 2022
- removes unused files · dceef58c
  Patrick Baudin authored 2 years ago
  
  dceef58c
- Moves linting targets to a new sharable Makefile · 459a63bd
  Patrick Baudin authored 2 years ago
  
  459a63bd
- [Makefile] updates about testing · b65bf2e2
  Patrick Baudin authored 2 years ago
  
  b65bf2e2
- [Makefile] header management · ec719103
  Patrick Baudin authored 2 years ago
  
  ec719103
- Adds wtests.ml wrapper to ALL_ML_FILES to lint · 49f49111
  Patrick Baudin authored 2 years ago
  
  49f49111
- linting wtests.ml wrapper · 38fa604b
  Patrick Baudin authored 2 years ago
  
  38fa604b
- [Makefile] split the current Makefile · a9141480
  Patrick Baudin authored 2 years ago
  
  a9141480
- [Makefile] removes older makefiles · 7c65b7a6
  Patrick Baudin authored 2 years ago
  
  7c65b7a6
- Merge branch 'feature/bobot/jbuilder-merging-master' into 'feature/bobot/jbuilder' · 0b953924
  Allan Blanchard authored 2 years ago
  
  Merging master in Dune branch See merge request frama-c/frama-c!3779
  0b953924
- Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder · 3dcdbf27
  Allan Blanchard authored 2 years ago
  
  3dcdbf27
Jun 08, 2022
- Merge branch 'feature/header-spec-in-git-attributes' into 'master' · 00ab300d
  Patrick Baudin authored 2 years ago
  
  header spec in git attributes See merge request frama-c/frama-c!3762
  00ab300d
- Fix CI DEFAULT branch after bad merge/revert in stable · 506e66c5
  François Bobot authored 2 years ago
  
  506e66c5
- Merge branch 'stable/manganese' · 591e456f
  François Bobot authored 2 years ago
  
  591e456f
Jun 07, 2022
- adds binary attribute to ps and eps files · eb185a68
  Patrick Baudin authored 2 years ago
  
  eb185a68
- removes scripts related to an older header management · 6baa1591
  Patrick Baudin authored 2 years ago
  
  6baa1591
- restore binary attributes for pdf files · 6355d24e
  Patrick Baudin authored 2 years ago
  
  6355d24e
- [e-acsl] fix the fix :/ · b30a15a0
  Julien Signoles authored 2 years ago and Patrick Baudin committed 2 years ago
  
  b30a15a0
- [e-acsl] fix .gitattributes · c80dd59d
  Julien Signoles authored 2 years ago and Patrick Baudin committed 2 years ago
  
  c80dd59d
- fixes headers of doc/*/**/Make* files · 21df8200
  Patrick Baudin authored 2 years ago
  
  21df8200
- adds a specific .gittributes for ivette · 641a7f73
  Patrick Baudin authored 2 years ago
  
  641a7f73
- [headers] fixes header spec · a3b287b7
  Patrick Baudin authored 2 years ago
  
  a3b287b7
- add .sh to devel_tools/frama-c-callgrind · 32d09b0f
  Patrick Baudin authored 2 years ago
  
  32d09b0f
- [headers] .gitattributes as header spec · 4cc31f17
  Patrick Baudin authored 2 years ago
  
  4cc31f17
- fixes /devel_tools/git-hooks/pre-commit header · cb05bc65
  Patrick Baudin authored 2 years ago
  
  cb05bc65
- [headers] .gitattributes as header spec · d2e7003a
  Patrick Baudin authored 2 years ago
  
  d2e7003a
- removed files · bb7f7135
  Patrick Baudin authored 2 years ago
  
  bb7f7135
- [headers] fixes some headers · e5a5daa7
  Patrick Baudin authored 2 years ago
  
  e5a5daa7
- adds .sh to src/plugins/value/vtests · 960082ea
  Patrick Baudin authored 2 years ago
  
  960082ea
- [Headers] adds others spec formats + parsing from stdin" · 2ff24bd5
  Patrick Baudin authored 2 years ago
  
  2ff24bd5
- Merge branch 'fix/andre/analysis-scripts-build' into 'master' · 091bc948
  Andre Maroneze authored 2 years ago
  
  [analysis-scripts] add mention about tool unavailability See merge request frama-c/frama-c!3774
  091bc948
- Update nix/frama-ci.* · 1783fe3c
  Allan Blanchard authored 2 years ago
  
  1783fe3c
- Merge branch 'feature/nix/add_ci_to_linea-cabs' into 'master' · 032236a4
  Allan Blanchard authored 2 years ago
  
  Update Frama-CI data See merge request frama-c/frama-c!3773
  032236a4
- [ci] add linea-cabs · 6ad559c6
  Allan Blanchard authored 2 years ago
  
  6ad559c6
- Update nix/frama-ci.* · 2e382e73
  Allan Blanchard authored 2 years ago
  
  2e382e73
- Update nix/frama-ci.* · bfde0faf
  Allan Blanchard authored 2 years ago
  
  bfde0faf
- [analysis-scripts] add mention about tool unavailability · a942bf26
  Andre Maroneze authored 2 years ago
  
  a942bf26
- [Slicing] fix API file mode · 8cfe8366
  Allan Blanchard authored 2 years ago
  
  8cfe8366
- Merge branch 'feature/dune/mode-guis' into 'feature/bobot/jbuilder' · 22540a0b
  Allan Blanchard authored 2 years ago
  
  GUI organization and compilation See merge request frama-c/frama-c!3764
  22540a0b
- Update Changelog (fix version) · 0993eb76
  Allan Blanchard authored 2 years ago
  
  0993eb76
Jun 06, 2022
- update changelog · 377c0d75
  Julien Signoles authored 2 years ago
  
  377c0d75