Code

Finishing the experiments with Spec4b#77

Code

Merged

konnov merged 17 commits intomainfreespek/ssf-mc:mainfrom igor/spec4b-fixfreespek/ssf-mc:igor/spec4b-fixCopy head branch name to clipboardNov 1, 2024

+190-77

Commits

Commits on Oct 24, 2024

• introduce initial conditions with InitAccountableSafety

  konnov

  committed
  e0e967a

  Copy full SHA for e0e967a

• add a script to run them all

  konnov

  committed
  0239d74

  Copy full SHA for 0239d74

• fix the experiments script

  konnov

  committed
  327aa9a

  Copy full SHA for 327aa9a

• fix the experiments names

  konnov

  committed
  2c9073a

  Copy full SHA for 2c9073a

Commits on Oct 26, 2024

• Merge remote-tracking branch 'origin/main' into igor/spec4b-fix

  konnov

  committed
  337db94

  Copy full SHA for 337db94

• add experiments to check inductiveness

  konnov

  committed
  7d161b6

  Copy full SHA for 7d161b6

• add length=0

  konnov

  committed
  47ebeeb

  Copy full SHA for 47ebeeb

• fix joblog

  konnov

  committed
  4337fbc

  Copy full SHA for 4337fbc

• update the init predicate

  konnov

  committed
  25f6929

  Copy full SHA for 25f6929

• refer to the scripts

  konnov

  committed
  af0f938

  Copy full SHA for af0f938

• updating the experimental results

  konnov

  committed
  9088211

  Copy full SHA for 9088211

• small fix

  konnov

  committed
  2f36fef

  Copy full SHA for 2f36fef

Commits on Oct 27, 2024

• update the figures

  konnov

  committed
  bc16840

  Copy full SHA for bc16840

Commits on Nov 1, 2024

• update the experiment figures

  konnov

  committed
  f506ac9

  Copy full SHA for f506ac9

• update the experiments

  konnov

  committed
  91acb8d

  Copy full SHA for 91acb8d

• Apply suggestions from code review

  Show description for 3211723
  

  konnov

  and

  Kukovec

  authored
  3211723

  Copy full SHA for 3211723

• Merge branch 'main' into igor/spec4b-fix

  konnov

  authored
  747b4ad

  Copy full SHA for 747b4ad