Code

Release v3.0.3#18

Code

Merged

sillydan1 merged 4 commits intomainsillydan1/expr:mainfrom devsillydan1/expr:devCopy head branch name to clipboardApr 23, 2024

+6-4

Commits

Commits on Apr 28, 2023

• chore: bump z3 version to z3-4.12.1 and expr version to v3.0.1

  

  Asger Gitz-Johansen

  committed
  94fd160

Commits on May 24, 2023

• fix: include cstdint in divide to get INT32_MIN macro

  sillydan1

  committed
  4a11d2f

• chore: update version

  sillydan1

  committed
  99b1a75

Commits on Sep 18, 2023

• core: update versions

  Show description for 01a5544
  sillydan1

  committed
  01a5544