Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-01-24 17:27:28 -0800 (Thu, 24 Jan 2002)
Revision: 3480
Log message:

      1) Added some test cases to demonstrate what
         the test program will do.
      2) Added mp_mc_compile.  This module will (hopefully)
         be used as the main interface to MC.  Right now,
         it only defines one function, compile, which
         is the identity on an Fir.prog.
      

Changes  Path
+2 -0 metaprl/theories/mc/Conscript
Added metaprl/theories/mc/mp_mc_compile.ml
Properties metaprl/theories/mc/mp_mc_compile.ml
Added metaprl/theories/mc/mp_mc_compile.mli
Properties metaprl/theories/mc/mp_mc_compile.mli
+1 -1 metaprl/theories/mc/tests/Conscript
+2 -1 metaprl/theories/mc/tests/mp_mc_test_connect.ml
+58 -0 metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
+5 -0 metaprl/theories/mc/tests/mp_mc_test_connect_exp.mli
+20 -4 metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml