Index of /logs/student-owicki/20240111-173515-student-owicki-104b771f5c-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
og-proof-generation.2024-01-11_13-57-53.logfiles/ 2024-01-11 15:09 -
![[TXT]](/icons/text.gif)
og-proof-generation.2024-01-11_13-57-43.results.txt 2024-01-11 13:57 1.4K
og-proof-generation.2024-01-11_13-57-53.results.PetriOwickiGriesTestSuite-NoAssert.xml 2024-01-11 15:13 1.8M
og-proof-generation.2024-01-11_13-57-53.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-01-11 15:13 400K
og-proof-generation.2024-01-11_13-57-53.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml 2024-01-11 15:13 1.4M
og-proof-generation.2024-01-11_13-57-53.results.PetriOwickiGriesTestSuite-NoAssert.txt 2024-01-11 15:13 159K
tabledef.xml 2024-01-11 17:32 6.2K
tabledef.table.csv 2024-01-11 17:32 121K
tabledef.table.html 2024-01-11 17:32 1.7M
![[ ]](/icons/unknown.gif)
overview 2024-01-11 17:35 250