Commits · bbedd4bbba623a69ad7c036db921716e2e6c49a0 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 17, 2022
- ignore any frama-c*.tar.gz · bbedd4bb
  Allan Blanchard authored 2 years ago
  
  bbedd4bb
- [ci] build tarball with nix-shell instead of build · 981945c9
  Allan Blanchard authored 2 years ago
  
  981945c9
- [ci] build distrib in release mode · fbb5b4fe
  Allan Blanchard authored 2 years ago
  
  fbb5b4fe
- [dune] add release mode in Makefile · dda5c03e
  Allan Blanchard authored 2 years ago
  
  dda5c03e
- [ci] add src-distrib-tests · 166c3105
  Allan Blanchard authored 2 years ago
  
  166c3105
- [distrib] build src-distrib · f4237b77
  Allan Blanchard authored 2 years ago
  
  f4237b77
- Merge branch 'feature/dune/lint-e-acsl' into 'feature/bobot/jbuilder' · 8faf1cb5
  Allan Blanchard authored 2 years ago
  
  Check clang-format See merge request frama-c/frama-c!3800
  8faf1cb5
Jun 16, 2022
- [e-acsl] also check syntax for C files · 0c29a4a8
  Allan Blanchard authored 2 years ago
  
  0c29a4a8
- [e-acsl] fix syntax on some C files · 3a22f8d0
  Allan Blanchard authored 2 years ago
  
  3a22f8d0
- [ci] add clang 10 to Frama-C checkers · 78e70a84
  Allan Blanchard authored 2 years ago
  
  78e70a84
- [Lint] Adds clang-format checker for E-ACSL · 5343b289
  Allan Blanchard authored 2 years ago
  
  5343b289
- Merge branch 'feature/dune/lint-with-utf8-checking' into 'feature/bobot/jbuilder' · 1e86202d
  Patrick Baudin authored 2 years ago
  
  [Lint] adds check-utf8 See merge request frama-c/frama-c!3801
  1e86202d
- [Lint] fixes Check EOL EOF: src/plugins/server/tests/batch/wrong.json · f8cacca0
  Patrick Baudin authored 2 years ago
  
  f8cacca0
- Merge branch 'feature/dune/interruptible-ci-jobs' into 'feature/bobot/jbuilder' · c58b15d3
  Allan Blanchard authored 2 years ago
  
  [ci] Makes most jobs interruptible See merge request frama-c/frama-c!3804
  c58b15d3
- [lint] minor · bc38aac9
  Patrick Baudin authored 2 years ago
  
  bc38aac9
- [ci] makes most jobs interruptible · 3436c7f1
  Allan Blanchard authored 2 years ago
  
  3436c7f1
- [Lint] using generic rules as much as possible · 8417372e
  Patrick Baudin authored 2 years ago
  
  8417372e
- Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder · 2a89d496
  Allan Blanchard authored 2 years ago
  
  2a89d496
- [Lint] adds some clean-check-XXX targets · db7513a5
  Patrick Baudin authored 2 years ago
  
  db7513a5
- [lint] fixing UTF8 encoding for some files · 33fdbf7e
  Patrick Baudin authored 2 years ago
  
  33fdbf7e
- [Lint] improves targets fix-XXX · e9833543
  Patrick Baudin authored 2 years ago
  
  e9833543
- [Lint] changes UTF8 check · 8b27415a
  Allan Blanchard authored 2 years ago
  
  8b27415a
- Merge branch 'fix/ghost/result_type' into 'master' · 1d7b6e92
  Virgile Prevosto authored 2 years ago
  
  [kernel] fix \result type for ghost functions See merge request frama-c/frama-c!3778
  1d7b6e92
- Merge remote-tracking branch 'origin/stable/manganese' · ccca90c3
  Virgile Prevosto authored 2 years ago
  
  ccca90c3
- [Lint] activate ckeck-utf8 · 75fa0457
  Patrick Baudin authored 2 years ago
  
  75fa0457
- [tests] add variation on \ghost result type and assigns test · eea8022a
  Virgile Prevosto authored 2 years ago
  
  eea8022a
- [kernel] minor refactoring (Kernel_function.get_vi instead of pattern-match) · baaea844
  Virgile Prevosto authored 2 years ago
  
  baaea844
- [kernel] fix typing of \result for ghost functions · 6b174499
  Allan Blanchard authored 2 years ago and Virgile Prevosto committed 2 years ago
  
  6b174499
- [Lint] allows to restrict the search with 'make LINT_DIR=<dir> lint' · 505255df
  Patrick Baudin authored 2 years ago
  
  505255df
Jun 15, 2022
- [Lint] no more needs of 'bin/isutf8.ml' · a47d0eb5
  Patrick Baudin authored 2 years ago
  
  a47d0eb5
- [Lint] fixes UTF8 encoding for 'scope' plug-in · ab91b9dc
  Patrick Baudin authored 2 years ago
  
  ab91b9dc
- [Lint] fixes some files · 6e9fd160
  Patrick Baudin authored 2 years ago
  
  6e9fd160
- [Lint] adds 'make check-utf8' · 196442f9
  Patrick Baudin authored 2 years ago
  
  196442f9
- Merge branch 'feature/dune/ivette' into 'feature/bobot/jbuilder' · aea43ce1
  Allan Blanchard authored 2 years ago
  
  Ivette build in Dune branch See merge request frama-c/frama-c!3775
  aea43ce1
- [Lint] using variables of Makefile.common · 82e02b6c
  Patrick Baudin authored 2 years ago
  
  82e02b6c
- Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder · cdbf19b6
  Allan Blanchard authored 2 years ago
  
  cdbf19b6
- Add missing header · d4710498
  Allan Blanchard authored 2 years ago
  
  d4710498
- [ci] check that the TS api is up to date · 7dfa0948
  Allan Blanchard authored 2 years ago
  
  7dfa0948
- [ivette] rework make and check API · bd93fc27
  Allan Blanchard authored 2 years ago
  
  bd93fc27
- [Ivette] Make API · 9e4ed8ca
  Allan Blanchard authored 2 years ago
  
  9e4ed8ca