[nogin] _ Made sure conditional rewrites are added to toploop the same way the normal_Mon Sep 19 03:11:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-26-390658000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-26-390658000-PDT.html[nogin] Forgot to commit the proofs._Mon Sep 19 03:11:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-27-516109000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-27-516109000-PDT.html[emre] Added reductions for the boolean comparisons to the reduce tactic._Mon Sep 19 03:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-39-462324000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-39-462324000-PDT.html[emre] Initial import of a model for the integer sets within the FIR. Doesn_t_Mon Sep 19 03:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-39-900206000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-39-900206000-PDT.html[emre] Made some things more internally consistant and cleaned up a few things._Mon Sep 19 03:11:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-40-375832000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-40-375832000-PDT.html[emre] Added the not_equals int op._Mon Sep 19 03:11:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-41-211777000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-41-211777000-PDT.html[emre] Updated letSubCheck to better reflect the FIR. Still a no_op at this point._Mon Sep 19 03:11:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-41-651124000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-41-651124000-PDT.html[emre] Updated to compile fir_ty and fir_int_set now._Mon Sep 19 03:11:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-42-044447000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-42-044447000-PDT.html[emre] _ Updated some display forms._Mon Sep 19 03:11:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-42-418993000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-42-418993000-PDT.html[emre] I_ve added display forms for le_bool, gt_bool, and_Mon Sep 19 03:11:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-43-470135000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-43-470135000-PDT.html[jyh] Added the OCaml book I wrote December 2000. Still needs some work_Mon Sep 19 03:11:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-43-888640000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-43-888640000-PDT.html[jyh] Added some initial Conscript files. cons is a _make_ replacement._Mon Sep 19 03:11:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-48-199668000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-48-199668000-PDT.html[emre] Committing minor changes to the _very confused looking__Mon Sep 19 03:11:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-52-903855000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-52-903855000-PDT.html[] This commit was manufactured by cvs2svn to create tag_Mon Sep 19 03:11:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-53-329738000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-53-329738000-PDT.html[emre] Initial stab at representing the program state, its_Mon Sep 19 03:11:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-56-784991000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-56-784991000-PDT.html[emre] Uploading some new files and some minor changes so_Mon Sep 19 03:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-57-356074000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-57-356074000-PDT.html[emre] Everything that I had before should be state aware now. ___Mon Sep 19 03:11:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-58-216119000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-58-216119000-PDT.html[emre] The execution time problem should be pretty much_Mon Sep 19 03:11:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-59-335983000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-11-59-335983000-PDT.html[emre] Added some terms for convinience and added more test_Mon Sep 19 03:12:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-12-00-476837000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-12-00-476837000-PDT.html[emre] Commit of type checking rules for FIR programs._Mon Sep 19 03:12:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-12-02-279079000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-12-02-279079000-PDT.html[emre] I_ve simplified the syntax of some things_Mon Sep 19 03:12:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-12-07-680968000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2001-08/2005-09-19-03-12-07-680968000-PDT.html