Name                                Last modified      Size  Description
 as_io_wrapper/                      28-Oct-2016 12:11    -   
 main/                               28-Oct-2016 12:11    -   
 spark-text_io/                      28-Oct-2016 12:11    -   
 test.mlw/                           28-Oct-2016 12:11    -   
 test_string_io/                     28-Oct-2016 12:11    -   
 GNAT-TEMP-000003.TMP                28-Oct-2016 12:11   87   
 GNAT-TEMP-000004.TMP                28-Oct-2016 12:11   87   
 GNAT-TEMP-000005.TMP                28-Oct-2016 12:11   87   
 GNAT-TEMP-000006.TMP                28-Oct-2016 12:11   87   
 GNAT-TEMP-000007.TMP                28-Oct-2016 12:11   87   
 GNAT-TEMP-000008.TMP                28-Oct-2016 12:11   87   
 GNAT-TEMP-000009.TMP                28-Oct-2016 12:11  122   
 GNAT-TEMP-000010.TMP                28-Oct-2016 12:11  122   
 as_io_wrapper.adb.stderr            28-Oct-2016 12:11    0   
 as_io_wrapper.adb.stdout            28-Oct-2016 12:11    0   
 as_io_wrapper.ali                   28-Oct-2016 12:11   21K  
 as_io_wrapper.cswi                  28-Oct-2016 12:11  173   
 as_io_wrapper.mlw                   28-Oct-2016 12:11  849K  
 as_io_wrapper.spark                 28-Oct-2016 12:11  2.4K  
 gnatprove.out                       28-Oct-2016 12:11  6.6K  
 main.adb.stderr                     28-Oct-2016 12:11    0   
 main.adb.stdout                     28-Oct-2016 12:11    0   
 main.ali                            28-Oct-2016 12:11   14K  
 main.cswi                           28-Oct-2016 12:11  173   
 main.mlw                            28-Oct-2016 12:11  836K  
 main.spark                          28-Oct-2016 12:11   14K  
 spark-text_io-integer_io.adb.stderr 28-Oct-2016 12:11    0   
 spark-text_io-integer_io.adb.stdout 28-Oct-2016 12:11    0   
 spark-text_io-integer_io.ali        28-Oct-2016 12:11   30K  
 spark-text_io-integer_io.cswi       28-Oct-2016 12:11  173   
 spark-text_io-integer_io.mlw        28-Oct-2016 12:11  863K  
 spark-text_io-integer_io.spark      28-Oct-2016 12:11  1.6K  
 spark-text_io.adb.stderr            28-Oct-2016 12:11    0   
 spark-text_io.adb.stdout            28-Oct-2016 12:11    0   
 spark-text_io.ali                   28-Oct-2016 12:11   81K  
 spark-text_io.cswi                  28-Oct-2016 12:11  173   
 spark-text_io.mlw                   28-Oct-2016 12:11  899K  
 spark-text_io.spark                 28-Oct-2016 12:11   31K  
 spark.ads.stderr                    28-Oct-2016 12:11    0   
 spark.ads.stdout                    28-Oct-2016 12:11    0   
 spark.ali                           28-Oct-2016 12:11  9.0K  
 spark.cswi                          28-Oct-2016 12:11  173   
 spark.mlw                           28-Oct-2016 12:11  503K  
 spark.spark                         28-Oct-2016 12:11  233   
 test_integer_io.adb.stderr          28-Oct-2016 12:11    0   
 test_integer_io.adb.stdout          28-Oct-2016 12:11    0   
 test_integer_io.ali                 28-Oct-2016 12:11   13K  
 test_integer_io.cswi                28-Oct-2016 12:11  173   
 test_integer_io.mlw                 28-Oct-2016 12:11  820K  
 test_integer_io.spark               28-Oct-2016 12:11  4.4K  
 test_string_io.adb.stderr           28-Oct-2016 12:11    0   
 test_string_io.adb.stdout           28-Oct-2016 12:11    0   
 test_string_io.ali                  28-Oct-2016 12:11   14K  
 test_string_io.cswi                 28-Oct-2016 12:11  173   
 test_string_io.mlw                  28-Oct-2016 12:11  830K  
 test_string_io.spark                28-Oct-2016 12:11  9.9K  
 why3.conf                           28-Oct-2016 12:11  795   
 why3server.log                      28-Oct-2016 12:11    0