Commits · 3e7828735ef9b40d89b94a229c0472f67ec63769 · pub / open-source-case-studies

Feb 13, 2025
- Merge branch 'update-mbedtls-machdep' into 'master' · 3e782873
  Andre Maroneze authored 1 month ago
  
  [mbedtls] update custom leon4 machdep See merge request !63
  3e782873
- [mbedtls] update leon4 machdep · 9823c58d
  Andre Maroneze authored 1 month ago
  
  9823c58d
Feb 03, 2025
- Merge branch 'synchronize-with-master' into 'master' · b2c52b33
  Andre Maroneze authored 1 month ago
  
  synchronize with frama-c master See merge request !62
  b2c52b33
- synchronize with frama-c master · 9a45d44a
  Andre Maroneze authored 1 month ago
  
  9a45d44a
Jan 31, 2025
- update Docker image for CI (dev-stripped is no longer updated) · e9ada7fe
  Andre Maroneze authored 1 month ago
  
  e9ada7fe
Jan 10, 2025
- Merge branch 'feature/bdesloges/show-stats-all' into 'master' · 11089657
  Andre Maroneze authored 2 months ago
  
  Add a possible parameter "all" for show_stats.sh See merge request !61
  11089657
- Add a possible parameter "all" for show_stats.sh · 76bcbb97
  Basile Desloges authored 2 months ago and Andre Maroneze committed 2 months ago
  
  76bcbb97
Aug 19, 2024
- Merge branch 'new/powerwindow' into 'master' · 658dae4c
  Andre Maroneze authored 6 months ago
  
  New/powerwindow See merge request !54
  658dae4c
- [powerwindow] Eva analysis added · cfd30faa
  Remi Lazarini authored 9 months ago and Andre Maroneze committed 6 months ago
  
  cfd30faa
- [powerwindow] new case study · 7ad90113
  Remi Lazarini authored 10 months ago and Andre Maroneze committed 6 months ago
  
  7ad90113
Jul 31, 2024
- Merge branch 'sync-master' into 'master' · 224cf6c5
  Andre Maroneze authored 7 months ago
  
  synchronize with frama-c master See merge request !57
  224cf6c5
- synchronize with frama-c master · 254369d8
  Andre Maroneze authored 7 months ago
  
  254369d8
Jun 26, 2024
- synchronize with frama-c master · 558860f3
  Andre Maroneze authored 8 months ago
  
  558860f3
Jun 25, 2024
- synchronize with frama-c master · 130ba6aa
  Andre Maroneze authored 8 months ago
  
  130ba6aa
Jun 05, 2024
- [papabench] remove volatile modifier to avoid overly imprecise results;... · f688dbd4
  Andre Maroneze authored 9 months ago
  
  [papabench] remove volatile modifier to avoid overly imprecise results; improve analysis parametrization
  f688dbd4
Jun 04, 2024
- [papabench] remove obsolete annotation · 7e64dc41
  Andre Maroneze authored 9 months ago
  
  7e64dc41
- [debie1] remove unnecessary annotation · 228b62a1
  Andre Maroneze authored 9 months ago
  
  228b62a1
May 17, 2024
- Merge branch 'sync-with-frama-c' into 'master' · c02cb6a1
  Andre Maroneze authored 9 months ago
  
  synchronize with frama-c master See merge request !55
  c02cb6a1
May 16, 2024
- synchronize with frama-c master · 03351c17
  Andre Maroneze authored 9 months ago
  
  03351c17
Apr 05, 2024
- synchronize with frama-c master · 6d95c492
  Andre Maroneze authored 11 months ago
  
  6d95c492
Mar 27, 2024
- makefile: prioritize starting long-running targets before others · d56dbd2b
  Andre Maroneze authored 11 months ago
  
  d56dbd2b
- synchronize with frama-c master · d38e7a82
  Andre Maroneze authored 11 months ago
  
  d38e7a82
Mar 21, 2024
- Merge branch 'ci-add-summary' into 'master' · e4124649
  Andre Maroneze authored 11 months ago
  
  check that summary.md is up-to-date via the CI See merge request !51
  e4124649
- check that summary.md is up-to-date via the CI · 3a3caee3
  Andre Maroneze authored 11 months ago
  
  3a3caee3
- Merge branch 'sync/master' into 'master' · f9a4cbdc
  Andre Maroneze authored 11 months ago
  
  synchronize with frama-c master See merge request !52
  f9a4cbdc
- synchronize with frama-c master · 26ff926f
  Andre Maroneze authored 11 months ago
  
  26ff926f
Mar 20, 2024
- Merge branch 'fix/improve-gzip' into 'master' · f4f157fc
  Andre Maroneze authored 11 months ago
  
  [gzip124] improve parametrization See merge request !50
  f4f157fc
- [gzip124] improve parametrization · 481d0c58
  Andre Maroneze authored 11 months ago
  
  481d0c58
Mar 19, 2024
- Merge branch 'new/gnugo' into 'master' · afcd3024
  Andre Maroneze authored 11 months ago
  
  [gnugo] add case study See merge request !46
  afcd3024
- [gnugo] avoid wildcard in list of sources · 4c3bcefa
  Andre Maroneze authored 11 months ago
  
  4c3bcefa
- [gnugo] add some ACSL annotations · bfa768b6
  Remi Lazarini authored 1 year ago and Andre Maroneze committed 11 months ago
  
  bfa768b6
- [gnugo] reparametrize analysis to speed it up · 891378ef
  Andre Maroneze authored 1 year ago
  
  891378ef
- [gnugo] add case study · 281a5d68
  Andre Maroneze authored 1 year ago
  
  281a5d68
- Merge branch 'fix/cloc-and-summary' into 'master' · 71461722
  Andre Maroneze authored 11 months ago
  
  use local 'cloc' to ensure a stable summary.md; only include git-tracked files See merge request !49
  71461722
- [stmr] avoid non-ASCII character · 4ed94277
  Andre Maroneze authored 11 months ago
  
  4ed94277
- use local 'cloc' to ensure a stable summary.md; only include git-tracked files · 4f82e896
  Andre Maroneze authored 11 months ago
  
  4f82e896
Mar 15, 2024
- update and fix summary.md · ba13b153
  Andre Maroneze authored 1 year ago
  
  ba13b153
- [mbedtls] add missing OSCS-README.txt · 195c45a6
  Andre Maroneze authored 1 year ago
  
  195c45a6
Mar 12, 2024
- [stmr] add missing path.mk · 13565ce2
  Andre Maroneze authored 1 year ago
  
  13565ce2
Mar 08, 2024
- Merge branch 'c-utils' into 'master' · d1860299
  Andre Maroneze authored 1 year ago
  
  C utils See merge request !48
  d1860299