[emre] _ More const_elim rewrites._ Mon Sep 19 03:15:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-28-848604000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-28-848604000-PDT.html [jyh] Added mc directory._ Mon Sep 19 03:15:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-430568000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-430568000-PDT.html [emre] Everything compiles, but I_ve managed to break_ Mon Sep 19 03:15:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-912751000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-31-912751000-PDT.html [emre] Fixed a build error with cons._ Mon Sep 19 03:15:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-308955000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-308955000-PDT.html [nogin] When we replace a goal of a RuleBox, it seems a better idea to use_ Mon Sep 19 03:15:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-685934000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-34-685934000-PDT.html [emre] _ Added a Conscript_ Mon Sep 19 03:15:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-35-197438000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-35-197438000-PDT.html [emre] Changes to get the mc theory compiled in by default._ Mon Sep 19 03:15:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-325928000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-325928000-PDT.html [nogin] cons files__ Mon Sep 19 03:15:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-760646000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-37-760646000-PDT.html [nogin] removed the bugs and todo_s that were already fixed._ Mon Sep 19 03:15:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-300039000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-300039000-PDT.html [yegor] Itt_int_ext_ more conversions added to reduce resource_ Mon Sep 19 03:15:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-823520000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-38-823520000-PDT.html [yegor] Sorry, forgot to export proof_ Mon Sep 19 03:15:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-39-345736000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-39-345736000-PDT.html [nogin] Code cleanup__ Mon Sep 19 03:15:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-42-030597000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-42-030597000-PDT.html [emre] _ A little clean up for const_elim._ Mon Sep 19 03:15:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-45-370216000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-45-370216000-PDT.html [emre] More term operations._ Mon Sep 19 03:15:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-46-131233000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-46-131233000-PDT.html [emre] _ More term operations added._ Mon Sep 19 03:15:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-48-427961000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-48-427961000-PDT.html [jyh] First working version with meta_prl/mc together._ Mon Sep 19 03:15:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-49-561416000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-49-561416000-PDT.html [nogin] Added some additional info to comments in JProver files._ Mon Sep 19 03:15:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-50-222662000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-50-222662000-PDT.html [emre] Even more term ops implemented._ Mon Sep 19 03:15:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-043443000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-043443000-PDT.html [emre] _ More term operations. Everything in fir_ty and fir_exp should_ Mon Sep 19 03:15:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-829282000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-51-829282000-PDT.html [emre] make will now build the mc theory _and all of MetaPRL_ w/o trouble now._ Mon Sep 19 03:15:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-559791000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-559791000-PDT.html [emre] Updates to solve some build problems__ Mon Sep 19 03:15:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-936978000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-52-936978000-PDT.html [emre] _ Continuing implementation of code to convert from Fir.prog to MetaPRL terms,_ Mon Sep 19 03:15:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-54-182988000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-54-182988000-PDT.html [emre] More _connection_ code. Most of the function are there,_ Mon Sep 19 03:15:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-55-640526000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-11/2005-09-19-03-15-55-640526000-PDT.html