Commits · 83d441a000af5a6fefe8f8e54a686d6a05d35e1c · pub / frama-c

May 24, 2011

[e-acsl] support of requires in stmt contracts · 83d441a0

Julien Signoles authored 13 years ago

[e-acsl] support of assumes without ensures in stmt contracts
[e-acsl] partial support of function contracts (the same subset than stmt contracts)
[e-acsl] additional test for nested code annotation
[e-acsl] code refactoring: visit.ml splitten into several compilation units

83d441a0

May 11, 2011
- [e-acsl] fixed broken previous commit · 40d0adc3
  Julien Signoles authored 13 years ago
  
  [e-acsl] add guard before divisions and modulos
  40d0adc3
Feb 22, 2011
- 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