a445cfd | Raphaël Proust | 30 October 2022, 19:35:25 UTC | Merge branch 'raphael-p@lazycrashfix' into 'master' Lazycrash fix See merge request nomadic-labs/data-encoding!112 | 30 October 2022, 19:35:25 UTC |
42fa606 | vbot | 04 October 2022, 11:56:14 UTC | add unparsable lazy roundtrip test | 04 October 2022, 11:57:50 UTC |
bfd2000 | Raphaël Proust | 04 October 2022, 08:31:29 UTC | lazy-encoding fix | 04 October 2022, 08:31:29 UTC |
1f43972 | Raphaël Proust | 04 October 2022, 08:29:20 UTC | Crash test | 04 October 2022, 08:29:20 UTC |
2d51c28 | Raphaël Proust | 29 September 2022, 07:51:00 UTC | Merge branch 'prepare-for-release-0-7' into 'master' Prepare for release 0 7 See merge request nomadic-labs/data-encoding!110 | 29 September 2022, 07:51:00 UTC |
aea70e5 | Raphaël Proust | 27 September 2022, 06:56:33 UTC | Fix opam constraints on json-data-encoding | 27 September 2022, 06:56:33 UTC |
42e9db7 | Raphaël Proust | 27 September 2022, 06:43:03 UTC | Merge branch 'small-doc-improvement' into 'master' Improve documentation of z and n Closes #61 See merge request nomadic-labs/data-encoding!109 | 27 September 2022, 06:43:03 UTC |
733c4b2 | Raphaël Proust | 27 September 2022, 06:26:20 UTC | Improve documentation of z and n | 27 September 2022, 06:26:20 UTC |
0343005 | Raphaël Proust | 22 September 2022, 14:35:17 UTC | Merge branch 'safer-encoding-module' into 'master' SaferEncoding See merge request nomadic-labs/data-encoding!96 | 22 September 2022, 14:35:17 UTC |
7462b69 | Raphaël Proust | 11 August 2022, 10:13:47 UTC | Some safer combinators for some common user errors > User errors are the symptom of design issues and to we change the design a bit in this commit | 22 September 2022, 14:30:36 UTC |
d2e90ad | Raphaël Proust | 22 September 2022, 08:20:54 UTC | Merge branch 'archaephyrryx-base-patch' into 'master' Registration: extends API to allow introspection See merge request nomadic-labs/data-encoding!108 | 22 September 2022, 08:20:54 UTC |
a473720 | Peter Duchovni | 25 April 2022, 13:24:38 UTC | Registration: extends API to allow introspection Introduces new GADT `encoding` to `registration.ml{,i}` that allows external libraries and tools more (albeit still limited) access to the unknown-type `Encoding.t` stored in a `Registration.t`. This type is made transparent in the MLI to allow external libraries and tools to define functions that operate on the arbitrary-typed `Encoding.t` held in an argument of type `Registration.encoding` Adds `find_encoding` and `iter` functions to query for/operate on values of type `Registration.encoding`. ---------------- Registration: exposes and documents new items Exposes and documents the encoding type, as well as the find_encoding and iter functions, defined originally in registration.ml[i], in data_encoding.mli. Removes dummy .gitmodules file ---------------- Rename introspection-related type and bunch interface items together | 22 September 2022, 08:16:32 UTC |
7d3bc29 | Raphaël Proust | 22 September 2022, 08:06:58 UTC | Merge branch 'hans.hoglund-master-patch-81650' into 'master' Fix dead link in README See merge request nomadic-labs/data-encoding!100 | 22 September 2022, 08:06:58 UTC |
14062e1 | Raphaël Proust | 22 September 2022, 08:00:39 UTC | Point to onl'ine hosting places of the tutorial | 22 September 2022, 08:03:48 UTC |
3e68295 | Hans Hoglund | 01 September 2022, 15:11:25 UTC | Fix dead link in README The tutorial link is currently dead. This patch replaces the link target with an automatic Gitlab page. | 22 September 2022, 08:03:48 UTC |
38abf55 | Raphaël Proust | 22 September 2022, 08:01:17 UTC | Merge branch 'fix-empty-fields-when-tups-of-zero-width' into 'master' Ensure that tups of zero-width are described with non-empty `fields` See merge request nomadic-labs/data-encoding!103 | 22 September 2022, 08:01:17 UTC |
d93de65 | Raphaël Proust | 12 September 2022, 06:53:11 UTC | Use `fields: []` to mark empty products in binary schemas | 22 September 2022, 07:55:40 UTC |
c9dcb0a | Raphaël Proust | 22 September 2022, 07:52:52 UTC | Fix fixed-size description | 22 September 2022, 07:55:40 UTC |
da6c183 | Raphaël Proust | 19 September 2022, 15:20:46 UTC | Expect test for descriptions | 22 September 2022, 07:55:40 UTC |
f233d69 | Raphaël Proust | 20 September 2022, 13:21:31 UTC | Bump json-data-encoding version constraint | 22 September 2022, 07:55:40 UTC |
bd10b74 | Raphaël Proust | 21 September 2022, 15:43:47 UTC | Merge branch 'hsaito@dynamic_size_n2' into 'master' Add `N kind for Dynamic_size Closes #54 See merge request nomadic-labs/data-encoding!93 | 21 September 2022, 15:43:47 UTC |
e5a93ee | Raphaël Proust | 21 September 2022, 09:46:26 UTC | Use `min-int` in the invalid_int to hint at overflow | 21 September 2022, 15:06:41 UTC |
ba5291b | Raphaël Proust | 21 September 2022, 09:34:57 UTC | Simplify dynamic-size-N writing | 21 September 2022, 15:06:41 UTC |
6ec838f | Raphaël Proust | 15 September 2022, 13:36:31 UTC | Improve documentation of string'/bound' | 21 September 2022, 15:06:41 UTC |
49a6730 | Raphaël Proust | 15 September 2022, 13:35:25 UTC | Tigther constraint on dynamic-size N writing | 21 September 2022, 15:06:41 UTC |
97fd867 | Raphaël Proust | 15 September 2022, 13:22:16 UTC | Factor the check-size code better in binary backends | 21 September 2022, 15:06:41 UTC |
d060eed | Raphaël Proust | 15 September 2022, 12:55:48 UTC | Minor code quality improvement | 21 September 2022, 15:06:41 UTC |
68d7d7b | Raphaël Proust | 15 September 2022, 12:43:49 UTC | Name magic constant | 21 September 2022, 15:06:41 UTC |
ece6d8d | Raphaël Proust | 15 September 2022, 09:51:27 UTC | mention computational cost of dynamic-size kind n in tutorial | 21 September 2022, 15:06:41 UTC |
c888622 | Raphaël Proust | 15 September 2022, 09:48:48 UTC | Test `N` as a dynamic-size parameter in pbt | 21 September 2022, 15:06:41 UTC |
a2a17d0 | Raphaël Proust | 15 September 2022, 09:39:47 UTC | Mention new dynamic-sizing kind option in tutorial | 21 September 2022, 15:06:41 UTC |
d6a0a07 | Raphaël Proust | 15 September 2022, 09:30:21 UTC | Add ?length_kind to relevant string' and bytes' combinators | 21 September 2022, 15:06:41 UTC |
c252adf | taiseiKMC | 05 August 2022, 07:57:06 UTC | Allow `n` as a dynamic-size header - Add `N as kind - Update Encoding.dynamic : set `N as default - Add test - Fix Binary_description when `N used - Several fixes during the conflict-resolution during the rebase - restore defaults for backwards compat - limit the N size headers to the uint30 integer range | 21 September 2022, 15:06:41 UTC |
53bc44d | Raphaël Proust | 20 September 2022, 14:13:21 UTC | Merge branch 'export-all-type-equalities-when-including-encoding' into 'master' export all type and module equalities when including Encoding See merge request nomadic-labs/data-encoding!106 | 20 September 2022, 14:13:21 UTC |
737eb32 | Raphaël Proust | 14 September 2022, 12:24:31 UTC | export all type and module equalities when including Encoding | 20 September 2022, 13:50:48 UTC |
db56bce | Raphaël Proust | 20 September 2022, 10:00:05 UTC | Merge branch 'avoid-duplicate-pipelines' into 'master' Avoid running a pipeline for the MR and one for the branch See merge request nomadic-labs/data-encoding!107 | 20 September 2022, 10:00:05 UTC |
0e47d50 | Raphaël Proust | 20 September 2022, 08:43:23 UTC | Avoid running a pipeline for the MR and one for the branch Use official recommendations from https://docs.gitlab.com/ee/ci/yaml/workflow.html#switch-between-branch-pipelines-and-merge-request-pipelines | 20 September 2022, 09:57:11 UTC |
c507b33 | Hugo Heuzard | 20 September 2022, 09:13:07 UTC | Merge branch 'fix-bug' into 'master' Small refactoring and bug fix. See merge request nomadic-labs/data-encoding!104 | 20 September 2022, 09:13:07 UTC |
36af670 | Hugo Heuzard | 14 September 2022, 15:09:09 UTC | Refactoring: small renaming | 20 September 2022, 09:09:50 UTC |
ab227c7 | Hugo Heuzard | 14 September 2022, 15:43:03 UTC | Test: expose bug with stream read | 20 September 2022, 08:55:18 UTC |
fed3434 | Raphaël Proust | 20 September 2022, 08:30:20 UTC | Merge branch 'ci-fmt' into 'master' CI checks doc and fmt in a dedicated job See merge request nomadic-labs/data-encoding!105 | 20 September 2022, 08:30:20 UTC |
9f5e7f7 | Hugo Heuzard | 15 September 2022, 11:55:36 UTC | new job for fmt and doc | 15 September 2022, 12:37:10 UTC |
e5ed296 | Raphaël Proust | 14 September 2022, 15:55:17 UTC | Merge branch 'hsaito@list_with_length' into 'master' Use List.length for the prefix of a list in binary encoding instead of byte length See merge request nomadic-labs/data-encoding!94 | 14 September 2022, 15:55:17 UTC |
08541ad | taiseiKMC | 09 August 2022, 17:33:52 UTC | Add array_with_length and list_with_length: with length headers Co-authored-by: Raphaël Proust <code@bnwr.net> | 14 September 2022, 15:42:46 UTC |
a9d7ab4 | taiseiKMC | 10 August 2022, 07:53:51 UTC | Fix Binary_stream_reader.read_fixed_list Fixed.list may have raised error in remaining_bytes | 14 September 2022, 15:35:26 UTC |
d8ebedf | Raphaël Proust | 14 September 2022, 13:53:44 UTC | Merge branch 'length-should-fail-if-write-would-fail-too' into 'master' Length should fail if write would fail too See merge request nomadic-labs/data-encoding!101 | 14 September 2022, 13:53:44 UTC |
f35a7d1 | Raphaël Proust | 14 September 2022, 13:09:58 UTC | add PBT generators for more dyn and checksize | 14 September 2022, 13:09:58 UTC |
bd713ac | Raphaël Proust | 14 September 2022, 13:03:21 UTC | Provide res variant of exn-raising length function | 14 September 2022, 13:03:21 UTC |
e89f38a | Raphaël Proust | 14 September 2022, 12:58:29 UTC | Tighter maximum-length bound based on dynamic-size header size | 14 September 2022, 13:00:19 UTC |
c4ce0d1 | Raphaël Proust | 14 September 2022, 12:47:10 UTC | Use binding operators rather than custom infixes in binary-legnth | 14 September 2022, 13:00:13 UTC |
afff868 | Raphaël Proust | 14 September 2022, 12:31:24 UTC | Check dynamic-size overflow when computing binary-size | 14 September 2022, 12:31:24 UTC |
90a9d53 | Raphaël Proust | 07 September 2022, 14:55:26 UTC | Merge branch 'hhugo-bytes-strings' into 'master' New combinator to control the json encoding of bytes and strings See merge request nomadic-labs/data-encoding!98 | 07 September 2022, 14:55:26 UTC |
2f60fff | Raphaël Proust | 07 September 2022, 10:06:37 UTC | Mention new combinators in tutorial | 07 September 2022, 13:41:38 UTC |
ba62c94 | Hugo Heuzard | 31 August 2022, 12:40:35 UTC | New combinator to control the json encoding of bytes and strings | 07 September 2022, 13:41:38 UTC |
15e68ff | Raphaël Proust | 01 September 2022, 07:52:15 UTC | Add expect test (regression) for string and bytes | 07 September 2022, 13:41:38 UTC |
36601e8 | Hugo Heuzard | 07 September 2022, 10:27:58 UTC | Merge branch 'add-uint-as-n-encoding' into 'master' Add uint as n encoding See merge request nomadic-labs/data-encoding!97 | 07 September 2022, 10:27:58 UTC |
b8a0211 | Raphaël Proust | 07 September 2022, 10:13:12 UTC | Tweak int-like impelementation | 07 September 2022, 10:13:12 UTC |
5839902 | Raphaël Proust | 06 September 2022, 15:46:34 UTC | Allow min_value = max_value in int-like combinators | 06 September 2022, 15:54:33 UTC |
f75cd7b | Raphaël Proust | 06 September 2022, 15:26:15 UTC | Rename leftover "as" to "like" | 06 September 2022, 15:26:35 UTC |
88e39a7 | Raphaël Proust | 06 September 2022, 15:25:41 UTC | Generalise negative test for int-like using `Sys.int_size` | 06 September 2022, 15:26:35 UTC |
71161f3 | Raphaël Proust | 06 September 2022, 15:24:26 UTC | Fix documentation errors | 06 September 2022, 15:26:35 UTC |
66c77e9 | Raphaël Proust | 06 September 2022, 13:56:54 UTC | give name to intermediate values in int-like combinator implementation | 06 September 2022, 15:26:35 UTC |
a5e3236 | Raphaël Proust | 06 September 2022, 13:53:49 UTC | int-like encodings: move optional bound logic to a single place | 06 September 2022, 13:53:49 UTC |
709f560 | Raphaël Proust | 06 September 2022, 12:28:55 UTC | JSON's int-like-* is now as strict as binary's w.r.t. bounds | 06 September 2022, 12:28:55 UTC |
09604ed | Raphaël Proust | 06 September 2022, 10:01:49 UTC | Fix sizing of `int_as_n` (and improve code) | 06 September 2022, 10:01:49 UTC |
d556b1f | Raphaël Proust | 06 September 2022, 09:22:33 UTC | Factor int_like_z and uint_like_n code | 06 September 2022, 09:22:33 UTC |
20c5bc6 | Raphaël Proust | 06 September 2022, 09:17:11 UTC | Less in-line constants, more predefined values | 06 September 2022, 09:17:11 UTC |
0f9e126 | Raphaël Proust | 01 September 2022, 14:28:52 UTC | Add entries for uint_like_n and int_like_z to the tutorial | 01 September 2022, 14:30:38 UTC |
82290cb | Raphaël Proust | 01 September 2022, 14:02:54 UTC | Rename uint_as_n and int_as_z into uint_like_n and int_like_z | 01 September 2022, 14:02:54 UTC |
7256407 | Raphaël Proust | 31 August 2022, 15:47:47 UTC | Comment lack of is-positive check in `uint_as_n` code | 31 August 2022, 15:47:47 UTC |
3dc4b67 | Raphaël Proust | 31 August 2022, 14:33:01 UTC | Add expect tests for int_as_z and uint_as_n | 31 August 2022, 15:36:15 UTC |
f38f108 | Raphaël Proust | 31 August 2022, 14:28:26 UTC | Simplify checks for uint_as_n and int_as_z | 31 August 2022, 14:28:26 UTC |
f682060 | Raphaël Proust | 31 August 2022, 12:32:56 UTC | Improve test diagnostics for int-as-z | 31 August 2022, 12:39:30 UTC |
70a797a | Raphaël Proust | 31 August 2022, 10:19:11 UTC | Add int-as-z encoding | 31 August 2022, 10:19:11 UTC |
05008fd | Raphaël Proust | 31 August 2022, 09:33:26 UTC | Add `uint30_as_n` encoding | 31 August 2022, 09:33:26 UTC |
603b5d9 | Raphaël Proust | 23 August 2022, 09:30:59 UTC | Merge branch 'fix-check-size-on-negative-inputs' into 'master' Handle negative size limits with Invalid_argument See merge request nomadic-labs/data-encoding!95 | 23 August 2022, 09:30:59 UTC |
924db68 | Raphaël Proust | 10 August 2022, 15:51:43 UTC | raise Invalid_argument when `check_size` gets a negative limit | 23 August 2022, 09:25:43 UTC |
c251ec2 | Raphaël Proust | 10 August 2022, 15:12:24 UTC | Add one more test | 23 August 2022, 09:25:43 UTC |
04b3cfb | Raphaël Proust | 10 August 2022, 15:10:21 UTC | New test for check-size with `-1` Note that `-1` is used to encode `none` in the `Uint_option` internal module. Ultimately, this causes an assert false during serialisation. | 23 August 2022, 09:25:38 UTC |
f214434 | Hugo Heuzard | 19 July 2022, 08:55:14 UTC | Merge branch 'prepare-for-release-v0-6' into 'master' V0.6 release See merge request nomadic-labs/data-encoding!91 | 19 July 2022, 08:55:14 UTC |
10ebe6e | Raphaël Proust | 13 July 2022, 14:02:01 UTC | Set tutorial.mld as a promoted file to avoid release dependency on md2mld | 19 July 2022, 08:53:17 UTC |
f436d98 | Raphaël Proust | 13 July 2022, 08:23:21 UTC | CHANGES for v0.6 | 19 July 2022, 08:53:17 UTC |
1909acf | Hugo Heuzard | 19 July 2022, 08:06:13 UTC | Merge branch 'raphael-p@improve-doc-structure' into 'master' Improve doc structure See merge request nomadic-labs/data-encoding!92 | 19 July 2022, 08:06:13 UTC |
434b923 | Raphaël Proust | 18 July 2022, 12:06:45 UTC | Avoid before-scirpt running in the pages/doc stage | 18 July 2022, 12:06:45 UTC |
5b51c76 | Raphaël Proust | 18 July 2022, 12:06:04 UTC | Introduce index.mld to point to the tutorial and the API on the landing page | 18 July 2022, 12:06:04 UTC |
e8ca479 | Raphaël Proust | 13 July 2022, 08:17:18 UTC | Merge branch 'raphael-p@dont-unroll-mu-nodes' into 'master' `mu` now avoids the first unrolling See merge request nomadic-labs/data-encoding!88 | 13 July 2022, 08:17:18 UTC |
2908d88 | Raphaël Proust | 07 June 2022, 15:02:52 UTC | Add another test for mu | 13 July 2022, 08:13:02 UTC |
6e262f8 | Raphaël Proust | 07 June 2022, 07:56:21 UTC | Add PBT rule to generate more complex mu | 13 July 2022, 08:13:02 UTC |
1d57f9c | Raphaël Proust | 02 June 2022, 12:34:05 UTC | `mu` now avoids the first unrolling I.e., the encoding `mu (fun e -> union [ … ; … e])` is now represented as a `Mu` constructor rather than a `Union` constructor. | 13 July 2022, 08:13:02 UTC |
8ba4d07 | Raphaël Proust | 16 June 2022, 13:15:06 UTC | Merge branch 'hhugo-ppx-hash' into 'master' Use ppx_hash See merge request nomadic-labs/data-encoding!89 | 16 June 2022, 13:15:06 UTC |
cd83ef0 | Hugo Heuzard | 13 June 2022, 10:39:16 UTC | Use ppx_hash | 16 June 2022, 10:05:17 UTC |
eb1a29a | Raphaël Proust | 14 June 2022, 12:34:02 UTC | Merge branch 'hhugo-small-refactoring' into 'master' Small refactoring See merge request nomadic-labs/data-encoding!90 | 14 June 2022, 12:34:02 UTC |
2b521f4 | Hugo Heuzard | 14 June 2022, 08:18:38 UTC | Binary_description.dedup_canonicalize: Simpler check for detecting fix-point | 14 June 2022, 11:55:08 UTC |
f53eff7 | Hugo Heuzard | 13 June 2022, 10:53:09 UTC | Binary_description.dedup_canonicalize: turn fold into filter_map | 14 June 2022, 11:54:47 UTC |
c9c26be | Hugo Heuzard | 13 June 2022, 10:51:06 UTC | Binary_description.dedup_canonicalize: accumulator not longer needed | 14 June 2022, 11:53:50 UTC |
523e9f6 | Hugo Heuzard | 10 June 2022, 16:04:43 UTC | Binary_description.dedup_canonicalize: make List.fold explicit | 14 June 2022, 11:53:20 UTC |
62cd95f | Raphaël Proust | 13 June 2022, 10:04:32 UTC | Merge branch 'hhugo-cleanup' into 'master' Some small cleanup preserving semantic See merge request nomadic-labs/data-encoding!74 | 13 June 2022, 10:04:32 UTC |
211362b | Hugo Heuzard | 10 June 2022, 22:14:08 UTC | Tests: fix test/mu.ml | 10 June 2022, 22:14:08 UTC |
4609a8f | Hugo Heuzard | 10 June 2022, 19:39:55 UTC | Fix build after | 10 June 2022, 19:39:55 UTC |
53faf1d | Hugo Heuzard | 10 June 2022, 19:27:04 UTC | Refactor code to avoid un-annotated ignore | 10 June 2022, 19:29:57 UTC |