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