Commits · 3adb7a1dd33e74e8b5b1efef987b5fad03b7ce2f · pub / open-source-case-studies · GitLab

Snippets Groups Projects

Mar 08, 2024
- [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
- partially sync with frama-c master · d06339d2
  Andre Maroneze authored 1 year ago
  
  d06339d2
Sep 06, 2023
- Merge branch 'add-stmr' into 'master' · edc3bf87
  Andre Maroneze authored 1 year ago
  
  [stmr] add case study See merge request !43
  edc3bf87
Sep 05, 2023
- [stmr] add case study · 9c254423
  Andre Maroneze authored 1 year ago
  
  9c254423
Jul 19, 2023

Merge branch 'sync-master' into 'master' · 0e40a316

Andre Maroneze authored 1 year ago

Updates nonterm logs: the display order of some callstacks changes.

See merge request !42

0e40a316

Jul 13, 2023
- Updates nonterm logs: the display order of some callstacks changes. · 7fef780b
  David Bühler authored 1 year ago
  
  This follows MR frama-c/frama-c!4207.
  7fef780b
- Updates ioccc results. · 0beafc5a
  David Bühler authored 1 year ago
  
  0beafc5a
Jun 06, 2023
- [chrony] remove obsolete files · ace2f812
  Andre Maroneze authored 1 year ago
  
  ace2f812
Jun 02, 2023
- Merge branch 'stable/cobalt' into 'master' · 4e634ded
  Andre Maroneze authored 1 year ago
  
  synchronize with stable/cobalt See merge request !41
  4e634ded
May 23, 2023
- synchronize with stable/cobalt · 13780856
  Andre Maroneze authored 1 year ago
  
  13780856
Apr 24, 2023
- synchronize with frama-c master · e44462d3
  Andre Maroneze authored 1 year ago
  
  e44462d3
Feb 23, 2023
- synchronize with frama-c master · e90a5474
  Andre Maroneze authored 2 years ago
  
  e90a5474
Feb 01, 2023
- Merge branch 'new/line-following-robot' into 'master' · 0b0dd9d2
  Andre Maroneze authored 2 years ago
  
  [line-following-robot] add case study See merge request !39
  0b0dd9d2