Code

Ordering instance for Sentences#3590

Code

Merged

rv-jenkins merged 10 commits intodevelopruntimeverification/k:developfrom sentenceOrderingruntimeverification/k:sentenceOrderingCopy head branch name to clipboardAug 29, 2023

+251-21

Commits

Commits on Aug 24, 2023

• Ordering instance for Sentences

  gtrepta

  committed
  67b7b8b

  Copy full SHA for 67b7b8b

• Give pre-existing orderings the same style

  gtrepta

  committed
  787036f

  Copy full SHA for 787036f

• Unit tests

  gtrepta

  committed
  3510547

  Copy full SHA for 3510547

Commits on Aug 28, 2023

• Include attributes when sorting

  gtrepta

  committed
  5273892

  Copy full SHA for 5273892

• Merge branch 'develop' into sentenceOrdering

  gtrepta

  committed
  a612ccd

  Copy full SHA for a612ccd

• Fix test output

  gtrepta

  committed
  84a32c7

  Copy full SHA for 84a32c7

Commits on Aug 29, 2023

• Handle cases where the types are dynamic

  gtrepta

  committed
  298575b

  Copy full SHA for 298575b

• More exhaustive comparisons that don't miss the dynamic typing case

  gtrepta

  committed
  8ecdf4f

  Copy full SHA for 8ecdf4f

• Include attributes in testing order and rework the control flow

  gtrepta

  committed
  b63227e

  Copy full SHA for b63227e

• Merge branch 'develop' into sentenceOrdering

  rv-jenkins

  authored
  3d4ba08

  Copy full SHA for 3d4ba08