252 check-ins using file tests/natools-s_expressions-printers-tests.adb version 4ea2bd5d96
|
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 | |
|
2014-08-04
| ||
| 20:26 | s_expressions-printers-pretty: fix size estimation of verbatim encoding check-in: 87d479c3f0 user: nat tags: trunk | |
|
2014-08-03
| ||
| 20:04 | sxcat: fix parsing of the second entity in parsing separator arguments check-in: fc6a5f0338 user: nat tags: trunk | |
|
2014-08-02
| ||
| 21:19 | sxcat: abort with error status on newline encoding parse error check-in: 2e6bc3b47c user: nat tags: trunk | |
|
2014-08-01
| ||
| 20:35 | tools/tests.sh: add a fully-covering test suite for `sxcat` tool check-in: 9bea00c392 user: nat tags: trunk | |
|
2014-07-31
| ||
| 19:16 | s_expressions-printers-pretty: fix width of tab-only indentations check-in: 78cfd91715 user: nat tags: trunk | |
|
2014-07-30
| ||
| 20:57 | s_expressions-printers-pretty-tests: also test width of tab-only indentations check-in: d42a09ad5a user: nat tags: trunk | |
|
2014-07-29
| ||
| 21:53 | s_expressions-printers-pretty-tests: new test to check tabulation width in quoted strings check-in: 01fc582c43 user: nat tags: trunk | |
|
2014-07-28
| ||
| 20:18 | s_expressions-printers-pretty: fix cursor position after two-byte newlines in quoted strings check-in: ce1e6e8edb user: nat tags: trunk | |
|
2014-07-27
| ||
| 17:32 | s_expressions-printers-pretty: fix cursor position after writing a quoted string check-in: 8fffe1590c user: nat tags: trunk | |
|
2014-07-25
| ||
| 20:07 | s_expressions-printers-pretty: add an assert on final cursor position after writing quoted strings check-in: e66be760b0 user: nat tags: trunk | |
|
2014-07-24
| ||
| 18:59 | s_expressions-printers-pretty: fix Fit_In_Line width test check-in: fc581ebd8d user: nat tags: trunk | |
|
2014-07-23
| ||
| 20:16 | s_expressions-printers-pretty-tests: add a test for expression width computations check-in: 2805404e82 user: nat tags: trunk | |
|
2014-07-22
| ||
| 18:40 | s_expressions-lockable-tests: deepen the test on unwinding, to double-check the new Generic_Caches unwinding check-in: 49fd23378a user: nat tags: trunk | |
|
2014-07-21
| ||
| 18:33 | s_expressions-generic_caches: use Parent links to unwind levels much faster when unlocking check-in: 66590abe20 user: nat tags: trunk | |
|
2014-07-20
| ||
| 19:03 | sxcat: new tool to concatenate and pretty-print S-expressions check-in: 7fadcee47a user: nat tags: trunk | |
|
2014-07-19
| ||
| 18:27 | Add pragma Preelaborable_Initialization throughout the code check-in: 3b9912ed66 user: nat tags: trunk | |
|
2014-07-18
| ||
| 17:35 | references__intel: new intel-specific task-safe variant of Natools.References check-in: ca01910925 user: nat tags: trunk | |
|
2014-07-17
| ||
| 19:37 | references__protected: task-safe portable variant of Natools.References, based on protected counters check-in: 66369eba6c user: nat tags: trunk | |
|
2014-07-16
| ||
| 17:44 | references: prepare variants, calling "unsafe" the existing one check-in: ed32c25b9b user: nat tags: trunk | |
|
2014-07-15
| ||
| 20:07 | reference_tests: add a task-safety test (that isn't relevant on single-core) check-in: 8292cedaee user: nat tags: trunk | |
|
2014-07-14
| ||
| 19:04 | s_expressions-file_rw_tests: test the new atom-reference reader check-in: 88f1a31b31 user: nat tags: trunk | |
|
2014-07-13
| ||
| 14:27 | s_expressions-file_readers: add an atom-reference read function check-in: d6e43fe336 user: nat tags: trunk | |
|
2014-07-12
| ||
| 16:08 | reference_tests: use the new access-based constructors, to reach full coverage again check-in: 2d7c2f8e09 user: nat tags: trunk | |
|
2014-07-11
| ||
| 20:37 | references: use access value directly in new constructors, instead of access to functions returning access value check-in: c104c5befa user: nat tags: trunk | |
|
2014-07-10
| ||
| 18:27 | references: add constructors with user-provided access value, to allow zero-copy initialization of non-limited types check-in: 55bbe4642d user: nat tags: trunk | |
|
2014-07-09
| ||
| 17:52 | Update LICENSE and add README check-in: 41ff0e3319 user: nat tags: trunk | |
|
2014-07-03
| ||
| 18:05 | hmac-pinentry: new POSIX-only package to retrieve HMAC key using pinentry protocol check-in: 9b0bfa42ad user: nat tags: trunk | |
|
2014-06-21
| ||
| 19:52 | s_expressions-encodings: replace assert-in-loop by asserting a slice comparison check-in: 6fad53c7fc user: nat tags: trunk | |
|
2014-06-20
| ||
| 20:04 | generate_static_hash_map: add a target directory command-line option check-in: 02abd531c8 user: nat tags: trunk | |
|
2014-06-18
| ||
| 17:57 | cron: add support for synchronized events check-in: 04a8a351dd user: nat tags: trunk | |
|
2014-06-17
| ||
| 18:46 | cron-tests: test suite package for Natools.Cron check-in: 287a68c3f5 user: nat tags: trunk | |
|
2014-06-16
| ||
| 21:43 | cron: new package implementing low-precision periodic procedure calls check-in: 6e8b6ccecd user: nat tags: trunk | |
|
2014-06-14
| ||
| 15:18 | s_expressions-printers-pretty: export procedure Newline to allow clients to freely insert newlines (e.g. at the end of files) check-in: 737b8974b4 user: nat tags: trunk | |
|
2014-06-09
| ||
| 19:01 | s_expressions-file_readers: reset parser state in Rewind check-in: a61c83ef7e user: nat tags: trunk | |
|
2014-06-08
| ||
| 19:08 |
s_expressions-printers-pretty: add valid default values to Parameter objects
This ensures that default Parameters objects are valid, and therefore that pretty printers without explicit parameter initialization are valid (and canonical) too. check-in: 89b2db0d6d user: nat tags: trunk | |
|
2014-06-07
| ||
| 17:11 | s_expressions-file_rw_tests: new test suite for both S-expression file readers and writers check-in: 5787543b72 user: nat tags: trunk | |
|
2014-06-06
| ||
| 19:04 | s_expressions-file_writers: add a filename accessor function check-in: 9ef479b9be user: nat tags: trunk | |
|
2014-06-05
| ||
| 20:20 | s_expressions-file_writers: new package providing a pretty printer based on Stream_IO files check-in: 9d6c39db7d user: nat tags: trunk | |
|
2014-06-04
| ||
| 21:05 | s_expressions-printers-pretty: redesign the package around an abstract type with user-provided backend write procedure check-in: ee89558365 user: nat tags: trunk | |
|
2014-06-03
| ||
| 21:22 | s_expressions-printers-pretty-config-tests: add tests to reach a decent coverage of the rewritten version check-in: 6fb20358ef user: nat tags: trunk | |
|
2014-06-02
| ||
| 19:16 | s_expressions-printers-pretty-config: rewrite the parser using static hash maps check-in: 3cedc46373 user: nat tags: trunk | |
|
2014-06-01
| ||
| 16:17 | Move generated source files to a dedicated directory check-in: 1beffff021 user: nat tags: trunk | |
|
2014-05-31
| ||
| 15:04 | static_hash_maps-s_expressions: add binding for the new package categorization option check-in: cf4a28a612 user: nat tags: trunk | |
|
2014-05-30
| ||
| 20:11 | static_hash_maps: add a new option for pragma Pure or Preelaborate on generated packages check-in: 59e052eab5 user: nat tags: trunk | |
|
2014-05-29
| ||
| 18:36 | static_hash_maps-s_expressions-tests: new test around generated function for S-expression interpreter check-in: e3eb7b3d2d user: nat tags: trunk | |
|
2014-05-28
| ||
| 17:28 | static_hash_maps-s_expressions: add S-expression bindings for the test child function generation check-in: 0d8d6300c9 user: nat tags: trunk | |
|
2014-05-27
| ||
| 20:22 | static_hash_maps: add support for generation of hash function test check-in: 65c085f000 user: nat tags: trunk | |
|
2014-05-26
| ||
| 20:25 | static_hash_maps-s_expressions: add binding for extra declarations in generated spec check-in: fcc23fc780 user: nat tags: trunk | |
|
2014-05-25
| ||
| 08:51 | static_hash_maps: add support for custom declarations at the beginning of the generated spec file check-in: 0ab4a630bf user: nat tags: trunk | |
|
2014-05-24
| ||
| 13:03 | static_hash_maps: retry perfect hash generation when it fails check-in: ddc10181a8 user: nat tags: trunk | |
|
2014-05-23
| ||
| 18:44 | generate_static_hash_map: new tool that provides a CLI to Natools.Static_Hash_Maps check-in: d40564ef6b user: nat tags: trunk | |
|
2014-05-22
| ||
| 20:14 | natools: add Meaningless_Type to help instantiation of interpreters without meaningful context or state check-in: dd0bb46ace user: nat tags: trunk | |
|
2014-05-21
| ||
| 20:07 | static_hash_maps-s_expressions: add generated child packages for interpreter check-in: 83a3e25ae4 user: nat tags: trunk | |
|
2014-05-20
| ||
| 20:03 | s_expressions-interpreter_loop: new generic procedure providing the main loop of a S-expression interpreter check-in: 654fe8f62b user: nat tags: trunk | |
|
2014-05-19
| ||
| 18:37 | static_hash_maps-s_expressions: new package to run static hash map generator using a S-expression description check-in: ad65c67a84 user: nat tags: trunk | |
|
2014-05-18
| ||
| 20:20 |
static_hash_maps: new code generation package to build static hash maps
A static hash map means here a hash maps completely known before compile time. It uses GNAT.Perfect_Hash_Generator to turn string keys into indexes for an array of elements. check-in: 582f564b61 user: nat tags: trunk | |
|
2014-05-17
| ||
| 14:09 | s_expressions-interpreter_tests: use building functions in a test, to reach full coverage check-in: 17fe0bb70a user: nat tags: trunk | |
|
2014-05-16
| ||
| 17:48 | s_expressions-interpreters: add constructor functions to make possible library-level constants check-in: bbcfe6dddf user: nat tags: trunk | |
|
2014-05-15
| ||
| 21:26 | s_expressions-printers-pretty-config: update to match the new read-only interpreters check-in: e3c30c2e3d user: nat tags: trunk | |
|
2014-05-14
| ||
| 18:33 | s_expressions-interpreters: make commands and interpreters read-only during execution check-in: 07db27cc2f user: nat tags: trunk | |
|
2014-05-13
| ||
| 20:33 | s_expressions-dynamic_interpreter: backup of the current Interpreter interface before making it read-only check-in: d9a7acb07a user: nat tags: trunk | |
|
2014-05-12
| ||
| 17:22 | s_expressions-interpreter_tests: use the new Add procedure, to keep complete coverage check-in: db048daa0f user: nat tags: trunk | |
|
2014-05-11
| ||
| 20:04 | s_expressions-interpreters: add a String-based command addition, since it's the overwhelmingly most common use case check-in: 179da1f3db user: nat tags: trunk | |
|
2014-05-10
| ||
| 20:43 | s_expressions-atom_refs: new package for atom references, taken out from Atom_Buffers check-in: 4627abed57 user: nat tags: trunk | |
|
2014-05-08
| ||
| 18:36 | Move atom comparison function from Natools.S_Expressions.Interpreters to Natools.S_Expressions check-in: 6f257a4f4d user: nat tags: trunk | |
|
2014-04-15
| ||
| 20:16 | s_expressions-interpreters: add a null command constant that does nothing check-in: c3bac18f66 user: nat tags: trunk | |
|
2014-04-14
| ||
| 21:29 | s_expressions-encodings: add a test for the user-defined base-64 charset check-in: 6236ad7b60 user: nat tags: trunk | |
|
2014-04-13
| ||
| 17:17 | s_expressions-encodings: add base-64 conversions with custom representations of 62 and 63 check-in: a41d6ed173 user: nat tags: trunk | |
|
2014-04-12
| ||
| 16:19 | natools-references: add support of references to constant check-in: 8c650fd927 user: nat tags: trunk | |
|
2014-04-11
| ||
| 20:10 | tools/test.sh: test suite for tools check-in: 9347f4362d user: nat tags: trunk | |
|
2014-04-10
| ||
| 21:48 | hmac-main: new option to provide the key through a file or standard input check-in: 7527f90336 user: nat tags: trunk | |
|
2014-04-09
| ||
| 19:34 | s_expressions-file_readers: new package to encapsulate file reading as a S-expression or as an atom check-in: 68274aec88 user: nat tags: trunk | |
|
2014-04-08
| ||
| 19:05 | hmac-main: add command-line options to control output format check-in: 3c8ac9180a user: nat tags: trunk | |
|
2014-04-07
| ||
| 19:04 | tools: new directory for command-line tools using directly Natools library, seeded with HMAC tools check-in: 4d8481daa6 user: nat tags: trunk | |
|
2014-04-06
| ||
| 17:01 | hmac_tests: fully-covering test suite for HMAC check-in: 29a0283a2f user: nat tags: trunk | |
|
2014-04-05
| ||
| 17:08 | natools-gnat_hmac-*: new packages instances of Natools.HMAC with NAT-provided hash functions check-in: 20773f86ed user: nat tags: trunk | |
|
2014-04-04
| ||
| 21:18 | hmac: new package providing a generic HMAC implementation using a formal hash function check-in: 0f22d2b71f user: nat tags: trunk | |
|
2014-04-03
| ||
| 20:21 | Adjustments to pass GNAT 4.9 compilatiion without warning check-in: b8364499b7 user: nat tags: trunk | |
|
2014-04-02
| ||
| 20:33 | s_expressions-atom_buffers: use Natools.Storage_Pools instead of local dummy access type check-in: f3bcd34a8a user: nat tags: trunk | |
|
2014-04-01
| ||
| 20:58 | s_expressions-parsers: catch up with new version in overview comment check-in: a4503d0ae7 user: nat tags: trunk | |
|
2014-03-31
| ||
| 19:09 | s_expressions-atom_buffers: fix exception when appending an empty atom to an empty buffer check-in: a4d12bf348 user: nat tags: trunk | |
|
2014-03-30
| ||
| 12:31 | s_expressions-atom_buffers-tests: add a minimal test to show empty append bug check-in: 22bbf2ef8f user: nat tags: trunk | |
|
2014-03-29
| ||
| 17:02 | s_expressions-parsers-tests: add tests to complete coverage of the new parser check-in: a5c83aef9c user: nat tags: trunk | |
|
2014-03-28
| ||
| 20:25 | s_expressions-parsers: fix typo check-in: a14e9a88da user: nat tags: trunk | |
| 20:20 | s_expressions-parsers: return End_Of_Input on locked objects, to behave like genuine S-expression end check-in: 9f0aaf857d user: nat tags: trunk | |
|
2014-03-27
| ||
| 21:24 | s_expressions-parsers-tests: adapt the test suite to the new Parsers packet check-in: b02835bdfa user: nat tags: trunk | |
|
2014-03-26
| ||
| 19:10 | Migrate from Subpraser to Stream_Parser in the whole code base check-in: 9f0014f72d user: nat tags: trunk | |
|
2014-03-25
| ||
| 19:09 | s_expressions-parsers: redesign the whole package around an abstract type with user-provided data source check-in: bdd6a2a904 user: nat tags: trunk | |
|
2014-03-24
| ||
| 20:08 | s_expressions-atom_buffers-tests: add a test for the new Invert procedure check-in: df097015b8 user: nat tags: trunk | |
|
2014-03-23
| ||
| 13:31 | s_expressions-printers-pretty-config: fix Read_Screen_Offset mangling its output parameter check-in: a7eba2a389 user: nat tags: trunk | |
|
2014-03-22
| ||
| 20:58 | s_expressions-atom_buffers: new procedure to reverse the contents of an atom buffer check-in: 20f1537eb4 user: nat tags: trunk | |
|
2014-03-21
| ||
| 20:15 | s_expressions-printers-pretty-config-tests: add a test for the serializer check-in: 3604ae2791 user: nat tags: trunk | |
|
2014-03-20
| ||
| 21:14 | s_expressions-printers-pretty-config: add a procedure to serialize pretty printer configuration check-in: ab7de61c81 user: nat tags: trunk | |
|
2014-03-19
| ||
| 20:06 | s_expressions-printers-pretty-config-tests: new test suite for pretty printer parameter deserialization check-in: 42cb88536e user: nat tags: trunk | |
| 20:05 | s_expressions-printers-pretty-config-tests: new test suite for pretty printer parameter deserialization check-in: 5ffd3cf92b user: nat tags: trunk | |
|
2014-03-18
| ||
| 19:34 | s_expressions-printers-pretty-config: new package for serialization and deserialization of pretty printer parameters check-in: 25b0a7d25f user: nat tags: trunk | |
|
2014-03-17
| ||
| 20:00 | s_expression: new version of Descriptor.Next without event output check-in: 34988e159c user: nat tags: trunk | |
|
2014-03-16
| ||
| 13:03 | s_expressions-interpreter_tests: add a test for new inspection functions check-in: 24ac878eae user: nat tags: trunk | |
|
2014-03-15
| ||
| 20:20 | s_expressions-interpreters: add inspection functions Has_Command and Is_Empty check-in: 2ee5aec7e2 user: nat tags: trunk | |
|
2014-03-14
| ||
| 20:58 | s_expressions-interpreter_tests: fully-covering test suite for interpreter package check-in: 67ed4dd9af user: nat tags: trunk | |
|
2014-03-13
| ||
| 21:12 | Add missing Preelaborate pragmas check-in: d53403fc11 user: nat tags: trunk | |
|
2014-03-12
| ||
| 21:26 | s_expression-interpreters: new package providing a S-expression interpreter which dispatch to client-provided commands check-in: 6e4b5836c5 user: nat tags: trunk | |
|
2014-03-11
| ||
| 19:33 | coverage.sh: add more configuration variables for better flexibility check-in: 577fa9c3d6 user: nat tags: trunk | |
|
2014-03-10
| ||
| 19:54 | s_expressions-lockable-tests: extended lockable interface test to reach full coverage of both implementations check-in: d1c2d9f36c user: nat tags: trunk | |
|
2014-03-09
| ||
| 15:34 | s_expressions-generic_caches: fix incorrect handling of Open_List and Close_List on brand new cache objects check-in: 8f20693700 user: nat tags: trunk | |
|
2014-03-08
| ||
| 14:11 | s_expressions-cache_tests: add a test for the new Lockable.Descriptor interface of cache objects check-in: 0faa8fc7d8 user: nat tags: trunk | |
|
2014-03-07
| ||
| 21:53 | s_expressions-generic_caches: implement Lockable.Descriptor interface on memory caches check-in: 660d5d43a4 user: nat tags: trunk | |
|
2014-03-06
| ||
| 17:23 | s_expressions-parsers-tests: add a test for the new Lockable interface of Subparser objects check-in: e1b283ce5a user: nat tags: trunk | |
|
2014-03-05
| ||
| 21:22 | s_expressions-parsers: implement the new Lockable.Descriptor interface on Subparser objects check-in: d6970f2d05 user: nat tags: trunk | |
|
2014-03-04
| ||
| 19:18 | s_expressions-lockable: new function to help invalidate popped states check-in: 5d63dd5d69 user: nat tags: trunk | |
|
2014-03-03
| ||
| 20:56 | s_expressions-lockable-tests: fix bad expected value in interface test check-in: 98b6fee05f user: nat tags: trunk | |
|
2014-03-02
| ||
| 17:03 | s_expressions-lockable-tests: add a test suite for Loackable.Descriptor objects and use it to tester Wrapper check-in: 5fce88a981 user: nat tags: trunk | |
|
2014-03-01
| ||
| 11:25 | s_expressions-lockable-tests: new package with a test suite for lock level stack check-in: 0bbab0a171 user: nat tags: trunk | |
|
2014-02-28
| ||
| 19:00 | s_expressions-lockable: new package with an interface and a wrapper to lock a descriptor in the current sub-expression check-in: e61f083c1a user: nat tags: trunk | |
|
2014-02-27
| ||
| 20:01 | s_expressions-test_tools: add a Context argument to helper procedures check-in: f4b78c09f0 user: nat tags: trunk | |
|
2014-02-26
| ||
| 22:52 | s_expressions-generic_caches: return End_Of_Input instead of Error, to fix behaviour of empty cursors check-in: 53eb91b3c5 user: nat tags: trunk | |
|
2014-02-25
| ||
| 19:45 | s_expressions-generic_caches: fix exception in empty Cursor assignment (though I don't understand what was wrong) check-in: eade42f305 user: nat tags: trunk | |
|
2014-02-24
| ||
| 19:31 | s_expressions-cache_tests: add checks using empty reference and cursor check-in: 7d6b6a6e6e user: nat tags: trunk | |
|
2014-02-23
| ||
| 17:55 | s_expressions-generic_caches: turn a useless check into a precondition check-in: f06c3f6401 user: nat tags: trunk | |
|
2014-02-22
| ||
| 13:46 | s_expressions-generic_caches: fix level compuation of lists that have just been opened check-in: 7ac5ffc727 user: nat tags: trunk | |
|
2014-02-21
| ||
| 19:39 | s_expressions-test_tools: new test for Descriptor interface of caches check-in: 6608672b76 user: nat tags: trunk | |
|
2014-02-20
| ||
| 21:55 | s_expressions-parsers-tests: use new helper procedures to test Descriptor interface of Subparser objects check-in: 0a35973c17 user: nat tags: trunk | |
|
2014-02-19
| ||
| 20:43 | s_expressions-test_tools: new helper procedures to update and test a Descriptor in a single call check-in: b5759ad827 user: nat tags: trunk | |
|
2014-02-18
| ||
| 20:34 | s_expressions-test_tools: new helper procedure to test exception throwing from all atom accessors check-in: 04e35d38a1 user: nat tags: trunk | |
|
2014-02-17
| ||
| 19:43 | s_expressions-test_tools: new helper procedure to test all atom accessors at once check-in: 962add2a19 user: nat tags: trunk | |
|
2014-02-16
| ||
| 17:59 | s_expressions-generic_caches: fix duplication of child lists check-in: 50ec4ef40a user: nat tags: trunk | |
|
2014-02-15
| ||
| 15:20 | s_expressions-cache_tests: add deep- and shallow-copy to existing tests check-in: 5b437645d5 user: nat tags: trunk | |
|
2014-02-13
| ||
| 22:15 | s_expressions-cache_tests: new packge for S-expression memory cache test suite check-in: b14a72b9cb user: nat tags: trunk | |
|
2014-02-12
| ||
| 21:59 | Move Check_Stream from Natools.S_Expressions.Printers.Pretty.Tests to Natools.S_Expressions.Test_Tools to make it more widely available check-in: f95cb1f5a8 user: nat tags: trunk | |
|
2014-02-11
| ||
| 20:57 | s_expressions-caches: instantiation of Natools.S_Expressions.Generic_Caches with default storage pool check-in: 2b97af7bf2 user: nat tags: trunk | |
|
2014-02-10
| ||
| 19:50 | storage_pools: new package for entities related to storage pools check-in: 0a176c90c4 user: nat tags: trunk | |
|
2014-02-09
| ||
| 20:52 | s_expressions-generic_caches: new package for simnple memory container of S-expression check-in: a23e614377 user: nat tags: trunk | |
|
2014-02-08
| ||
| 17:17 | s_expressions-printers-pretty-tests: new test for parameter mutators (this makes the test suite cover all the reachable code) check-in: 4a8ff2de3d user: nat tags: trunk | |
|
2014-02-07
| ||
| 21:50 | s_expressions-printers-pretty-tests: new test for correctness of token encoding end markers check-in: a450c7e1d4 user: nat tags: trunk | |
|
2014-02-06
| ||
| 22:20 | s_expressions-printers-pretty: fix quoted encoding size estimation on inserted newlines check-in: 528e853e08 user: nat tags: trunk | |
|
2014-02-05
| ||
| 19:22 | s_expressions-printers-pretty-tests: new test for newline output formats check-in: d002179746 user: nat tags: trunk | |
|
2014-02-04
| ||
| 19:17 | s_expressions-printers-pretty: fix cursor updates in single-line quoted string atoms check-in: a94c289c5f user: nat tags: trunk | |
|
2014-02-03
| ||
| 21:05 | s_expressions-printers-pretty: add missing width handling in Open_List and Close_List check-in: 7037b039d6 user: nat tags: trunk | |
|
2014-02-02
| ||
| 12:58 | s_expressions-printers-pretty-tests: new test for indentation mechanisms check-in: b48757a3eb user: nat tags: trunk | |
|
2014-02-01
| ||
| 13:27 | s_expressions-printers-pretty: fix width overflow in quoted string escapes check-in: da55fecd97 user: nat tags: trunk | |
|
2014-01-31
| ||
| 10:40 | s_expressions-printers-pretty: fix unwanted escape of the second byte of two-byte newlines check-in: e4eacf664f user: nat tags: trunk | |
|
2014-01-30
| ||
| 20:53 | s_expressions-printers-pretty-tests: new test for quoted string escape sequences check-in: e499a522b3 user: nat tags: trunk | |
|
2014-01-29
| ||
| 21:08 | s_expressions-printers-pretty: fix width handling in hexadecimal and base-64 atom encodings check-in: f1e8b35069 user: nat tags: trunk | |
|
2014-01-28
| ||
| 19:40 | s_expressions-printers-pretty-tests: add test for output width in hexadecimal and base-64 atom encodings check-in: ed46bbdd62 user: nat tags: trunk | |
|
2014-01-27
| ||
| 20:04 | s_expressions-printers-pretty-tests: first draft of a test suite for S-expression pretty printer check-in: e8c225e03c user: nat tags: trunk | |
|
2014-01-26
| ||
| 13:26 | s_expressions-printers-pretty: new package providing a S-expression pretty printer check-in: 803c3f82a0 user: nat tags: trunk | |
|
2014-01-25
| ||
| 16:04 | s_expressions-test_tools: add versions of Dump_Atom and Test_Atom for the new Test type check-in: 9ff0437f97 user: nat tags: trunk | |
|
2014-01-24
| ||
| 21:59 | tests: new interface using finalization to ensure reporting is correct in all code paths check-in: 444efe557e user: nat tags: trunk | |
|
2014-01-23
| ||
| 22:17 | s_expressions-parsers-tests: new test for Subparser interface check-in: d02a180cc6 user: nat tags: trunk | |
|
2014-01-22
| ||
| 22:26 | s_expressions-parsers-tests: new test for Parser direct interface check-in: ba3f2acfaa user: nat tags: trunk | |
|
2014-01-21
| ||
| 20:16 | s_expressions-parsers: fix parsing of nested subexpressions check-in: edac345527 user: nat tags: trunk | |
|
2014-01-20
| ||
| 19:48 | s_expressions-atom_buffers-tests: add tests for the new octet stack interface check-in: 71a9406a61 user: nat tags: trunk | |
|
2014-01-19
| ||
| 22:04 | s_expressions-atom_buffers: add primitives to use atom buffers as octet stacks check-in: 7b0544e9fc user: nat tags: trunk | |
|
2014-01-18
| ||
| 11:12 | s_expressions-parsers-tests: add more subexpression test cases check-in: 2e81806813 user: nat tags: trunk | |
|
2014-01-17
| ||
| 20:46 | s_expressions-parsers: fix a bug where the first character after an invalid escape sequence was not processed check-in: 6d15e0e0da user: nat tags: trunk | |
|
2014-01-16
| ||
| 22:57 | s_expressions-parsers-tests: add a few more tests check-in: d034b73c75 user: nat tags: trunk | |
|
2014-01-15
| ||
| 21:49 | s_expressions-atom_buffers: fix accessors to return only used part of the buffer check-in: ad0685d1d1 user: nat tags: trunk | |
|
2014-01-14
| ||
| 20:30 | s_expressions-atom_buffers-tests: new test for actual contents after soft reset check-in: b57427c879 user: nat tags: trunk | |
|
2014-01-13
| ||
| 19:24 | s_expressions-atom_buffers: rename accessors for less overloading check-in: 16e999a3da user: nat tags: trunk | |
|
2014-01-12
| ||
| 16:14 | s_expressions-parsers-tests: basic test suite for S-expression parser check-in: 50d86c2bfe user: nat tags: trunk | |
|
2014-01-11
| ||
| 11:40 | s_expressions-printers: new procedure Transfer running a Descriptor into a Printer check-in: f16c5302d7 user: nat tags: trunk | |
|
2014-01-10
| ||
| 22:49 | s_expressions-parsers: new package containing an event-base S-expression parser check-in: dffc102c0d user: nat tags: trunk | |
|
2014-01-09
| ||
| 22:19 | s_expressions-printers-tests: fully-covering test suite for canonical atom printer check-in: 08a213ab1f user: nat tags: trunk | |