Commits · 3e8f495ac1c2e75b64799d585312af898d0c21db · pub / frama-c

Nov 05, 2019
- [E-ACSL:configure] remove outdated substitution · 3e8f495a
  Julien Signoles authored 5 years ago
  
  3e8f495a
- [E-ACSL:configure] checking Frama-C version is now useless · 1e075660
  Julien Signoles authored 5 years ago
  
  1e075660
Nov 04, 2019
- [headers] the current year is 2019 · 2de214a9
  Julien Signoles authored 5 years ago and François Bobot committed 5 years ago
  
  2de214a9
Oct 15, 2018
- [headers] compilation mode: · f21087cc
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  internal: use of hdrck for targets headers, check-headers and src-distrib external: reviewed target headers
  f21087cc
Apr 12, 2018
- [Headers] Updates copyright year to 2018. · 67834b2a
  David Bühler authored 6 years ago
  
  67834b2a
Oct 12, 2017
- synchronize with frama-c/frama-c!1205 · b6748176
  Andre Maroneze authored 7 years ago
  
  b6748176
Aug 02, 2017
- Replace GMP aliases with macro definitions · 91d922ee
  Kostyantyn Vorobyov authored 7 years ago
  
  91d922ee
- Remove jemalloc sources · c6f43be0
  Kostyantyn Vorobyov authored 7 years ago
  
  c6f43be0
Apr 14, 2017

- Disable on non-POSIX OSes
- Disable on anything that is not Linux or some BSD variant (excluding Darwin)
- Do not run extra checks if plug-in disabled

900dfcf1

Apr 12, 2017
- Headers 2017 · 419583f8
  Virgile Prevosto authored 7 years ago
  
  419583f8
Jan 19, 2017
- [configure] fix test of Frama-C version · fc868e2f
  Julien Signoles authored 8 years ago
  
  fc868e2f
- check Frama-C silicon · 5cdc1a2e
  Julien Signoles authored 8 years ago
  
  5cdc1a2e
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
- [Makefile] Added --enable-optimized-rtl option to the configure script. · 8d67681e
  Kostyantyn Vorobyov authored 8 years ago
  
  This option allows to specify debug or production build of E-ACSL runtime library.
  8d67681e
Aug 31, 2016
- [configure] Fixed an issue during a build of contrib libraries in the · 569c93ff
  Kostyantyn Vorobyov authored 8 years ago
  
  internal mode
  569c93ff
Aug 29, 2016
- Configuration of external libraries at E-ACSL configuration time · d7af9792
  Kostyantyn Vorobyov authored 8 years ago
  
  d7af9792
- --enable-full-gmp option in configure to switch between portable · 0433a5d2
  Kostyantyn Vorobyov authored 8 years ago
  
  distribution of the GMP library (mini-gmp) and the full GMP library at build time
  0433a5d2
Jul 01, 2016
- [RTL] Remove GMP test from configure. Stylistic updates in Makefile.in · 36b58533
  Kostyantyn Vorobyov authored 8 years ago
  
  36b58533
Mar 23, 2016
- Fixed an issue in configure.ac · 33aef2ff
  Kostyantyn Vorobyov authored 9 years ago
  
  33aef2ff
- fix doxygen issues in Makefile & configure · d0f97dfa
  Julien Signoles authored 9 years ago
  
  d0f97dfa
Mar 18, 2016
- [docs] Initial setup for building doxygen documentation · a8c3d631
  Kostyantyn Vorobyov authored 9 years ago
  
  a8c3d631
Feb 12, 2016
- [configure] update required Frama-C version · 477183a9
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  477183a9
- [configure] check for Magnesium · b7f2b851
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  b7f2b851
Feb 11, 2016
- update headers · 4e962694
  Julien Signoles authored 9 years ago
  
  4e962694
Jun 19, 2015
- [configure] new FC detection wrt changes of FC version number · 2110e817
  Julien Signoles authored 9 years ago
  
  2110e817
Jun 05, 2015
- update instructions for v0.5 · ac231367
  Julien Signoles authored 9 years ago
  
  ac231367
Jun 04, 2015
- [configure] restrict check_plugin_dependencies to external mode · 974c45a9
  Julien Signoles authored 9 years ago
  
  974c45a9
Jan 29, 2015
- header 2015 · 69cbc062
  Julien Signoles authored 10 years ago
  
  69cbc062
Nov 27, 2014
- [configure] Rte plug-in name have changed in configure :-( · 7f4546b6
  Julien Signoles authored 10 years ago
  
  7f4546b6
Aug 07, 2014
- [configure] require Neon-20140301+dev · ca0c5a1c
  Julien Signoles authored 10 years ago
  
  ca0c5a1c
Aug 04, 2014
- [configure] compatibility with Neon, whatever the release number is · 07f1261f
  Julien Signoles authored 10 years ago
  
  07f1261f
Mar 24, 2014
- fixing the header ('licenses' is not 'license') · 378f93e2
  Julien Signoles authored 11 years ago
  
  378f93e2
Mar 14, 2014
- fixing the header ('licenses' is not 'license') · 5117fe98
  Julien Signoles authored 11 years ago
  
  5117fe98
Mar 07, 2014
- applying headers 2014 · 524689f4
  Julien Signoles authored 11 years ago
  
  524689f4
- preparing release 0.4 compatible with Neon · 22f35ea3
  Julien Signoles authored 11 years ago
  
  22f35ea3
Sep 25, 2013
- [E-ACSL] again compatible with the trunk and no more with Fluorine · aa5f7cf6
  Julien Signoles authored 11 years ago
  
  aa5f7cf6
Sep 23, 2013
- [E-ACSL] ready for v0_3 · 565aff54
  Julien Signoles authored 11 years ago
  
  565aff54
Sep 04, 2013
- [E-ACSL] fix previous commit in case of multiple initializers (requires an... · 48d16df9
  Julien Signoles authored 11 years ago
  
  [E-ACSL] fix previous commit in case of multiple initializers (requires an up-to-date Frama-C kernel)
  48d16df9
Jul 18, 2013
- fixes running tests in internal mode + DO NOT generate varinfo if the plug-in is not running · fc90887c
  Virgile Prevosto authored 11 years ago
  
  fc90887c