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

09 Sep, 2020 1 commit
- sync with frama-c master; avoid deprecated Eva options · c7d41b5e
  Andre Maroneze authored Sep 09, 2020
  
  c7d41b5e
04 Aug, 2020 5 commits
- Merge branch 'infer/bench_moerman' into 'master' · af0cf8c2
  Andre Maroneze authored Aug 04, 2020
```
Infer/bench moerman

See merge request !5
```
  af0cf8c2
- [bench-moerman2018] add makefile, script and summary results for Infer · fe5e4dcf
  Dario Pinto authored Jul 28, 2020
  
  fe5e4dcf
- [bench-moerman2018] add fixed version of test cases · 376640d2
  Dario Pinto authored Jul 17, 2020
  
  376640d2
- Merge branch 'oscs-contribute/dario/add-intelsafestrlib' into 'master' · ae96f56e
  Andre Maroneze authored Aug 04, 2020
```
[add] Intel Safestringlib, ready for analysis

See merge request !1
```
  ae96f56e
- [safestringlib] add Intel Safestringlib, ready for analysis · 40aec2aa
  Dario Pinto authored Jul 03, 2020
  
  40aec2aa
03 Aug, 2020 4 commits
- update (unstable?) oracles · 14fd0be2
  Andre Maroneze authored Aug 03, 2020
  
  14fd0be2
- Merge branch 'feature/andre/choc-simplification-analysis-scripts' into 'master' · 5dc54284
  Andre Maroneze authored Aug 03, 2020
```
use new Makefile structure

See merge request !2
```
  5dc54284
- add a summary target · 863ecb96
  Valentin Perrelle authored Jul 30, 2020
  
  863ecb96
- use new Makefile structure · 3ac423f1
  Andre Maroneze authored Jun 09, 2020
  
  3ac423f1
09 Jun, 2020 1 commit
- sync with frama-c master · 4ef431af
  Andre Maroneze authored Jun 09, 2020
  
  4ef431af
29 May, 2020 1 commit
- sync with frama-c master · 2951f7fd
  Andre Maroneze authored May 29, 2020
  
  2951f7fd
18 May, 2020 1 commit
- sync with frama-c master · bc45b051
  Andre Maroneze authored May 18, 2020
  
  bc45b051
05 May, 2020 1 commit
- Initial commit · 63b59078
  Andre Maroneze authored Apr 10, 2020
  
  63b59078