Code

Runs but confusing result#868

Code

Draft

TheOneAndOnlyTobi wants to merge 10 commits intovara-devse-sic/VaRA-Tool-Suite:vara-devfrom tobiBachelorse-sic/VaRA-Tool-Suite:tobiBachelorCopy head branch name to clipboard

+3,518-34

Commits

Commits on Nov 28, 2023

• Runs but confusing result

  

  Tobias Mirco Schiffmann

  committed
  79ff8a6

Commits on Nov 30, 2023

• Cleaned up

  

  Tobias Mirco Schiffmann

  committed
  5bc50f1

Commits on Dec 19, 2023

• fixes & added project

  

  Tobias Mirco Schiffmann

  committed
  744ac65

Commits on Dec 21, 2023

• Changed files

  

  Tobias Mirco Schiffmann

  committed
  d828860

Commits on Jan 25, 2024

• Merge branch 'vara-dev' into tobiBachelor

  vulder

  authored
  55fb101

• Configs for all projects - working for picosat and gzip

  

  Tobias Mirco Schiffmann

  committed
  8d6acb2

Commits on Feb 11, 2024

• Merge branch 'vara-dev' into tobiBachelor

  vulder

  authored
  efce841

• Quick fixes loading of incomplete trace files

  vulder

  committed
  98e6761

Commits on Feb 20, 2024

• New Version

  

  Tobias Mirco Schiffmann

  committed
  76c4427

Commits on Feb 26, 2024

• Updates for all projects

  

  Tobias Mirco Schiffmann

  committed
  12188c7