Commits · c487c8812ec2123a56d5e359c1c0bdbc4b5a7b60 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 07, 2021
- [instantiate tests] renames generated result files · c487c881
  Patrick Baudin authored 3 years ago
  
  c487c881
- [plugin tests] adds some more %{dep:file} · 1a3b7c3f
  Patrick Baudin authored 3 years ago
  
  1a3b7c3f
- [aorai tests] adds some more %{dep:file} · c2d7e68b
  Patrick Baudin authored 3 years ago
  
  c2d7e68b
- [wp tests] adds some more %{dep:file} · bdfb27ef
  Patrick Baudin authored 3 years ago
  
  bdfb27ef
- [tests] adds some %{dep:file} · 9e8274e1
  Patrick Baudin authored 3 years ago
  
  9e8274e1
- [tests] adds some %{dep:file} · d03f5417
  Patrick Baudin authored 3 years ago
  
  d03f5417
- [tests] renames generated result files · 0e00ebeb
  Patrick Baudin authored 3 years ago
  
  0e00ebeb
- [ptests] allows %{bin:tool} in plugin tests · a7833281
  Patrick Baudin authored 3 years ago
  
  a7833281
Dec 06, 2021
- Merge branch 'feature/basile/eacsl-translate-refactor' into 'master' · a4165c4d
  Basile Desloges authored 3 years ago
  
  [eacsl] Split and refactor Translate module Closes e-acsl#131 See merge request frama-c/frama-c!3476
  a4165c4d
- Merge branch 'feature/basile/eacsl-remove-unused-env-param' into 'master' · db7a9930
  Julien Signoles authored 3 years ago
  
  [eacsl] Remove unused env parameter from inject_in_global See merge request frama-c/frama-c!3481
  db7a9930
- [eacsl] Fix lines > 80 characters · 0fbcf9ec
  Basile Desloges authored 3 years ago
  
  0fbcf9ec
- [eacsl] Rename some translation functions · 28773784
  Basile Desloges authored 3 years ago
  
  - `Translate_terms.term_to_exp` -> `Translate_terms.to_exp` - `Translate_predicates.predicate_to_exp` -> `Translate_predicates.to_exp` - `Translate_predicates.translate_predicate` -> `Translate_predicate.do_it` - `Translate_rtes.translate_rte_annots` -> `Translate_rtes.rte_annots` - `Translate_rtes.translate_rte` -> `Translate_rtes.exp`
  28773784
- [eacsl] Split module translate · 8f29bdb8
  Basile Desloges authored 3 years ago
  
  8f29bdb8
- Merge branch 'bugfix/basile/eacsl-reserved-axiomatic-name' into 'master' · 8d1b2ab1
  Basile Desloges authored 3 years ago
  
  [eacsl] Fix crash when creating an axiomatic with an existing name Closes e-acsl#161 See merge request frama-c/frama-c!3478
  8d1b2ab1
- [eacsl] Remove unused env parameter from inject_in_global · 2c0c547f
  Basile Desloges authored 3 years ago
  
  2c0c547f
- [eacsl] Update changelog · 8762c595
  Basile Desloges authored 3 years ago
  
  8762c595
- [eacsl] Fix crash when creating an axiomatic with an existing name · ef19076f
  Basile Desloges authored 3 years ago
  
  ef19076f
Dec 03, 2021
- Update Changelog following !3439 · 33956f4f
  Virgile Prevosto authored 3 years ago
  
  33956f4f
- Merge branch 'feature/kernel/removes-deprecated-features' into 'master' · 43d761e7
  Virgile Prevosto authored 3 years ago
  
  Removes some useless AST elements See merge request frama-c/frama-c!3439
  43d761e7
- Merge branch 'feature/patrick/dunable-ptests' into 'master' · f1acf328
  Patrick Baudin authored 3 years ago
  
  [ptests] Adds DEPS directive and accepts dune feature such as `%{dep:file}` in test commands See merge request frama-c/frama-c!3475
  f1acf328
- [plugin tests] more use of @PTEST_RESULT@ and @PTEST_DIR@ in order to ease dune migration · b936c8f9
  Patrick Baudin authored 3 years ago
  
  b936c8f9
- [tests] more use of @PTEST_RESULT@ and @PTEST_DIR@ in order to ease dune migration · 1640e5f0
  Patrick Baudin authored 3 years ago
  
  1640e5f0
- [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
- [Dev] add 24.0 targets to Docker makefile · aae2e1f7
  Andre Maroneze authored 3 years ago
  
  aae2e1f7
- [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
- [release] better checks agains version mismatchs in manuals · cd551576
  Virgile Prevosto authored 3 years ago
  
  cd551576
- [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