ada/ada-eval
0
0
Fork 0
mirror of https://github.com/AdaCore/ada-eval.git synced 2026-02-12 13:53:19 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
ada-eval/data/base/expanded/spark_custom
History
Rowan Walshe fd3e42bf1c Remove the proof_steps metric
2026-01-28 10:32:37 +00:00
..
char_count_1
Remove the proof_steps metric
2026-01-28 10:32:37 +00:00
char_count_2
Remove the proof_steps metric
2026-01-28 10:32:37 +00:00