Commits · 1aaa18e1659b7ae6a584288b379a866f3fb26e86 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 18, 2017
- [headers] move '#!/bin/..' line as the first line · 1aaa18e1
  Patrick Baudin authored 7 years ago
  
  1aaa18e1
Nov 28, 2017
- [e-acsl-gcc] several files may be given as inputs · 2ad18186
  Julien Signoles authored 7 years ago
  
  2ad18186
Aug 02, 2017
- MR !152 Review: address reviewer's comments · f906b2f8
  Kostyantyn Vorobyov authored 7 years ago
  
  f906b2f8
- Option to abort execution if the input to free function is NULL · 0daa3835
  Kostyantyn Vorobyov authored 7 years ago
  
  0daa3835
- New option allowing to exit instead of fail on assertion violation · 9c73cc3a
  Kostyantyn Vorobyov authored 7 years ago
  
  9c73cc3a
- Minor fixes in supported features in OSX and Linux · 6aaa835f
  Kostyantyn Vorobyov authored 7 years ago
  
  6aaa835f
- Fix C standard to C99 during preprocessing · 60ffbcda
  Kostyantyn Vorobyov authored 7 years ago
  
  60ffbcda
- Renaming for consistency · 10d2aafa
  Kostyantyn Vorobyov authored 7 years ago
  
  10d2aafa
- Better checking for getopt compatible with OSX enhanced getopt · a58ce844
  Kostyantyn Vorobyov authored 7 years ago
  
  a58ce844
- Initial RTL implementation of temporal analysis · 6ba21d15
  Kostyantyn Vorobyov authored 7 years ago
  
  6ba21d15
- Fix initialization bug due to incorrectly computed mspace bounds · b32e0761
  Kostyantyn Vorobyov authored 7 years ago
  
  b32e0761
- Partial integration of dlmalloc to the point generated programs are · 2ec8fd0b
  Kostyantyn Vorobyov authored 7 years ago
  
  compiled
  2ec8fd0b
- Several new options in e-acsl-gcc · d1ccca6d
  Kostyantyn Vorobyov authored 7 years ago
  
  d1ccca6d
Apr 12, 2017
- Headers 2017 · 419583f8
  Virgile Prevosto authored 7 years ago
  
  419583f8
Apr 10, 2017
- Add test case for local_init with annotation and update gcc-e-acsl script · ff46b374
  Virgile Prevosto authored 7 years ago
  
  ff46b374
Apr 05, 2017
- [scripts] Do not use trivial-annotations by default · c0cd7ef3
  Kostyantyn Vorobyov authored 7 years ago
  
  c0cd7ef3
Mar 28, 2017
- Changes as per MR review · 92c096e9
  Kostyantyn Vorobyov authored 7 years ago
  
  92c096e9
Mar 27, 2017
- Replace RTL linking via source compilation · 2e5b209a
  Kostyantyn Vorobyov authored 8 years ago
  
  2e5b209a
Mar 21, 2017
- Enable check option by default when --rt-debug flag is specified · 1e7c1f46
  Kostyantyn Vorobyov authored 8 years ago
  
  1e7c1f46
- Add --check option to e-acsl-gcc.sh + minior updates · ebc8e11b
  Kostyantyn Vorobyov authored 8 years ago
  
  ebc8e11b
Mar 08, 2017
- Use the new arguments name for the variadic plugin. · f55bf386
  Valentin Perrelle authored 8 years ago
  
  f55bf386
Mar 03, 2017
- Remove precond option from --rte flag of e-acsl-gss.sh · 0f237a59
  Kostyantyn Vorobyov authored 8 years ago
  
  0f237a59
Feb 24, 2017
- Disable variadic which is now enabled by default in Frama-C. · 86307861
  Valentin Perrelle authored 8 years ago
  
  86307861
Jan 05, 2017
- Revert merging C libraries · 02963683
  Kostyantyn Vorobyov authored 8 years ago
  
  02963683
Jan 03, 2017
- Delegate extensions checks to Frama-C/GCC · 25b5214d
  Kostyantyn Vorobyov authored 8 years ago
  
  25b5214d
Dec 30, 2016
- [e-acsl-gcc.sh] fix extension checks to allow for processing of C++ files · f3fcdd88
  Kostyantyn Vorobyov authored 8 years ago
  
  f3fcdd88
Dec 14, 2016
- Improvements for checking inputs for e-acsl-gcc.sh · 67899c42
  Kostyantyn Vorobyov authored 8 years ago
  
  67899c42
- Add checks for output file extensions to e-acsl-gcc.sh · 82e7cab9
  Kostyantyn Vorobyov authored 8 years ago
  
  82e7cab9
- Merge jemalloc, gmp and e-acsl RTL into a single library · 927a47c2
  Kostyantyn Vorobyov authored 8 years ago
  
  927a47c2
Dec 07, 2016
- Update RTE feature of e-acsl-gcc.sh as per Julien's comments to MR !95 · 83352486
  Kostyantyn Vorobyov authored 8 years ago
  
  83352486
Dec 06, 2016
- Updates to --rte option of e-acsl-gcc.sh as per changes to RTE plugin · df8107fc
  Kostyantyn Vorobyov authored 8 years ago
  
  df8107fc
Nov 24, 2016
- [scripts] Fix wrong compile flags in debug mode during compilation of · fa3b4cca
  Kostyantyn Vorobyov authored 8 years ago
  
  instrumented executables
  fa3b4cca
Nov 23, 2016
- Ctype tests and macros · b6547419
  Kostyantyn Vorobyov authored 8 years ago
  
  b6547419
Nov 17, 2016
- [scripts] Added --rt-debug feature to e-acsl-gcc.sh allowing to enable · 2646d0ed
  Kostyantyn Vorobyov authored 8 years ago
  
  debug features in instrumented executables at runtime
  2646d0ed
- Changes as per Julien's review · ae297b39
  Kostyantyn Vorobyov authored 8 years ago
  
  ae297b39
- Fixed issues related to installation of static libraries · 54fc8358
  Kostyantyn Vorobyov authored 8 years ago
  
  54fc8358
- [Makefile, scripts] Use RTL as static libraries instead of compiling · 287a440b
  Kostyantyn Vorobyov authored 8 years ago
  
  them from scratch each time
  287a440b
- [scripts] Portable realpath using pwd · a4a946f2
  Kostyantyn Vorobyov authored 8 years ago
  
  a4a946f2
Aug 31, 2016
- [scripts] Fixed nostdlib option of e-acsl-gcc.sh · c99cf33f
  Kostyantyn Vorobyov authored 8 years ago
  
  c99cf33f
- [scripts] Disable optimisations in debug mode · 9689d93c
  Kostyantyn Vorobyov authored 8 years ago
  
  9689d93c