/[mojave]
ViewVC logotype

Revision 3551


Jump to revision: Previous Next
Author: emre
Date: Sun Mar 31 02:48:35 2002 UTC (19 years, 3 months ago)
Changed paths: 14
Log Message:
Test cases for the "connection" code are pretty much complete.
I've fixed a few bugs that cropped up (including a major one
in Mp_mc_term_op).  What's needed now is the final set of functions
to take an entire MC Fir.prog to some sort of MetaPRL term.


Changed paths

Path Details
Directorymetaprl/Conscript modified , text changed
Directorymetaprl/theories/mc/Conscript modified , text changed
Directorymetaprl/theories/mc/README modified , text changed
Directorymetaprl/theories/mc/TODO modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect_base.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect_base.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect_exp.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_term_op.ml modified , text changed
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_base.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_base.mli modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_ty.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26