Commits · 860df6868da2c367f18ec0b3eb08028f96edcc64 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 10, 2015
- Added bts test case for issue #1718 with compound initializers · 860df686
  Kostyantyn Vorobyov authored 9 years ago
  
  860df686
Dec 09, 2015
- OCI: don't run xpra but run it!! · fca8ef78
  François Bobot authored 9 years ago
  
  fca8ef78
- Try new continuous integration inside gitlab-ci · c0d7342f
  François Bobot authored 9 years ago
  
  c0d7342f
Dec 08, 2015
- Add a changelog entry about fixing issue #1817 · 5b0c9d1f
  Kostyantyn Vorobyov authored 9 years ago
  
  5b0c9d1f
- - Added a test case for processing of global initializers · 6de411a4
  Kostyantyn Vorobyov authored 9 years ago
  
  - Updated CI configuration
  6de411a4
- - Changes as per code review of the fix related to handling compound · 373fcf82
  Kostyantyn Vorobyov authored 9 years ago
  
  initializers - Changes to the oracles in order to accommodate the changes to code generation
  373fcf82
- Add .gitlab-ci.yml · a13c31db
  Kostyantyn Vorobyov authored 9 years ago
  
  a13c31db
- Rebase to include testsuite fixes from master · 45043920
  Kostyantyn Vorobyov authored 9 years ago
  
  45043920
- Fix the issue where literal strings in the code were not replaced by the · 50a040f9
  Kostyantyn Vorobyov authored 9 years ago
  
  variables (which point to literal strings) generated by E-ACSL
  50a040f9
- Fix an issue where same variables were passed to __delete_block multiple · a35669aa
  Kostyantyn Vorobyov authored 9 years ago
  
  times
  a35669aa
- Replace keep_initialiser mutable variable (which used to decide to keep · 89ffc901
  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
  89ffc901
- Disable functionality that re-creates assignments of literal strings · 09f6f2b2
  Kostyantyn Vorobyov authored 9 years ago
  
  during global initialisation
  09f6f2b2
- Disable functionality that removes initilisers from global variables · 8e432fc3
  Kostyantyn Vorobyov authored 9 years ago
  
  8e432fc3
- Fix a syntax error from the previous commit · 9fcea553
  Kostyantyn Vorobyov authored 9 years ago
  
  9fcea553
- Added a few comments related to handling and tracking of global variable · 667b1040
  Kostyantyn Vorobyov authored 9 years ago
  
  declarations
  667b1040
- Update several test oracles as per Frama-C code generation changes. · 331cfad5
  Kostyantyn Vorobyov authored 9 years ago
  
  331cfad5
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