ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log

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

Revision 3592 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 29 23:15:57 2002 UTC (19 years, 1 month ago) by emre
File length: 68198 byte(s)
Diff to previous 3590
Some more documentation.  I'll be able to document more things
when the MC developers document their stuff a bit more.
I've changed the order in which the modules of the mc theory
are printed so that I can put an overview of the theory
in Mp_mc_theory and have that serve as an introduction to the
rest of the modules.  (This over view is not currently in there,
but should be on my next commit.)

Revision 3590 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 27 19:52:38 2002 UTC (19 years, 1 month ago) by emre
File length: 65348 byte(s)
Diff to previous 3588
Adding some documentation.  Still have a long ways to go
in fully documenting everything.

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: 63395 byte(s)
Diff to previous 3580
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 3580 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 19 08:09:21 2002 UTC (19 years, 2 months ago) by emre
File length: 63492 byte(s)
Diff to previous 3564
Comitting more changes to reflect the ever changing MC FIR.

Revision 3564 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 5 07:07:58 2002 UTC (19 years, 2 months ago) by emre
File length: 69871 byte(s)
Diff to previous 3563
-  Fixed some problems in Mp_mc_fir_eval and proved
   the rewrites in it.
-  Proved 2 of the deadcode elimination rewrites (in Mp_mc_deadcode).

Revision 3563 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 5 01:16:49 2002 UTC (19 years, 2 months ago) by emre
File length: 69836 byte(s)
Diff to previous 3562
Updates to reflect the (ever changing) MC FIR.

Revision 3562 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 3 08:37:31 2002 UTC (19 years, 2 months ago) by emre
File length: 67534 byte(s)
Diff to previous 3550
So, I've defined the compile function in Mp_mc_compile to actually
take an Fir.prog, convert the function definitions to terms,
and then back again, in one big identity operation.  The current
term representation of the FIR functions is a bit of a hack that
will need to be cleaned up if anything non-trivial is to be done.
(Each individual function is fine I hope.  It's the program as a whole
that's represented rather poorly.  It's essentially a (term SymbolTable.t),
one term for each fundef in the original Fir.prog.prog_funs.)
Though, this should be sufficient for basic testing I think.

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

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