Code

Ordered constraint accumulation#4249

Code

Merged

PetarMax merged 5 commits intodevelopruntimeverification/k:developfrom petar/constraint-orderruntimeverification/k:petar/constraint-orderCopy head branch name to clipboardApr 22, 2024

+102-7

Commits

Commits on Apr 22, 2024

• ordered constraint accumulation

  PetarMax

  committed
  fa98dd3

  Copy full SHA for fa98dd3

• removing sorting altogether from CTerm constraints

  PetarMax

  committed
  8318e72

  Copy full SHA for 8318e72

• order of constraints in anti-unification test

  PetarMax

  committed
  faddf98

  Copy full SHA for faddf98

• correction in ordering of constraints

  PetarMax

  committed
  2ba0982

  Copy full SHA for 2ba0982

• Merge remote-tracking branch 'origin/develop' into petar/constraint-order

  PetarMax

  committed
  dd26ca9

  Copy full SHA for dd26ca9