Skip to content
Snippets Groups Projects
  1. Mar 19, 2024
  2. Mar 08, 2024
  3. Sep 26, 2022
  4. Nov 15, 2021
    • Andre Maroneze's avatar
      [verisec] apply several patches; add Frama-C/Eva analyses · 5126174d
      Andre Maroneze authored
      Note: several "ok" tests still contain warnings; in some cases, they seem
      inevitable, but others can be improved by adding C stubs, ACSL annotations,
      or improving the precision in other ways. They may also contain real bugs
      which have not yet been patched.
      5126174d
  5. Jan 29, 2021
  6. Oct 30, 2020
  7. Aug 03, 2020
  8. May 05, 2020
Loading