182 check-ins using file tests/natools-reference_tests.adb version a304628ce9
|
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 | |
|
2014-01-08
| ||
| 20:14 | s_expressions-test_tools: new type memory stream to test input and output interfaces to streams check-in: e57fb70751 user: nat tags: trunk | |
|
2014-01-07
| ||
| 21:00 | s_expressions-printers: new packge defining an interface for S-expression input check-in: 7e2c240617 user: nat tags: trunk | |
|
2014-01-06
| ||
| 19:29 | s_expressions-atom_buffers-tests: fully-covering test suite for atom buffers check-in: 0f499b1b87 user: nat tags: trunk | |
|
2014-01-05
| ||
| 15:13 | s_expressions-atom_buffers: new package for unbounded buffers as S-expression atoms check-in: f6c9de3912 user: nat tags: trunk | |
|
2014-01-04
| ||
| 13:00 | s_expressions-encodings: fix decoding of lone last half-byte check-in: 5d808b591d user: nat tags: trunk | |
|
2014-01-03
| ||
| 21:26 | s_expressions-encodings-tests: add more tests to reach complete coverage check-in: b8a246ea77 user: nat tags: trunk | |
|
2014-01-02
| ||
| 19:22 | coverage.sh: update the script for gcc-aux check-in: 0b249eb1b5 user: nat tags: trunk | |
|
2014-01-01
| ||
| 17:00 | s_expressions-encodings-tests: test suite for `Natools.S_Expressions.Encodings` check-in: d09d3219b5 user: nat tags: trunk | |
|
2013-12-31
| ||
| 14:42 | s_expressions-test_tools: new package with helper subprograms for S-expression tests check-in: b0207d9353 user: nat tags: trunk | |
|
2013-12-30
| ||
| 19:59 | s_expressions-encodings: new package for hexadecimal and base-64 encoding and decoding in S-expressions check-in: 1360e35d38 user: nat tags: trunk | |
|
2013-12-29
| ||
| 22:57 | s_expressions: new parent package for S-expression code check-in: 5a32f08c8e user: nat tags: trunk | |
|
2013-11-19
| ||
| 21:41 | chunked_strings-tests-bugfixes: Fix test suite description check-in: 431d105c2c user: nat tags: trunk | |
|
2013-11-18
| ||
| 20:21 | chunked_strings-tests-coverage: test Trim with multiple-chunk prefix check-in: e0c2566ea5 user: nat tags: trunk | |
|
2013-11-14
| ||
| 22:56 | string_slices-slice_sets: fix Subset bug when lower bound is between slices check-in: 5bfb52fc1f user: nat tags: trunk | |
|
2013-11-13
| ||
| 19:48 | string_slice_set_tests: new test case showing a bug in Subset check-in: 7b0c5022d4 user: nat tags: trunk | |
|
2013-11-02
| ||
| 13:59 | indefinite_holders: new package containing an Ada 2005 implementation of Ada 2012 indefinite holders check-in: 6e22289101 user: nat tags: trunk | |
|
2013-11-01
| ||
| 13:37 | string_slice_set_tests: test Add_Slice with empty range check-in: 127bb5a0ae user: nat tags: trunk | |
|
2013-10-30
| ||
| 21:26 | string_slice_set_tests: extra tests on slice iterators check-in: 20f11298fe user: nat tags: trunk | |
|
2013-10-29
| ||
| 22:51 | string_slice_set_tests: check positive Find_Slice check-in: 98263a1ce0 user: nat tags: trunk | |
|
2013-10-28
| ||
| 19:01 | string_slice_set_tests: check navigation beyond bounds check-in: 243b66af93 user: nat tags: trunk | |
|
2013-10-27
| ||
| 15:49 | string_slice_set_tests: check reduction operations check-in: 5ac45318fd user: nat tags: trunk | |
|
2013-10-13
| ||
| 15:47 | string_slice_set_tests: test slice-based interface check-in: 36dd585941 user: nat tags: trunk | |
|
2013-10-12
| ||
| 17:23 | string_slice_set_tests: check exceptions raised check-in: c84924dbd6 user: nat tags: trunk | |
|
2013-10-11
| ||
| 21:51 | chunked_strings: fix a bug where Index checks beyond string upper bound check-in: b2d601f43d user: nat tags: trunk | |
|
2013-10-10
| ||
| 21:23 | chunked_strings-tests-bugfixes: new test case exposing a bug check-in: 278fda3aa5 user: nat tags: trunk | |
|
2013-10-09
| ||
| 21:10 | chunked_strings: improive Find_Token implementation check-in: 75f285cc82 user: nat tags: trunk | |
|
2013-10-08
| ||
| 21:21 | string_slices: fix Is_Subrange so that any empty range is a subrange of any range check-in: 96a6d2d262 user: nat tags: trunk | |
|
2013-10-07
| ||
| 19:12 | string_slice_set_tests: add conversion and interval tests check-in: 1bd9bb5772 user: nat tags: trunk | |
|
2013-10-06
| ||
| 20:38 | chunked_strings: remove (hopefully) dead code in Chunked_String vs String comparison check-in: 2afdfab33b user: nat tags: trunk | |
|
2013-10-05
| ||
| 16:14 | string_slice_set_tests: first draft of test suite for Slice_Set check-in: d080254455 user: nat tags: trunk | |
|
2013-10-04
| ||
| 19:17 | string_slices-slice_sets: new package for sets of slices of a common parent string check-in: 525e25f293 user: nat tags: trunk | |
|
2013-10-03
| ||
| 20:16 | chunked_strings-tests-coverage: cover all chunked_string/string comparisons check-in: 8e908202db user: nat tags: trunk | |
|
2013-10-02
| ||
| 21:17 | chunked_strings-tests-coverage: cover all Index_Error exceptions check-in: 63f44b78d4 user: nat tags: trunk | |
|
2013-10-01
| ||
| 18:49 | chunked_strings: remove some (hopefully) dead code check-in: 585443dcaf user: nat tags: trunk | |
|
2013-09-30
| ||
| 18:50 | chunked_str0ings-tests: further improve coverage (900/924 lines) check-in: 4f2d39211e user: nat tags: trunk | |
|
2013-09-29
| ||
| 14:29 | chunked_str0ings-tests: add a few more tests to improve coverage check-in: 2536bbf623 user: nat tags: trunk | |
|
2013-09-28
| ||
| 19:31 | string_slice_tests: full-coverage test suite for string slices check-in: c6d912c37b user: nat tags: trunk | |
|
2013-09-27
| ||
| 18:29 | string_slices: new package implementing copyless substrings check-in: 0fe763f79a user: nat tags: trunk | |
|
2013-09-26
| ||
| 21:55 | coverage.sh: suppress test output spam check-in: a44fa6898f user: nat tags: trunk | |
|
2013-09-25
| ||
| 20:07 | coverage.sh: clear counters before each run check-in: 884da542c5 user: nat tags: trunk | |
|
2013-09-24
| ||
| 18:28 | references: add storage pool formal parameters check-in: 779fe5056a user: nat tags: trunk | |
|
2013-09-23
| ||
| 18:26 | reference_tests: full-coverage test suite for reference counter check-in: 681c468a7d user: nat tags: trunk | |