Code

Z3-alpha draft PR#65

Code

Merged

martinjonas merged 8 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom JohnLyu2:patch-1JohnLyu2/smt-comp.github.io:patch-1Copy head branch name to clipboardJun 18, 2024

+35

Commits

Commits on May 27, 2024

• Z3-alpha draft PR

  JohnLyu2

  authored
  3a0677a

Commits on May 31, 2024

• Add .json extension to Z3-alpha

  bobot

  committed
  7980af1

Commits on Jun 1, 2024

• first-version submission

  JohnLyu2

  authored
  57fe8d9

• Merge branch 'SMT-COMP:master' into patch-1

  JohnLyu2

  authored
  3ff0494

Commits on Jun 4, 2024

• Merge branch 'master' into patch-1

  bobot

  authored
  bf1e6d2

• Merge branch 'master' into patch-1

  bobot

  authored
  1ba109c

Commits on Jun 13, 2024

• second-time submission

  JohnLyu2

  committed
  be03601

• third submission

  JohnLyu2

  committed
  6cfd2b5