Code

Rebase master onto Scala 2.13#65

Code

Open

sankalpgambhir wants to merge 29 commits intouuverifiers:scala-2.13uuverifiers/eldarica:scala-2.13from sankalpgambhir:scala213-rebasesankalpgambhir/eldarica:scala213-rebaseCopy head branch name to clipboard

+721-620

Commits

Commits on Sep 15, 2024

• Cleans up and addresses some comments in Symex

  zafer-esen

  committed
  dff26f4

  Copy full SHA for dff26f4

Commits on Sep 16, 2024

• Merge pull request uuverifiers#63 from uuverifiers/symex-cleanup

  Show description for af01d3e
  zafer-esen

  authored
  af01d3e

  Copy full SHA for af01d3e

Commits on Sep 17, 2024

• Print models as s-lists

  sankalpgambhir

  committed
  084ebd0

  Copy full SHA for 084ebd0

Commits on Sep 18, 2024

• Update yices url, wget call in tests

  sankalpgambhir

  committed
  0f627ff

  Copy full SHA for 0f627ff

• Update answers wrt new model printing

  sankalpgambhir

  committed
  152bf3a

  Copy full SHA for 152bf3a

• Merge pull request uuverifiers#64 from sankalpgambhir/model-printing-fix2

  Show description for 45ae3bb
  pruemmer

  authored
  45ae3bb

  Copy full SHA for 45ae3bb

• Add explicit sbt version

  sankalpgambhir

  committed
  ecb4ea9

  Copy full SHA for ecb4ea9

• Port build and dependencies to 2.13.12

  sankalpgambhir

  committed
  8c21ca5

  Copy full SHA for 8c21ca5

• Port ASTree

  sankalpgambhir

  committed
  7dbc794

  Copy full SHA for 7dbc794

• Port cfg

  sankalpgambhir

  committed
  3e3a8d3

  Copy full SHA for 3e3a8d3

• Port abstractions

  sankalpgambhir

  committed
  d8e47e5

  Copy full SHA for d8e47e5

• Port accelerations

  sankalpgambhir

  committed
  ca4e593

  Copy full SHA for ca4e593

• Port bottomup

  sankalpgambhir

  committed
  7548c0d

  Copy full SHA for 7548c0d

• Port CCReader

  sankalpgambhir

  committed
  811af8f

  Copy full SHA for 811af8f

• Port HornCegar

  sankalpgambhir

  committed
  f68d128

  Copy full SHA for f68d128

• Port CUP parser

  sankalpgambhir

  committed
  1bc70f3

  Copy full SHA for 1bc70f3

• Port preprocessor

  sankalpgambhir

  committed
  3e65718

  Copy full SHA for 3e65718

• Port symex

  sankalpgambhir

  committed
  1b182e6

  Copy full SHA for 1b182e6

• Port nts

  sankalpgambhir

  committed
  8f51e58

  Copy full SHA for 8f51e58

• Port princessAPI

  sankalpgambhir

  committed
  762b48d

  Copy full SHA for 762b48d

• Port RelyGuarantee

  sankalpgambhir

  committed
  400b1bd

  Copy full SHA for 400b1bd

• Port utils

  sankalpgambhir

  committed
  ab3c688

  Copy full SHA for ab3c688

• replaced ArrayStack with Stack

  

  pruemmer

  authored and

  sankalpgambhir

  committed
  e5c8b42

  Copy full SHA for e5c8b42

• eliminated view bounds

  

  pruemmer

  authored and

  sankalpgambhir

  committed
  37c75a8

  Copy full SHA for 37c75a8

• merge

  

  pruemmer

  authored and

  sankalpgambhir

  committed
  7411ae1

  Copy full SHA for 7411ae1

• fixed failing test case

  

  pruemmer

  authored and

  sankalpgambhir

  committed
  0a8d0ff

  Copy full SHA for 0a8d0ff

• Merge branch 'scala-2.13' into scala213-rebase

  sankalpgambhir

  authored
  bf31354

  Copy full SHA for bf31354

• Scala 2.13 fixes

  sankalpgambhir

  committed
  14d0a24

  Copy full SHA for 14d0a24

• Request CI run on scala 2.13

  sankalpgambhir

  committed
  34fa2fe

  Copy full SHA for 34fa2fe