/[mojave]/metaprl/theories/mc
ViewVC logotype

Index of /metaprl/theories/mc

Files shown:30
Directory revision: 3588 (of 13286)
Sticky Revision:
(Current path doesn't exist after revision 4483)


File Rev. Age Author Last log entry
 Parent Directory        
tests/  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
Conscript  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
Makefile  3565  19 years  emre   Redoing constant elimination, now that I've corrected the mistake I made in FIR …
README  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
TODO  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
mp_mc_compile.ml  3562  19 years  emre   So, I've defined the compile function in Mp_mc_compile to actually take an Fir.p…
mp_mc_compile.mli  3562  19 years  emre   So, I've defined the compile function in Mp_mc_compile to actually take an Fir.p…
mp_mc_connect_base.ml  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
mp_mc_connect_base.mli  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
mp_mc_connect_exp.ml  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
mp_mc_connect_exp.mli  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
mp_mc_connect_ty.ml  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
mp_mc_connect_ty.mli  3550  19 years  emre   Updating files to reflect the newest version of the MC FIR (which happens to be …
mp_mc_const_elim.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_const_elim.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_const_elim.prla  3565  19 years  emre   Redoing constant elimination, now that I've corrected the mistake I made in FIR …
mp_mc_deadcode.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_deadcode.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_deadcode.prla  3564  19 years  emre   - Fixed some problems in Mp_mc_fir_eval and proved the rewrites in it. - Pr…
mp_mc_fir_base.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_base.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_eval.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_eval.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_eval.prla  3565  19 years  emre   Redoing constant elimination, now that I've corrected the mistake I made in FIR …
mp_mc_fir_exp.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_exp.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_ty.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_fir_ty.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_term_op.ml  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_term_op.mli  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…
mp_mc_theory.mlz  3588  19 years  emre   Updating modules so that they generate documentation for theories.pdf. Right no…

Properties

Name Value
svn:ignore .consign .nfs* *.cm* Makefile.dep *.p4* *.ppo *.run *.opt ocamlprof.dump gmon.out *.prlb

  ViewVC Help
Powered by ViewVC 1.1.26