/[mojave]/metaprl/theories/mc/mp_mc_term_op.ml
ViewVC logotype

Log of /metaprl/theories/mc/mp_mc_term_op.ml

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 3668)

Revision 3588 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 27 02:45:24 2002 UTC (19 years, 1 month ago) by emre
File length: 11616 byte(s)
Diff to previous 3551
Updating modules so that they generate documentation
for theories.pdf.  Right now, it's _very_ minimal and
not so useful.  Hopefully, I will get around to updating
them and making them decent.

Also updating the README file to properly reflect the
name of our research group at Caltech.


Revision 3551 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 31 02:48:35 2002 UTC (19 years, 2 months ago) by emre
File length: 11486 byte(s)
Diff to previous 3550
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.


Revision 3550 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 24 22:35:29 2002 UTC (19 years, 3 months ago) by emre
File length: 11042 byte(s)
Diff to previous 3478
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.


Revision 3478 - (view) (download) (annotate) - [select for diffs]
Added Tue Jan 22 23:38:59 2002 UTC (19 years, 5 months ago) by emre
File length: 7925 byte(s)
1) The main Conscript has been modified.  Added lines for CPP so that MC
   compiles properly from MetaPRL.
2) Renamed some files in theories/mc/ so as to not confliced with
   files in MC.  I've chosen the (arguably atrocious) prefix
   of mp_mc_.

Assuming string_util.ml and rformat.ml, in the MC source tree,
are renamed to something else and the changes propagated as
necessary, this commit should re-enable MetaPRL and MC to build together
(using cons).


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26