Code

dep(z3): pin 4.12.2 in pyproject#236

Code

Merged

daejunpark merged 2 commits intomaina16z/halmos:mainfrom dep/z3-pina16z/halmos:dep/z3-pinCopy head branch name to clipboardDec 21, 2023

+2-7

Commits

Commits on Dec 21, 2023

• dep(z3): pin 4.12.2 in pyproject

  daejunpark

  authored
  53b8435

  Copy full SHA for 53b8435

• remove install requirements.txt

  daejunpark

  committed
  82b3651

  Copy full SHA for 82b3651