Code

Initial Devcontainer Setup#48

Code

Closed

sebasptsch wants to merge 5 commits intoSVF-tools:mainSVF-tools/Teaching-Software-Analysis:mainfrom sebasptsch:mainsebasptsch/Teaching-Software-Analysis:mainCopy head branch name to clipboard

+53-1

Commits

Commits on Aug 12, 2024

• devcontainer

  sebasptsch

  committed
  e6df255

  Copy full SHA for e6df255

• update gitignore

  sebasptsch

  committed
  5642dfc

  Copy full SHA for 5642dfc

• reference

  sebasptsch

  committed
  9cea8d7

  Copy full SHA for 9cea8d7

• remove *.cmake

  sebasptsch

  committed
  cf6865b

  Copy full SHA for cf6865b

Commits on Sep 18, 2024

• Merge branch 'SVF-tools:main' into main

  sebasptsch

  authored
  47e0929

  Copy full SHA for 47e0929