Commits · 0da8cbebb7c259320c903f57560ccced85dd0e83 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 11, 2022
- [Eva] Changes the order in which two messages are printed at function calls. · 0da8cbeb
  David Bühler authored 3 years ago
  
  0da8cbeb
- Merge branch 'feature/eva/api' into 'master' · 779c765e
  Valentin Perrelle authored 2 years ago
  
  [Eva] Converts more use of Db.Value to the new Eva API See merge request frama-c/frama-c!3689
  779c765e
- [tests] fix keyword dep in a test · 606b2765
  Allan Blanchard authored 2 years ago
  
  606b2765
Apr 08, 2022
- [pdg] Minor lint fix. · 2f515ef1
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  2f515ef1
- [Eva] Exports [condition_truth_value] in the new Eva API. · 29c865bc
  David Bühler authored 2 years ago
  
  Uses it in other plugins, instead of Db.Value.
  29c865bc
- [from] Uses the new Eva API instead of Db.Value when possible. · 61f61907
  David Bühler authored 2 years ago
  
  61f61907
- [metrics] Uses Eva.Analysis.self instead of Db.Value.self. · 957a5f33
  David Bühler authored 2 years ago
  
  957a5f33
- [pdg] Uses the new Eva API instead of Db.Value. · f2dd7372
  David Bühler authored 3 years ago
  
  f2dd7372
- [scope] Uses Eva.Results instead of Db.Value. · e361576f
  David Bühler authored 3 years ago
  
  e361576f
- [callgraph] Uses Eva.Results instead of Db.Value. · 108c8881
  David Bühler authored 3 years ago
  
  108c8881
- Merge branch 'fix/ivette/eva-details' into 'master' · 00b2b916
  Maxime Jacquemin authored 2 years ago
  
  Fix/ivette/eva details See merge request frama-c/frama-c!3692
  00b2b916
Apr 07, 2022
- Merge branch 'bufix/thibaut/initial-tls-too-short' into 'master' · 967d0453
  Julien Signoles authored 2 years ago
  
  [eacsl] Increase the size of TLS in memory shadow model when necessary Closes e-acsl#197 See merge request frama-c/frama-c!3687
  967d0453
- [e-acsl] add comment · ae693fc3
  Thibaut Benjamin authored 2 years ago
  
  ae693fc3
- [e-acsl] first review · 2004fbc1
  Thibaut Benjamin authored 2 years ago
  
  2004fbc1
- [eacsl] increase tls size to always include standard streams · 306c98f8
  Thibaut Benjamin authored 3 years ago
  
  306c98f8
- [ivette] Fix offsetmap alignment · 82ed07db
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  82ed07db
- [ivette] Fix warning icones z-index · 8a422cf6
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  8a422cf6
- Merge branch 'feature/ivette/check-file-case' into 'master' · 43714dd5
  David Bühler authored 2 years ago
  
  [ivette] check import filename clashes See merge request frama-c/frama-c!3686
  43714dd5
Apr 06, 2022
- [ivette] rename checkdir -> checkcase · 1b3be32b
  Andre Maroneze authored 2 years ago
  
  1b3be32b
- [lint] fix headers · 5b0f5efe
  Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago
  
  5b0f5efe
- [ivette] fix doc url · 9ca4dd1a
  Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago
  
  9ca4dd1a
- [ivette] update distributed files · 51345417
  Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago
  
  51345417
- [ivette/makefile] headers specs · 3394f045
  Loïc Correnson authored 3 years ago and Andre Maroneze committed 2 years ago
  
  3394f045
- [ivette] revert to initial headers filter · 487588b7
  Loïc Correnson authored 3 years ago and Andre Maroneze committed 2 years ago
  
  487588b7
- [ivette] Makefile-based checkdir · d17613a8
  Loïc Correnson authored 3 years ago and Andre Maroneze committed 2 years ago
  
  d17613a8
- [ivette/eva] fix summary.css clash · 691310ec
  Loïc Correnson authored 3 years ago and Andre Maroneze committed 2 years ago
  
  691310ec
- [ivette] check directories for import clashes · 3c258bac
  Loïc Correnson authored 3 years ago and Andre Maroneze committed 2 years ago
  
  3c258bac
- Merge branch 'fix/eva/ivette-functions' into 'master' · 858775a8
  Maxime Jacquemin authored 2 years ago
  
  [Eva] Requests: reloads the functions array when the computation state changes. See merge request frama-c/frama-c!3691
  858775a8
- Merge branch 'feature/eva/binding-operators' into 'master' · 69f8ba0f
  David Bühler authored 2 years ago
  
  Feature/eva/binding operators See merge request frama-c/frama-c!3678
  69f8ba0f
- [Eva] Lattice_bounds: open variants for Operators · f0d090c6
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  f0d090c6
- [Eva] Lattice_bounds: implements [join] and [narrow] for the Top module. · e1a55cba
  David Bühler authored 2 years ago
  
  e1a55cba
- [Eva] Lattice_bounds: shares more functions between Bottom, Top and TopBottom. · 96cc44f0
  David Bühler authored 2 years ago
  
  96cc44f0
- [Eva] Lattice_bounds: removes the coercion for functions [equal] and [compare]. · 56b8fb8c
  David Bühler authored 2 years ago
  
  56b8fb8c
- [Eva] Use binding operator · df8f7447
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  df8f7447
- [Eva] gather Top and Bottom into Lattice_bounds · bc2bd27d
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  bc2bd27d
- [Eva] add support for Top polymorphic variant · 8d63ea22
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  8d63ea22
- [Eva] use Bottom bindings operators · d93f8e70
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  d93f8e70
- [Eva] add bindings operators for Bottom · c1a32f17
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  c1a32f17
- Merge branch 'feature/ivette/eva-plugins-revamped' into 'master' · 6e6b6842
  David Bühler authored 2 years ago
  
  [ivette] Eva component revamped See merge request frama-c/frama-c!3659
  6e6b6842
Apr 05, 2022
- [ivette] Cleaner way of handling centering in function sections · deec8a6a
  Maxime Jacquemin authored 2 years ago
  
  deec8a6a