Index of /logs/student-owicki/20240829-092043-student-owicki-c2784f4485-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
og-proof-generation.2024-08-28_18-01-53.logfiles/ 2024-08-28 19:13 -
![[TXT]](/icons/text.gif)
og-proof-generation.2024-08-28_18-01-53.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-08-28 19:17 398K
og-proof-generation.2024-08-28_18-01-53.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml 2024-08-28 19:17 1.4M
og-proof-generation.2024-08-28_18-01-53.results.PetriOwickiGriesTestSuite-NoAssert.xml 2024-08-28 19:17 1.8M
og-proof-generation.2024-08-28_18-01-53.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-08-28 18:40 399K
og-proof-generation.2024-08-28_18-01-53.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml 2024-08-28 18:40 1.4M
og-proof-generation.2024-08-28_18-01-53.results.PetriOwickiGriesTestSuite-WithAssert.xml 2024-08-28 18:40 1.8M
og-proof-generation.2024-08-28_18-01-53.results.txt 2024-08-28 19:17 317K
og-proof-generation.diff.csv 2024-08-29 09:19 63K
og-proof-generation.diff.html 2024-08-29 09:19 1.5M
og-proof-generation.table.csv 2024-08-29 09:19 139K
og-proof-generation.table.html 2024-08-29 09:19 1.9M
og-proof-generation.xml 2024-08-29 09:16 13K
![[ ]](/icons/unknown.gif)
overview 2024-08-29 09:20 262