Commits · d896e2bd4e5be9387051a7526f5764848b3937e8 · pub / frama-c · GitLab

Snippets Groups Projects

Aug 02, 2017
- Changelog entry for temporal analysis · d896e2bd
  Kostyantyn Vorobyov authored 7 years ago
  
  d896e2bd
- Several new options in e-acsl-gcc · d1ccca6d
  Kostyantyn Vorobyov authored 7 years ago
  
  d1ccca6d
Jun 01, 2017
- tag Changelog with version number · 4591e135
  Virgile Prevosto authored 7 years ago
  
  4591e135
Mar 28, 2017
- changelog · 1a1b0df2
  Julien Signoles authored 8 years ago
  
  1a1b0df2
- changelog · 7d9c4380
  Julien Signoles authored 8 years ago
  
  7d9c4380
Mar 21, 2017
- Add --check option to e-acsl-gcc.sh + minior updates · ebc8e11b
  Kostyantyn Vorobyov authored 8 years ago
  
  ebc8e11b
- [changelog] fix typo · 3336c49e
  Julien Signoles authored 8 years ago
  
  3336c49e
Mar 03, 2017
- [changelog] fix flag · a3edd74b
  Julien Signoles authored 8 years ago
  
  a3edd74b
- Remove precond option from --rte flag of e-acsl-gss.sh · 0f237a59
  Kostyantyn Vorobyov authored 8 years ago
  
  0f237a59
Mar 02, 2017
- changelog · c1a90b1d
  Julien Signoles authored 8 years ago
  
  c1a90b1d
Mar 01, 2017
- changelog · aea5a478
  Julien Signoles authored 8 years ago
  
  aea5a478
Feb 24, 2017
- [typing] fix crash with casts from non-integral terms to integral-types · 08a3ac6f
  Julien Signoles authored 8 years ago
  
  08a3ac6f
Feb 20, 2017
- fix sharing bug (broken AST) with goto which points to a labeled statement... · 5b21aefc
  Julien Signoles authored 8 years ago
  
  fix sharing bug (broken AST) with goto which points to a labeled statement which must be instrumented
  5b21aefc
Jan 25, 2017
- [typing] fix bug #2252 about pointer arithmetic with negative offsets · 37b1265b
  Julien Signoles authored 8 years ago
  
  37b1265b
- fix bug with typing of unary and binary operators (fix git issue #37) · 03cd4cee
  Julien Signoles authored 8 years ago
  
  03cd4cee
Jan 19, 2017
- version number · 52c7f084
  Julien Signoles authored 8 years ago
  
  52c7f084
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
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] 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
- [man] Update manuals and changelog as per changes to e-acsl-gcc.sh · 9ab690f9
  Kostyantyn Vorobyov authored 8 years ago
  
  options
  9ab690f9
Sep 27, 2016
- new option -e-acsl-builtins · be11065c
  Julien Signoles authored 8 years ago
  
  be11065c
Jul 19, 2016
- Changelog updates · 0a4e66bf
  Kostyantyn Vorobyov authored 8 years ago
  
  0a4e66bf
- [doc] Update Changelog and man page for e-acsl-gcc.sh with the new · 2a3da5cf
  Kostyantyn Vorobyov authored 8 years ago
  
  --print-mmodels option
  2a3da5cf
Jul 04, 2016
- Added the name of the new --rte option to changelog · fe43adc0
  Kostyantyn Vorobyov authored 8 years ago
  
  fe43adc0
- Changelog entry about the new e-acsl-gcc.sh options · cc0bec36
  Kostyantyn Vorobyov authored 8 years ago
  
  cc0bec36
Jun 09, 2016
- [tests] add test case for BTS #2191 which is solved by the new type system · f160c5e6
  Julien Signoles authored 8 years ago
  
  f160c5e6
May 23, 2016
- [tests] add test for recursive functions: bts#1395 was solved by the previous commit · 7aa5056d
  Julien Signoles authored 8 years ago
  
  7aa5056d
May 09, 2016
- [Makefile] fix 'make install' when E-ACSL is compiled/installed within Frama-C · 094c6cdb
  Julien Signoles authored 8 years ago
  
  094c6cdb
Apr 15, 2016
- [Makefile] fix 'make install' when E-ACSL is compiled/installed within Frama-C · 58b1675f
  Julien Signoles authored 8 years ago
  
  58b1675f
Apr 01, 2016
- [Changelog] Update for merge request !15 and a few stylistic updates · 2494d6b0
  Kostyantyn Vorobyov authored 8 years ago
  
  2494d6b0
Mar 31, 2016
- [Changelog] Update for merge request !15 and a few stylistic updates · b2ce0847
  Kostyantyn Vorobyov authored 8 years ago
  
  b2ce0847
Mar 22, 2016
- [e-acsl-gcc.sh] Added an option allowing to compile instrumented sources · 81dba115
  Kostyantyn Vorobyov authored 9 years ago
  
  only
  81dba115
Mar 16, 2016
- [Changelog] Added a changelog entry regarding bugfixes in partial · e325b686
  Kostyantyn Vorobyov authored 9 years ago
  
  initialization of tracked memory blocks
  e325b686
Feb 25, 2016
- [Makefile] fix 'make clean' in tests · e3609af0
  Julien Signoles authored 9 years ago
  
  e3609af0
Feb 11, 2016
- remove E-ACSL internal entry from Changelog · 9e1127e7
  Julien Signoles authored 9 years ago
  
  9e1127e7
Feb 10, 2016
- Removed the note regarding a change in user manual from docs/Changelog · 6b1527f6
  Kostyantyn Vorobyov authored 9 years ago
  
  as it belongs to doc/userman/changes.tex
  6b1527f6
- Added entry to the changelog regarding the documentation for · 6cf78e85
  Kostyantyn Vorobyov authored 9 years ago
  
  e-acsl-gcc.sh
  6cf78e85
- Removed the note regarding a change in user manual from docs/Changelog · 43957706
  Kostyantyn Vorobyov authored 9 years ago
  
  as it belongs to doc/userman/changes.tex
  43957706
Feb 08, 2016
- Added entry to the changelog regarding the documentation for · 80e2212d
  Kostyantyn Vorobyov authored 9 years ago
  
  e-acsl-gcc.sh
  80e2212d
Feb 05, 2016
- Added an entry regarding the manpage for e-acsl-gcc.sh to the Changelog · 3171f0fa
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  3171f0fa