Commits · 23bc8836a9b513515baaf7fe0175308e7a514736 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 17, 2017
- More consistent handling of blocks and Local_init · 23bc8836
  Virgile Prevosto authored 8 years ago
  
  23bc8836
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
- Use the new arguments name for the variadic plugin. · f55bf386
  Valentin Perrelle authored 8 years ago
  
  f55bf386
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
- Remove precond option from --rte flag of e-acsl-gss.sh · 0f237a59
  Kostyantyn Vorobyov authored 8 years ago
  
  0f237a59
- 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
- [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
- Reset function · 18768a6a
  Kostyantyn Vorobyov authored 8 years ago
  
  18768a6a
- Get rid of unnecessary prefixes · 4c5f1cdf
  Kostyantyn Vorobyov authored 8 years ago
  
  4c5f1cdf
- Stylistic change: removed '*' from comments · 1fc4b1ba
  Kostyantyn Vorobyov authored 8 years ago
  
  1fc4b1ba
- Update test case oracles as per Frama-C MR# !1112 · c72da78a
  Kostyantyn Vorobyov authored 8 years ago
  
  c72da78a
- Handling declarations in the bodies of switch statements · a843e683
  Kostyantyn Vorobyov authored 8 years ago
  
  a843e683
- Disable warnings about bypassed variables as they are tracked now · ae883b2d
  Kostyantyn Vorobyov authored 8 years ago
  
  ae883b2d
- Added a reject test case for declarations in switch · 88c49436
  Kostyantyn Vorobyov authored 8 years ago
  
  88c49436
- Abort the execution in case of a variable declared in a switch · 13eb88f7
  Kostyantyn Vorobyov authored 8 years ago
  
  13eb88f7
- Test case for bypassed variables · b95f378c
  Kostyantyn Vorobyov authored 8 years ago
  
  b95f378c
- Add debug guard to __e_acsl_store_block_duplicate of bittree model · e5d576cd
  Kostyantyn Vorobyov authored 8 years ago
  
  e5d576cd