diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T12·39+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T12·39+0000 |
commit | 624c48260f1b4eec86daa0da5f33d4cbb963a361 (patch) | |
tree | bb0274a797cf79a65ad5bd23ed73a5483c2f5dc4 /scripts/prebuilts.conf | |
parent | 710175e6a0f737f108e802d6b0c3de0af04e500c (diff) |
* Change the abstract syntax of slices. It used to be that ids were used as
keys to reference slice elements, e.g., Slice(["1ef7..."], [("/nix/store/1ef7...-foo", "1ef7", ["8c99..."]), ...]) This was wrong, since ids represent contents, not locations. Therefore we now have: Slice(["/nix/store/1ef7..."], [("/nix/store/1ef7...-foo", "1ef7", ["/nix/store/8c99-..."]), ...]) * Fix a bug in the computation of slice closures that could cause slice elements to be duplicated.
Diffstat (limited to 'scripts/prebuilts.conf')
0 files changed, 0 insertions, 0 deletions