Code

Organize benchmarking directory#267

Code

Merged

filipeom merged 3 commits intoformalsec:mainformalsec/smtml:mainfrom filipeom:organize-benchfilipeom/smtml:organize-benchCopy head branch name to clipboardJan 10, 2025

+2-10

Commits

Commits on Jan 10, 2025

• Organize bench dir

  Show description for e9b690a
  filipeom

  committed
  e9b690a

  Copy full SHA for e9b690a

• Organize benchmarking submodule and remove bench/smt-comp

  filipeom

  committed
  7796f32

  Copy full SHA for 7796f32

• Remove smt-testcomp23 because its trashing ecma-sl's CI

  filipeom

  committed
  dc8a07f

  Copy full SHA for dc8a07f