Commits · b8a999c60ff9784041bce05c719fa4d31b522dc0 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 19, 2021
- [Eva] Do not use partition key for calls, only use them for recombination after return. · b67d9965
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  b67d9965
Oct 06, 2021
- [Makefile] Do not warn about missing .mli files on test files. · fe290f3e
  David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  fe290f3e
Oct 05, 2021
- [eacsl] Add E-ACSL specific linting · 090251ba
  Basile Desloges authored 3 years ago
  
  090251ba
Sep 15, 2021
- [makefile] Fixes `make doc`. · 0fb11177
  David Bühler authored 3 years ago
  
  0fb11177
Sep 06, 2021
- [makefile] Removes useless variable NO_MLI. · 73221e7f
  David Bühler authored 3 years ago
  
  73221e7f
- [kernel] Moves cabs.ml into cabs.mli. · cdc4f7ed
  David Bühler authored 3 years ago
  
  cdc4f7ed
Aug 24, 2021
- [Makefile] minor fixes · db1fc2c7
  Andre Maroneze authored 3 years ago
  
  db1fc2c7
Aug 23, 2021
- [Makefile] remove generated binaries when distcleaning · 9ca7a5d7
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  9ca7a5d7
- [distrib] redistribute test files · 660055ef
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  660055ef
Jul 29, 2021
- [Makefile] another usage of $(file ...) · 4c77178d
  Virgile Prevosto authored 3 years ago
  
  4c77178d
- [Makefile] binary files should not be checked for final newline · 7aa191ca
  Virgile Prevosto authored 3 years ago
  
  No need to duplicate filenames in two variables.
  7aa191ca
- [helpers] check_newline and isutf8 assume the names they are given aren't quoted · f985ef63
  Virgile Prevosto authored 3 years ago
  
  f985ef63
- [Makefile] properly quote input. · 3eaaa3d6
  Virgile Prevosto authored 3 years ago
  
  3eaaa3d6
- [Makefile] DISTRIB_TESTS without git ls-files · c8a48e9c
  Virgile Prevosto authored 3 years ago
  
  c8a48e9c
- [Makefile] fix handling of quoted filenames in check_newlines/isutf8 · c36ca79e
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  c36ca79e
- [Makefile] use OCaml-based, more efficient, tool to check for non-UTF-8 files · 1e912a30
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  1e912a30
- [Makefile] more efficient, OCaml-based, tool to check for trailing newlines · 68742159
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  68742159
- [Makefile] test using modern Make 'file' function · 123af596
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  123af596
- [Makefile] fix clean rule under Windows · 6483721f
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  6483721f
- [Makefile] add missing wildcard · e26af75b
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  e26af75b
Jul 26, 2021
- [Eva] New general request about "red" and tainted properties. · b5881be3
  David Bühler authored 3 years ago
  
  b5881be3
- [Eva] Registers the taint domain in taint_domain.ml instead of abstractions.ml. · ac39cc04
  David Bühler authored 3 years ago
  
  ac39cc04
Jul 19, 2021
- [Makefile] Uses option -rectypes for abstract_memory. · 6036275c
  David Bühler authored 3 years ago
  
  6036275c
Jun 15, 2021
- [Eva] multidim: rename Memory_map into Abstract_memory · 42a62d97
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  42a62d97
- [Eva] Multidim domain: extract code about typed offset · 0ee707c8
  Valentin Perrelle authored 4 years ago and David Bühler committed 3 years ago
  
  - also improve conversion from ival
  0ee707c8
- [Eva] Add a domain for multidimensional memory · 25a1c313
  Valentin Perrelle authored 4 years ago and David Bühler committed 3 years ago
  
  25a1c313
May 20, 2021
- [Eva] Registers a new abstract domain in the engine. · 4e8ce94e
  David Bühler authored 4 years ago
  
  4e8ce94e
- Handle version with tilde by using it with branch name and files · 0d437d3f
  François Bobot authored 3 years ago
  
  View commits for tag 23.0-rc1 23.0-rc1
  
  0d437d3f
Apr 28, 2021
- [analysis-scripts] fix distribution of new scripts · 795d03e0
  Andre Maroneze authored 3 years ago
  
  795d03e0
- [analysis-scripts] improve and generalize creduce.sh · e2173ebe
  Andre Maroneze authored 4 years ago and Andre Maroneze committed 3 years ago
  
  e2173ebe
Apr 16, 2021
- [make] optional include ivette/Makefile.distrib · af1907e7
  Loïc Correnson authored 3 years ago
  
  af1907e7
- [ivette] make -C ivette src-distrib · 5821a917
  Loïc Correnson authored 4 years ago
  
  # Conflicts: # Makefile # Conflicts: # Makefile
  5821a917
- [make] traps the makefile to include data from ivette · 321e66e1
  Loïc Correnson authored 3 years ago
  
  321e66e1
Mar 26, 2021
- [Tests] using MODULE directive into RTE tests · 0c06c6dd
  Patrick Baudin authored 4 years ago
  
  0c06c6dd
Mar 25, 2021
- [kernel] Renames contract_finite_float into contract_special_float. · 6bf392e2
  David Bühler authored 4 years ago and Loïc Correnson committed 4 years ago
  
  Removes option -contract-finite-float: the AST tranrsformation only depends on the option -warn-special-float.
  6bf392e2
- Add conversion from generic floatting point contract to finite one · 8b3da8d8
  François Bobot authored 5 years ago and Loïc Correnson committed 4 years ago
  
  8b3da8d8
Mar 05, 2021
- [makefile] fixes ocamlfind warning about missing -thread · 5a778c6b
  Virgile Prevosto authored 4 years ago
  
  5a778c6b
Feb 18, 2021
- [Eva] Moves audit functions in a new file utils/eva_audit.ml · 50fc3341
  David Bühler authored 4 years ago
  
  50fc3341
- [logic] pretty-printing predicate kinds · 93637166
  Loïc Correnson authored 4 years ago
  
  93637166
Feb 17, 2021
- [Makefile] distribute cg_viewer.yes.ml even if current env does not have dgraph · af70a04a
  Virgile Prevosto authored 4 years ago
  
  af70a04a