Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-25 09:12:21 -0700 (Wed, 25 Jun 2003)
Revision: 4685
Log message:
Moved all the term/mterm "of_string" calls into one big "of_string" unmarshalling
at the beginning of each PRL-compiled module. This:
- reduces the size of the mp.opt binary (THEORIES=all) by 1.8Mb (12%) as the
duplicated subterms are now only represented once per module instead of multiple times.
- reduces the mp.opt statup time by about 15%
- probably reduces the compilation time (not measures)
- does not seem to affect the "status_all" time.