Code

Added specification transformation#317

Code

Merged

leventeBajczi merged 43 commits intomasterftsrg/theta:masterfrom add-spec-transformationftsrg/theta:add-spec-transformationCopy head branch name to clipboardNov 10, 2024

+756-166

Commits

Commits on Nov 8, 2024

• Added specification transformation

  leventeBajczi

  committed
  ec8e700

• Version bump

  leventeBajczi

  committed
  4240362

• Setting environment variables for VERIFIER_NAME and VERIFIER_VERSION

  leventeBajczi

  committed
  99fcca7

• Adding back commented out code

  leventeBajczi

  committed
  6333c3d

• Testing is now done per-rundef

  leventeBajczi

  committed
  f6858a9

• Merge branch 'master' into add-spec-transformation

  leventeBajczi

  authored
  e84bb7f

• Added logging to benchexec

  leventeBajczi

  committed
  c53de88

• updated download-upload artifacts

  leventeBajczi

  committed
  08a7829

• not hardcoding Theta

  leventeBajczi

  committed
  d7afc1b

• Fixed folder

  leventeBajczi

  committed
  82963ba

• Enhanced logging

  leventeBajczi

  committed
  ddb7d49

• Task -> rundef

  leventeBajczi

  committed
  8c153c9

• Handling multiple task sets in same rundef

  leventeBajczi

  committed
  054d2c6

Commits on Nov 9, 2024

• added binary building

  leventeBajczi

  committed
  0dd00be

• Fixed patch

  leventeBajczi

  committed
  b0a8927

• Fixed shell

  leventeBajczi

  committed
  3eeeb50

• Fixed cpachecker

  leventeBajczi

  committed
  5188d42

• clone

  leventeBajczi

  committed
  cc80afa

• java 17 for cpachecker

  leventeBajczi

  committed
  4c4902a

• fix path

  leventeBajczi

  committed
  2897b8e

• nuitka -> nuitka3

  leventeBajczi

  committed
  f3ae1c3

• installing fuse2 for nuitka

  leventeBajczi

  committed
  7b49199

• added yes yes

  leventeBajczi

  committed
  482945a

• Fixed SIGPIPE

  leventeBajczi

  committed
  d9cd03a

• Fix path

  leventeBajczi

  committed
  856cb84

• Moving fixed

  leventeBajczi

  committed
  daafb7c

• Trying to convince matrix to work

  leventeBajczi

  committed
  0bcadf5

• Trying to better support multiple zips

  leventeBajczi

  committed
  a06edc0

• removed unzipping

  leventeBajczi

  committed
  f8eee34

• Exiting on error

  leventeBajczi

  committed
  6889a57

Commits on Nov 10, 2024

• chmod +x

  leventeBajczi

  committed
  b357394

• Added better handling of java-17

  leventeBajczi

  committed
  269b6e6

• adding spec

  leventeBajczi

  committed
  f983e59

• Added guards to not rebuild specification-transformation all the time

  leventeBajczi

  committed
  e93ac4b

• Fix syntax

  leventeBajczi

  committed
  d3fccd9

• Fix syntax

  leventeBajczi

  committed
  f48feb5

• Added built library

  leventeBajczi

  committed
  f56af7d

• Added logging

  leventeBajczi

  committed
  b3d0145

• Syntax fix

  leventeBajczi

  committed
  2afac47

• Syntax fix

  leventeBajczi

  committed
  4caa36b

• Added env step

  leventeBajczi

  committed
  1a530bd

• Syntax fix

  leventeBajczi

  committed
  d9bc823

• Syntax fix

  leventeBajczi

  committed
  425511a