50 most recent check-ins occurring on or after 2015-01-15 22:48:35.
More ↑
|
2016-09-18
| ||
| 21:06 | smaz-tests: rewrite Roundtrip_Test to make both roundtrip directions check-in: 21fd02233a user: nat tags: trunk | |
|
2016-09-17
| ||
| 19:15 | smaz: add functions that return directly the filtered array check-in: f85deca432 user: nat tags: trunk | |
|
2016-09-16
| ||
| 19:59 | smaz: merge verbatim blocks when it improves compression check-in: 90bba135f9 user: nat tags: trunk | |
|
2016-09-14
| ||
| 21:44 |
smaz-tests: make round-trip test really a round-trip
Since there are multiple encoded sequence that decompress into the same original string, it is much more important to check that compressed data really decompress into the original data than to check that it matches exactly the expected byte sequence check-in: e2fbcb314b user: nat tags: trunk | |
|
2016-09-13
| ||
| 20:27 | smaz-tests: add a basic Smaz test, using simple common strings check-in: eee21b3a8c user: nat tags: trunk | |
|
2016-09-12
| ||
| 21:10 | smaz-original: new package providing the original Smaz dictionary check-in: 59ee9e9566 user: nat tags: trunk | |
|
2016-09-11
| ||
| 20:22 | tools/smaz: add support for hash function generation check-in: 24be612b04 user: nat tags: trunk | |
|
2016-09-10
| ||
| 14:12 | tools/smaz: add support for command-line options check-in: dd6ad78eeb user: nat tags: trunk | |
|
2016-09-08
| ||
| 21:42 | smaz-tools-gnat: new package for Smaz tools that depend on GNAT check-in: 1fe48984fc user: nat tags: trunk | |
|
2016-09-07
| ||
| 18:45 | tools/smaz: new tool providing a CLI interface for Natools.Smaz.Tools check-in: bae1665fad user: nat tags: trunk | |
|
2016-09-06
| ||
| 21:24 | smaz-tools: new primitive to output Ada code for a dictionary check-in: 8a9dabe25e user: nat tags: trunk | |
|
2016-09-05
| ||
| 21:59 | smaz-tools: add a Dictionary constructor from a word list check-in: fd239bbe25 user: nat tags: trunk | |
|
2016-09-04
| ||
| 20:27 | smaz-tools: new package with tools to help with Smaz dictionaries check-in: a168e51311 user: nat tags: trunk | |
|
2016-09-03
| ||
| 21:36 | s_expressions: new primitive to update a descriptor until end of list check-in: 14fcb09484 user: nat tags: trunk | |
|
2016-09-02
| ||
| 20:48 | smaz: new package providing a simple compressor for small strings check-in: d98a8c25da user: nat tags: trunk | |
|
2016-01-09
| ||
| 20:43 | time_keys-tests: add test for leap second to reach full coverage check-in: a193bf89b9 user: nat tags: trunk | |
|
2016-01-08
| ||
| 18:05 | cron-tests: lengthen test to help it pass on slow busy machines check-in: b3f94db9eb user: nat tags: trunk | |
|
2016-01-07
| ||
| 18:02 | cron-tests: test the new one-time events check-in: 10169cb96a user: nat tags: trunk | |
|
2015-11-16
| ||
| 18:10 | cron: add constructor and mutator for one-time events check-in: 61163cf23d user: nat tags: trunk | |
|
2015-11-14
| ||
| 18:12 | cron: use non-positive periods to mean non-repeating events check-in: c9ed8bd1e7 user: nat tags: trunk | |
|
2015-11-12
| ||
| 18:08 | s_expressions-templates-dates: fix incorrect weekday w.r.t. time zone check-in: 57cb40c5fb user: nat tags: trunk | |
|
2015-11-11
| ||
| 18:24 | s_expressions-templates-tests-dates: new test to show bad interaction between day-of-week and timezone check-in: a279720b94 user: nat tags: trunk | |
|
2015-08-27
| ||
| 17:45 | constant_indefinite_ordered_map_tests: fix the test mistakenly trying to change a constant map check-in: 89c2a84e1b user: nat tags: trunk | |
|
2015-08-26
| ||
| 17:27 |
constant_indefinite_ordered_maps: work around a regression in newer GNAT versions
For some reason GNAT 5.2 can't find Constant_Reference anymore, so creating new primitive functions so user-defined indexing still works. check-in: bfb15a00ff user: nat tags: trunk | |
|
2015-08-25
| ||
| 17:25 | Add explicit `limited` keyword in private type completion, as required by newer versions of GNAT check-in: c8aa6fc9a5 user: nat tags: trunk | |
|
2015-06-25
| ||
| 17:01 | s_expressions-templates-tests-dates: add a test for the new time zone override command check-in: 0dff00ad3f user: nat tags: trunk | |
|
2015-06-24
| ||
| 18:20 | s_expressions-templates-dates: add a new command to override the time zone check-in: 0bd7339369 user: nat tags: trunk | |
|
2015-05-13
| ||
| 17:46 | s_expressions-enumeration_io-tests: new test suite for S-expression I/O for enumeration values check-in: ef378b3624 user: nat tags: trunk | |
|
2015-05-12
| ||
| 20:52 | s_expressions-enumeration_io; new package providing tools to help I/O of enumerations in S-expressions check-in: dd030195a1 user: nat tags: trunk | |
|
2015-05-03
| ||
| 16:22 | s_expressions-printers-tests: use the new Append_String procedure to keep full ocoverage check-in: 3b7e398512 user: nat tags: trunk | |
|
2015-05-02
| ||
| 14:04 | printers: add a new class-wide procedure to append strings, which often improves readibility check-in: 94f83b5035 user: nat tags: trunk | |
|
2015-04-13
| ||
| 18:15 | time_keys: fix subsecond rounding bug check-in: a3f3d5c90c user: nat tags: trunk | |
|
2015-04-11
| ||
| 21:09 | time_keys-tests: add a test showing a subsecond rounding bug check-in: d3c251409e user: nat tags: trunk | |
|
2015-04-10
| ||
| 21:14 | s_expressions: add equality operator on atoms, so clients don't have to depend on Ada.Streams check-in: e76def5969 user: nat tags: trunk | |
|
2015-04-04
| ||
| 21:43 | s_expressions-test_tools: a function to build a S-expression directly from a string check-in: f0e8bc08bd user: nat tags: trunk | |
|
2015-04-03
| ||
| 21:35 | static_maps-s_expressions-conditionals: add missing package in previous commits check-in: 6078a77bb3 user: nat tags: trunk | |
|
2015-04-02
| ||
| 21:49 | s_expressions-conditionals-tests: new package gather all tests on conditionals check-in: 64a3496a28 user: nat tags: trunk | |
|
2015-04-01
| ||
| 21:16 | s_expressions-conditionals-strings-tests: new package providing a fully covering test suite for string conditionals check-in: 2b39e14775 user: nat tags: trunk | |
|
2015-03-31
| ||
| 19:10 | s_expressions-conditionals-strings: new package providing evaluation of boolean expressions about strings check-in: 048393b674 user: nat tags: trunk | |
|
2015-03-30
| ||
| 17:05 | s_expressions-conditionals-generic_evaluate: new generic function providing a boolean expression evaluation framework check-in: ca4b731098 user: nat tags: trunk | |
|
2015-03-29
| ||
| 13:36 | README: update with new packages check-in: 7bb056f68d user: nat tags: trunk | |
|
2015-03-27
| ||
| 22:09 | time_statistics-generic_timers: fix stupid sign mistake check-in: 74297c4cff user: nat tags: trunk | |
|
2015-03-19
| ||
| 18:01 | s_expressions-special_descriptors: new package that provide empty and erroneous descriptors check-in: df682ad54a user: nat tags: trunk | |
|
2015-03-18
| ||
| 20:25 | constant_indefinite_ordered_map_tests: add a fully covering test suite for the new "mutation" constructors check-in: 6a2a4d94a0 user: nat tags: trunk | |
|
2015-03-17
| ||
| 22:06 | constant_indefinite_ordered_maps: add constructors that provide mutation semantics check-in: c0a78f48d7 user: nat tags: trunk | |
|
2015-02-28
| ||
| 14:51 | constant_indefinite_ordered_maps: add constants for empty maps check-in: f17f93813b user: nat tags: trunk | |
|
2015-02-17
| ||
| 23:33 | s_expressions-printers-pretty: make ancestry of Stream_Parser public check-in: a6a5d38d6f user: nat tags: trunk | |
|
2015-01-23
| ||
| 22:48 | file_streams: new package for a simple mix-in of stream and file check-in: 3deed33050 user: nat tags: trunk | |
|
2015-01-16
| ||
| 22:10 | tools: new "timekey" too to provide a CLI interface to Natools.Time_Keys check-in: 25d22b98f4 user: nat tags: trunk | |
|
2015-01-15
| ||
| 22:48 | time_keys-tests: almost-fully covering test suite for time keys check-in: 79433e4065 user: nat tags: trunk | |