Index of /logs/student-owicki/20240826-160307-student-owicki-3c0b89a6d0-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
og-proof-generation.2024-08-26_11-44-08.logfiles/ 2024-08-26 12:49 -
![[ ]](/icons/unknown.gif)
overview 2024-08-26 16:03 262
![[TXT]](/icons/text.gif)
og-proof-generation.xml 2024-08-26 15:36 13K
og-proof-generation.table.html 2024-08-26 15:45 1.9M
og-proof-generation.table.csv 2024-08-26 15:45 139K
og-proof-generation.diff.html 2024-08-26 15:45 1.5M
og-proof-generation.diff.csv 2024-08-26 15:45 62K
og-proof-generation.2024-08-26_11-44-08.results.txt 2024-08-26 12:50 317K
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-WithAssert.xml 2024-08-26 12:17 1.8M
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml 2024-08-26 12:18 1.4M
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-08-26 12:17 399K
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-NoAssert.xml 2024-08-26 12:50 1.8M
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml 2024-08-26 12:50 1.4M
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-08-26 12:50 398K