Skip to content
Snippets Groups Projects
  1. May 04, 2023
    • David Bühler's avatar
      5419662c
    • David Bühler's avatar
      Retroactively updates the Changelog for Eva. · 68b959aa
      David Bühler authored
      - MR !4164: fixes interpretation of Eva annotations.
      - MR !3993: allows comments in .ya automata files and specifications about
        floating-point variables. Also, Eva shows the name of enumeration tags
        instead of their integer values.
      - MR !4147: ivette shows the status of uninitialized and escaping variables.
      - MR !4151: better display of large integer sets.
      - MR !4134: the values table can show the status of ACSL predicates, the values
        of C lvalues in these predicates, and the values of function parameters.
      - MR !4098: fixes a soundness bug of the equality domain.
      - MR !4065: fixes performances issues on programs with too many callsites.
      - MR !4015: fixes the bitwise domain on big-endian architecture.
      - MR !4046: better partitioning splits on ACSL predicates.
      68b959aa
  2. Mar 30, 2023
  3. Mar 27, 2023
  4. Mar 03, 2023
  5. Feb 15, 2023
  6. Jan 25, 2023
  7. Nov 23, 2022
  8. Oct 28, 2022
  9. Oct 27, 2022
  10. Oct 26, 2022
  11. Oct 14, 2022
  12. Oct 05, 2022
  13. Oct 03, 2022
  14. Sep 07, 2022
  15. Jul 29, 2022
  16. Jul 04, 2022
  17. Jun 07, 2022
  18. Jun 06, 2022
  19. May 11, 2022
  20. May 10, 2022
  21. May 04, 2022
  22. Apr 25, 2022
  23. Apr 22, 2022
  24. Mar 07, 2022
  25. Feb 25, 2022
  26. Feb 24, 2022
  27. Feb 23, 2022
  28. Feb 22, 2022
Loading