[nogin] Unicode fixes for couple of display forms._ Mon Sep 19 03:48:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-48-36-869478000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-48-36-869478000-PDT.html [nogin] Added a _funded in part by_ statement._ Mon Sep 19 03:49:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-21-949404000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-21-949404000-PDT.html [nogin] Need an HR._ Mon Sep 19 03:49:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-22-949848000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-22-949848000-PDT.html [nogin] Supported in part by ONR._ Mon Sep 19 03:49:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-23-404615000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-23-404615000-PDT.html [kopylov] Fixed a bug in a record elimination tactic. Thanks to Xin for noticing this._ Mon Sep 19 03:49:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-24-549109000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-24-549109000-PDT.html [granicz] Added Phobos _with a few features stripped out_ to MetaPRL._ Mon Sep 19 03:49:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-25-011839000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-25-011839000-PDT.html [granicz] Include Phobos in Makefiles._ Mon Sep 19 03:49:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-32-785579000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-32-785579000-PDT.html [granicz] Added Phobos grammar for M_ir._ Mon Sep 19 03:49:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-33-523452000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-33-523452000-PDT.html [granicz] Added M AST. Next is putting back the ability in Phobos to apply_ Mon Sep 19 03:49:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-34-205352000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-34-205352000-PDT.html [granicz] Now you can use the environment variable LANG_FILE to set the name_ Mon Sep 19 03:49:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-34-818994000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-34-818994000-PDT.html [granicz] Added new rule for the term symbol that calls Phobos on a string._ Mon Sep 19 03:49:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-35-849536000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-35-849536000-PDT.html [granicz] Switched over to Mp_debug. I am still not convinced that MP_DEBUG_ Mon Sep 19 03:49:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-36-254561000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-36-254561000-PDT.html [granicz] We should clear up Phobos_generated files on clean_up._ Mon Sep 19 03:49:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-37-514134000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-37-514134000-PDT.html [granicz] Switched hardcoded term with the new Phobos_enabled term notation._ Mon Sep 19 03:49:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-37-854730000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-37-854730000-PDT.html [granicz] Changed comment to say M IR and not AST _which was added earlier_._ Mon Sep 19 03:49:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-38-213475000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-38-213475000-PDT.html [granicz] Cleaned up m_ir.pho__ Mon Sep 19 03:49:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-38-556751000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-38-556751000-PDT.html [granicz] This should finish off quotations... I have enabled term/ext quotations_ Mon Sep 19 03:49:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-38-932209000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-38-932209000-PDT.html [granicz] Phobos error messages should be caught by the Phobos exnhdlr._ Mon Sep 19 03:49:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-39-418277000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-39-418277000-PDT.html [granicz] Added .cvsignore._ Mon Sep 19 03:49:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-39-827045000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-39-827045000-PDT.html [jyh] Please remember this__ Mon Sep 19 03:49:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-40-174584000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-40-174584000-PDT.html [jyh] Adam, please do not commit files that do not compile._ Mon Sep 19 03:49:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-43-915734000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-43-915734000-PDT.html [jyh] Some minor changes to get MetaPRL to compile in Windows/Cygwin._ Mon Sep 19 03:49:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-44-337344000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-44-337344000-PDT.html [nogin] The final part of the CYGWIN_related fix__ Mon Sep 19 03:49:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-44-785143000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-44-785143000-PDT.html [granicz] We raise an exception if term quotation is used in terms, like_ Mon Sep 19 03:49:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-47-141125000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-47-141125000-PDT.html [xiny] _ Defined group like objects_ groupoid, semigroup, and monoid with dependent_ Mon Sep 19 03:49:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-48-187813000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-48-187813000-PDT.html [xiny] 1. Added the fold form of rewritings._ Mon Sep 19 03:49:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-53-479256000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-53-479256000-PDT.html [jyh] Instead of LetFun, using AtomFun instead. This will make CPS easier._ Mon Sep 19 03:49:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-57-197646000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-57-197646000-PDT.html [granicz] Fixed m_ast/m_ir to use AtomFuns in function definitions, added_ Mon Sep 19 03:49:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-57-681898000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-57-681898000-PDT.html [jyh] A partial implementation of CPS as discussed to Aleksey._ Mon Sep 19 03:49:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-58-157606000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-58-157606000-PDT.html [nogin] _ Added more automation to itt_int_base and itt_int_ext_ Mon Sep 19 03:49:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-58-789113000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-49-58-789113000-PDT.html [jyh] Trying CPS with inference rules._ Mon Sep 19 03:50:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-27-189678000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-27-189678000-PDT.html [jyh] This is an initial attempt at using inference rules for rewriting._ Mon Sep 19 03:50:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-31-856052000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-31-856052000-PDT.html [jyh] This is a working version of CPS transformation, but I am not sure_ Mon Sep 19 03:50:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-32-584569000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-32-584569000-PDT.html [jyh] ___Notice____ Mon Sep 19 03:50:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-33-354776000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-33-354776000-PDT.html [jyh] Reintroduced Aleksey_s column limit._ Mon Sep 19 03:50:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-34-593661000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-34-593661000-PDT.html [jyh] Oops, left in a debugging comment._ Mon Sep 19 03:50:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-35-440251000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-35-440251000-PDT.html [xiny] According to Alexei_s comments__ Mon Sep 19 03:50:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-35-937608000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-35-937608000-PDT.html [jyh] Added more formatting._ Mon Sep 19 03:50:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-48-026830000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-48-026830000-PDT.html [nogin] One of the srec rules was missing one of the necessary wf assumptions._ Mon Sep 19 03:50:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-51-776927000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-51-776927000-PDT.html [jyh] Added the formatting bounds_check that Aleksey and I have_ Mon Sep 19 03:50:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-52-300584000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-52-300584000-PDT.html [xiny] 1. Added display forms for the terms._ Mon Sep 19 03:50:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-52-865350000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-50-52-865350000-PDT.html [xiny] Added 3 group files for documentation._ Mon Sep 19 03:51:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-00-765248000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-00-765248000-PDT.html [jyh] Two changes__ Mon Sep 19 03:51:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-01-220964000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-01-220964000-PDT.html [jyh] Completed closure conversion._ Mon Sep 19 03:51:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-02-506829000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-02-506829000-PDT.html [jyh] Added a compileT tactic that does both CPS and closure conversion._ Mon Sep 19 03:51:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-03-041471000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-03-041471000-PDT.html [jyh] Working on program normalization, but the rewriter is giving me_ Mon Sep 19 03:51:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-03-640192000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-03-640192000-PDT.html [granicz] Put back post_parsing rewrites._ Mon Sep 19 03:51:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-04-442399000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-04-442399000-PDT.html [jyh] Perform program hoisting as a sequence of pairwise swaps._ Mon Sep 19 03:51:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-06-080707000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-06-080707000-PDT.html [jyh] Modified CPS conversion slightly to enclose the entire program_ Mon Sep 19 03:51:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-06-714963000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-06-714963000-PDT.html [jyh] Moved generic resource code into M_util._ Mon Sep 19 03:51:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-07-507929000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-07-507929000-PDT.html [jyh] Added dead code elimination._ Mon Sep 19 03:51:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-08-506992000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-08-506992000-PDT.html [jyh] Added constant folding._ Mon Sep 19 03:51:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-09-325163000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-09-325163000-PDT.html [jyh] Prog hoisting is more complete._ Mon Sep 19 03:51:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-09-991098000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-09-991098000-PDT.html [kopylov] Extended grammar__ Mon Sep 19 03:51:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-10-465759000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-10-465759000-PDT.html [granicz] I am committing this file separately._ Mon Sep 19 03:51:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-13-307795000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-13-307795000-PDT.html [granicz] Added _desc quotation for IR descriptions. For a sample, see_ Mon Sep 19 03:51:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-13-840017000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-13-840017000-PDT.html [kopylov] I extend syntax with the following expressions__ Mon Sep 19 03:51:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-14-489181000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-14-489181000-PDT.html [jyh] Added initial assembly code._ Mon Sep 19 03:51:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-25-297903000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-25-297903000-PDT.html [kopylov] Fixed proofs that were broken by my last commit._ Mon Sep 19 03:51:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-26-051370000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-26-051370000-PDT.html [kopylov] Use new syntax in some czf theories._ Mon Sep 19 03:51:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-27-853807000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-27-853807000-PDT.html [granicz] Added M source language definition. It is a superset of the M IR,_ Mon Sep 19 03:51:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-30-067259000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-30-067259000-PDT.html [emre] In an effort to avoid my actual homework, I decided to take a look_ Mon Sep 19 03:51:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-53-014001000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-02/2005-09-19-03-51-53-014001000-PDT.html