Commits · 8d8a0744077c328381bd074a7a8b9db989b703e1 · pub / frama-c · GitLab

Snippets Groups Projects

May 03, 2022
- [kernel] fix ast-diff in case the AST needs some reordering · 8d8a0744
  Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
  
  Specifically if a global declaration `x` occurs between a function declaration `f` and the definition of `f` which uses `x`
  8d8a0744
- [kernel] fix handling of local static in AST diff · 9b352edb
  Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
  
  9b352edb
- [kernel] take into account builtin logic infos when computing AST diff · 290b4405
  Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
  
  290b4405
- [kernel] fixes state selection for getting a kf in orig. project in AST diff · 40888055
  Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
  
  also working oracle for AST diff test
  40888055