Code

Add skip parameter to python scripts#96

Code

Merged

lemmy merged 4 commits intotlaplus:mastertlaplus/Examples:masterfrom ahelwer:ci-script-excludeahelwer/Examples:ci-script-excludeCopy head branch name to clipboardNov 14, 2023

+64-47

Commits

Commits on Nov 11, 2023

• Move skipped models list from script to CI

  Show description for 90f9c4b
  ahelwer

  committed
  90f9c4b

  Copy full SHA for 90f9c4b

• Normalize before comparing skip paths

  Show description for 1124316
  ahelwer

  committed
  1124316

  Copy full SHA for 1124316

• Added skip parameter to parse and small model scripts

  Show description for 6a36a86
  ahelwer

  committed
  6a36a86

  Copy full SHA for 6a36a86

• Added skip parameter to proof checking script

  Show description for 7d2fea7
  ahelwer

  committed
  7d2fea7

  Copy full SHA for 7d2fea7