Commits · b77235773f105e7175ce515a53a0320f8be35540 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 03, 2021
- [plugin tests] adds DEPS directive and %{dep:file} · b7723577
  Patrick Baudin authored 3 years ago
  
  b7723577
- [aorai tests] adds DEPS directive and %{dep:file} · 3fd37aff
  Patrick Baudin authored 3 years ago
  
  3fd37aff
- [wp tests] adds DEPS directive and %{dep:file} · 4e1af746
  Patrick Baudin authored 3 years ago
  
  4e1af746
- [markdown tests] adds DEPS directive and %{dep:file} · ae67f52c
  Patrick Baudin authored 3 years ago
  
  ae67f52c
- [tests] adds some more DEPS directive and %{dep:file} · 7cfd7e3f
  Patrick Baudin authored 3 years ago
  
  7cfd7e3f
- [tests] split tests/jcdb/jcdb.c in adding tests/jcdb/logic-pp-include.c · 7fce7f2a
  Patrick Baudin authored 3 years ago
  
  7fce7f2a
- [tests] using %{bin:tool} and %{dep:file} features of dune · ff6d1756
  Patrick Baudin authored 3 years ago
  
  ff6d1756
Dec 02, 2021
- [ptests] %{bin:tool} is replaced by ./bin/tool · 0ec0b078
  Patrick Baudin authored 3 years ago
  
  0ec0b078
Dec 01, 2021
- [tests] adds use of dune dependency for fowrward compatibility · 3a648312
  Patrick Baudin authored 3 years ago
  
  3a648312
- [ptests] allows and removes dune features from the test commands · e09bd822
  Patrick Baudin authored 3 years ago
  
  e09bd822
- [ptests] adds ignored DEPS directive (for forward compatibility with dune) · 0a31930f
  Patrick Baudin authored 3 years ago
  
  0a31930f
- [ptests] minor changes · c803961f
  Patrick Baudin authored 3 years ago
  
  c803961f
- [tests] using hack for tests/misc/global_decl_loc*.i · 626e7361
  Patrick Baudin authored 3 years ago
  
  626e7361
- [Dev] update README.md for Frama-C Docker images · 1c5ee00d
  Andre Maroneze authored 3 years ago
  
  1c5ee00d
- Merge branch 'bugfix/basile/eacsl-lambda-abstractions' into 'master' · b410a4db
  Basile Desloges authored 3 years ago
  
  [eacsl] Add not_yet for lambda abstractions Closes e-acsl#189 See merge request frama-c/frama-c!3462
  b410a4db
- [eacsl] Update changelog · c0a9c7c2
  Basile Desloges authored 3 years ago
  
  c0a9c7c2
- [eacsl] Add not_yet for lambda abstractions · 8eeef292
  Basile Desloges authored 3 years ago
  
  8eeef292
- Merge branch 'feature/basile/eacslgcc-completions' into 'master' · a429a057
  Basile Desloges authored 3 years ago
  
  [eacsl] Fix e-acsl-gcc.sh bash completions script See merge request frama-c/frama-c!3461
  a429a057
Nov 30, 2021
- Merge branch 'stable/chromium' · 370a4128
  Virgile Prevosto authored 3 years ago
  
  370a4128
- [eacsl] Update changelog · 6945c953
  Basile Desloges authored 3 years ago
  
  6945c953
- Version bump · c5a50737
  Virgile Prevosto authored 3 years ago
  
  24.0
  
  c5a50737
- Update Changelog · 0b09f376
  Allan Blanchard authored 3 years ago
  
  0b09f376
- Merge branch 'fix/acsl/typing-local-lambda' into 'master' · 919f495c
  Allan Blanchard authored 3 years ago
  
  Fixes lv_type field of variables whose value is a function Closes #1093 See merge request frama-c/frama-c!3468
  919f495c
- [eacsl] Check header of bash completion script · 9bdea618
  Basile Desloges authored 3 years ago
  
  9bdea618
- [eacsl] Install bash completions · 5002cb3b
  Basile Desloges authored 3 years ago
  
  5002cb3b
- [eacsl] Fix bash completions script · 7d717f03
  Basile Desloges authored 3 years ago
  
  7d717f03
- Merge branch 'feature/wp/extend-split-and' into 'master' · da05af90
  Allan Blanchard authored 3 years ago
  
  Extend split tactic : split conjunctions See merge request frama-c/frama-c!3470
  da05af90
- [wp] Typo in test directive · 89467a4c
  Allan Blanchard authored 3 years ago
  
  89467a4c
- [wp] Fix sequence insertion order · 7bdc9cdf
  Allan Blanchard authored 3 years ago
  
  7bdc9cdf
- [wp] TacSplit: factorize steps and inside · e805dea0
  Allan Blanchard authored 3 years ago
  
  e805dea0
- [wp] test split tactic · d67c7a6f
  Allan Blanchard authored 3 years ago
  
  d67c7a6f
- [wp] new key to pretty print script subgoals · e141f8cf
  Allan Blanchard authored 3 years ago
  
  e141f8cf
- [wp] extend split to conjunctions in hypotheses · 33d51a28
  Allan Blanchard authored 3 years ago
  
  33d51a28
- Merge branch 'feature/andre/userman-revamp' into 'stable/chromium' · 12dcd99a
  Virgile Prevosto authored 3 years ago
  
  [Doc] Userman: review and update initial sections See merge request frama-c/frama-c!3469
  12dcd99a
Nov 29, 2021
- use chronological order for E-ACSL references · 82b453c7
  Virgile Prevosto authored 3 years ago
  
  82b453c7
- [userman] proof read overview update · 9f7e9ec7
  Virgile Prevosto authored 3 years ago
  
  9f7e9ec7
- Merge branch 'fix/opam/naming' into 'stable/chromium' · 52b66b1a
  François Bobot authored 3 years ago
  
  Fix opam instruction and VERSION name See merge request frama-c/frama-c!3464
  52b66b1a
- [Doc] Userman: review and update initial sections · be06a99b
  Andre Maroneze authored 3 years ago
  
  be06a99b
- Merge branch 'feature/andre/doc-userman-libc' into 'stable/chromium' · c5a7200e
  Virgile Prevosto authored 3 years ago
  
  [Doc] add section about libc in userman See merge request frama-c/frama-c!3423
  c5a7200e
- Merge branch 'feature/andre/eva-manual-acsl-quick-guide' into 'stable/chromium' · 1c52b90c
  Virgile Prevosto authored 3 years ago
  
  [Doc] add a quick guide for ACSL for Eva See merge request frama-c/frama-c!3359
  1c52b90c