ada/adareducer
0
0
Fork 0
mirror of https://github.com/AdaCore/adareducer.git synced 2026-02-12 13:10:07 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
topic/simplify_undo_ops
adareducer/testsuite
History
Nicolas Setton dd4d358ccb wip
2022-02-10 20:42:02 +00:00
..
drivers
Add an e3 testsuite
2022-01-31 15:06:32 +00:00
tests
wip
2022-02-10 20:42:02 +00:00
run.sh
Add a basic CI
2022-02-07 16:04:14 +01:00
testsuite.py
Add a basic CI
2022-02-07 16:04:14 +01:00