Commits · ebc8e11ba2a7c91434e381f950f93ae69fd11f31 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 21, 2017
- Add --check option to e-acsl-gcc.sh + minior updates · ebc8e11b
  Kostyantyn Vorobyov authored 8 years ago
  
  ebc8e11b
- Merge branch 'kostyantyn/bugfix/local-init-goto' into 'master' · d57c3806
  Julien Signoles authored 8 years ago
  
  Fix incorrect tracking of local variables when processing goto statements See merge request !122
  d57c3806
- Small changes as per Julien's review · e0e7c027
  Kostyantyn Vorobyov authored 8 years ago
  
  e0e7c027
- [changelog] fix typo · 3336c49e
  Julien Signoles authored 8 years ago
  
  3336c49e
Mar 17, 2017
- Fix a bug resulting in deletion of undeclared variables via a goto jump · 6053f855
  Kostyantyn Vorobyov authored 8 years ago
  
  6053f855
Mar 10, 2017
- Merge branch 'feature/vla' into 'master' · 137df6ee
  Andre Maroneze authored 8 years ago
  
  Feature/vla See merge request !120
  137df6ee
Mar 09, 2017
- update oracles against kernel changes · 112f61b5
  Virgile Prevosto authored 8 years ago
  
  112f61b5
- upgrade to new kernel API · 2ca2889b
  Virgile Prevosto authored 8 years ago
  
  2ca2889b
- Better handling of local initializers · 9e004f71
  Virgile Prevosto authored 8 years ago
  
  9e004f71
- update oracles · e61e4cee
  Virgile Prevosto authored 8 years ago
  
  e61e4cee
- fixes fragile pattern-matchings · 8eaf1413
  Virgile Prevosto authored 8 years ago
  
  8eaf1413
- Add support for local var initialization · 4afbb998
  Virgile Prevosto authored 8 years ago
  
  4afbb998
Mar 08, 2017
- Merge branch 'feature/variadic/rename-command-line-arguments' into 'master' · 2a47b7bd
  Andre Maroneze authored 8 years ago
  
  Use the new arguments name for the variadic plugin. See merge request !121
  2a47b7bd
- Use the new arguments name for the variadic plugin. · f55bf386
  Valentin Perrelle authored 8 years ago
  
  f55bf386
- Merge branch 'feature/eva/rm-value' into 'master' · f5bd26cf
  Julien Signoles authored 8 years ago
  
  Synchronize with Frama-C branch feature/eva/rm-value Closes #41 See merge request !119
  f5bd26cf
Mar 07, 2017
- Update test to use Eva · f99a0945
  Boris Yakobowski authored 8 years ago
  
  f99a0945
Mar 03, 2017
- [changelog] fix flag · a3edd74b
  Julien Signoles authored 8 years ago
  
  a3edd74b
- Merge branch 'kostyantyn/bugfix/precond' into 'master' · 1905048f
  Julien Signoles authored 8 years ago
  
  Remove precond option from --rte flag of e-acsl-gss.sh See merge request !118
  1905048f
- Remove precond option from --rte flag of e-acsl-gss.sh · 0f237a59
  Kostyantyn Vorobyov authored 8 years ago
  
  0f237a59
- Merge branch 'feature/valentin/variadic-enabled-by-default' into 'master' · cf840484
  Virgile Prevosto authored 8 years ago
  
  Disable variadic which is now enabled by default in Frama-C. See merge request !108
  cf840484
- disable va programmatically in E-ACSL · cc6d9636
  Virgile Prevosto authored 8 years ago
  
  cc6d9636
Mar 02, 2017
- changelog · c1a90b1d
  Julien Signoles authored 8 years ago
  
  c1a90b1d
- Merge branch 'kostyantyn/feature/goto' into 'master' · 35a7daad
  Kostyantyn Vorobyov authored 8 years ago
  
  Support instrumentation in presence of statements that break control flow See merge request !101
  35a7daad
- [exit_points] generic env + catch Not_found when searching in env · 01361490
  Julien Signoles authored 8 years ago
  
  01361490
- code refactoring + faster implementation of Exit_points.delete/store_vars · 3e222f2b
  Julien Signoles authored 8 years ago
  
  3e222f2b
- cosmetic changes · 6c304037
  Julien Signoles authored 8 years ago
  
  6c304037
- Tracking variables by sets instead of lists · 060a06cf
  Kostyantyn Vorobyov authored 8 years ago
  
  060a06cf
- Remove dup functions projects when done with it · c8510d71
  Kostyantyn Vorobyov authored 8 years ago
  
  c8510d71
- Reworked hash tables into separate modules · 67b7e996
  Kostyantyn Vorobyov authored 8 years ago
  
  67b7e996
- Project.on instead of Project.set_current · bba42ef3
  Kostyantyn Vorobyov authored 8 years ago
  
  bba42ef3
- Fix bypassed_var test to remove undefined behaviours · 2033bd8a
  Kostyantyn Vorobyov authored 8 years ago
  
  2033bd8a
- Remove useless parenthesis · 65876ed7
  Kostyantyn Vorobyov authored 8 years ago
  
  65876ed7
- Stylistic issues: rename some function and parameter names in visit.ml · 7d054b81
  Kostyantyn Vorobyov authored 8 years ago
  
  7d054b81
- Rename: Misc.mk_store_stmt_aux -> Misc.mk_named_store_stmt · 9bdf605e
  Kostyantyn Vorobyov authored 8 years ago
  
  9bdf605e
- Removed useless parenthesis · 70861f12
  Kostyantyn Vorobyov authored 8 years ago
  
  70861f12
- Replaced methods that delete and store statements by functions · 36d7d4ec
  Kostyantyn Vorobyov authored 8 years ago
  
  36d7d4ec
- Stylistic issues · c9a83da1
  Kostyantyn Vorobyov authored 8 years ago
  
  c9a83da1
- Small opt with pattern matching · 5e4953b2
  Kostyantyn Vorobyov authored 8 years ago
  
  5e4953b2
- Replaced tracking jumps with a stack instead of a list · 79299124
  Kostyantyn Vorobyov authored 8 years ago
  
  Moved data structure manipulating functions out of the object
  79299124
- Renamed: empty -> is_empty · f8526c77
  Kostyantyn Vorobyov authored 8 years ago
  
  f8526c77