Commits · 4cf5e35bfadb2f9fb73369fc5f0c93b131bb157c · pub / frama-c · GitLab

Snippets Groups Projects

Mar 17, 2022
- [Headers] adds dune config · 4cf5e35b
  Patrick Baudin authored 3 years ago
  
  4cf5e35b
Mar 16, 2022
- [Tests] adds tests/value · c4fba23f
  Patrick Baudin authored 3 years ago
  
  c4fba23f
Mar 15, 2022
- Merge branch 'feature/ci/manuals' into 'feature/bobot/jbuilder' · 1e806051
  Allan Blanchard authored 3 years ago
  
  Allow building manuals in CI See merge request frama-c/frama-c!3646
  1e806051
Mar 14, 2022
- [ci] enable metacsl · 3856ce30
  Allan Blanchard authored 3 years ago
  
  3856ce30
- [ci] fix artifacts path · 4e21a24c
  Allan Blanchard authored 3 years ago
  
  4e21a24c
- [ci] build manuals target · 8443bb16
  Allan Blanchard authored 3 years ago
  
  8443bb16
- [doc] allow building manuals without suffix · 352d26ea
  Allan Blanchard authored 3 years ago
  
  - still checks versions - fix a minor typo
  352d26ea
- [doc] aorai ignore transf built files · e7c3c461
  Allan Blanchard authored 3 years ago
  
  e7c3c461
- [doc] allow sequential build of manuals · f36b30bc
  Allan Blanchard authored 3 years ago
  
  f36b30bc
- [doc] (really) check ACSL manuals versions · 714cb4e1
  Allan Blanchard authored 3 years ago
  
  714cb4e1
- [ci] add headache to nix · 2fbef336
  Allan Blanchard authored 3 years ago
  
  2fbef336
- [nix] Alt-Ergo free : use ocamlpro url · 5d50661b
  Allan Blanchard authored 3 years ago
  
  5d50661b
Mar 11, 2022
- [nix] fix alt-ergo version ref · 080c5040
  Allan Blanchard authored 3 years ago
  
  080c5040
- Merge branch 'feature/aorai/enable-dune-tests' into 'feature/bobot/jbuilder' · 2e9daffb
  Allan Blanchard authored 3 years ago
  
  [aorai] Enable dune tests See merge request frama-c/frama-c!3641
  2e9daffb
- [ci] enable secure-flow · 1f9f1f24
  Allan Blanchard authored 3 years ago
  
  1f9f1f24
- [ci] enable cfp · 12f2e3b8
  Allan Blanchard authored 3 years ago
  
  12f2e3b8
- [aorai] enable dune tests · 099540ec
  Allan Blanchard authored 3 years ago
  
  099540ec
- [eva] fix Eva.mli lint · feaaebe8
  Allan Blanchard authored 3 years ago
  
  feaaebe8
- [eva] restores API · 99fb4456
  Allan Blanchard authored 3 years ago
  
  99fb4456
- [share] fix missing libc file · 5f8c4ff1
  Allan Blanchard authored 3 years ago
  
  5f8c4ff1
- Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder · e88d1ef4
  Allan Blanchard authored 3 years ago
  
  e88d1ef4
- Merge branch 'fix/andre/reenable-landmarks' into 'master' · f4a93ed7
  Allan Blanchard authored 3 years ago
  
  [Kernel] use module name in visitor constructors to avoid issues with landmarks See merge request frama-c/frama-c!3645
  f4a93ed7
- Merge branch 'fix/doc/warning-50' into 'master' · fb50cd40
  Allan Blanchard authored 3 years ago
  
  Fix warning 50 (for Dune + odoc) See merge request frama-c/frama-c!3634
  fb50cd40
- [WP] fixes a directive command in a test: tests/wp_plugin/combined.c · 1448f70e
  Patrick Baudin authored 3 years ago
  
  1448f70e
- [git] add linting commit to be ignored · 690b469d
  Allan Blanchard authored 3 years ago
  
  690b469d
- [Slicing] extracts comments of the Slicing API from an older db.ml · c28d06b8
  Patrick Baudin authored 3 years ago and Allan Blanchard committed 3 years ago
  
  c28d06b8
- Fix warning 50 · 4130bab7
  Allan Blanchard authored 3 years ago
  
  4130bab7
Mar 10, 2022
- Merge branch 'fix/eva/results-by-callstack' into 'master' · e6580171
  Valentin Perrelle authored 3 years ago
  
  [Eva] Fixes a performance issue in the Results API. See merge request frama-c/frama-c!3643
  e6580171
- Merge branch 'fix/aorai/tests-deps' into 'master' · e24ba634
  Virgile Prevosto authored 3 years ago
  
  [aorai] fix tests deps See merge request frama-c/frama-c!3640
  e24ba634
- [Makefile] adds missing depency to config.sed · ff69bd5b
  Patrick Baudin authored 3 years ago
  
  ff69bd5b
- Merge branch 'feature/eva/mthread' into 'master' · b5628ece
  Maxime Jacquemin authored 3 years ago
  
  [Eva] Eva_results: fixes [set_results] and restores an Mthread feature. See merge request frama-c/frama-c!3616
  b5628ece
- Merge branch 'feature/andre/libc-getpw-c-stubs' into 'master' · 95f25d96
  Maxime Jacquemin authored 3 years ago
  
  Feature/andre/libc getpw c stubs See merge request frama-c/frama-c!3449
  95f25d96
- [Eva] Eva_results: fixes [set_results] and restores an Mthread feature. · e50b2301
  David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  In Mthread, fixes the merge of all threads analyzes in the current project.
  e50b2301
- [Libc] add test and update test oracles · 322bb488
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  322bb488
- [Libc] add C stubs for getpwnam_r and getpwuid_r · c79a8b94
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  c79a8b94
- [Libc] add (imprecise) specs for getpwnam_r and getpwuid_r · 9bcb9481
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  9bcb9481
- [Libc] fix missing initializer; rename variables · ee3c4417
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  ee3c4417
- [Libc] add more interval function C stubs; add test · cbc9dd3a
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  cbc9dd3a
- [ci] add default branch · 552a5b8b
  Allan Blanchard authored 3 years ago
  
  552a5b8b
- [Kernel] use module name in visitor constructors to avoid issues with landmarks · 7b52d031
  Andre Maroneze authored 3 years ago
  
  7b52d031