Commits · c476985770bd4169f242228b4271b9a3f9721e4c · pub / frama-c · GitLab

Snippets Groups Projects

Jul 19, 2016
- [e-acsl-gcc.sh] Fix application of __E_ACSL__ macro · c4769857
  Kostyantyn Vorobyov authored 8 years ago
  
  c4769857
- [e-acsl-gcc.sh] Report the names of the supported memory models · 6fd025fa
  Kostyantyn Vorobyov authored 8 years ago
  
  6fd025fa
Jul 13, 2016
- [tests] Improvements in memsize test case · 598f2b65
  Kostyantyn Vorobyov authored 8 years ago
  
  598f2b65
Jul 04, 2016
- Update man page for e-acsl-gcc.sh with --rte option · 396490f4
  Kostyantyn Vorobyov authored 8 years ago
  
  396490f4
- Added the name of the new --rte option to changelog · fe43adc0
  Kostyantyn Vorobyov authored 8 years ago
  
  fe43adc0
- Fine-grained asserion generation for e-acsl-gcc · 89bb6461
  Kostyantyn Vorobyov authored 8 years ago
  
  89bb6461
- Fixed ordering of plugins · bad77160
  Kostyantyn Vorobyov authored 8 years ago
  
  bad77160
- Added checks for required tools · 42b3289d
  Kostyantyn Vorobyov authored 8 years ago
  
  42b3289d
- Changelog entry about the new e-acsl-gcc.sh options · cc0bec36
  Kostyantyn Vorobyov authored 8 years ago
  
  cc0bec36
- Comments in e-acsl-gcc.sh · 2355ba85
  Kostyantyn Vorobyov authored 8 years ago
  
  2355ba85
- Update e-acsl-share man page · a74e4e13
  Kostyantyn Vorobyov authored 8 years ago
  
  a74e4e13
- Got rid of the int overflow option (merged with rte) · fb97658f
  Kostyantyn Vorobyov authored 8 years ago
  
  fb97658f
- Update e-acsl-gcc.sh manpage · 701c62a0
  Kostyantyn Vorobyov authored 8 years ago
  
  701c62a0
- Basic bash completion for e-acsl-gcc · eeaf056f
  Kostyantyn Vorobyov authored 8 years ago
  
  eeaf056f
- Added additional path for E-ACSL plugin lookup · 64b2c20d
  Kostyantyn Vorobyov authored 8 years ago
  
  64b2c20d
- Fix a bug causing frama-c and gcc paths with tilde not be expanded · 5c23e9ad
  Kostyantyn Vorobyov authored 8 years ago
  
  5c23e9ad
Jul 01, 2016
- [Makefile] use ':=' to avoid problems in internalized mode · e53fc335
  Boris Yakobowski authored 8 years ago
  
  (bug introduced in !59)
  e53fc335
- Update test for memalign as per changes in Frama-C output · afe5acfb
  Kostyantyn Vorobyov authored 8 years ago
  
  afe5acfb
- [RTL] Stylistic changes as per review of the merge request · d0b377d4
  Kostyantyn Vorobyov authored 8 years ago
  
  d0b377d4
- [RTL] Better aliasing for API functions · 93a52d78
  Kostyantyn Vorobyov authored 8 years ago
  
  93a52d78
- [RTL] Aliases for heap size tracking · 1bf97624
  Kostyantyn Vorobyov authored 8 years ago
  
  1bf97624
- [RTL] Add a better implict check in free function · 39938a24
  Kostyantyn Vorobyov authored 8 years ago
  
  39938a24
- [RTL] Test case for aligned allocation · 24b242b6
  Kostyantyn Vorobyov authored 8 years ago
  
  24b242b6
- [RTL] Updates in E-ACSL public API as per added memalign functions · 71cf37d2
  Kostyantyn Vorobyov authored 8 years ago
  
  71cf37d2
- [RTL] Implementation of posix_memalign · 59713396
  Kostyantyn Vorobyov authored 8 years ago
  
  59713396
- [RTL] Definition of aligned_alloc · 383fe5ad
  Kostyantyn Vorobyov authored 8 years ago
  
  383fe5ad
- [RTL] Strong alias bindings for memory allocation functions · b0c6a31f
  Kostyantyn Vorobyov authored 8 years ago
  
  b0c6a31f
- [RTL] Remove GMP test from configure. Stylistic updates in Makefile.in · 36b58533
  Kostyantyn Vorobyov authored 8 years ago
  
  36b58533
- [RTL] Simplify Specification of contrib libs via e-acsl-gcc.sh · 16fb5eb6
  Kostyantyn Vorobyov authored 8 years ago
  
  16fb5eb6
- [RTL] Enable redzoning for jemalloc · 169394ce
  Kostyantyn Vorobyov authored 8 years ago
  
  169394ce
- [RTL] Added localised version of libgmp · 0796be6b
  Kostyantyn Vorobyov authored 8 years ago
  
  0796be6b
- [RTL] jemalloc tailored for use with E-ACSL/implicit tracking of heap blocks · f0e200b1
  Kostyantyn Vorobyov authored 8 years ago
  
  f0e200b1
Jun 27, 2016
- Tyny stylistic change in bits.h · 6f719b5d
  Kostyantyn Vorobyov authored 8 years ago
  
  6f719b5d
Jun 17, 2016
- gitignore · 26e60c91
  Julien Signoles authored 8 years ago
  
  26e60c91
- Add CfP and Security to continuous integration · 292d3afb
  Boris Yakobowski authored 8 years ago
  
  292d3afb
- [typing] consider that int is the smallest type (or: do what the spec says) · 1e2e1539
  Julien Signoles authored 8 years ago
  
  1e2e1539
- fix translation of constants: do not keep the original string representation · 1eee74c9
  Julien Signoles authored 8 years ago
  
  1eee74c9
- fix function Translate.term_to_exp used by plug-in Cfp. This fix requires to... · 15bd0c26
  Julien Signoles authored 8 years ago
  
  fix function Translate.term_to_exp used by plug-in Cfp. This fix requires to call the type system with no context in some cases
  15bd0c26
Jun 15, 2016
- Add CfP and Security to continuous integration · 44e79194
  Boris Yakobowski authored 8 years ago
  
  44e79194
Jun 13, 2016
- [doc] fix ocamldoc comments · 09307b21
  Julien Signoles authored 8 years ago
  
  09307b21