Commits · 2746b0e226db5b06662b54fc32029f80af16619e · pub / frama-c

Jun 30, 2011
- [e-acsl] handle acsl subtyping relation. · 2746b0e2
  Julien Signoles authored 13 years ago
  
  2746b0e2
Apr 06, 2011
- in tests, use @frama-c@, not a direct call to frama-c · 8dbbd674
  Virgile Prevosto authored 13 years ago
  
  8dbbd674
Mar 22, 2011

[e-acsl] implement options for direct linking with GMP · 3ec70885

Julien Signoles authored 14 years ago

[e-acsl] Makefile's target 'install'
[e-acsl] test GMP linkage in non-regression suite ('make tests' now requires GMP >= 4.3.2)
[e-acsl] fixed bugs of GMP compatibility

3ec70885

Mar 04, 2011
- some easy constructs (cast*, align*, addrOf) · d7ad60ea
  Julien Signoles authored 14 years ago
  
  d7ad60ea