Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-16 21:17:28 -0800 (Fri, 16 Nov 2001)
Revision: 3445
Log message:

      - A little clean up for const_elim.
      - Term operations for fir_ty.
      - Don't use cons to build this theory.  I make no guarentees about
        cons correctly being able to navigate dependencies and namespace
        related conflicts, yet.
      - The Makefile now includes meta-prl/mc/fir/..., so make may not work
        either unless you have the Mojave compiler source tree set up appropriately.
      - In short, this code is in a state of flux.  I will get it to cleanly
        compile eventually.
      

Changes  Path
+3 -1 metaprl/theories/mc/Conscript
+2 -1 metaprl/theories/mc/Makefile
+6 -0 metaprl/theories/mc/README
+5 -2 metaprl/theories/mc/fir_const_elim.ml
+18 -4 metaprl/theories/mc/fir_eval.ml
+6 -5 metaprl/theories/mc/fir_eval.mli
+7 -1 metaprl/theories/mc/fir_marshal.ml
+167 -0 metaprl/theories/mc/fir_ty.ml
+135 -0 metaprl/theories/mc/fir_ty.mli