Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-23 08:54:49 -0700 (Mon, 23 Sep 2002)
Revision: 3893
Log message:

      Committing some work done over the weekend.  I've pretty much fixed
      all the typing rules I had done previously; the exceptions are the
      FIR allocation operators.  Places where documentation is lacking
      should be explicitly marked now.
      
      The only other major change is the addition of a script, atom_base_gen.py,
      which processes mfir_tr_aotm_base.spec to generate mfir_tr_atom_base.ml*.
      As with termOp_gen.py, I run the script by hand, as needed.  (Both
      scripts have saved me quite a bit of typing...)
      

Changes  Path
+10 -4 metaprl/theories/fir/BUGS
+0 -0 metaprl/theories/fir/Conscript
Added metaprl/theories/fir/atom_base_gen.py
Properties metaprl/theories/fir/atom_base_gen.py
+12 -12 metaprl/theories/fir/mfir_exp.ml
+1 -1 metaprl/theories/fir/mfir_exp.mli
+15 -4 metaprl/theories/fir/mfir_termOp.ml
+11 -2 metaprl/theories/fir/mfir_termOp.mli
+49 -34 metaprl/theories/fir/mfir_tr_atom.ml
+1 -1 metaprl/theories/fir/mfir_tr_atom.mli
+1183 -12 metaprl/theories/fir/mfir_tr_atom_base.ml
+247 -0 metaprl/theories/fir/mfir_tr_atom_base.mli
Added metaprl/theories/fir/mfir_tr_atom_base.spec
Properties metaprl/theories/fir/mfir_tr_atom_base.spec
+130 -137 metaprl/theories/fir/mfir_tr_exp.ml
+1 -1 metaprl/theories/fir/mfir_tr_exp.mli
+1 -1 metaprl/theories/fir/mfir_tr_types.ml
+130 -3 metaprl/theories/fir/mfir_util.ml
+16 -0 metaprl/theories/fir/mfir_util.mli
+3 -0 metaprl/theories/fir/termOp_gen.py