Commits · 010b1de315faa7e19589a17c79d803a5e0e0c89e · pub / frama-c · GitLab

Snippets Groups Projects

Aug 02, 2017
- Pristine version of dlmalloc · 010b1de3
  Kostyantyn Vorobyov authored 7 years ago
  
  010b1de3
Apr 20, 2017
- create manuals dir if it does not exist · 4cdb04b1
  Virgile Prevosto authored 7 years ago
  
  4cdb04b1
Dec 14, 2016
- Merge jemalloc, gmp and e-acsl RTL into a single library · 927a47c2
  Kostyantyn Vorobyov authored 8 years ago
  
  927a47c2
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
- [Makefile, scripts] Use RTL as static libraries instead of compiling · 287a440b
  Kostyantyn Vorobyov authored 8 years ago
  
  them from scratch each time
  287a440b
Sep 09, 2016
- Added new test folder for exploring -eacsl-full-mmodel instrumentation · 24d43e0a
  Kostyantyn Vorobyov authored 8 years ago
  
  option
  24d43e0a
Sep 06, 2016
- Remove code related to performance evaluation · 70ff0db6
  Kostyantyn Vorobyov authored 8 years ago
  
  70ff0db6
Jul 19, 2016
- [Makefile] Renamed e-acsl-runtime and e-acsl-reject test directories to... · 19e1ce3f
  Kostyantyn Vorobyov authored 8 years ago
  
  [Makefile] Renamed e-acsl-runtime and e-acsl-reject test directories to runtime and reject respectively
  19e1ce3f
Jul 01, 2016
- [RTL] Simplify Specification of contrib libs via e-acsl-gcc.sh · 16fb5eb6
  Kostyantyn Vorobyov authored 8 years ago
  
  16fb5eb6
- [RTL] jemalloc tailored for use with E-ACSL/implicit tracking of heap blocks · f0e200b1
  Kostyantyn Vorobyov authored 8 years ago
  
  f0e200b1
Jun 17, 2016
- gitignore · 26e60c91
  Julien Signoles authored 8 years ago
  
  26e60c91
Mar 18, 2016
- [.gitignore] Added files and directories generated by doxygen · c9c770dd
  Kostyantyn Vorobyov authored 9 years ago
  
  c9c770dd
Mar 15, 2016
- [.gitignore] Added top directory generated by frama-c · 6bdaff9c
  Kostyantyn Vorobyov authored 9 years ago
  
  6bdaff9c
Mar 11, 2016
- [.gitignore] Added top directory generated by frama-c · 7d8ad3a7
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  7d8ad3a7
Feb 12, 2016
- gitignore · 0296a8cf
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  0296a8cf
Feb 11, 2016
- Fixed test empty.i · b7861837
  Kostyantyn Vorobyov authored 9 years ago
  
  b7861837
Feb 10, 2016
- [tests] remove useless GMP tests · 27658644
  Julien Signoles authored 9 years ago
  
  27658644
Dec 26, 2015
- improve .gitignore · e8bc3c2c
  Julien Signoles authored 9 years ago
  
  e8bc3c2c
Nov 06, 2015
- gitignore updated wrt kernel Makefile change · 26ffd7a7
  Julien Signoles authored 9 years ago
  
  26ffd7a7
Aug 26, 2015
- merlin · c99ecd4b
  Julien Signoles authored 9 years ago
  
  c99ecd4b
May 28, 2015
- [tests] cherry-picked introducing 'bts' dir · cc10f44b
  Julien Signoles authored 10 years ago
  
  cc10f44b
May 27, 2015
- Ignore META · bd7d5644
  Benjamin Monate authored 9 years ago
  
  bd7d5644
Mar 06, 2015
- [tests] new test directory 'bts' · a41e8b4b
  Julien Signoles authored 10 years ago
  
  a41e8b4b
Dec 18, 2014
- Ignore generated ptests_config file · faa0dec1
  Benjamin Monate authored 10 years ago
  
  faa0dec1
Oct 08, 2014
- frama-c-config in Makefile.in + gitignore · db11826d
  Julien Signoles authored 10 years ago
  
  db11826d
Jul 19, 2014
- Merge branch 'bug/bts1836' into 'stable/neon' · b4dc2e8b
  Julien Signoles authored 10 years ago
  
  Bug/bts1836 (off by one in bittree)
  b4dc2e8b
Jul 16, 2014
- fixes #1836 , includes unittests in check · c0318895
  Arvid Jakobsson authored 10 years ago
  
  c0318895
Mar 07, 2014
- [doc] update reference manual and add a missing figure · 7935097a
  Julien Signoles authored 11 years ago
  
  7935097a
Dec 10, 2013
- ignore .o · da0c993a
  Julien Signoles authored 11 years ago
  
  da0c993a
Nov 19, 2013
- add the .gitignore from svn:ignore · 1faa6a7b
  François Bobot authored 11 years ago
  
  1faa6a7b