Computer Science, Swansea
Name Last modified Size Description
gnatprove/ 28-Oct-2016 12:11 -
screenshots/ 28-Oct-2016 12:11 -
README.txt 28-Oct-2016 12:11 658
as_io_wrapper.adb 28-Oct-2016 12:11 2.6K
as_io_wrapper.ads 28-Oct-2016 12:11 5.0K
as_io_wrapper.ali 28-Oct-2016 12:11 4.6K
as_io_wrapper.o 28-Oct-2016 12:11 5.0K
auto.cgpr 28-Oct-2016 12:11 4.4K
b__main.adb 28-Oct-2016 12:11 8.3K
b__main.ads 28-Oct-2016 12:11 14K
b__main.ali 28-Oct-2016 12:11 7.8K
b__main.o 28-Oct-2016 12:11 13K
gnatinspect.db 28-Oct-2016 12:11 741K
main 28-Oct-2016 12:11 576K
main-loc.xml 28-Oct-2016 12:11 5.6K
main.adb 28-Oct-2016 12:11 2.5K
main.ads 28-Oct-2016 12:11 434
main.ali 28-Oct-2016 12:11 2.5K
main.bexch 28-Oct-2016 12:11 1.3K
main.gpr 28-Oct-2016 12:11 124
main.o 28-Oct-2016 12:11 3.9K
spark-text_io-integer_io.adb 28-Oct-2016 12:11 6.6K
spark-text_io-integer_io.ads 28-Oct-2016 12:11 5.6K
spark-text_io-integer_io.ali 28-Oct-2016 12:11 7.6K
spark-text_io-integer_io.o 28-Oct-2016 12:11 16K
spark-text_io.adb 28-Oct-2016 12:11 42K
spark-text_io.ads 28-Oct-2016 12:11 34K
spark-text_io.ali 28-Oct-2016 12:11 36K
spark-text_io.o 28-Oct-2016 12:11 79K
spark.ads 28-Oct-2016 12:11 3.4K
spark.ali 28-Oct-2016 12:11 2.2K
spark.o 28-Oct-2016 12:11 1.8K
test_integer_io 28-Oct-2016 12:11 575K
test_integer_io.adb 28-Oct-2016 12:11 615
test_integer_io.ads 28-Oct-2016 12:11 445
test_integer_io.ali 28-Oct-2016 12:11 2.4K
test_integer_io.o 28-Oct-2016 12:11 2.3K
test_string_io 28-Oct-2016 12:11 575K
test_string_io.adb 28-Oct-2016 12:11 1.8K
test_string_io.ads 28-Oct-2016 12:11 272
test_string_io.ali 28-Oct-2016 12:11 2.5K
test_string_io.o 28-Oct-2016 12:11 2.6K