Overview
| Comment: | tools/smaz: add a dictionary Length accessor |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
46f6fa15e80848d20fe91a137f8ca6e4 |
| User & Date: | nat on 2017-05-22 19:45:43 |
| Other Links: | manifest | tags |
Context
|
2017-05-23
| ||
| 20:15 | tools/smaz: allow Optimization_Round to reduce dictionary size check-in: c3f4498cb8 user: nat tags: trunk | |
|
2017-05-22
| ||
| 19:45 | tools/smaz: add a dictionary Length accessor check-in: 46f6fa15e8 user: nat tags: trunk | |
|
2017-05-21
| ||
| 20:44 | tools/smaz: add support for not removing from pending list in a round check-in: 0423da4c74 user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [5cedb9b4e3] to [00e77a90e5]. [diff]