Commit 47d4dd2

committed

koios in ind reg

1 parent 31966fd commit 47d4dd2Copy full SHA for 47d4dd2

4 files changed

+301001

-48963

lines changed

odin_ii/regression_test/benchmark/task/koios
- koios_large_no_hb
  - synthesis_result.json
- koios_large
  - synthesis_result.json
- koios_medium_no_hb
  - synthesis_result.json
- koios_medium
  - synthesis_result.json

4 files changed

+301001

-48963

lines changed

Comments

(0)