about summary refs log tree commit diff
path: root/ChangeLog
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-10-16T08·52+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-10-16T08·52+0000
commitf7c7aad1351a0ed58f458e485968af498d542b5b (patch)
tree11edd455ae41e78084c206c96e1538290afb08ae /ChangeLog
parent181aa3dc4198d2e2cfa89d3ebb53a96fa567e12f (diff)
* Upgraded to Berkeley DB 4.1.25 and do not synchronously flush the
  log on commit.  This means that there is a small change that some
  transactions may be rolled back in case of a system crash, but this
  should not be a problem (it merely might cause some expression
  realisations to be rolled back), and it vastly improves performance.

* Upgraded to ATerm 2.0.5 (which also includes Armijn's 64-bit
  patches).


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