/[mojave]
ViewVC logotype

Revision 3550


Jump to revision: Previous Next
Author: emre
Date: Sun Mar 24 22:35:29 2002 UTC (19 years, 4 months ago)
Changed paths: 51
Log Message:
Updating files to reflect the newest version of the MC FIR (which happens to be
in the websplit branch).  In the process, I've also moved every file in this
theory to use the same prefix for the filenames. I've also removed quite
a few files that have been dead for a while now.

Right now, the "connect" files are not compiled in by default since they will
only compile against the websplit branch of MC and not the trunk.

Lastly, since the definition of FIR evaluation is a bit more precise now,
the need to seperately define constant elimination has been removed.


Changed paths

Path Details
Directorymetaprl/theories/mc/Conscript modified , text changed
Directorymetaprl/theories/mc/Makefile modified , text changed
Directorymetaprl/theories/mc/README modified , text changed
Directorymetaprl/theories/mc/TODO modified , text changed
Directorymetaprl/theories/mc/fir_const_elim.ml deleted
Directorymetaprl/theories/mc/fir_const_elim.mli deleted
Directorymetaprl/theories/mc/fir_const_elim.prla deleted
Directorymetaprl/theories/mc/fir_deadcode.ml deleted
Directorymetaprl/theories/mc/fir_deadcode.mli deleted
Directorymetaprl/theories/mc/fir_deadcode.prla deleted
Directorymetaprl/theories/mc/fir_exp.ml deleted
Directorymetaprl/theories/mc/fir_exp.mli deleted
Directorymetaprl/theories/mc/fir_test.ml deleted
Directorymetaprl/theories/mc/fir_test.mli deleted
Directorymetaprl/theories/mc/fir_ty.ml deleted
Directorymetaprl/theories/mc/fir_ty.mli deleted
Directorymetaprl/theories/mc/fir_type.ml deleted
Directorymetaprl/theories/mc/fir_type.mli deleted
Directorymetaprl/theories/mc/fir_type.prla deleted
Directorymetaprl/theories/mc/fir_type_exp.ml deleted
Directorymetaprl/theories/mc/fir_type_exp.mli deleted
Directorymetaprl/theories/mc/fir_type_exp.prla deleted
Directorymetaprl/theories/mc/fir_type_int.ml deleted
Directorymetaprl/theories/mc/fir_type_int.mli deleted
Directorymetaprl/theories/mc/fir_type_int.prla deleted
Directorymetaprl/theories/mc/mp_mc_compile.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_compile.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect.mli 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_connect_exp.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect_ty.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect_ty.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_deadcode.ml added
Directorymetaprl/theories/mc/mp_mc_deadcode.mli added
Directorymetaprl/theories/mc/mp_mc_fir_base.ml added
Directorymetaprl/theories/mc/mp_mc_fir_base.mli added
Directorymetaprl/theories/mc/mp_mc_fir_eval.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_fir_eval.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_fir_exp.ml added
Directorymetaprl/theories/mc/mp_mc_fir_exp.mli added
Directorymetaprl/theories/mc/mp_mc_fir_ty.ml added
Directorymetaprl/theories/mc/mp_mc_fir_ty.mli added
Directorymetaprl/theories/mc/mp_mc_set.ml deleted
Directorymetaprl/theories/mc/mp_mc_set.mli deleted
Directorymetaprl/theories/mc/mp_mc_term_op.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_term_op.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_theory.mlz modified , text changed
Directorymetaprl/theories/mc/tests/Conscript modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26