Index of /users/jared/milawa/Sources

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] ACL2/                   22-Oct-2009 23:16    -   
[DIR] Build/                  02-Aug-2009 20:22    -   
[DIR] Isabelle/               03-Jul-2009 12:15    -   
[DIR] Proofs/                 28-Oct-2009 15:16    -   
[DIR] Support/                09-Jun-2009 20:30    -   
[DIR] old-logs/               10-Oct-2009 15:53    -   
[TXT] COPYING                 09-Jun-2009 20:30   18K  
[   ] OMakefile               04-Aug-2009 16:36  628   
[   ] OMakefile.omc           22-Oct-2009 23:15  1.3K  
[TXT] OMakeroot               02-Aug-2009 20:22   12K  
[   ] OMakeroot.omc           22-Oct-2009 23:15   22K  
[   ] base.lhug-ccl           23-Oct-2009 13:30   20M  
[   ] base.lhug-clisp         23-Oct-2009 13:33  3.5M  
[   ] base.lhug-cmucl         28-Oct-2009 22:01   24M  
[   ] base.lhug-sbcl          23-Oct-2009 13:31   40M  
[   ] base.lhug-scl           28-Oct-2009 22:04   23M  
[   ] base.nemesis-acl        28-Oct-2009 22:16  3.9M  
[   ] base.nemesis-acl-big    29-Oct-2009 22:48  3.9M  
[   ] base.nemesis-ccl        03-Nov-2009 08:52   14M  
[   ] base.nemesis-clisp      24-Oct-2009 23:13  2.1M  
[   ] base.nemesis-cmucl      28-Oct-2009 22:01   24M  
[   ] base.nemesis-sbcl       23-Oct-2009 13:29   25M  
[   ] big-acl.dxl             29-Oct-2009 22:47  3.6M  
[   ] final-checks.sh         12-Aug-2009 08:58  3.5K  
[TXT] final.ccl-jordan        04-Nov-2009 08:12   36M  
[TXT] final.cele-ccl          03-Nov-2009 13:33  3.8M  
[TXT] final.cele-clisp        03-Nov-2009 13:33   56K  
[TXT] final.cele-cmucl        03-Nov-2009 13:33  1.4M  
[TXT] final.cele-cmucl.2      03-Nov-2009 13:33  256K  
[TXT] final.cele-cmucl.3      03-Nov-2009 13:34  2.4M  
[TXT] final.cele-sbcl         27-Oct-2009 14:17  3.6M  
[   ] final.clisp-jordan      04-Nov-2009 08:08  3.6M  
[TXT] final.cmucl-20a-jordan  30-Oct-2009 22:00   13M  
[TXT] final.lhug-ccl          24-Oct-2009 22:34  3.8M  
[TXT] final.lhug-clisp        08-Nov-2009 11:02  3.6M  
[   ] final.lhug-clisp.2      05-Nov-2009 21:54  1.9M  
[   ] final.lhug-clisp.3      06-Nov-2009 09:19  1.8K  
[   ] final.lhug-clisp.4      08-Nov-2009 10:17  517K  
[TXT] final.lhug-cmucl        30-Oct-2009 09:08   13M  
[TXT] final.lhug-sbcl         25-Oct-2009 16:05  3.6M  
[TXT] final.lhug-scl          28-Oct-2009 22:09  128K  
[TXT] final.nemesis-acl       29-Oct-2009 17:12  3.1M  
[TXT] final.nemesis-acl-big   30-Oct-2009 23:07  3.1M  
[TXT] final.nemesis-ccl       03-Nov-2009 08:54   90K  
[TXT] final.nemesis-clisp     26-Oct-2009 22:11  1.5M  
[   ] final.nemesis-clisp2    27-Oct-2009 21:18  249K  
[   ] final.nemesis-clisp3    02-Nov-2009 20:25  249K  
[TXT] final.nemesis-cmucl     30-Oct-2009 00:26   13M  
[TXT] final.nemesis-sbcl      24-Oct-2009 14:18  3.6M  
[TXT] final.sbcl-cele         03-Nov-2009 13:34  3.6M  
[TXT] final.sbcl-jordan       25-Oct-2009 12:26  3.6M  
[   ] level2.lhug-ccl         23-Oct-2009 15:55   24M  
[TXT] level2.lhug-ccl.out     23-Oct-2009 15:55  144K  
[   ] level2.lhug-clisp       24-Oct-2009 18:47  7.3M  
[TXT] level2.lhug-clisp.out   24-Oct-2009 18:47  144K  
[   ] level2.lhug-cmucl       29-Oct-2009 01:18   27M  
[TXT] level2.lhug-cmucl.out   29-Oct-2009 01:18  205K  
[   ] level2.lhug-sbcl        23-Oct-2009 18:16   45M  
[TXT] level2.lhug-sbcl.out    23-Oct-2009 18:16  143K  
[   ] level2.nemesis-acl      29-Oct-2009 00:30   14M  
[   ] level2.nemesis-acl-big  30-Oct-2009 01:38   14M  
[TXT] level2.nemesis-acl-b..> 30-Oct-2009 01:38  143K  
[TXT] level2.nemesis-acl.out  29-Oct-2009 00:30  143K  
[   ] level2.nemesis-clisp    25-Oct-2009 11:59  4.2M  
[TXT] level2.nemesis-clisp..> 25-Oct-2009 11:59  144K  
[   ] level2.nemesis-cmucl    29-Oct-2009 00:39   27M  
[TXT] level2.nemesis-cmucl..> 29-Oct-2009 00:39  206K  
[   ] level2.nemesis-sbcl     23-Oct-2009 16:06   28M  
[TXT] level2.nemesis-sbcl.out 23-Oct-2009 16:06  143K  
[   ] level3.lhug-ccl         23-Oct-2009 19:33   27M  
[TXT] level3.lhug-ccl.out     23-Oct-2009 19:33  253K  
[   ] level3.lhug-clisp       25-Oct-2009 23:11  9.7M  
[TXT] level3.lhug-clisp.out   25-Oct-2009 23:11  252K  
[   ] level3.lhug-cmucl       29-Oct-2009 04:42   29M  
[TXT] level3.lhug-cmucl.out   29-Oct-2009 04:42  337K  
[   ] level3.lhug-sbcl        23-Oct-2009 23:00   49M  
[TXT] level3.lhug-sbcl.out    23-Oct-2009 23:00  252K  
[   ] level3.nemesis-acl      29-Oct-2009 02:34   24M  
[   ] level3.nemesis-acl-big  30-Oct-2009 04:11   24M  
[TXT] level3.nemesis-acl-b..> 30-Oct-2009 04:11  251K  
[TXT] level3.nemesis-acl.out  29-Oct-2009 02:34  251K  
[   ] level3.nemesis-clisp    26-Oct-2009 00:08  5.4M  
[TXT] level3.nemesis-clisp..> 26-Oct-2009 00:08  252K  
[   ] level3.nemesis-cmucl    29-Oct-2009 03:18   29M  
[TXT] level3.nemesis-cmucl..> 29-Oct-2009 03:18  337K  
[   ] level3.nemesis-sbcl     23-Oct-2009 18:31   30M  
[TXT] level3.nemesis-sbcl.out 23-Oct-2009 18:31  251K  
[   ] level4.lhug-ccl         23-Oct-2009 23:42   30M  
[TXT] level4.lhug-ccl.out     23-Oct-2009 23:42  281K  
[   ] level4.lhug-clisp       29-Oct-2009 18:13   12M  
[TXT] level4.lhug-clisp.out   29-Oct-2009 18:13  280K  
[   ] level4.lhug-cmucl       29-Oct-2009 10:07   32M  
[TXT] level4.lhug-cmucl.out   29-Oct-2009 10:07  376K  
[   ] level4.lhug-sbcl        24-Oct-2009 07:39   54M  
[TXT] level4.lhug-sbcl.out    24-Oct-2009 07:39  279K  
[   ] level4.nemesis-acl      29-Oct-2009 06:17   25M  
[   ] level4.nemesis-acl-big  30-Oct-2009 08:53   25M  
[TXT] level4.nemesis-acl-b..> 30-Oct-2009 08:53  279K  
[TXT] level4.nemesis-acl.out  29-Oct-2009 06:17  279K  
[TXT] level4.nemesis-clisp..> 02-Nov-2009 20:25  249K  
[   ] level4.nemesis-cmucl    29-Oct-2009 07:31   32M  
[TXT] level4.nemesis-cmucl..> 29-Oct-2009 07:31  376K  
[   ] level4.nemesis-sbcl     23-Oct-2009 22:27   33M  
[TXT] level4.nemesis-sbcl.out 23-Oct-2009 22:27  279K  
[   ] level5.lhug-ccl         24-Oct-2009 04:18   34M  
[TXT] level5.lhug-ccl.out     24-Oct-2009 04:18  309K  
[   ] level5.lhug-clisp       31-Oct-2009 18:01   16M  
[TXT] level5.lhug-clisp.out   31-Oct-2009 18:01  309K  
[   ] level5.lhug-cmucl       29-Oct-2009 15:14   35M  
[TXT] level5.lhug-cmucl.out   29-Oct-2009 15:14  392K  
[   ] level5.lhug-sbcl        24-Oct-2009 14:56   61M  
[TXT] level5.lhug-sbcl.out    24-Oct-2009 14:56  308K  
[   ] level5.nemesis-acl      29-Oct-2009 09:38   27M  
[   ] level5.nemesis-acl-big  30-Oct-2009 12:55   27M  
[TXT] level5.nemesis-acl-b..> 30-Oct-2009 12:55  308K  
[TXT] level5.nemesis-acl.out  29-Oct-2009 09:38  308K  
[   ] level5.nemesis-cmucl    29-Oct-2009 11:19   35M  
[TXT] level5.nemesis-cmucl..> 29-Oct-2009 11:19  393K  
[   ] level5.nemesis-sbcl     24-Oct-2009 02:07   37M  
[TXT] level5.nemesis-sbcl.out 24-Oct-2009 02:07  308K  
[   ] level6.lhug-ccl         24-Oct-2009 08:44   35M  
[TXT] level6.lhug-ccl.out     24-Oct-2009 08:44  109K  
[   ] level6.lhug-clisp       01-Nov-2009 12:31   16M  
[TXT] level6.lhug-clisp.out   01-Nov-2009 12:31  109K  
[   ] level6.lhug-cmucl       29-Oct-2009 17:10   36M  
[TXT] level6.lhug-cmucl.out   29-Oct-2009 17:10  163K  
[   ] level6.lhug-sbcl        24-Oct-2009 18:09   62M  
[TXT] level6.lhug-sbcl.out    24-Oct-2009 18:09  108K  
[   ] level6.nemesis-acl      29-Oct-2009 11:00   28M  
[   ] level6.nemesis-acl-big  30-Oct-2009 14:38   28M  
[TXT] level6.nemesis-acl-b..> 30-Oct-2009 14:38  108K  
[TXT] level6.nemesis-acl.out  29-Oct-2009 11:00  108K  
[   ] level6.nemesis-cmucl    29-Oct-2009 12:48   36M  
[TXT] level6.nemesis-cmucl..> 29-Oct-2009 12:48  163K  
[   ] level6.nemesis-sbcl     24-Oct-2009 03:29   37M  
[TXT] level6.nemesis-sbcl.out 24-Oct-2009 03:29  108K  
[   ] level7.lhug-ccl         24-Oct-2009 09:31   36M  
[TXT] level7.lhug-ccl.out     24-Oct-2009 09:31  199K  
[   ] level7.lhug-clisp       01-Nov-2009 20:31   17M  
[TXT] level7.lhug-clisp.out   01-Nov-2009 20:31  199K  
[   ] level7.lhug-cmucl       29-Oct-2009 18:02   38M  
[TXT] level7.lhug-cmucl.out   29-Oct-2009 18:02  289K  
[   ] level7.lhug-sbcl        24-Oct-2009 19:20   64M  
[TXT] level7.lhug-sbcl.out    24-Oct-2009 19:20  200K  
[   ] level7.nemesis-acl      29-Oct-2009 11:34   28M  
[   ] level7.nemesis-acl-big  30-Oct-2009 15:22   28M  
[TXT] level7.nemesis-acl-b..> 30-Oct-2009 15:22  199K  
[TXT] level7.nemesis-acl.out  29-Oct-2009 11:34  198K  
[   ] level7.nemesis-cmucl    29-Oct-2009 13:26   38M  
[TXT] level7.nemesis-cmucl..> 29-Oct-2009 13:26  289K  
[   ] level7.nemesis-sbcl     24-Oct-2009 04:06   38M  
[TXT] level7.nemesis-sbcl.out 24-Oct-2009 04:06  200K  
[   ] level8.lhug-ccl         24-Oct-2009 14:48   38M  
[TXT] level8.lhug-ccl.out     24-Oct-2009 14:48  292K  
[   ] level8.lhug-clisp       04-Nov-2009 06:48   19M  
[TXT] level8.lhug-clisp.out   04-Nov-2009 06:48  286K  
[   ] level8.lhug-cmucl       29-Oct-2009 23:59   39M  
[TXT] level8.lhug-cmucl.out   29-Oct-2009 23:59  500K  
[   ] level8.lhug-sbcl        25-Oct-2009 03:58   66M  
[TXT] level8.lhug-sbcl.out    25-Oct-2009 03:58  286K  
[   ] level8.nemesis-acl      29-Oct-2009 15:41   29M  
[   ] level8.nemesis-acl-big  30-Oct-2009 19:38   29M  
[TXT] level8.nemesis-acl-b..> 30-Oct-2009 19:38  286K  
[TXT] level8.nemesis-acl.out  29-Oct-2009 15:41  286K  
[   ] level8.nemesis-cmucl    29-Oct-2009 17:54   39M  
[TXT] level8.nemesis-cmucl..> 29-Oct-2009 17:54  500K  
[   ] level8.nemesis-sbcl     24-Oct-2009 08:14   40M  
[TXT] level8.nemesis-sbcl.out 24-Oct-2009 08:14  286K  
[   ] level9.lhug-ccl         24-Oct-2009 16:56   42M  
[TXT] level9.lhug-ccl.out     24-Oct-2009 16:56  680K  
[   ] level9.lhug-clisp       05-Nov-2009 02:11   23M  
[TXT] level9.lhug-clisp.out   05-Nov-2009 02:11  678K  
[   ] level9.lhug-cmucl       30-Oct-2009 02:10   48M  
[TXT] level9.lhug-cmucl.out   30-Oct-2009 02:10  1.4M  
[   ] level9.lhug-sbcl        25-Oct-2009 07:43   72M  
[TXT] level9.lhug-sbcl.out    25-Oct-2009 07:43  674K  
[   ] level9.nemesis-acl      29-Oct-2009 17:07   31M  
[   ] level9.nemesis-acl-big  30-Oct-2009 21:02   31M  
[TXT] level9.nemesis-acl-b..> 30-Oct-2009 21:02  672K  
[TXT] level9.nemesis-acl.out  29-Oct-2009 17:07  672K  
[   ] level9.nemesis-cmucl    29-Oct-2009 19:28   48M  
[TXT] level9.nemesis-cmucl..> 29-Oct-2009 19:28  1.4M  
[   ] level9.nemesis-sbcl     24-Oct-2009 09:45   43M  
[TXT] level9.nemesis-sbcl.out 24-Oct-2009 09:45  674K  
[   ] level10.lhug-ccl        24-Oct-2009 19:39   46M  
[TXT] level10.lhug-ccl.out    24-Oct-2009 19:39  298K  
[   ] level10.lhug-clisp      07-Nov-2009 13:47   25M  
[TXT] level10.lhug-clisp.out  07-Nov-2009 13:47  178K  
[   ] level10.lhug-cmucl      30-Oct-2009 05:58   50M  
[TXT] level10.lhug-cmucl.out  30-Oct-2009 05:58  3.8M  
[   ] level10.lhug-sbcl       25-Oct-2009 12:29   75M  
[TXT] level10.lhug-sbcl.out   25-Oct-2009 12:29  179K  
[TXT] level10.nemesis-acl-..> 30-Oct-2009 23:07   49K  
[TXT] level10.nemesis-acl.out 29-Oct-2009 17:12   19K  
[   ] level10.nemesis-cmucl   29-Oct-2009 22:13   50M  
[TXT] level10.nemesis-cmuc..> 29-Oct-2009 22:13  3.8M  
[   ] level10.nemesis-sbcl    24-Oct-2009 12:15   45M  
[TXT] level10.nemesis-sbcl..> 24-Oct-2009 12:15  179K  
[   ] level11.lhug-ccl        24-Oct-2009 21:21   48M  
[TXT] level11.lhug-ccl.out    24-Oct-2009 21:21  445K  
[   ] level11.lhug-clisp      08-Nov-2009 09:46   27M  
[TXT] level11.lhug-clisp.out  08-Nov-2009 09:46  331K  
[   ] level11.lhug-cmucl      30-Oct-2009 09:04   51M  
[TXT] level11.lhug-cmucl.out  30-Oct-2009 09:04  3.9M  
[   ] level11.lhug-sbcl       25-Oct-2009 15:59   79M  
[TXT] level11.lhug-sbcl.out   25-Oct-2009 15:59  330K  
[   ] level11.nemesis-cmucl   30-Oct-2009 00:23   52M  
[TXT] level11.nemesis-cmuc..> 30-Oct-2009 00:23  3.9M  
[   ] level11.nemesis-sbcl    24-Oct-2009 14:15   47M  
[TXT] level11.nemesis-sbcl..> 24-Oct-2009 14:15  329K  
[   ] logic.lhug-ccl          23-Oct-2009 14:37   23M  
[TXT] logic.lhug-ccl.out      23-Oct-2009 14:37  520K  
[   ] logic.lhug-clisp        24-Oct-2009 00:53  6.7M  
[TXT] logic.lhug-clisp.out    24-Oct-2009 00:53  516K  
[   ] logic.lhug-cmucl        28-Oct-2009 23:26   26M  
[TXT] logic.lhug-cmucl.out    28-Oct-2009 23:26  743K  
[   ] logic.lhug-sbcl         23-Oct-2009 15:33   44M  
[TXT] logic.lhug-sbcl.out     23-Oct-2009 15:33  515K  
[   ] logic.nemesis-acl       28-Oct-2009 23:14   14M  
[   ] logic.nemesis-acl-big   29-Oct-2009 23:59   14M  
[TXT] logic.nemesis-acl-bi..> 29-Oct-2009 23:59  515K  
[TXT] logic.nemesis-acl.out   28-Oct-2009 23:14  515K  
[   ] logic.nemesis-clisp     25-Oct-2009 04:22  3.9M  
[TXT] logic.nemesis-clisp.out 25-Oct-2009 04:22  516K  
[   ] logic.nemesis-cmucl     28-Oct-2009 23:11   26M  
[TXT] logic.nemesis-cmucl.out 28-Oct-2009 23:11  742K  
[   ] logic.nemesis-sbcl      23-Oct-2009 14:40   27M  
[TXT] logic.nemesis-sbcl.out  23-Oct-2009 14:40  515K  
[   ] memdump                 30-Oct-2009 23:07  3.1K  
[TXT] milawa-acl              04-Aug-2009 16:35  947   
[TXT] milawa-ccl              04-Aug-2009 16:35  874   
[TXT] milawa-clisp            04-Aug-2009 16:35  920   
[TXT] milawa-cmucl            28-Oct-2009 22:03  2.5K  
[TXT] milawa-corman           04-Aug-2009 16:35  874   
[TXT] milawa-sbcl             13-Aug-2009 10:59  2.9K  
[TXT] milawa-scl              04-Aug-2009 16:35  870   
[   ] milawa.lisp             03-Nov-2009 08:51   68K  
[TXT] report-time.rb          06-Jul-2009 20:45  1.1K  
[   ] size_macros.tex         23-Oct-2009 13:07  2.9K  
[   ] summarize-sizes.out     23-Oct-2009 13:07  7.4K  
[TXT] summarize-sizes.rb      02-Aug-2009 22:07  5.8K  
[   ] user.lhug-ccl           24-Oct-2009 21:23   48M  
[TXT] user.lhug-ccl.out       24-Oct-2009 21:23  9.4K  
[   ] user.lhug-clisp         08-Nov-2009 10:17   27M  
[TXT] user.lhug-clisp.out     08-Nov-2009 10:17  7.0K  
[   ] user.lhug-cmucl         30-Oct-2009 09:08   52M  
[TXT] user.lhug-cmucl.out     30-Oct-2009 09:08  108K  
[   ] user.lhug-sbcl          25-Oct-2009 16:05   79M  
[TXT] user.lhug-sbcl.out      25-Oct-2009 16:05  6.2K  
[   ] user.nemesis-cmucl      30-Oct-2009 00:26   52M  
[TXT] user.nemesis-cmucl.out  30-Oct-2009 00:26  108K  
[   ] user.nemesis-sbcl       24-Oct-2009 14:18   47M  
[TXT] user.nemesis-sbcl.out   24-Oct-2009 14:18  6.2K  
[   ] utilities.lhug-ccl      23-Oct-2009 13:50   21M  
[TXT] utilities.lhug-ccl.out  23-Oct-2009 13:50  382K  
[   ] utilities.lhug-clisp    23-Oct-2009 16:22  4.9M  
[TXT] utilities.lhug-clisp..> 23-Oct-2009 16:22  380K  
[   ] utilities.lhug-cmucl    28-Oct-2009 22:22   25M  
[TXT] utilities.lhug-cmucl..> 28-Oct-2009 22:22  533K  
[   ] utilities.lhug-sbcl     23-Oct-2009 14:04   41M  
[TXT] utilities.lhug-sbcl.out 23-Oct-2009 14:04  380K  
[TXT] utilities.lhug-scl.out  28-Oct-2009 22:09  128K  
[   ] utilities.nemesis-acl   28-Oct-2009 22:32  6.7M  
[   ] utilities.nemesis-ac..> 29-Oct-2009 23:06  6.7M  
[TXT] utilities.nemesis-ac..> 29-Oct-2009 23:06  379K  
[TXT] utilities.nemesis-ac..> 28-Oct-2009 22:32  379K  
[TXT] utilities.nemesis-cc..> 03-Nov-2009 08:54   90K  
[   ] utilities.nemesis-clisp 25-Oct-2009 00:31  2.9M  
[TXT] utilities.nemesis-cl..> 25-Oct-2009 00:31  380K  
[   ] utilities.nemesis-cmucl 28-Oct-2009 22:20   25M  
[TXT] utilities.nemesis-cm..> 28-Oct-2009 22:20  533K  
[   ] utilities.nemesis-sbcl  23-Oct-2009 13:47   26M  
[TXT] utilities.nemesis-sb..> 23-Oct-2009 13:47  380K  

Milawa Sources Readme

Files

  Sources/COPYING
    -- Obligatory copy of the GNU General Public License

  Sources/OMakefile
  Sources/OMakeroot
    -- Build files for OMake

  Sources/milawa.lisp 
    -- The core proof checker (complete and stand-alone) 

  Sources/report-time.rb
    -- Tool for seeing which events took longest to process


Subdirectories:

  Sources/ACL2/  
    -- Main directory: ACL2 proofs + User Interface + Bootstrapping
    -- Basically everything you want is here.

  Sources/Build/
    -- Supporting files for the build system

  Sources/Isabelle/
    -- Preliminary work on formalizing the Milawa core in Isabelle/HOL
       (old, incomplete, probably terrible!)

  Sources/Support/
    -- I put my supporting programs (Lisp implementations, addjob, ruby, 
       omake, ocaml, etc.) into this directory.  It's not part of SVN
       and isn't important for other folks who want to build.

  Sources/Proofs/
    -- Proof files that have been generated during the bootstrapping 
       process.  These are the files for our "final checks".