Commits · e361576f3affac9ccef21543db61f7dfc88f6e5d · pub / frama-c · GitLab

Snippets Groups Projects

Apr 08, 2022
- [scope] Uses Eva.Results instead of Db.Value. · e361576f
  David Bühler authored 2 years ago
  
  e361576f
- [callgraph] Uses Eva.Results instead of Db.Value. · 108c8881
  David Bühler authored 2 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 2 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 2 years ago and Andre Maroneze committed 2 years ago
  
  3394f045
- [ivette] revert to initial headers filter · 487588b7
  Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago
  
  487588b7
- [ivette] Makefile-based checkdir · d17613a8
  Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago
  
  d17613a8
- [ivette/eva] fix summary.css clash · 691310ec
  Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago
  
  691310ec
- [ivette] check directories for import clashes · 3c258bac
  Loïc Correnson authored 2 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 2 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
- [Eva] Requests: reloads the functions array when the computation state changes. · b50729b2
  David Bühler authored 2 years ago
  
  Information about analyzed functions may change when the analysis computation state changes.
  b50729b2
- [ivette] Eva component: improves title texts. · b51afcb3
  David Bühler authored 2 years ago
  
  b51afcb3
- [ivette] Eva component: minor css fixes. · 464bb243
  David Bühler authored 2 years ago
  
  464bb243
- [ivette] Eva component: removes an unnecessary type coercion. · 5c0de915
  David Bühler authored 2 years ago
  
  5c0de915
- [ivette] Cleaning the Eva component · b1f3fe7d
  Maxime Jacquemin authored 2 years ago
  
  b1f3fe7d
- [ivette] Fix missing dependencies · 79d1a7e9
  Maxime Jacquemin authored 2 years ago
  
  79d1a7e9
- [ivette] Keep the Eva state when changing view · b9842857
  Maxime Jacquemin authored 2 years ago
  
  b9842857
- [ivette] Improve general feeling · f0f29c47
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  f0f29c47