Code

Portfolio update#321

Code

Merged

leventeBajczi merged 22 commits intomasterftsrg/theta:masterfrom portfolio-updateftsrg/theta:portfolio-updateCopy head branch name to clipboardNov 12, 2024

+1,735-82

Commits

Commits on Nov 11, 2024

• Added new portfolio placeholders

  leventeBajczi

  committed
  4cbdabf

  Copy full SHA for 4cbdabf

• Added unroll flag to xcfa

  leventeBajczi

  committed
  c942be7

  Copy full SHA for c942be7

• Version bump

  leventeBajczi

  committed
  c9bada2

  Copy full SHA for c9bada2

• Merge branch 'master' into portfolio-update

  leventeBajczi

  authored
  06d8b75

  Copy full SHA for 06d8b75

• Merge branch 'master' into portfolio-update

  leventeBajczi

  authored
  283c651

  Copy full SHA for 283c651

• Merge branch 'master' into portfolio-update

  leventeBajczi

  authored
  236c2f9

  Copy full SHA for 236c2f9

• Version bump

  leventeBajczi

  committed
  a9707cf

  Copy full SHA for a9707cf

• Fixed optimizer

  leventeBajczi

  committed
  b069cba

  Copy full SHA for b069cba

• Added BOUNDED25 portfolio

  leventeBajczi

  committed
  f5e6aef

  Copy full SHA for f5e6aef

• Added EmergenTheta and Thorn uploads

  leventeBajczi

  committed
  e0b4216

  Copy full SHA for e0b4216

• fix tests

  leventeBajczi

  committed
  b3fbecf

  Copy full SHA for b3fbecf

• removed erroneous oses

  leventeBajczi

  committed
  b6fa215

  Copy full SHA for b6fa215

• Fix recursive tasks

  leventeBajczi

  committed
  b772fc9

  Copy full SHA for b772fc9

• only using OcChecker when datarace is used

  leventeBajczi

  committed
  2fb0d77

  Copy full SHA for 2fb0d77

• complex25 portfolio oc config

  csanadtelbisz

  committed
  3cfd5d9

  Copy full SHA for 3cfd5d9

• format

  csanadtelbisz

  committed
  072c264

  Copy full SHA for 072c264

Commits on Nov 12, 2024

• Implemented changes from feedback

  leventeBajczi

  committed
  f639718

  Copy full SHA for f639718

• Fixed parsing derefs

  leventeBajczi

  committed
  0d4e531

  Copy full SHA for 0d4e531

• noDataRaceWhenPtr

  leventeBajczi

  committed
  cd102e8

  Copy full SHA for cd102e8

• Raised time limit

  leventeBajczi

  committed
  518f8c8

  Copy full SHA for 518f8c8

• Ignoring test

  leventeBajczi

  committed
  cddad9a

  Copy full SHA for cddad9a

• Formatting fix

  leventeBajczi

  committed
  baae8cd

  Copy full SHA for baae8cd