Commits · d7ad60ea230203ac77945c304b303f0a8c7f4b40 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 04, 2011
- some easy constructs (cast*, align*, addrOf) · d7ad60ea
  Julien Signoles authored 14 years ago
  
  d7ad60ea
- valid_range + valid_index · 5252820a
  Julien Signoles authored 14 years ago
  
  5252820a
- fix generation of big integer constants (in the limit of issue #745) · 56ccac56
  Julien Signoles authored 14 years ago
  
  56ccac56
- handling C variables in terms (will be improved when fixing issue #744) + good test for Pnot · 889fe582
  Julien Signoles authored 14 years ago
  
  889fe582
- - support of -e-acsl-check · 1a689817
  Julien Signoles authored 14 years ago
  
  - reject \valid - improve efficiency for vstmt_aux
  1a689817
- no more utf8 in generated C code · 5510359d
  Julien Signoles authored 14 years ago
  
  5510359d
- testing relations · b17aeb16
  Julien Signoles authored 14 years ago
  
  b17aeb16
- little memoisation for integer constants · df697e32
  Julien Signoles authored 14 years ago
  
  df697e32
- - handling integer constants · 21f8720d
  Julien Signoles authored 14 years ago
  
  - generated C headers in a separate file "share/e_acsl.h" - fixed generation for Pnot - some additional tests
  21f8720d
Mar 02, 2011
- binop (untested) and string literals · ba4b24ab
  Julien Signoles authored 14 years ago
  
  ba4b24ab
- comments · 471e777a
  Julien Signoles authored 14 years ago
  
  471e777a
- removing wrong file · 1639c91a
  Julien Signoles authored 14 years ago
  
  1639c91a
- negation + better tests · c7cdc228
  Julien Signoles authored 14 years ago
  
  c7cdc228
- more robust tests · f699d01c
  Julien Signoles authored 14 years ago
  
  f699d01c
- - renaming -e-acsl-runtime by -e-acsl-project · 9c9dabfb
  Julien Signoles authored 14 years ago
  
  - generating project is compilable - first test case (for assert \true and \false)
  9c9dabfb
- use File.create_rebuilt_project_from_visitor + bug fixed with predicate false and true · eba2f806
  Julien Signoles authored 14 years ago
  
  eba2f806
Feb 22, 2011
- e-acsl implem is on the beginning of the way · 55fb796d
  Julien Signoles authored 14 years ago
  
  55fb796d
- ready to write the visitor · 82a4855d
  Julien Signoles authored 14 years ago
  
  82a4855d
Feb 21, 2011
- new e-acsl plug-in (only a useless skeleton right now) · a1f1dfd3
  Julien Signoles authored 14 years ago
  
  a1f1dfd3