Commits · 254369d872938943a8b4d00f7ce98d825c3dbe60 · pub / open-source-case-studies

Jul 31, 2024
- 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 10 months ago
  
  synchronize with frama-c master See merge request !55
  c02cb6a1
May 16, 2024
- synchronize with frama-c master · 03351c17
  Andre Maroneze authored 10 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 1 year 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 1 year ago
  
  3a3caee3
- Merge branch 'sync/master' into 'master' · f9a4cbdc
  Andre Maroneze authored 1 year ago
  
  synchronize with frama-c master See merge request !52
  f9a4cbdc
- synchronize with frama-c master · 26ff926f
  Andre Maroneze authored 1 year ago
  
  26ff926f
Mar 20, 2024
- Merge branch 'fix/improve-gzip' into 'master' · f4f157fc
  Andre Maroneze authored 1 year ago
  
  [gzip124] improve parametrization See merge request !50
  f4f157fc
- [gzip124] improve parametrization · 481d0c58
  Andre Maroneze authored 1 year ago
  
  481d0c58
Mar 19, 2024
- Merge branch 'new/gnugo' into 'master' · afcd3024
  Andre Maroneze authored 1 year ago
  
  [gnugo] add case study See merge request !46
  afcd3024
- [gnugo] avoid wildcard in list of sources · 4c3bcefa
  Andre Maroneze authored 1 year ago
  
  4c3bcefa
- [gnugo] add some ACSL annotations · bfa768b6
  Remi Lazarini authored 1 year ago and Andre Maroneze committed 1 year 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 1 year 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 1 year ago
  
  4ed94277
- use local 'cloc' to ensure a stable summary.md; only include git-tracked files · 4f82e896
  Andre Maroneze authored 1 year 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
- [c-utils] add Frama-C makefile and oracles · f90a0d9a
  Remi Lazarini authored 1 year ago and Andre Maroneze committed 1 year ago
  
  f90a0d9a
- [c-utils] add some ACSL annotations and conditional defines · 27b6aefa
  Remi Lazarini authored 1 year ago and Andre Maroneze committed 1 year ago
  
  27b6aefa
- [c-utils] patches for better C23 compatibility · 3adb7a1d
  Remi Lazarini authored 1 year ago and Andre Maroneze committed 1 year ago
  
  3adb7a1d
- [c-utils] new case study (mostly original code; without Frama-C files) · b16879f9
  Remi Lazarini authored 1 year ago and Andre Maroneze committed 1 year ago
  
  b16879f9
- ignore VS Code files · 3fa93c1f
  Andre Maroneze authored 1 year ago
  
  3fa93c1f
Mar 07, 2024
- Merge branch 'garbled-mix-origin' into 'master' · 88833705
  Andre Maroneze authored 1 year ago
  
  Improved Eva messages about garbled mix See merge request !47
  88833705
- sync with frama-c master · 72610975
  Andre Maroneze authored 1 year ago
  
  72610975
- Enables all garbled-mix messages, which have been improved. · daa7ffcb
  David Bühler authored 1 year ago and Andre Maroneze committed 1 year ago
  
  daa7ffcb
Feb 26, 2024
- Bump Frama-C version. · 899869fe
  David Bühler authored 1 year ago
  
  899869fe
Jan 08, 2024
- sync with frama-c master · e5a57a5f
  Andre Maroneze authored 1 year ago
  
  e5a57a5f
Oct 26, 2023
- Merge branch 'new/mbedtls' into 'master' · 316d2beb
  Virgile Prevosto authored 1 year ago
  
  add mbedtls as case study See merge request !44
  MIEL-2023-10
  
  316d2beb