Commits · 701430c5eefdabe8738409ed5351c1fd59228f34 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 07, 2015
- Fix the issue where literal strings in the code were not replaced by the · 701430c5
  Kostyantyn Vorobyov authored 9 years ago
  
  variables (which point to literal strings) generated by E-ACSL
  701430c5
- Fix an issue where same variables were passed to __delete_block multiple · 72a70076
  Kostyantyn Vorobyov authored 9 years ago
  
  times
  72a70076
Dec 04, 2015
- Replace keep_initialiser mutable variable (which used to decide to keep · 1b9588f9
  Kostyantyn Vorobyov authored 9 years ago
  
  global initialisers or not) with a boolean switch called is_initialiser used to detect and filter out compound initialisers and update [global_vars] mapping
  1b9588f9
- Disable functionality that re-creates assignments of literal strings · ae805538
  Kostyantyn Vorobyov authored 9 years ago
  
  during global initialisation
  ae805538
- Disable functionality that removes initilisers from global variables · a60bf0e6
  Kostyantyn Vorobyov authored 9 years ago
  
  a60bf0e6
- Fix a syntax error from the previous commit · 6872ee71
  Kostyantyn Vorobyov authored 9 years ago
  
  6872ee71
- Added a few comments related to handling and tracking of global variable · c2f4800c
  Kostyantyn Vorobyov authored 9 years ago
  
  declarations
  c2f4800c
Nov 06, 2015
- gitignore updated wrt kernel Makefile change · 26ffd7a7
  Julien Signoles authored 9 years ago
  
  26ffd7a7
- [tests] update tests wrt kernel changes · 4555659e
  Julien Signoles authored 9 years ago
  
  4555659e
- fix crash occuring with a recent libc · 750b20e5
  Julien Signoles authored 9 years ago
  
  750b20e5
Oct 29, 2015
- translate TODO into English · 728c6c8b
  Julien Signoles authored 9 years ago
  
  728c6c8b
Oct 21, 2015
- [Makefile] use default merlin_plugin · 7542c9c3
  Julien Signoles authored 9 years ago
  
  7542c9c3
Oct 01, 2015
- Merge branch 'feature/internalization' into 'master' · 4ca70afb
  Julien Signoles authored 9 years ago
  
  Allow to use Merlin even in internal mode NB: compatibility with external compilation not tested See merge request !16
  4ca70afb
- Allow to use Merlin even in internal mode · ad467da0
  Virgile Prevosto authored 9 years ago
  
  NB: compatibility with external compilation not tested
  ad467da0
Aug 31, 2015
- [tests] update wrt libc changes · 8eb907b4
  Julien Signoles authored 9 years ago
  
  8eb907b4
Aug 26, 2015
- merlin · c99ecd4b
  Julien Signoles authored 9 years ago
  
  c99ecd4b
- [tests] updated wrt libc changes · d40f4feb
  Julien Signoles authored 9 years ago
  
  d40f4feb
Aug 25, 2015
- update TODO · 28126fee
  Julien Signoles authored 9 years ago
  
  28126fee
Jul 26, 2015
- Update tests to trunk (at most one origin in garbled mix) · 7be21989
  Boris Yakobowski authored 9 years ago
  
  7be21989
Jun 30, 2015
- [tests] update wrt libc changes · 048bdad3
  Julien Signoles authored 9 years ago
  
  048bdad3
Jun 24, 2015
- [tests] update wrt printer changes · 83e38d36
  Julien Signoles authored 9 years ago
  
  83e38d36
Jun 19, 2015
- [configure] new FC detection wrt changes of FC version number · 2110e817
  Julien Signoles authored 9 years ago
  
  2110e817
Jun 05, 2015
- Merge remote-tracking branch 'remotes/stable/stable/sodium' · 239ac192
  Julien Signoles authored 9 years ago
  
  239ac192
- [tests] stability wrt OCaml 3.12.1 · 00f96d80
  Julien Signoles authored 9 years ago
  
  00f96d80
- [distrib] do not distrib alternative memory-model files · 4bbdb11f
  Julien Signoles authored 9 years ago
  
  4bbdb11f
- update instructions for v0.5 · ac231367
  Julien Signoles authored 9 years ago
  
  ac231367
- [refman] update wrt acsl-1.9 · de86b901
  Julien Signoles authored 9 years ago
  
  de86b901
- [userman] ready for v0.5 · 61650ee9
  Julien Signoles authored 9 years ago
  
  61650ee9
Jun 04, 2015
- merging literal strings · e178beb3
  Julien Signoles authored 9 years ago
  
  e178beb3
- [tests] update wrt support of literal strings · 3be07742
  Julien Signoles authored 9 years ago
  
  mend
  3be07742
- fix bugs #1636 and #1837 about scoping of literal strings · dc096508
  Julien Signoles authored 10 years ago
  
  spelling fix comments
  dc096508
- [configure] restrict check_plugin_dependencies to external mode · 974c45a9
  Julien Signoles authored 9 years ago
  
  974c45a9
Jun 03, 2015
- mmodel lib architecture figure · 96bc296e
  Guillaume Petiot authored 9 years ago
  
  96bc296e
- Merge branch 'cleaning/remove-get_next' into 'stable/sodium' · ac57c375
  Julien Signoles authored 9 years ago
  
  remove unused function __get_next un peu de nettoyage See merge request !13
  ac57c375
- remove unused function __get_next · f2a7178c
  Guillaume Petiot authored 9 years ago
  
  f2a7178c
Jun 02, 2015
- Merge branch 'refactoring/last_added_block' into 'master' · d36b3185
  Julien Signoles authored 9 years ago
  
  remove the global variable last_added_block that was needed to support \freeable La variable globale a été supprimée, ce qui implique un changement de proto de __store_block. J'ai laissé (void*) comme type de retour pour éviter de rajouter un include dans le .h, mais on pourrait mettre (struct _block*) si l'include ne te dérange pas. See merge request !12
  d36b3185
- note about the return type of __store_block · 7f6d86ed
  Guillaume Petiot authored 9 years ago
  
  7f6d86ed
- remove the global variable last_added_block that was needed to support \freeable · 987765a8
  Guillaume Petiot authored 9 years ago
  
  987765a8
- merge with stable/sodium · 70088336
  Julien Signoles authored 9 years ago
  
  70088336
- merge branch feature/freeable · 343b6a95
  Julien Signoles authored 9 years ago
  
  343b6a95