ViewVC logotype

Log of /metaprl/theories/mc/tests/Conscript

Parent Directory Parent Directory | Revision Log Revision Log

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

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: 798 byte(s)
Diff to previous 3551
Updates to reflect the (ever changing) MC FIR.

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: 799 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: 1444 byte(s)
Diff to previous 3480
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 3480 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 25 01:27:28 2002 UTC (19 years, 4 months ago) by emre
File length: 1442 byte(s)
Diff to previous 3479
1) Added some test cases to demonstrate what
   the test program will do.
2) Added mp_mc_compile.  This module will (hopefully)
   be used as the main interface to MC.  Right now,
   it only defines one function, compile, which
   is the identity on an Fir.prog.

Revision 3479 - (view) (download) (annotate) - [select for diffs]
Added Thu Jan 24 05:49:15 2002 UTC (19 years, 5 months ago) by emre
File length: 1451 byte(s)
Two changes essentially:
1) Moved more files in theories/mc to have
   the mp_mc_ prefix.
2) Added theories/mc/tests/  The files there are
   pretty empty right now, but the idea is to put
   code there for a simple test program to test
   the mp_mc_connect modules.

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