ada/Compile_And_Prove_Demo
0
0
Fork 0
mirror of https://github.com/AdaCore/Compile_And_Prove_Demo.git synced 2026-02-12 12:45:02 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
Compile_And_Prove_Demo/proved
History
Yannick Moy 01fbd05652 Initial version
2017-04-05 19:27:27 +02:00
..
absolute_value.adb
Initial version
2017-04-05 19:27:27 +02:00
avionics.ads
Initial version
2017-04-05 19:27:27 +02:00
bitwise_swap.adb
Initial version
2017-04-05 19:27:27 +02:00
communications.adb
Initial version
2017-04-05 19:27:27 +02:00
communications.ads
Initial version
2017-04-05 19:27:27 +02:00
demo.adc
Initial version
2017-04-05 19:27:27 +02:00
demo.gpr
Initial version
2017-04-05 19:27:27 +02:00
gnatinspect.db
Initial version
2017-04-05 19:27:27 +02:00
hello_world.adb
Initial version
2017-04-05 19:27:27 +02:00
landing_procedure.adb
Initial version
2017-04-05 19:27:27 +02:00
Makefile
Initial version
2017-04-05 19:27:27 +02:00
saturate_angle.ads
Initial version
2017-04-05 19:27:27 +02:00
saturate.adb
Initial version
2017-04-05 19:27:27 +02:00
saturate.ads
Initial version
2017-04-05 19:27:27 +02:00
sensor_average.adb
Initial version
2017-04-05 19:27:27 +02:00
sensor_average.ads
Initial version
2017-04-05 19:27:27 +02:00
strings.adb
Initial version
2017-04-05 19:27:27 +02:00
strings.ads
Initial version
2017-04-05 19:27:27 +02:00