Code

Constant DC verification#510

Code

Open

xJoskiy wants to merge 9 commits intoDesbordante:mainDesbordante/desbordante-core:mainfrom xJoskiy:DC-verificationxJoskiy/Desbordante:DC-verificationCopy head branch name to clipboard

+823-307

Commits

Commits on Feb 7, 2025

• Add DC verifier highlights

  xJoskiy

  committed
  b2172e1

  Copy full SHA for b2172e1

• Add DC parser that allows constants

  xJoskiy

  committed
  98b065c

  Copy full SHA for 98b065c

• Reorganize checking methods for dc

  xJoskiy

  committed
  dbb144f

  Copy full SHA for dbb144f

• Add constant DC verification support

  xJoskiy

  committed
  dd13911

  Copy full SHA for dd13911

• Add string represantation of a rectangle

  xJoskiy

  committed
  aa7c405

  Copy full SHA for aa7c405

• Add data cleaning scenario

  xJoskiy

  committed
  7db5c7c

  Copy full SHA for 7db5c7c

• Add do_collect_violations option

  Show description for 639f89d
  xJoskiy

  committed
  639f89d

  Copy full SHA for 639f89d

• Add tuple enum

  xJoskiy

  committed
  992bb4b

  Copy full SHA for 992bb4b

Commits on Feb 9, 2025

• Add macOS compatability

  xJoskiy

  committed
  16a6c92

  Copy full SHA for 16a6c92