[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