[nogin] Returned the term representation of the Ocaml record expression_ Mon Sep 19 03:15:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-00-682273000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-00-682273000-PDT.html [nogin] _ I got rid of _MAKE_JOBS_ variable in mk/config. If you want _make_ to keep_ Mon Sep 19 03:15:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-01-363767000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-01-363767000-PDT.html [nogin] Yesterday_s commit was missing a fix to the mc .prla_ Mon Sep 19 03:15:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-08-580290000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-08-580290000-PDT.html [emre] Essentially, this commit is a bunch of_ Mon Sep 19 03:15:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-09-014642000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-09-014642000-PDT.html [emre] Lots of changes in this update__ Mon Sep 19 03:15:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-11-545000000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-11-545000000-PDT.html [emre] Added terms for open and infinite bounds_ Mon Sep 19 03:15:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-13-186567000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-13-186567000-PDT.html [kopylov] Added an example of mutually recursive functions based on records._ Mon Sep 19 03:15:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-13-683199000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-13-683199000-PDT.html [xiny] czf_itt_cyclic_subgroup.ppo added._ Mon Sep 19 03:15:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-16-989591000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-16-989591000-PDT.html [nogin] Generated files _such as .ppo_ should not be in CVS._ Mon Sep 19 03:15:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-18-769633000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-18-769633000-PDT.html [emre] _ Added more terms for FIR entities _trig functions_._ Mon Sep 19 03:15:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-19-808159000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-19-808159000-PDT.html [emre] _ Added support for evaluating _raw ints_._ Mon Sep 19 03:15:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-20-612518000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-20-612518000-PDT.html [nogin] _ Made sure that div by zero and mod zero raise proper exceptions in_ Mon Sep 19 03:15:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-22-006280000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-22-006280000-PDT.html [emre] _ Added some simple RawInt evaulation and constant elimination._ Mon Sep 19 03:15:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-23-415574000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-23-415574000-PDT.html [yegor] Inefficiantly implemented termC added. It is similar to funC but function_ Mon Sep 19 03:15:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-25-794041000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-25-794041000-PDT.html [yegor] Small step toward arithT. I_ve committed it because I want to show_ Mon Sep 19 03:15:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-26-687170000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-10/2005-09-19-03-15-26-687170000-PDT.html