Code

Cmake modernisation#66

Code

Merged

yuleisui merged 15 commits intoSVF-tools:masterSVF-tools/SVF-example:masterfrom bjjwwang:cmake_modernisationbjjwwang/SVF-example:cmake_modernisationCopy head branch name to clipboardFeb 14, 2024

+135-87

Commits

Commits on Jan 2, 2024

• Updated CMakeLists scripts to modernisation from #1305 in the main SVF repository

  Johanmyst

  committed
  d75a3b2

  Copy full SHA for d75a3b2

Commits on Jan 16, 2024

• Update CMakeLists.txt

  yuleisui

  authored
  3add53f

  Copy full SHA for 3add53f

Commits on Jan 22, 2024

• Merge branch 'SVF-tools:master' into cmake_modernisation

  Johanmyst

  authored
  61652c2

  Copy full SHA for 61652c2

• Updated build system; use legacy import system when SVF CMake package cannot be found

  Johanmyst

  committed
  23e90e2

  Copy full SHA for 23e90e2

• Oops; left the "NOT" in the CMakeLists.txt for testing the legacy approach; my bad

  Johanmyst

  committed
  887c074

  Copy full SHA for 887c074

• Also reverted back to legacy inclusion mode for Z3 package

  Johanmyst

  committed
  89933a9

  Copy full SHA for 89933a9

• Fixed z3 importing/linking

  Johanmyst

  committed
  9f53f34

  Copy full SHA for 9f53f34

Commits on Feb 12, 2024

• compatible with latest SVF

  Show description for cf716df
  

  bjjwwang

  and

  Johanmyst

  committed
  cf716df

  Copy full SHA for cf716df

Commits on Feb 13, 2024

• fix CMakelist

  

  bjjwwang

  committed
  587459a

  Copy full SHA for 587459a

• fix svfex cpp

  

  bjjwwang

  committed
  543dfd5

  Copy full SHA for 543dfd5

• Merge branch 'master' into cmake_modernisation

  bjjwwang

  authored
  c287fc1

  Copy full SHA for c287fc1

• fix svfex cpp

  

  bjjwwang

  committed
  cf0474a

  Copy full SHA for cf0474a

• add llvm output

  

  bjjwwang

  committed
  4709269

  Copy full SHA for 4709269

• reformat the layout`

  

  bjjwwang

  committed
  dcdfb5f

  Copy full SHA for dcdfb5f

Commits on Feb 14, 2024

• fix for SVF

  

  bjjwwang

  committed
  c5e1aa9

  Copy full SHA for c5e1aa9