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/tests/data/valid_base_datasets/expanded
History
Rowan Walshe fd3e42bf1c Remove the proof_steps metric
2026-01-28 10:32:37 +00:00
..
ada_test/test_sample_0
Add simple unit tests
2025-09-25 08:33:47 +01:00
explain_test/test_sample_0
Add tests for data handling
2025-08-14 16:30:50 +01:00
spark_test
Remove the proof_steps metric
2026-01-28 10:32:37 +00:00