Skip to content

Conversation

@bobot
Copy link
Contributor

@bobot bobot commented Aug 7, 2025

No description provided.

@bobot bobot changed the base branch from master to 2025_final_execution August 7, 2025 22:58
@github-actions
Copy link

github-actions bot commented Aug 7, 2025

Summary of modified submissions

Z3-alpha-base

  • 1 authors
  • website: https://github.com/Z3Prover/z3
  • Participations
    • SingleQuery
      • Arith
        • all
      • QF_Bitvec
        • all
      • QF_LinearIntArith
        • all
      • QF_LinearRealArith
        • all
      • QF_NonLinearIntArith
        • all
      • QF_NonLinearRealArith
        • all
      • QF_Strings
        • all

@bobot bobot force-pushed the generate_graphics branch from 8ead8cd to 4fa740b Compare August 7, 2025 23:00
@bobot bobot force-pushed the 2025_final_execution branch from a7e55a8 to 01c9928 Compare August 7, 2025 23:03
@bobot bobot force-pushed the generate_graphics branch 4 times, most recently from 7f56acf to 7f96b9c Compare August 8, 2025 11:47
@bobot bobot force-pushed the generate_graphics branch from 7f96b9c to 0ac9847 Compare August 8, 2025 11:49
@bobot bobot force-pushed the generate_graphics branch from 35aff71 to 050010e Compare August 8, 2025 13:42
@bobot bobot merged commit 8d9247a into SMT-COMP:2025_final_execution Aug 8, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant