Computer Science, Swansea
Icon  Name                                            Last modified      Size  Description
[DIR] old/ 09-Nov-2017 01:53 - [DIR] vers01OnlyAdaWithIntegers/ 26-Oct-2017 00:22 - [DIR] vers02OnlyAdaWithIOIntegersNoLibrary/ 26-Oct-2017 01:16 - [DIR] vers03OnlyAdaWithIOIntegersUsingLibrary/ 26-Oct-2017 01:16 - [DIR] vers04OnlyAdaWithTypes/ 26-Oct-2017 00:22 - [DIR] vers05OnlyAdaWithIOTypes/ 26-Oct-2017 01:17 - [DIR] vers06OnlyAdaWithTypesAndRecordType/ 26-Oct-2017 01:18 - [DIR] vers07OnlyAdaWithIOTypesAndRecordType/ 02-Nov-2017 01:01 - [DIR] vers08DataInformationFlow/ 26-Oct-2017 00:22 - [DIR] vers08a-DataInformationFlowWithRecordType/ 02-Nov-2017 01:02 - [DIR] vers09DataInformationFlowWithIO/ 02-Nov-2017 01:33 - [DIR] vers09a-DataInformationFlowWithRecordTypeIO/ 01-Nov-2017 23:59 - [DIR] vers09b-VerificationConditionsWithoutRange/ 09-Nov-2017 01:35 - [DIR] vers10FullVersion/ 09-Nov-2017 01:35 - [DIR] vers11FullVersionWithIO/ 09-Nov-2017 01:53 - [TXT] README.txt 26-Oct-2017 00:32 659 [   ] old.zip 09-Nov-2017 01:53 33K [   ] vers01OnlyAdaWithIntegers.zip 09-Nov-2017 01:53 8.6K [   ] vers02OnlyAdaWithIOIntegersNoLibrary.zip 09-Nov-2017 01:53 34K [   ] vers03OnlyAdaWithIOIntegersUsingLibrary.zip 09-Nov-2017 01:53 36K [   ] vers04OnlyAdaWithTypes.zip 09-Nov-2017 01:53 7.9K [   ] vers05OnlyAdaWithIOTypes.zip 09-Nov-2017 01:53 25K [   ] vers06OnlyAdaWithTypesAndRecordType.zip 09-Nov-2017 01:53 11K [   ] vers07OnlyAdaWithIOTypesAndRecordType.zip 09-Nov-2017 01:53 31K [   ] vers08DataInformationFlow.zip 09-Nov-2017 01:53 4.5K [   ] vers08a-DataInformationFlowWithRecordType.zip 09-Nov-2017 01:53 13K [   ] vers09DataInformationFlowWithIO.zip 09-Nov-2017 01:53 27K [   ] vers09a-DataInformationFlowWithRecordTypeIO.zip 09-Nov-2017 01:53 33K [   ] vers09b-VerificationConditionsWithoutRange.zip 09-Nov-2017 01:53 28K [   ] vers10FullVersion.zip 09-Nov-2017 01:53 5.0K [   ] vers11FullVersionWithIO.zip 09-Nov-2017 01:53 27K