Natools

Timeline
Login

160 check-ins using file tools/sxcat.adb version 9d7ec778ba

2016-10-29
20:29
tools/smaz: actually implement dictionary optimization check-in: fb7d230fe5 user: nat tags: trunk
2016-10-28
20:56
tools/smaz: refactor scores out of the evaluation block check-in: fbe80ac184 user: nat tags: trunk
2016-10-27
21:58
tools/smaz: add a command-line option for optimized dictionary build check-in: cbe3489d15 user: nat tags: trunk
2016-10-26
20:58
tools/smaz: refactor dictionary evaluation in a standalone subprogram check-in: d418194c20 user: nat tags: trunk
2016-10-25
19:55
smaz-tools: new primitive to build a dictionary with pending words check-in: 214d918405 user: nat tags: trunk
2016-10-24
19:31
smaz-tools: new primitive to append a new string value to a dictionary check-in: 5e694df685 user: nat tags: trunk
2016-10-23
21:23
smaz-tools: new primitive to remove an entry from a dictionary check-in: 134a6f8380 user: nat tags: trunk
2016-10-22
19:21
tools/smaz: replace "word list" with clearer "[sample] text list" check-in: db2278efbb user: nat tags: trunk
2016-10-21
19:32
tools/smaz: new command-line option to filter substrings by count check-in: 637ebd90fa user: nat tags: trunk
2016-10-20
20:15
smaz-tools: new primitive to filter substrings without enough counts check-in: f9d16b99f9 user: nat tags: trunk
2016-10-19
20:24
tools/smaz: use the new trie-based search in dictionary evaluation check-in: 105a5395c6 user: nat tags: trunk
2016-10-18
21:47
smaz-tools: add a trie-based search compatible with Dictionary.Hash check-in: 52b491f017 user: nat tags: trunk
2016-10-17
20:48
smaz-tools: add a trie-based dynamic dictionary lookup check-in: 34d16d2c19 user: nat tags: trunk
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
2016-10-13
21:47
parallelism: add a new framework with a task-local accumulator check-in: db5f3c6f57 user: nat tags: trunk
2016-10-12
17:50
tools/smaz: new command-line option to enable parallel dictionary eval check-in: adcca90a65 user: nat tags: trunk
2016-10-11
15:37
parallelism: new package providing framework for simple parallelizations check-in: a45910b245 user: nat tags: trunk
2016-10-10
14:21
smaz-tools: add Evaluate_Dictionary_Partial to work on a single string check-in: 17783bc63e user: nat tags: trunk
2016-10-09
17:49
tools/smaz: add a statistics to the evaluation output check-in: 7b31b329d7 user: nat tags: trunk
2016-10-08
15:38
string_escapes: new package with helper functions to escape strings check-in: e266afb5fe user: nat tags: trunk
2016-10-07
16:01
tools/smaz: first draft of CLI interface for Evaluate_Dictionary check-in: a27f42e127 user: nat tags: trunk
2016-10-06
17:26
smaz-tools: add a procedure to help evaluate and improve dictionaries check-in: 3c8fd02a5c user: nat tags: trunk
2016-10-05
14:49
tools/smaz: add a command-line option for maximum word size check-in: 2995e1835c user: nat tags: trunk
2016-10-04
15:14
tools/smaz: add command-line options for substring size interval check-in: 9a1462e3f3 user: nat tags: trunk
2016-10-03
19:27
tools/smaz: also add words from input phrases, on top of substrings check-in: 15ea367b55 user: nat tags: trunk
2016-10-02
16:10
smaz-tools: new primitive to add all the words of an input text check-in: efffae966f user: nat tags: trunk
2016-10-01
15:25
tools/smaz: add a command-line option to output current dictionary check-in: 1516f5a576 user: nat tags: trunk
2016-09-30
20:26
smaz: make Dict_Entry accessor publicly visible check-in: 48bf48d1c0 user: nat tags: trunk
2016-09-29
21:58
tools/smaz: add support for dictionary generation from a word list check-in: 88e525eaf4 user: nat tags: trunk
2016-09-28
21:25
smaz-tools: add the simplest dictionary constructor from word counts check-in: fb05dda137 user: nat tags: trunk
2016-09-27
21:05
smaz-tools: add an accumulator for word count (for dictionary building) check-in: a901e5c1a7 user: nat tags: trunk
2016-09-26
21:22
tools/smaz: add decompression of an input list of encoded strings check-in: 6f2cf4bf88 user: nat tags: trunk
2016-09-25
21:14
smaz: add missing documentation comments check-in: 9922c8afaf user: nat tags: trunk
2016-09-24
21:53
tools/smaz: add the output of statistics about compression check-in: 939809f44a user: nat tags: trunk
2016-09-23
20:30
tools/smaz: add compression of an input list of strings check-in: eb0d515075 user: nat tags: trunk
2016-09-22
21:26
smaz-tools: add a function for Hash in dynamically created dictionaries check-in: 418b41afc4 user: nat tags: trunk
2016-09-21
21:14
smaz: further reduce the encoder output to fit within the worst case check-in: 23214105c3 user: nat tags: trunk
2016-09-20
18:17
smaz-tests: add a test case showing bug in compressed size estimation check-in: c65c5954e9 user: nat tags: trunk
2016-09-19
17:47
smaz-tests: update the expected compressed to match improved encoder check-in: 4a97e983b0 user: nat tags: trunk
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
2015-01-14
20:55
time_keys: new package that provides short printable chronological keys check-in: 0ca258c8c8 user: nat tags: trunk
2014-12-15
22:40
constant_indefinite_ordered_map_tests: add a fully-covering test of the new range iterator feature check-in: 98083b9906 user: nat tags: trunk
2014-12-14
19:11
constant_indefinite_ordered_maps: add a reversible interator that operates on a sub-range of the map check-in: d7573547c0 user: nat tags: trunk
2014-12-02
22:07
s_expressions: add usual lexicographical comparison operator on Atoms, so that clients don't have to explicitly use Ada.Streams."<" check-in: 62ca3fd9c9 user: nat tags: trunk
2014-11-29
18:23
constant_indefinite_ordered_map_tests: add tests for the new indexing and iterator features check-in: 702a3d8ebc user: nat tags: trunk
2014-11-28
22:37
constant_indefinite_ordered_maps: add Ada 2012 iterator and indexing interfaces check-in: 327414fdc7 user: nat tags: trunk
2014-11-27
22:25
reference_tests: add a test for the implicit dereference check-in: 263f8e760e user: nat tags: trunk
2014-11-26
20:13
references: add Implicit_Dereference aspects check-in: 3a18c0edc9 user: nat tags: trunk
2014-11-09
20:48
static_hash_maps-s_expressions: add commands for definite or indefinite elements check-in: 1cc98d90f5 user: nat tags: trunk
2014-11-08
21:24
static_hash_maps: allow elements to be indefinite by looking them up in a function rather than an array check-in: ba447ff2ea user: nat tags: trunk
2014-10-07
16:41
constant_indefinite_ordered_map_tests: new test suite for constant indefinite ordered maps check-in: 72852bae7a user: nat tags: trunk
2014-10-06
21:27
constant_indefinite_ordered_maps: new package with task-safe ordered maps with immutable mapping check-in: 5f6566a680 user: nat tags: trunk
2014-10-05
16:24
README: add a short description of recently-added packages check-in: 73c9e491df user: nat tags: trunk
2014-10-04
20:34
s_expressions-templates-tests-dates: test suite for date S-exrepssion templates check-in: 51d9aa70ca user: nat tags: trunk
2014-10-03
21:04
s_expressions-templates-dates: new package for date template rendering check-in: f65011d51a user: nat tags: trunk
2014-10-02
21:26
s_expressions-templates-tests-integers: add tests for image ranges check-in: dc623ed4d6 user: nat tags: trunk
2014-10-01
17:51
s_expressions-templates-generic_integers: new command for input of several images, leveraging affix syntax check-in: 076d8be66e user: nat tags: trunk
2014-09-30
18:50
s_expressions-templates-tests-integers: add tests for prefix and suffix width check-in: e612c1948b user: nat tags: trunk
2014-09-29
21:50
s_expressions-templates-generic_integers: add width information to prefix and suffixes check-in: 3c1dba5e77 user: nat tags: trunk
2014-09-28
14:25
s_expressions-templates-tests-integers: test the new prefix and suffix features check-in: 3f152ff81d user: nat tags: trunk
2014-09-27
16:30
s_expressions-templates-generic_integers: change prefix and suffix syntax to make shared values clearer check-in: 0c604fe54e user: nat tags: trunk
2014-09-26
21:13
s_expressions-templates-generic_integers: add prefixes and suffixes to rendered numbers check-in: b0204e546f user: nat tags: trunk
2014-09-25
21:29
s_expressions-templates-generic_integers: use ranges instead of discrete values for image maps check-in: c0da1058a5 user: nat tags: trunk
2014-09-24
18:55
s_expressions-templates-tests-integers: test the new explicit images from templates check-in: 674fc9e953 user: nat tags: trunk
2014-09-23
18:35
Add generated packages updates missing from previous commit check-in: 160210cf8d user: nat tags: trunk
18:33
s_expressions-templates-generic_integers: new command to add template-provided images for specific values (similar to discrete renderer) check-in: 7b85767e7d user: nat tags: trunk
2014-09-21
20:14
s_expressions-templates-tests-integers: test the new Render procedure with client-provided default format check-in: 6f758d2e84 user: nat tags: trunk
2014-09-20
21:50
s_expressions-templates-generic_integers: add a Render procedure with client-provided default format check-in: 0aeafdbf62 user: nat tags: trunk
2014-09-19
19:20
s_expressions-templates-generic_integers: add public mutators for Format objects check-in: 61b64dbec7 user: nat tags: trunk
2014-09-18
20:08
s_expressions-templates-tests: a simple tests for discrete-type templates check-in: 6f0dd49985 user: nat tags: trunk
2014-09-17
21:07
s_expressions-templates-generic_discrete_render: new generic procedure for rendering values of discrete types check-in: 592c7cfd1a user: nat tags: trunk
2014-09-16
19:05
s_expressions-templates-tests: new test suite for S-expression template systems check-in: f11c7d1766 user: nat tags: trunk
2014-09-15
20:04
s_expressions-atom_ref_constructors: new package containing helper constructors of atom references check-in: 146c8207c4 user: nat tags: trunk
2014-09-14
21:33
s_expressions-templates-generic_integers: new package for S-expression templates of integer values check-in: 447d5f633d user: nat tags: trunk
2014-09-13
14:03
s_expressions-printers: make level-checked Transfer go beyond the first list check-in: 7568f1efd7 user: nat tags: trunk
2014-09-12
21:41
s_expressions-cache_tests: test the new Move functions check-in: ef36376c9f user: nat tags: trunk
2014-09-11
19:19
s_expressions-generic_caches: add Move functions to build a cache directly from a descriptor check-in: 86680251f9 user: nat tags: trunk
2014-09-10
19:08
s_expressions-printers: add an option for Transfer to stay in the current nesting level check-in: 02db3410f5 user: nat tags: trunk
2014-09-09
18:36
s_expressions-cache_tests: add a test for the new replayable interface check-in: dd07424307 user: nat tags: trunk
2014-09-08
19:52
s_expressions-generic_caches: implement the new Replayable.Descriptor interface in cursors check-in: 14c328e4b4 user: nat tags: trunk
2014-09-07
20:13
s_expressions-replayable: new interface for S-expression descriptors that can duplicated check-in: 39fe9aca16 user: nat tags: trunk
2014-09-06
21:08
time_statistics-fine_timers: new instance of Generic_Timers using annex D monotonic time check-in: cf0534dce3 user: nat tags: trunk
2014-09-05
21:12
time_statistics-tests: add tests for a simple instance of Generic_Timers check-in: 93c9714216 user: nat tags: trunk
2014-09-04
20:59
time_statistics-generic_timers: new package providing timers to feed accumulators check-in: 367f2398ce user: nat tags: trunk
2014-09-03
17:28
time_statistics-tests: new test packge for Time_Statistics hierarchy check-in: 55b72004aa user: nat tags: trunk
2014-09-02
17:21
time_statistics: new parent package for time statistics gathering check-in: 13debf8a9e user: nat tags: trunk
2014-09-01
18:29
s_expressions-atom_buffers: fix stream read check-in: 0e2f32ef01 user: nat tags: trunk
2014-08-31
14:45
s_expressions-atom_buffers-tests: add a test for the new stream interface check-in: 3c45cf38af user: nat tags: trunk
2014-08-30
20:33
s_expressions-atom_buffers: add a stream interface to atom buffers check-in: a209bfec77 user: nat tags: trunk
2014-08-29
20:37
s_expressions-atom_buffers: rename Read procedure to Peek, to make room for stream primitives check-in: a2fd0fbfb6 user: nat tags: trunk
2014-08-27
19:43
reference_tests-pools: new test suite for reference pools check-in: 2fa0bb02a5 user: nat tags: trunk
2014-08-26
20:50
references-pools: new package that provides a task-safe pool of references check-in: f530098004 user: nat tags: trunk
2014-08-25
19:57
reference_tests: also test the new Is_Last function check-in: 111a93ca40 user: nat tags: trunk
2014-08-24
20:31
references: add Is_Last primitive

It's almost a break in abstraction, and it's unsafe to use when the reference can be accessed concurrently. However it might have some use in some context, to free the last reference when checked in a protected or thread-local context, to build a crude garbage collection system. check-in: 610b834d9d user: nat tags: trunk

2014-08-22
17:05
time_io-tests: add a check with an invalid leap-second time, to reach full coverage check-in: c517c2f45f user: nat tags: trunk
2014-08-21
20:52
time_io-tests: add test for leap second workaround on implementations that don't support them check-in: ba34be19be user: nat tags: trunk
2014-08-20
19:49
time_io-rfc_3339: add extra arguments to work around implementations without leap second support check-in: 21534f262f user: nat tags: trunk
2014-08-19
21:09
time_io-tests: check leap second support before using it in tests check-in: 03c5f8582b user: nat tags: trunk
2014-08-18
19:21
time_io-tests: add a test suite for RFC-3339 check-in: 0bfc3117df user: nat tags: trunk
2014-08-17
21:58
time_io-rfc_3339: new package for time I/O according to RFC-3339 check-in: 0e268efe7a user: nat tags: trunk
2014-08-16
17:33
time_io-tests: test suite for Time_IO subprograms, checking time interval images check-in: 830bf444c4 user: nat tags: trunk
2014-08-15
17:27
time_io-human: new package for human-friendly I/O of time-related types check-in: 576830db63 user: nat tags: trunk
2014-08-14
17:11
cron-tests: use the new Generic_Check tool check-in: 7daa408712 user: nat tags: trunk
2014-08-13
20:27
tests: add Generic_Check helper procedure check-in: 8608b41131 user: nat tags: trunk
2014-08-12
21:06
s_expressions-atom_buffers: make Atom_Buffer type limited, since copying such objects would cause complex and useless consequences check-in: 190e69b741 user: nat tags: trunk
2014-08-11
17:30
s_expressions-parsers-tests: use the new capacity accessor instead of "=" to test buffers check-in: bec485b991 user: nat tags: trunk
2014-08-10
17:13
s_expressions-atom_buffers-tests: use the new capacity accessor in tests check-in: b0c9543345 user: nat tags: trunk
2014-08-09
10:37
s_expressions-atom_buffers: add a capacity accessor check-in: 43ab20ac63 user: nat tags: trunk
2014-08-07
21:03
sxcat: also allow 'x' to represent atoms in separator arguments check-in: fafeac7b41 user: nat tags: trunk