Commits · 3394f045ae47afb367008ade7bc92c7b1b2bc092 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 06, 2022
- [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
- [ivette] Simpler and cleaner handling of warnings · 15e6e717
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  15e6e717
- [ivette] Little fix · 8ae6582e
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  8ae6582e
- [ivette] English fix · 29f0d84d
  Maxime Jacquemin authored 2 years ago
  
  29f0d84d
- [ivette] Fix missing dependencies in React hooks · 3691200d
  Maxime Jacquemin authored 2 years ago
  
  3691200d
- [ivette] Ellipsis overflow for long expressions · a8bf96fd
  Maxime Jacquemin authored 2 years ago
  
  a8bf96fd
- [ivette] Better handling of selected callstack · c18e9b55
  Maxime Jacquemin authored 2 years ago
  
  c18e9b55
- [ivette] Get ride of the SelectedProbeInfo component · 520b966f
  Maxime Jacquemin authored 2 years ago
  
  520b966f
- [ivette] Always display the number of callstacks · 74bdfe67
  Maxime Jacquemin authored 2 years ago
  
  74bdfe67
- [ivette] Display the number of callstacks · 5c2089c8
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  5c2089c8
- [ivette] Better feeling in callstack display & bug fix · cc5a27a5
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  cc5a27a5
- [ivette] Handling too many functions · 02d1bf41
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  02d1bf41
- [ivette] A better solution to text selection · cc0b58c5
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  cc0b58c5
- [ivette] Little bug fix, values text can be selected · f8e8a2ff
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  f8e8a2ff
- [ivette] Remove useless `D` cell, clean handle when only one callstack · f11aa565
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  f11aa565