Index of /logs/student-owicki/20240103-144610-student-owicki-6141328016-M

 Name                                                                                                                  Last modified      Size  Description
 Parent Directory                                                                                                                           -   
 og-proof-generation.2024-01-02_13-55-33.logfiles/                                                                     2024-01-03 00:49    -   
 og-proof-generation.2024-01-02_13-55-33.results.NaiveOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-03 00:54  391K  
 og-proof-generation.2024-01-02_13-55-33.results.NaiveOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-03 00:54  1.4M  
 og-proof-generation.2024-01-02_13-55-33.results.NaiveOwickiGriesTestSuite-NoAssert.xml                                2024-01-03 00:54  1.8M  
 og-proof-generation.2024-01-02_13-55-33.results.NaiveOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-02 19:35  400K  
 og-proof-generation.2024-01-02_13-55-33.results.NaiveOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-02 19:35  1.4M  
 og-proof-generation.2024-01-02_13-55-33.results.NaiveOwickiGriesTestSuite-WithAssert.xml                              2024-01-02 19:35  1.8M  
 og-proof-generation.2024-01-02_13-55-33.results.PetriOwickiGriesTestSuite-NoAssert.regression-ConcurrencySafety.xml   2024-01-02 22:43  403K  
 og-proof-generation.2024-01-02_13-55-33.results.PetriOwickiGriesTestSuite-NoAssert.regression-MemSafety.xml           2024-01-02 22:43  1.5M  
 og-proof-generation.2024-01-02_13-55-33.results.PetriOwickiGriesTestSuite-NoAssert.xml                                2024-01-02 22:43  1.8M  
 og-proof-generation.2024-01-02_13-55-33.results.PetriOwickiGriesTestSuite-WithAssert.regression-ConcurrencySafety.xml 2024-01-02 17:03  403K  
 og-proof-generation.2024-01-02_13-55-33.results.PetriOwickiGriesTestSuite-WithAssert.regression-MemSafety.xml         2024-01-02 17:03  1.5M  
 og-proof-generation.2024-01-02_13-55-33.results.PetriOwickiGriesTestSuite-WithAssert.xml                              2024-01-02 17:03  1.8M  
 og-proof-generation.2024-01-02_13-55-33.results.txt                                                                   2024-01-03 00:54  632K  
 overview                                                                                                              2024-01-03 14:46  251   
 tabledef.diff.csv                                                                                                     2024-01-03 14:43   91K  
 tabledef.diff.html                                                                                                    2024-01-03 14:43  1.6M  
 tabledef.table.csv                                                                                                    2024-01-03 14:43  242K  
 tabledef.table.html                                                                                                   2024-01-03 14:43  2.5M  
 tabledef.xml                                                                                                          2024-01-03 14:41   16K