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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

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: 5203 byte(s)
Diff to previous 3576
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 3576 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 12 05:37:53 2002 UTC (19 years, 2 months ago) by emre
File length: 4989 byte(s)
Diff to previous 3565
These updates to the Conscripts allow for a compiles,
started in the MC source tree, to optionally
compile MetaPRL.  Nothing in MetaPRL itself should be
affected by these changes.  The only important
thing to note that is "#", in INCPATH's
has been replaced by $env->{MP}, which is set
in the toplevel Conscript.  "#" will refer to the
wrong root if the compile is started in MC.


Revision 3565 - (view) (download) (annotate) - [select for diffs]
Added Fri Apr 5 09:33:57 2002 UTC (19 years, 2 months ago) by emre
File length: 4951 byte(s)
Redoing constant elimination, now that I've corrected
the mistake I made in FIR evaluation.  As a sidenote, I'm not
completely convinced that I've expressed how division expressions evaluation
"correctly".


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