Index of /logs/student-owicki/20240114-122429-student-owicki-81bdde4c94-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
og-proof-generation.2024-01-11_18-10-31.logfiles/ 2024-01-11 19:41 -
og-proof-generation.2024-01-11_19-45-11.logfiles/ 2024-01-11 21:33 -
![[TXT]](/icons/text.gif)
og-proof-generation.2024-01-11_18-10-31.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-01-11 19:45 402K
og-proof-generation.2024-01-11_18-10-31.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml 2024-01-11 19:45 1.5M
og-proof-generation.2024-01-11_18-10-31.results.PetriOwickiGriesTestSuite-NoAssert.txt 2024-01-11 19:45 159K
og-proof-generation.2024-01-11_18-10-31.results.PetriOwickiGriesTestSuite-NoAssert.xml 2024-01-11 19:45 1.8M
og-proof-generation.2024-01-11_19-45-11.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-11 21:37 403K
og-proof-generation.2024-01-11_19-45-11.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml 2024-01-11 21:37 1.5M
og-proof-generation.2024-01-11_19-45-11.results.PetriOwickiGriesTestSuite-WithAssert.txt 2024-01-11 21:37 159K
og-proof-generation.2024-01-11_19-45-11.results.PetriOwickiGriesTestSuite-WithAssert.xml 2024-01-11 21:37 1.8M
![[ ]](/icons/unknown.gif)
overview 2024-01-14 12:24 251
tabledef.diff.csv 2024-01-14 12:20 6.9K
tabledef.diff.html 2024-01-14 12:20 1.1M
tabledef.table.csv 2024-01-14 12:20 178K
tabledef.table.html 2024-01-14 12:20 2.0M
tabledef.xml 2024-01-14 12:16 16K