Commits · master · pub / sate-6

05 Aug, 2022 1 commit
- [readme] update link to Frama-C blog post · bbae597a
  Andre Maroneze authored Aug 05, 2022
  
  bbae597a
25 Mar, 2022 1 commit
- update oracles due to changes in Frama-C master · 492c3630
  Andre Maroneze authored Mar 25, 2022
  
  492c3630
03 Feb, 2022 1 commit
- Merge branch 'improve-performance' into 'master' · 1f93c117
  Andre Maroneze authored Feb 03, 2022
```
improve performance

See merge request !1
```
  1f93c117
02 Feb, 2022 5 commits
- re-fix load balancing, and print average+ETA · b74ea4a8
  Andre Maroneze authored Jan 20, 2022
  
  b74ea4a8
- avoid excessive parallelization · 3770c3f8
  Andre Maroneze authored Jan 19, 2022
  
  3770c3f8
- minimize parsing of libc · fd6c2b9c
  Andre Maroneze authored Jan 19, 2022
  
  fd6c2b9c
- avoid calls to frama-c-config · 10c3afff
  Andre Maroneze authored Jan 19, 2022
  
  10c3afff
- improve test performance · 70ef116f
  Andre Maroneze authored Jan 19, 2022
  
  70ef116f
18 Jan, 2022 1 commit
- update oracles for Frama-C post-24.0 (pre-Manganese) · 57e9e1c6
  Andre Maroneze authored Jan 18, 2022
  
  57e9e1c6
01 Mar, 2021 1 commit
- update analysis.sh and oracles w.r.t. Frama-C master (pre-23.0) · c34a6ec2
  Andre Maroneze authored Feb 27, 2021
  
  c34a6ec2
05 Jun, 2020 1 commit
- fix frama-c-path.sh · 43099279
  Andre Maroneze authored Jun 05, 2020
  
  43099279
27 May, 2020 2 commits
- update oracles for Frama-C 21.0 Scandium · 2c681dd0
  Andre Maroneze authored May 27, 2020
  
  2c681dd0
- Initial commit (import from Github, updated README and analyze.sh) · 5a2aa423
  Andre Maroneze authored May 27, 2020
  
  5a2aa423