Commits · master · LustreC / Frama-C · GitLab

Snippets Groups Projects

Apr 11, 2022
- Merge branch 'fix/ivette/global-pivot-state' into 'master' · 32820e26
  Andre Maroneze authored Apr 11, 2022
  32820e26
- Merge branch 'feature/ivette/distrib' into 'master' · 2de14b67
  Andre Maroneze authored Apr 11, 2022
  2de14b67
- [ivette] Pivot table: uses a global state for the pivot table. · 0a7f1b77
  David Bühler authored Apr 11, 2022
  0a7f1b77
- Merge branch 'feature/eva/api' into 'master' · 779c765e
  Valentin Perrelle authored Apr 11, 2022
  779c765e
- [tests] fix keyword dep in a test · 606b2765
  Allan Blanchard authored Apr 11, 2022
  
  606b2765
- [make] fix src distributed makefile · e95ae674
  Loïc Correnson authored Mar 11, 2022
  
  e95ae674
- [ivette] fix header spec files specification · 86e66484
  Loïc Correnson authored Mar 11, 2022
  
  86e66484
- [ivette] new distribution scripts · 116fbbd9
  Loïc Correnson authored Mar 11, 2022
  116fbbd9
- [ivette] fix electron-builder dependency · ff237552
  Loïc Correnson authored Mar 11, 2022
  
  ff237552
- [makefile] use POSIX find flags · 4639f051
  Loïc Correnson authored Mar 11, 2022
  
  4639f051
Apr 08, 2022
- [pdg] Minor lint fix. · 2f515ef1
  Valentin Perrelle authored Apr 8, 2022
  
  2f515ef1
- [Eva] Exports [condition_truth_value] in the new Eva API. · 29c865bc
  David Bühler authored Apr 4, 2022
  29c865bc
- [from] Uses the new Eva API instead of Db.Value when possible. · 61f61907
  David Bühler authored Apr 4, 2022
  
  61f61907
- [metrics] Uses Eva.Analysis.self instead of Db.Value.self. · 957a5f33
  David Bühler authored Apr 4, 2022
  
  957a5f33
- [pdg] Uses the new Eva API instead of Db.Value. · f2dd7372
  David Bühler authored Apr 1, 2022
  
  f2dd7372
- [scope] Uses Eva.Results instead of Db.Value. · e361576f
  David Bühler authored Apr 1, 2022
  
  e361576f
- [callgraph] Uses Eva.Results instead of Db.Value. · 108c8881
  David Bühler authored Apr 1, 2022
  
  108c8881
- Merge branch 'fix/ivette/eva-details' into 'master' · 00b2b916
  Maxime Jacquemin authored Apr 8, 2022
  00b2b916
Apr 07, 2022
- Merge branch 'bufix/thibaut/initial-tls-too-short' into 'master' · 967d0453
  Julien Signoles authored Apr 7, 2022
  967d0453
- [e-acsl] add comment · ae693fc3
  Thibaut Benjamin authored Apr 6, 2022
  
  ae693fc3
- [e-acsl] first review · 2004fbc1
  Thibaut Benjamin authored Apr 5, 2022
  
  2004fbc1
- [eacsl] increase tls size to always include standard streams · 306c98f8
  Thibaut Benjamin authored Apr 1, 2022
  
  306c98f8
- [ivette] Fix offsetmap alignment · 82ed07db
  Maxime Jacquemin authored Apr 6, 2022
  
  82ed07db
- [ivette] Fix warning icones z-index · 8a422cf6
  Maxime Jacquemin authored Apr 6, 2022
  
  8a422cf6
- Merge branch 'feature/ivette/check-file-case' into 'master' · 43714dd5
  David Bühler authored Apr 7, 2022
  43714dd5
Apr 06, 2022
- [ivette] rename checkdir -> checkcase · 1b3be32b
  Andre Maroneze authored Apr 6, 2022
  
  1b3be32b
- [lint] fix headers · 5b0f5efe
  Loïc Correnson authored Apr 5, 2022
  
  5b0f5efe
- [ivette] fix doc url · 9ca4dd1a
  Loïc Correnson authored Apr 5, 2022
  
  9ca4dd1a
- [ivette] update distributed files · 51345417
  Loïc Correnson authored Apr 5, 2022
  
  51345417
- [ivette/makefile] headers specs · 3394f045
  Loïc Correnson authored Mar 31, 2022
  
  3394f045
- [ivette] revert to initial headers filter · 487588b7
  Loïc Correnson authored Mar 31, 2022
  
  487588b7
- [ivette] Makefile-based checkdir · d17613a8
  Loïc Correnson authored Mar 31, 2022
  
  d17613a8
- [ivette/eva] fix summary.css clash · 691310ec
  Loïc Correnson authored Mar 30, 2022
  
  691310ec
- [ivette] check directories for import clashes · 3c258bac
  Loïc Correnson authored Mar 30, 2022
  
  3c258bac
- Merge branch 'fix/eva/ivette-functions' into 'master' · 858775a8
  Maxime Jacquemin authored Apr 6, 2022
  858775a8
- Merge branch 'feature/eva/binding-operators' into 'master' · 69f8ba0f
  David Bühler authored Apr 6, 2022
  69f8ba0f
- [Eva] Lattice_bounds: open variants for Operators · f0d090c6
  Valentin Perrelle authored Apr 5, 2022
  
  f0d090c6
- [Eva] Lattice_bounds: implements [join] and [narrow] for the Top module. · e1a55cba
  David Bühler authored Apr 5, 2022
  
  e1a55cba
- [Eva] Lattice_bounds: shares more functions between Bottom, Top and TopBottom. · 96cc44f0
  David Bühler authored Apr 5, 2022
  
  96cc44f0
- [Eva] Lattice_bounds: removes the coercion for functions [equal] and [compare]. · 56b8fb8c
  David Bühler authored Apr 5, 2022
  
  56b8fb8c