Bug fix of specs/implementations in benchmark - #67

Merged

amit9oct merged 9 commits into

trishullab:mainfrom

Mar 24, 2026

Commits on Mar 5, 2026

fixes of bugs in issue #65 (sample_examples: 0, human_eval: 1, 6, 9, 13, 18, 20, 31, 32, 36, 73, 78, 82, 101, 108)
barabbs
committed
c462ac1
fixes of bugs in issue #65 (human_eval: 19, 25)
barabbs
committed
1085385

Commits on Mar 17, 2026

fix typo

barabbs
and
Copilot
authored
8b20e9d
separated proof of termination in human_eval/problem_1
barabbs
committed
077f218
human_eval/problem_6 fixed Int to Nat in generated_spec
barabbs
committed
3b07ea1
fixed wrong spec in human_eval/problem_101
barabbs
committed
bb12aea

Commits on Mar 20, 2026

fixed errors in problem 32 and 82
barabbs
committed
16e7f98

Commits on Mar 24, 2026