Index of /logs/student-owicki/20240125-114323-student-owicki-dd252180c0-M
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
og-proof-generation.2024-01-24_18-37-44.logfiles/ 2024-01-25 11:39 -
![[ ]](/icons/unknown.gif)
overview 2024-01-25 11:43 251
![[TXT]](/icons/text.gif)
tabledef.xml 2024-01-25 11:39 16K
tabledef.diff.csv 2024-01-25 11:42 20K
tabledef.table.csv 2024-01-25 11:42 178K
og-proof-generation.2024-01-24_18-37-44.results.txt 2024-01-24 21:57 317K
og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-01-24 21:57 399K
og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-24 20:27 403K
tabledef.diff.html 2024-01-25 11:42 1.2M
og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml 2024-01-24 20:27 1.5M
og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml 2024-01-24 21:57 1.5M
og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-NoAssert.xml 2024-01-24 21:57 1.8M
og-proof-generation.2024-01-24_18-37-44.results.PetriOwickiGriesTestSuite-WithAssert.xml 2024-01-24 20:27 1.8M
tabledef.table.html 2024-01-25 11:42 2.0M