Code

Add alternative Picosat Project#872

Code

Merged

vulder merged 11 commits intovara-devse-sic/VaRA-Tool-Suite:vara-devfrom f-PicoSat-varase-sic/VaRA-Tool-Suite:f-PicoSat-varaCopy head branch name to clipboardFeb 20, 2024

+157-9

Commits

Commits on Jan 30, 2024

• - Added class for adapted picosat project

  

  Lukas Abelt

  committed
  e1ed49f

• - Adapted project name for picosat fork

  

  Lukas Abelt

  committed
  d03d059

• Merge branch 'vara-dev' into f-PicoSat-vara

  vulder

  authored
  6c26801

Commits on Feb 6, 2024

• - Updated project name for Picosat load time version

  

  Lukas Abelt

  committed
  0d281f6

• Merge branch 'vara-dev' into f-PicoSat-vara

  

  Lukas Abelt

  committed
  e689393

Commits on Feb 7, 2024

• - Updated workloads for Picosat LT and added recompile

  

  Lukas Abelt

  committed
  0f5158d

Commits on Feb 12, 2024

• Merge branch 'vara-dev' into f-PicoSat-vara

  LuAbelt

  authored
  ca52b10

Commits on Feb 13, 2024

• - Updated workloads for Picosat LT

  

  Lukas Abelt

  committed
  6088be8

Commits on Feb 19, 2024

• - Updated project name for alternative PicoSAT project as suggested in PR

  

  Lukas Abelt

  committed
  8d67747

• Update varats/varats/experiments/vara/feature_perf_precision.py

  LuAbelt

  authored
  45d111b

Commits on Feb 20, 2024

• Merge branch 'vara-dev' into f-PicoSat-vara

  vulder

  authored
  c697975