diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-16T08·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-16T08·52+0000 |
| commit | f7c7aad1351a0ed58f458e485968af498d542b5b (patch) | |
| tree | 11edd455ae41e78084c206c96e1538290afb08ae /scripts/nix-pull.in | |
| parent | 181aa3dc4198d2e2cfa89d3ebb53a96fa567e12f (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 'scripts/nix-pull.in')
0 files changed, 0 insertions, 0 deletions