Index of /logs/student-owicki/20240116-100704-student-owicki-ac931eda9b-M

 Name                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                           -   
 og-proof-generation.2024-01-15_23-34-26.logfiles/                                                                     2024-01-16 06:23    -   
 og-proof-generation.2024-01-15_23-34-26.results.NaiveOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-16 06:27  399K  
 og-proof-generation.2024-01-15_23-34-26.results.NaiveOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-16 06:27  1.4M  
 og-proof-generation.2024-01-15_23-34-26.results.NaiveOwickiGriesTestSuite-NoAssert.xml                                2024-01-16 06:27  1.8M  
 og-proof-generation.2024-01-15_23-34-26.results.NaiveOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-16 03:16  400K  
 og-proof-generation.2024-01-15_23-34-26.results.NaiveOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-16 03:16  1.4M  
 og-proof-generation.2024-01-15_23-34-26.results.NaiveOwickiGriesTestSuite-WithAssert.xml                              2024-01-16 03:16  1.8M  
 og-proof-generation.2024-01-15_23-34-26.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-16 04:47  402K  
 og-proof-generation.2024-01-15_23-34-26.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-16 04:47  1.5M  
 og-proof-generation.2024-01-15_23-34-26.results.PetriOwickiGriesTestSuite-NoAssert.xml                                2024-01-16 04:47  1.8M  
 og-proof-generation.2024-01-15_23-34-26.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-16 01:30  403K  
 og-proof-generation.2024-01-15_23-34-26.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-16 01:30  1.5M  
 og-proof-generation.2024-01-15_23-34-26.results.PetriOwickiGriesTestSuite-WithAssert.xml                              2024-01-16 01:30  1.8M  
 og-proof-generation.2024-01-15_23-34-26.results.txt                                                                   2024-01-16 06:27  632K  
 overview                                                                                                              2024-01-16 10:07  251   
 tabledef.diff.csv                                                                                                     2024-01-16 10:05   98K  
 tabledef.diff.html                                                                                                    2024-01-16 10:05  1.7M  
 tabledef.table.csv                                                                                                    2024-01-16 10:05  270K  
 tabledef.table.html                                                                                                   2024-01-16 10:05  2.6M  
 tabledef.xml                                                                                                          2024-01-16 10:00   16K