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

Mar 19, 2024
- [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
- [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
- [mbedtls] add test case · 6fae1906
  Virgile Prevosto authored 1 year ago
  
  6fae1906
Oct 25, 2023
- introduce analysis target with std x86_32 machdep for comparison · 6ec5fae4
  Virgile Prevosto authored 1 year ago
  
  6ec5fae4
Oct 23, 2023
- [mbedtls] normalize jcdb · 95a8dc2f
  Virgile Prevosto authored 1 year ago
  
  95a8dc2f
Oct 18, 2023
- add previously ignored source files · c3860ebc
  Virgile Prevosto authored 1 year ago
  
  c3860ebc
- bump Frama-C version · a41c1b36
  Virgile Prevosto authored 1 year ago
  
  a41c1b36
- bump Frama-C reference commit · 64c8773a
  Virgile Prevosto authored 1 year ago
  
  64c8773a
- finalize config for mbedtls test analysis · 42c5a7c8
  Virgile Prevosto authored 1 year ago
  
  42c5a7c8
- [mbedtls] disable inline asm · a7e08ea2
  Virgile Prevosto authored 1 year ago
  
  a7e08ea2
- [mbedtls] choose a smaller default target · f2b1d3ac
  Virgile Prevosto authored 1 year ago
  
  f2b1d3ac
- [mbedtls] do not allow for alternate printf et al. · a39a744d
  Virgile Prevosto authored 1 year ago
  
  a39a744d
- [path.mk] fix IVETTE path for local installation · 04b1b4dc
  Virgile Prevosto authored 1 year ago
  
  04b1b4dc
- [mbedtls] fix Makefile to have `fcmake` launch ssl-mini-client · e34350de
  Virgile Prevosto authored 1 year ago
  
  e34350de
- [mbedtls] use FS_IO to enable real test case. · 6d25c9c2
  Virgile Prevosto authored 1 year ago
  
  6d25c9c2
- [mbedtls] parsing succeeds · fb3e8ca8
  Virgile Prevosto authored 1 year ago
  
  fb3e8ca8
- use Frama-C 27.1 Cobalt as reference · e7fd4f4d
  Virgile Prevosto authored 1 year ago
  
  e7fd4f4d
- [mbedtls] prepare analysis with custom machdep · b8e5ec32
  Virgile Prevosto authored 1 year ago
  
  b8e5ec32
- add mbedtls 3.4.0 · 3564ead7
  Virgile Prevosto authored 1 year ago
  
  3564ead7
Oct 10, 2023
- sync with frama-c master · 21e13868
  Andre Maroneze authored 1 year ago
  
  21e13868
Sep 21, 2023
- sync with frama-c master · d06f6730
  Andre Maroneze authored 1 year ago
  
  d06f6730