about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-10-23T20·07+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-10-23T20·07+0000
commit8ac06726b92fff66714ceee8af89068ac876875a (patch)
treeeb0e810b983cf3df2cb6d7311c03182b0cf5fe78 /scripts
parent3f66cfb96b6f4bbddc8bf3b15e364fd522e028bc (diff)
* Make Value smaller by not storing redundant PrimOp info.
* Clear pointers in Values after overwriting them to make sure that no
  objects are kept alive unnecessarily.

Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions