Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-20 08:16:49 -0700 (Fri, 20 Sep 2002)
Revision: 3879
Log message:

      Many of the files in this commit were simply touched becuase of minor
      formatting changes that I made when I was bored.  Other than that, the
      main changes here are:
      
      1. Updates to the set of terms to reflect the new FIR.  This is not
      complete yet.  The allocation operators need to be updated, and I
      need to declare terms for a few more things.  Some of the actual
      expression forms may need updating.
      
      2. Typing rules are in the middle of being updated to reflect the
      idea of of using sequents to represent a FIR program.
      
      As of this commit, lots of documentation is probably non-existant or
      innaccurate at this point, and I will be going back within the next
      week to clean everything up.
      

Changes  Path
+16 -2 metaprl/theories/fir/BUGS
+11 -9 metaprl/theories/fir/Makefile
+26 -8 metaprl/theories/fir/README
+4 -0 metaprl/theories/fir/mfir_auto.ml
+4 -0 metaprl/theories/fir/mfir_auto.mli
+0 -0 metaprl/theories/fir/mfir_bool.ml
+0 -0 metaprl/theories/fir/mfir_bool.mli
+15 -10 metaprl/theories/fir/mfir_exp.ml
+2 -2 metaprl/theories/fir/mfir_exp.mli
+12 -4 metaprl/theories/fir/mfir_int.ml
+0 -0 metaprl/theories/fir/mfir_int.mli
+8 -10 metaprl/theories/fir/mfir_int_set.ml
+0 -0 metaprl/theories/fir/mfir_int_set.mli
+0 -0 metaprl/theories/fir/mfir_list.ml
+33 -3 metaprl/theories/fir/mfir_record.ml
+3 -1 metaprl/theories/fir/mfir_record.mli
+62 -46 metaprl/theories/fir/mfir_sequent.ml
+7 -5 metaprl/theories/fir/mfir_sequent.mli
+25 -20 metaprl/theories/fir/mfir_termOp.ml
+17 -13 metaprl/theories/fir/mfir_termOp.mli
+27 -3 metaprl/theories/fir/mfir_termOp_base.ml
+51 -16 metaprl/theories/fir/mfir_termOp_base.mli
+26 -26 metaprl/theories/fir/mfir_test.ml
+443 -449 metaprl/theories/fir/mfir_test.prla
+2 -2 metaprl/theories/fir/mfir_theory.mlz
+123 -574 metaprl/theories/fir/mfir_tr_atom.ml
+2 -1 metaprl/theories/fir/mfir_tr_atom.mli
Added metaprl/theories/fir/mfir_tr_atom_base.ml
Properties metaprl/theories/fir/mfir_tr_atom_base.ml
Added metaprl/theories/fir/mfir_tr_atom_base.mli
Properties metaprl/theories/fir/mfir_tr_atom_base.mli
+63 -58 metaprl/theories/fir/mfir_tr_base.ml
+82 -159 metaprl/theories/fir/mfir_tr_exp.ml
+40 -56 metaprl/theories/fir/mfir_tr_store.ml
+206 -192 metaprl/theories/fir/mfir_tr_types.ml
+2 -0 metaprl/theories/fir/mfir_tr_types.mli
+16 -18 metaprl/theories/fir/mfir_ty.ml
+1 -1 metaprl/theories/fir/mfir_ty.mli
+83 -159 metaprl/theories/fir/mfir_util.ml
+19 -11 metaprl/theories/fir/mfir_util.mli
+9 -9 metaprl/theories/fir/termOp_gen.py