Commits · bf5deb7b79375d9a807c55ab8ec4e6c903abab81 · pub / open-source-case-studies

Mar 07, 2025
- Merge branch 'sync-fc-master-2025-03-07' into 'master' · bf5deb7b
  Andre Maroneze authored 1 week ago
  
  synchronize with frama-c master See merge request !66
  bf5deb7b
- synchronize with frama-c master · 1ecbe737
  Andre Maroneze authored 1 week ago
  
  1ecbe737
Feb 24, 2025
- Merge branch 'fix/sync/master-2025-02-24' into 'master' · 5336d3c1
  Andre Maroneze authored 2 weeks ago
  
  sync with frama-c master See merge request !65
  5336d3c1
- sync with frama-c master · 618d3e6a
  Andre Maroneze authored 2 weeks ago
  
  618d3e6a
Feb 19, 2025
- Merge branch 'sync-master-syntactic-changes' into 'master' · 5e09194c
  Andre Maroneze authored 3 weeks ago
  
  synchronize with frama-c master See merge request !64
  5e09194c
- synchronize with frama-c master · 0dbbc418
  Andre Maroneze authored 3 weeks ago
  
  0dbbc418
- [line-following-robot] avoid mixing versions of stdio.h (now a kernel error) · d1d8cfef
  Andre Maroneze authored 3 weeks ago
  
  d1d8cfef
- [line-following-robot] ensure compilation with GCC 14 · 5048267b
  Andre Maroneze authored 3 weeks ago
  
  5048267b
Feb 13, 2025
- Merge branch 'update-mbedtls-machdep' into 'master' · 3e782873
  Andre Maroneze authored 4 weeks ago
  
  [mbedtls] update custom leon4 machdep See merge request !63
  3e782873
- [mbedtls] update leon4 machdep · 9823c58d
  Andre Maroneze authored 4 weeks 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