Code

Upgrade SMACK to support LLVM 13#784

Code

Open

shaobo-he wants to merge 6 commits intodevelopsmackers/smack:developfrom llvm-13smackers/smack:llvm-13Copy head branch name to clipboard

+150-193

Commits

Commits on Mar 31, 2022

• Upgrade SMACK to support LLVM 13

  shaobo-he

  committed
  7937ebd

  Copy full SHA for 7937ebd

• Upgrade Rust support to edition 2021

  Show description for 95afc3b
  shaobo-he

  committed
  95afc3b

  Copy full SHA for 95afc3b

• Unified the conversion from APInt to std::string

  Show description for ac6bb46
  shaobo-he

  committed
  ac6bb46

  Copy full SHA for ac6bb46

• Restored sea-dsa link

  shaobo-he

  committed
  3cb0cb8

  Copy full SHA for 3cb0cb8

Commits on Sep 16, 2023

• Merge remote-tracking branch 'origin/develop' into llvm-13

  shaobo-he

  committed
  ad4a3f0

  Copy full SHA for ad4a3f0

• fixed script formatting

  shaobo-he

  committed
  919db8e

  Copy full SHA for 919db8e