Commits · 493da68734dd92c18e6b703eefbc72d128e69fa1 · pub / open-source-case-studies

Sep 07, 2022
- add comment and checks to path.mk to minimize errors · 493da687
  Andre Maroneze authored 2 years ago
  
  493da687
Apr 02, 2022
- add tags about dyn mem alloc/recursion/floats; link to summary in readme · 81c59f47
  Andre Maroneze authored 2 years ago
  
  81c59f47
Nov 15, 2021
- [verisec] add new case study: import files from Frama-C tests · 13d0116f
  Andre Maroneze authored 3 years ago
  
  13d0116f
May 18, 2021
- [c-testsuite] add new case study · 0ba3404a
  Andre Maroneze authored 4 years ago
  
  0ba3404a
Apr 27, 2021
- [tsvc] new case study · 532a564e
  Andre Maroneze authored 3 years ago
  
  532a564e
- update README.md · cc69b1bd
  Julien Signoles authored 3 years ago and Andre Maroneze committed 3 years ago
  
  cc69b1bd
Feb 11, 2021
- [ioccc] add 2020 IOCCC winners · 6d7560d3
  Andre Maroneze authored 4 years ago
  
  6d7560d3
Feb 02, 2021
- [genann] add new case study · b119465b
  Andre Maroneze authored 4 years ago
  
  b119465b
- [kgflags] add new case study · d82cd6ac
  Andre Maroneze authored 4 years ago
  
  d82cd6ac
Jan 29, 2021
- [libyaml] add new case study · f6c7b596
  Andre Maroneze authored 4 years ago
  
  f6c7b596
Nov 18, 2020
- sync with frama-c master and add Gitlab pipeline badge · 72c9adf4
  Andre Maroneze authored 4 years ago
  
  72c9adf4
Oct 02, 2020
- [miniz] new case study · e485640a
  Andre Maroneze authored 4 years ago
  
  e485640a
Aug 04, 2020
- [bench-moerman2018] add fixed version of test cases · 376640d2
  Dario Pinto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  376640d2
- [safestringlib] add Intel Safestringlib, ready for analysis · 40aec2aa
  Dario Pinto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  40aec2aa
May 05, 2020
- Initial commit · 63b59078
  Andre Maroneze authored 4 years ago
  
  63b59078