Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-20 18:02:36 -0800 (Sun, 20 Feb 2005)
Revision: 6729
Log message:
Subtraction and addition of linear forms were inefficient.
130 seconds dropped to 100
(time in omega core dropped from 70 to 40)
One of the most difficult itt_int_bench2/test7 dropped from 42 to 20
with time in omega core dropped from 40 to 15.
There are still several non-tail recursive calls (List.map etc) that can be
eliminated because constraint sets are a _sets_
Changes | Path |
+61 -38 | metaprl/theories/itt/itt_omega.ml |