ada/uwrap
0
0
Fork 0
mirror of https://github.com/AdaCore/uwrap.git synced 2026-02-12 13:06:34 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
null_node
uwrap/testsuite
History
QuentinOchem 3db9adbb8e added transformation to set SPARK mode
2022-03-09 15:25:41 -05:00
..
tests
added transformation to set SPARK mode
2022-03-09 15:25:41 -05:00
run.sh
Make testsuite run under Linux
2020-09-01 14:55:54 +02:00