Code

Fixes related to Gazer 2.0#99

Code

Open

sallaigy wants to merge 24 commits intoftsrg:masterftsrg/gazer:masterfrom sallaigy:feature/fixes-dev-2.xsallaigy/gazer:feature/fixes-dev-2.xCopy head branch name to clipboard

+3,954-3,815

Commits

Commits on Sep 25, 2021

• Refactor topological sorts into their own classes

  sallaigy

  committed
  cb82587

  Copy full SHA for cb82587

• Some refactoring for BMC backend

  sallaigy

  committed
  716c3de

  Copy full SHA for 716c3de

• Introduce classof_iterator to filter and cast polymorphic ranges

  sallaigy

  committed
  89c01c4

  Copy full SHA for 89c01c4

• Remove NormalizeVerifierCalls pass, handle verifier function in SpecialFunctions

  sallaigy

  committed
  2eed431

  Copy full SHA for 2eed431

• Refactor Z3Solver

  sallaigy

  committed
  cfcdc2b

  Copy full SHA for cfcdc2b

• Variables created through GazerContext can no longer have name collisions

  sallaigy

  committed
  0436b2f

  Copy full SHA for 0436b2f

• Add tests and small fixes in BoundedModelChecker

  sallaigy

  committed
  3e1448a

  Copy full SHA for 3e1448a

• Move CFA inlining algorithm out of BoundedModelChecker.cpp

  sallaigy

  committed
  99d5b51

  Copy full SHA for 99d5b51

• Refactor ExprWalker to use virtual methods instead of CRTP

  sallaigy

  committed
  9cb6fdc

  Copy full SHA for 9cb6fdc

• Small fixes and refactorings

  sallaigy

  committed
  b1d8173

  Copy full SHA for b1d8173

• Rework CMake files

  sallaigy

  committed
  f9aca62

  Copy full SHA for f9aca62

• Fix code smells flagged by SonarLint

  sallaigy

  committed
  45b2a23

  Copy full SHA for 45b2a23

• Remove unneeded files

  sallaigy

  committed
  d0962d0

  Copy full SHA for d0962d0

• Add missing cases to ExprWalker and ExprRewrite

  sallaigy

  committed
  8e351c5

  Copy full SHA for 8e351c5

• Update Boost dependency to 1.74

  sallaigy

  committed
  8504317

  Copy full SHA for 8504317

• Upgrade to LLVM 12

  Show description for 04ff7c9
  

  sallaigy

  and

  radl97

  committed
  04ff7c9

  Copy full SHA for 04ff7c9

• Disable failing portfolio tests

  sallaigy

  committed
  8acd747

  Copy full SHA for 8acd747

• Mark some issues flagged by SonarLint

  sallaigy

  committed
  c75dfc0

  Copy full SHA for c75dfc0

• Download Boost instead of relying on OS packages

  sallaigy

  committed
  9d9146e

  Copy full SHA for 9d9146e

Commits on Sep 26, 2021

• Move BoundedModelChecker back to the Verifier directory

  sallaigy

  committed
  22baa3b

  Copy full SHA for 22baa3b

• Fix some build warnings

  sallaigy

  committed
  415e250

  Copy full SHA for 415e250

Commits on Sep 27, 2021

• CFA variable iteration should return pointers

  sallaigy

  committed
  ea7734c

  Copy full SHA for ea7734c

Commits on Oct 13, 2021

• GitHub actions experiment (#1)

  sallaigy

  authored
  8582926

  Copy full SHA for 8582926

Commits on Oct 29, 2021

• Change SonarCloud GH action scope

  sallaigy

  committed
  865b728

  Copy full SHA for 865b728