Index of /logs/student-owicki/20240917-180523-student-owicki-no-git
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
20240125-205812-student-owicki-dd252180c0-M/ 2024-09-17 15:35 -
20240826-160307-student-owicki-3c0b89a6d0-M/ 2024-09-17 15:35 -
og-proof-generation.2024-01-24_18-37-44.logfiles/ 2024-01-25 11:39 -
og-proof-generation.2024-01-25_13-52-17.logfiles/ 2024-01-25 17:10 -
og-proof-generation.2024-08-26_11-44-08.logfiles/ 2024-08-26 12:49 -
![[ ]](/icons/unknown.gif)
20240125-205812-student-owicki-dd252180c0-M.tar.xz 2024-09-17 11:42 238M
20240826-160307-student-owicki-3c0b89a6d0-M.tar.xz 2024-09-17 12:22 332M
![[TXT]](/icons/text.gif)
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-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.regression-ConcurrencySafety.xml 2024-01-24 20:27 403K
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-WithAssert.xml 2024-01-24 20:27 1.8M
og-proof-generation.2024-01-24_18-37-44.results.txt 2024-01-24 21:57 317K
og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-01-25 17:14 400K
og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml 2024-01-25 17:14 1.4M
og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-NoAssert.xml 2024-01-25 17:14 1.8M
og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-25 15:37 400K
og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml 2024-01-25 15:37 1.4M
og-proof-generation.2024-01-25_13-52-17.results.NaiveOwickiGriesTestSuite-WithAssert.xml 2024-01-25 15:37 1.8M
og-proof-generation.2024-01-25_13-52-17.results.txt 2024-01-25 17:14 317K
og-proof-generation.2024-08-26_11-44-08.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml 2024-08-26 12:50 398K
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.xml 2024-08-26 12:50 1.8M
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-WithAssert.regression-MemSafety.xml 2024-08-26 12:18 1.4M
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.txt 2024-08-26 12:50 317K
og-proof-generation.diff.csv 2024-09-17 18:01 262K
og-proof-generation.diff.html 2024-09-17 18:01 2.7M
og-proof-generation.table.csv 2024-09-17 18:01 335K
og-proof-generation.table.html 2024-09-17 18:01 3.1M
og-proof-generation.xml 2024-09-17 17:52 11K
overview 2024-09-17 18:05 270