ViewVC logotype

Revision 3480

Jump to revision: Previous Next
Author: emre
Date: Fri Jan 25 01:27:28 2002 UTC (19 years, 6 months ago)
Changed paths: 8
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.

Changed paths

Path Details
Directorymetaprl/theories/mc/Conscript modified , text changed
Directorymetaprl/theories/mc/mp_mc_compile.ml added
Directorymetaprl/theories/mc/mp_mc_compile.mli added
Directorymetaprl/theories/mc/tests/Conscript modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.mli modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_ty.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26