Commits · ac2313670991abff874dee5d3632cebb7b9fe4b5 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 05, 2015
- 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
- [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
- 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 branch feature/freeable · 343b6a95
  Julien Signoles authored 9 years ago
  
  343b6a95
- support of \freeable · b4cf7a48
  Julien Signoles authored 9 years ago
  
  b4cf7a48
- [mmodel] implementation of __freeable · 5e8cacae
  Guillaume Petiot authored 10 years ago and Julien Signoles committed 9 years ago
  
  5e8cacae
May 28, 2015
- [typing] fix typing of \block_length and \offset · cb0d67a8
  Julien Signoles authored 9 years ago
  
  cb0d67a8
- search .h in E-ACSL memory model by default · 890b6e80
  Julien Signoles authored 9 years ago
  
  890b6e80
- compatibility with -frama-c-stdlib · 40d1cbce
  Julien Signoles authored 9 years ago
  
  40d1cbce
- [tests] cherry-picked hack for fopen · 0bf19f5e
  Julien Signoles authored 9 years ago
  
  0bf19f5e
- [tests] cherry-picked simplifying test outputs · 82da75ab
  Julien Signoles authored 9 years ago
  
  82da75ab
- [tests] still fix one more test · 84cb5c0f
  Julien Signoles authored 10 years ago
  
  84cb5c0f
- [tests] do not test alternative mmodel by default · b5dd3563
  Julien Signoles authored 10 years ago
  
  b5dd3563
- [tests] fix tests broken when directory 'tests/bts' has been introduced · fbe8d368
  Julien Signoles authored 10 years ago
  
  fbe8d368
- [tests] simplifying output of tests · 24359c0f
  Julien Signoles authored 10 years ago
  
  24359c0f
- [tests] cherry-picked introducing 'bts' dir · cc10f44b
  Julien Signoles authored 10 years ago
  
  cc10f44b
- rename Mmodel_analysis.init_mpz to Mpz.init_t · 160d6277
  Julien Signoles authored 10 years ago
  
  160d6277
- renaming pre_analysis.ml* into mmodel_analysis.ml* · 7701ea2e
  Julien Signoles authored 10 years ago
  
  7701ea2e
- renaming pre_visit.ml* into dup_functions.ml* · f64ce74a
  Julien Signoles authored 10 years ago
  
  f64ce74a
Mar 06, 2015
- fix ocamldoc error with OCaml 4.02 · 86dc0d69
  Julien Signoles authored 10 years ago
  
  86dc0d69
Jan 29, 2015
- header 2015 · 69cbc062
  Julien Signoles authored 10 years ago
  
  69cbc062
Jan 27, 2015
- [tests] automatic regeneration of test_config when invoking E_ACSL_TESTS directly · c644a861
  Julien Signoles authored 10 years ago
  
  c644a861
- Merge branch 'master', remote-tracking branch 'origin' · 2908eef8
  Julien Signoles authored 10 years ago
  
  2908eef8
- [tests] fix oracles · 0c5f590b
  Julien Signoles authored 10 years ago
  
  0c5f590b
- [doc] fix ocamldoc error · 4d43d9a3
  Julien Signoles authored 10 years ago
  
  4d43d9a3
Dec 18, 2014
- Merge branch 'fix-gitignore' into 'master' · a00efb26
  Julien Signoles authored 10 years ago
  
  Fix .gitignore See merge request !7
  a00efb26
- Ignore generated ptests_config file · faa0dec1
  Benjamin Monate authored 10 years ago
  
  faa0dec1
Dec 17, 2014
- changelog · f1d69481
  Julien Signoles authored 10 years ago
  
  f1d69481
- [API] cleaner exported API · dbf302f4
  Julien Signoles authored 10 years ago
  
  dbf302f4
Dec 16, 2014
- [tests] improved oracles · 47d0d886
  Julien Signoles authored 10 years ago
  
  47d0d886
- fix compilation according to kernel changes · ab49e183
  Julien Signoles authored 10 years ago
  
  ab49e183
- Merge branch 'feature/preprocessor-fc-libc' into 'master' · 1c2227d4
  Julien Signoles authored 10 years ago
  
  Feature/preprocessor fc libc Mise à jour des oracles suite au commit frama-c/frama-c@4f01d985 . À merger quand frama-c/frama-c!201 sera elle-même mergée dans le noyau. See merge request !6
  1c2227d4