Overview
| Comment: | smaz-tools: new facility for faster hashing of dynamic dictionaries |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
f651755fea4f52039b03835e44edb649 |
| User & Date: | nat on 2016-10-15 18:50:00 |
| Other Links: | manifest | tags |
Context
|
2016-10-16
| ||
| 17:21 | tools/smaz.adb: use the new map-based dictionary hash in evaluation check-in: 562e1cf9fc user: nat tags: trunk | |
|
2016-10-15
| ||
| 18:50 | smaz-tools: new facility for faster hashing of dynamic dictionaries check-in: f651755fea user: nat tags: trunk | |
|
2016-10-14
| ||
| 21:01 | tools/smaz: use the new parallelization framework check-in: 1cdd0709b0 user: nat tags: trunk | |
Changes
Modified src/natools-smaz-tools.adb from [c548ec8fb3] to [537cf082aa]. [diff]
Modified src/natools-smaz-tools.ads from [33e77934d4] to [09ce0f055f]. [diff]