Commits · 9ae59c8bf5c25ca9b902a6c5fec18d6e5f1c99ff · pub / frama-c · GitLab

Snippets Groups Projects

Sep 03, 2020
- [ptests] add PLUGIN field, update file name in oracle · 9ae59c8b
  François Bobot authored 4 years ago
  
  9ae59c8b
Sep 02, 2020
- Ptests to dune, add rules for diffing · dfb4a3c8
  François Bobot authored 4 years ago
  
  dfb4a3c8
Sep 01, 2020
- Fix dependencies of numerors · eb8dcfa2
  François Bobot authored 4 years ago
  
  eb8dcfa2
- Fix compilation on macosx and perhaps windows · 7b8e0773
  François Bobot authored 4 years ago
  
  use lowercase for filename
  7b8e0773
- Fix numerors compilation, and move all the plugins into optional · 24f58b47
  François Bobot authored 4 years ago
  
  and also some libraries
  24f58b47
- Start a summary of the plugins available · cef66e74
  François Bobot authored 4 years ago
  
  cef66e74
- Start convertion of ptests into a dune file generator · db218c2a
  François Bobot authored 4 years ago
  
  db218c2a
Aug 31, 2020
- remove obsoleted file frama-c.opam · 29ef29d2
  Andre Maroneze authored 4 years ago
  
  29ef29d2
Aug 28, 2020
- Fix dependency of Studia GUI to EVA GUI · 16c02dc2
  François Bobot authored 4 years ago
  
  16c02dc2
- [dune] install analysis-scripts files · 4c0c22ef
  Andre Maroneze authored 4 years ago
  
  4c0c22ef
- Some cleanup of the gitignores · 4ee4c1b4
  François Bobot authored 4 years ago and Andre Maroneze committed 4 years ago
  
  4ee4c1b4
- dune conversion · a1353c47
  François Bobot authored 5 years ago and Andre Maroneze committed 4 years ago
  
  a1353c47
- Merge branch 'fix/andre/ocp-indent-detect-dune' into 'master' · 362083a7
  Virgile Prevosto authored 4 years ago
  
  [Makefile] add warning about weird ocp-indent + dune 2 bug See merge request frama-c/frama-c!2802
  362083a7
Aug 27, 2020
- Merge branch 'feature/julien/new_project_initialization' into 'master' · 172b910d
  Julien Signoles authored 4 years ago
  
  [E-ACSL] new way of initializing the AST before the E-ACSL translation See merge request frama-c/frama-c!2788
  172b910d
- Merge branch 'fix/cil/binop-land' into 'master' · 6b02d0cf
  Andre Maroneze authored 4 years ago
  
  Allow any scalar expression as operand of logic operators See merge request frama-c/frama-c!2801
  6b02d0cf
- fix indentation · abe63e69
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  abe63e69
- [Makefile] add warning about weird ocp-indent + dune 2 bug · b4098739
  Andre Maroneze authored 4 years ago
  
  b4098739
- [e-acsl] update man page · 518f80e0
  Julien Signoles authored 4 years ago
  
  518f80e0
- [e-acsl] add a Changelog's entry · fe852747
  Julien Signoles authored 4 years ago
  
  fe852747
- [e-acsl] update user manual · 76a4a9a9
  Julien Signoles authored 4 years ago
  
  76a4a9a9
- [e-acsl] changelog · 52556928
  Julien Signoles authored 4 years ago
  
  52556928
- lint · d4a172f3
  Julien Signoles authored 4 years ago
  
  d4a172f3
- [e-acsl] improves/fixes a fewTODOs · 8b037136
  Julien Signoles authored 4 years ago
  
  8b037136
- [e-acsl:script] remove useless line · 1e16d444
  Julien Signoles authored 4 years ago
  
  1e16d444
- [e-acsl] change the name of the RTL temp project · 73f89c9c
  Julien Signoles authored 4 years ago
  
  73f89c9c
- [kernel] export membership functions from Globals.Functions · 93fc8ec7
  Julien Signoles authored 4 years ago
  
  93fc8ec7
- [kernel] export membership functions in Globals.Types · c58cba8a
  Julien Signoles authored 4 years ago
  
  c58cba8a
- [e-acsl] fix headers · 5e57c9b9
  Julien Signoles authored 4 years ago
  
  5e57c9b9
- [e-acsl] remove the main visitor in Prepare_ast in order to propagate property statuses soundly · f5b131fe
  Julien Signoles authored 4 years ago
  
  [e-acsl] simplify and document Prepare_ast a bit more
  f5b131fe
- [e-acsl:tests] update tests · 9acdf608
  Julien Signoles authored 4 years ago
  
  9acdf608
- [e-acsl:tests] remove -e-acsl-prepare from tests · 62a52871
  Julien Signoles authored 4 years ago
  
  62a52871
- [e-acsl] monitor neither *alloc nor free · 87f6b633
  Julien Signoles authored 4 years ago
  
  87f6b633
- [e-acsl] restore -remove-unused-specified-functions · 038715b8
  Julien Signoles authored 4 years ago
  
  038715b8
- [e-acsl] move Misc.pred_or_term to Lscope.pred_or_term · 415fd3ae
  Julien Signoles authored 4 years ago
  
  415fd3ae
- [e-acsl] remove RTL functions from Misc (now in RTL) · 10911d8c
  Julien Signoles authored 4 years ago
  
  10911d8c
- [e-acsl] preserve property statuses again · 330266df
  Julien Signoles authored 4 years ago
  
  330266df
- [kernel] property statuses should not be removed when the AST is marked as grown · dfd5bdf3
  Julien Signoles authored 4 years ago
  
  dfd5bdf3
- [e-acsl] removing Keep_status · f4dde577
  Julien Signoles authored 4 years ago
  
  f4dde577
- [e-acsl] remove option -e-acsl-check · 79c8e91d
  Julien Signoles authored 4 years ago
  
  79c8e91d
- [e-acsl] remove option -e-acsl-prepare · 03028e67
  Julien Signoles authored 4 years ago
  
  03028e67