Code

Auto build when files change.#30

Code

Merged

RaoulSchaffranek merged 4 commits intomasterruntimeverification/simbolik-vscode:masterfrom raoul/build-on-demandruntimeverification/simbolik-vscode:raoul/build-on-demandCopy head branch name to clipboardJan 13, 2025

+148-72

Commits

Commits on Jan 10, 2025

• Auto build when files change.

  RaoulSchaffranek

  committed
  1254e51

  Copy full SHA for 1254e51

• Don't compile if autobuild is set to never

  RaoulSchaffranek

  committed
  f7186d0

  Copy full SHA for f7186d0

• Remove unused config option 'enable-parameters'

  RaoulSchaffranek

  committed
  fa9f0b6

  Copy full SHA for fa9f0b6

Commits on Jan 13, 2025

• Fix typo and update README and CHANGELOG

  RaoulSchaffranek

  committed
  1753732

  Copy full SHA for 1753732