Skip to content

History / 5 REQ exchange

Revisions

  • Clarify trace to coverage mapping and improve change detection

    @mhatzl mhatzl committed Oct 26, 2025
  • Move satisfy/verify to trace kind Avoids overlap with custom properties

    @mhatzl mhatzl committed Aug 8, 2025
  • fix: improve reqs for reviews & change detection

    @mhatzl mhatzl committed Jun 14, 2025
  • fix: define ids for trace & test data + restructure lang tracing

    @mhatzl mhatzl committed Jun 5, 2025
  • fix: refine test & coverage exchange reqs

    Manuel Hatzl committed Jun 4, 2025
  • fix: refine trace requirements

    Manuel Hatzl committed Jun 2, 2025
  • fix: restructure requirements section

    Manuel Hatzl committed May 31, 2025
  • feat: update wiki content

    @mhatzl mhatzl committed Jan 30, 2025