91487cd | Raphaël Proust | 23 March 2022, 10:29:58 UTC | Merge branch 'trip-binary-descr' into 'master' Improve the description/schema system See merge request nomadic-labs/data-encoding!83 | 23 March 2022, 10:29:58 UTC |
8701e07 | Raphaël Proust | 23 March 2022, 10:26:07 UTC | Add CHANGELOG item | 23 March 2022, 10:26:07 UTC |
d93bf5d | Raphaël Proust | 21 March 2022, 09:28:51 UTC | Binary-schema: support zero-byte structs This can happen for trivial encodings such as `tup2 unit unit`, less trivial ones such as `obj1 (req "kind" (constant "Nil"))` (common when translating variant types), or when the value is moved to the tag of a union by the `Compact` encodings (e.g., `Compact.bool`). Either way, such an encoding used to be represented as a table with a header but no body — which is invalid in RST — but now simply features a plain-English message indicating that the value is represented with zero bytes. | 22 March 2022, 07:38:32 UTC |
194ad63 | Raphaël Proust | 16 March 2022, 15:00:55 UTC | Merge branch 'prepare-for-release-052' into 'master' 0.5.2 See merge request nomadic-labs/data-encoding!81 | 16 March 2022, 15:00:55 UTC |
1b800f7 | Raphaël Proust | 16 March 2022, 10:15:19 UTC | update CHANGES.md | 16 March 2022, 10:15:19 UTC |
cb79b68 | Raphaël Proust | 16 March 2022, 10:13:49 UTC | Merge branch 'make-compact-more-like-vanilla' into 'master' Make Compact.union's JSON encoding similar to Vanilla's union See merge request nomadic-labs/data-encoding!80 | 16 March 2022, 10:13:49 UTC |
747b16b | Raphaël Proust | 11 March 2022, 10:40:50 UTC | Make Compact.union's JSON encoding similar to Vanilla's union | 11 March 2022, 10:40:50 UTC |
692e1b7 | Raphaël Proust | 01 March 2022, 08:22:56 UTC | Merge branch 'prepare-for-release-051' into 'master' Update CHANGES.md to 0.5.1 See merge request nomadic-labs/data-encoding!78 | 01 March 2022, 08:22:56 UTC |
cd7d58a | Raphaël Proust | 28 February 2022, 13:38:19 UTC | Update CHANGES.md to 0.5.1 | 28 February 2022, 13:38:19 UTC |
c85bb67 | Raphaël Proust | 28 February 2022, 13:34:11 UTC | Merge branch 'one-more-test' into 'master' Test some either/option/bool compact encodings (all tag, no payload) See merge request nomadic-labs/data-encoding!77 | 28 February 2022, 13:34:11 UTC |
0086a89 | Raphaël Proust | 28 February 2022, 10:44:30 UTC | Allow the use of `assoc` within `mu` by improving recursion detection | 28 February 2022, 13:30:40 UTC |
3a1644d | Raphaël Proust | 28 February 2022, 10:41:59 UTC | Add test which fails because of an infinite recursion | 28 February 2022, 13:30:40 UTC |
dff8181 | Raphaël Proust | 28 February 2022, 07:02:02 UTC | Test some either/option/bool compact encodings (all tag, no payload) | 28 February 2022, 13:30:40 UTC |
8b00cd9 | Raphaël Proust | 28 February 2022, 07:00:26 UTC | Merge branch 'prepare-for-release-05' into 'master' Prepare for release of 0.5 See merge request nomadic-labs/data-encoding!76 | 28 February 2022, 07:00:26 UTC |
ea34f4c | Raphaël Proust | 25 February 2022, 14:39:26 UTC | Update CHANGELOG for v0.5 | 25 February 2022, 14:39:26 UTC |
8b799fe | Raphaël Proust | 25 February 2022, 13:57:27 UTC | Merge branch 'abate@js' into 'master' compile tests in js. See merge request nomadic-labs/data-encoding!61 | 25 February 2022, 13:57:27 UTC |
f2fda1b | Raphaël Proust | 25 February 2022, 13:47:25 UTC | Increase stack-size for compact-encoding auto-generated tests | 25 February 2022, 13:47:25 UTC |
9329eb9 | Raphaël Proust | 25 February 2022, 13:28:34 UTC | Run js-tests for all compiler variants | 25 February 2022, 13:28:34 UTC |
0996cef | Pietro | 26 October 2021, 09:19:59 UTC | compile tests in js. Add @runtest_js | 25 February 2022, 13:21:55 UTC |
7b9fada | Raphaël Proust | 25 February 2022, 12:19:53 UTC | Merge branch 'compact-encodings' into 'master' Add Compact to the Encoding module in the exported interface Closes #44 See merge request nomadic-labs/data-encoding!70 | 25 February 2022, 12:19:53 UTC |
e0d6712 | Raphaël Proust | 25 February 2022, 10:27:09 UTC | Be more strict about compact int32/int64 decoding ranges | 25 February 2022, 10:56:26 UTC |
e4c32dc | Raphaël Proust | 25 February 2022, 09:47:34 UTC | Invert order of cases in Compact.option | 25 February 2022, 09:49:12 UTC |
be16fb2 | Raphaël Proust | 25 February 2022, 09:46:48 UTC | Hoist a function outside of a first class module in Compact | 25 February 2022, 09:49:12 UTC |
880cf30 | Raphaël Proust | 24 February 2022, 10:28:51 UTC | Avoid scanning void cases when chosing layout of union | 25 February 2022, 09:49:12 UTC |
2032151 | Raphaël Proust | 23 February 2022, 16:04:22 UTC | Express Compact int32, int64 and or_int32 in terms of unions | 25 February 2022, 09:49:12 UTC |
6a7e564 | Raphaël Proust | 23 February 2022, 16:03:16 UTC | Improvements and fixes in documentation of Compact | 25 February 2022, 09:49:12 UTC |
8d9107b | Raphaël Proust | 23 February 2022, 13:59:09 UTC | Code quality in Compact: consistent exc raising, fewer open, etc. | 25 February 2022, 09:49:12 UTC |
3b2538f | Raphaël Proust | 22 February 2022, 10:55:26 UTC | Use fixed-length lists in Compact.list | 23 February 2022, 14:05:18 UTC |
1ae50b5 | Raphaël Proust | 21 February 2022, 10:04:56 UTC | Compact tags are ints (rather than int32) because capped at 2bytes | 23 February 2022, 14:05:18 UTC |
03a0eef | Raphaël Proust | 21 February 2022, 09:54:14 UTC | Make void_case parametric over `title` and polymorphic in case type | 23 February 2022, 14:05:18 UTC |
c09b2d5 | Raphaël Proust | 21 February 2022, 09:20:49 UTC | Add dependency to `either` package for compatibility with old versions | 23 February 2022, 13:21:15 UTC |
c16ad1b | Raphaël Proust | 18 February 2022, 15:46:01 UTC | Force the generation of low-values during the test of compact ints | 23 February 2022, 13:21:15 UTC |
283b732 | Raphaël Proust | 18 February 2022, 15:34:00 UTC | Use Binary_int_size instead of hardcoded values | 23 February 2022, 13:21:15 UTC |
949d760 | Raphaël Proust | 18 February 2022, 15:21:02 UTC | Make interface of Compact.case similar to case | 23 February 2022, 13:21:15 UTC |
5dead62 | Raphaël Proust | 18 February 2022, 15:05:16 UTC | Rename Compact.empty to Compact.unit | 23 February 2022, 13:21:15 UTC |
1878ab5 | Raphaël Proust | 18 February 2022, 15:00:38 UTC | Add Compact.void_case | 23 February 2022, 13:21:15 UTC |
07fa8ac | Raphaël Proust | 18 February 2022, 14:53:16 UTC | Add `tag_bit_count` to Compact | 23 February 2022, 13:21:15 UTC |
9979442 | Raphaël Proust | 18 February 2022, 14:30:23 UTC | Incresae test coverage on Compact encodings | 23 February 2022, 13:21:15 UTC |
ee6310c | Raphaël Proust | 18 February 2022, 14:30:06 UTC | Add objN and tupN ccombinators to Compact module | 23 February 2022, 13:21:15 UTC |
75d332f | Raphaël Proust | 18 February 2022, 10:15:52 UTC | Extensive documentation additions and fixes for Compact | 23 February 2022, 13:21:15 UTC |
6973e4f | Raphaël Proust | 18 February 2022, 10:14:59 UTC | Compact: support tag-size:0 in make | 23 February 2022, 13:21:15 UTC |
344e284 | Raphaël Proust | 18 February 2022, 10:13:01 UTC | Compact: fail earlier when detecting tag overflow | 23 February 2022, 13:21:15 UTC |
45beb25 | Raphaël Proust | 18 February 2022, 10:09:15 UTC | Compact.union: better names for optional parameters | 23 February 2022, 13:21:15 UTC |
7e7cfee | Raphaël Proust | 17 February 2022, 17:50:36 UTC | Better tests for compact encodings | 23 February 2022, 13:21:15 UTC |
f9b684f | Raphaël Proust | 17 February 2022, 17:50:04 UTC | Compact encoding: Early fail when tag-length overflows | 23 February 2022, 13:21:15 UTC |
993e992 | Raphaël Proust | 15 February 2022, 10:05:56 UTC | Compact encodings: better test of tag-size in `make` | 23 February 2022, 13:21:15 UTC |
59553af | Raphaël Proust | 15 February 2022, 10:04:38 UTC | Add compact encodings to the auto-generation in tests | 23 February 2022, 13:21:15 UTC |
f3f19d5 | Raphaël Proust | 07 February 2022, 15:47:10 UTC | Add Compact to the Encoding module in the exported interface Note that the Compact module provides a second layer of abstraction built on top of the first. Hence, it is defined in a separate module and then only exported as a submodule of `Encoding` in the top-level `Data_encoding` module | 23 February 2022, 13:21:15 UTC |
ebbd42b | Raphaël Proust | 23 February 2022, 13:18:55 UTC | Merge branch 'add-fixed-length-list-combinator' into 'master' Add `Fixed.list` combinator See merge request nomadic-labs/data-encoding!75 | 23 February 2022, 13:18:55 UTC |
9ac38c7 | Raphaël Proust | 23 February 2022, 10:57:30 UTC | Prevent variable list encodings within fixed-length lists and arrays | 23 February 2022, 13:06:56 UTC |
48bb266 | Raphaël Proust | 22 February 2022, 14:56:38 UTC | Simplify and optimise length check of List and Array | 23 February 2022, 10:04:31 UTC |
3dc9fd1 | Raphaël Proust | 22 February 2022, 14:10:25 UTC | Avoid recomputing name in recursive call in slicer's read_list | 23 February 2022, 10:04:31 UTC |
e1081c5 | Raphaël Proust | 22 February 2022, 13:43:44 UTC | Minor documentation improvement | 23 February 2022, 10:04:31 UTC |
3359e7a | Raphaël Proust | 22 February 2022, 13:43:13 UTC | Rename errors to match length constraints better | 23 February 2022, 10:04:31 UTC |
871d583 | Raphaël Proust | 22 February 2022, 13:41:55 UTC | Add Fixed.list and Fixed.array combinators | 23 February 2022, 10:04:31 UTC |
74ab8c0 | Raphaël Proust | 22 February 2022, 08:14:51 UTC | Merge branch 'detect-recursive-encodings-in-internal-testing-functions' into 'master' Ensure `is_option` terminate when traversing recursive encodings Closes #48 See merge request nomadic-labs/data-encoding!72 | 22 February 2022, 08:14:51 UTC |
b917352 | Hugo Heuzard | 18 February 2022, 11:43:45 UTC | abstract visited | 22 February 2022, 08:10:19 UTC |
ede21a2 | Raphaël Proust | 17 February 2022, 15:09:21 UTC | Additional infinite recursion protection and documentation | 22 February 2022, 08:10:19 UTC |
a50e09c | Raphaël Proust | 17 February 2022, 15:02:24 UTC | Fix #48: avoid inifinite recursion on mu-option | 22 February 2022, 08:10:19 UTC |
f0ad895 | Raphaël Proust | 17 February 2022, 14:38:24 UTC | Test for bug #48: mu-option infinite loop | 17 February 2022, 14:45:10 UTC |
e9c8bda | Raphaël Proust | 24 January 2022, 16:27:02 UTC | Merge branch 'raphael-p@test-that-json-encoding-roundtrips--it-doesnt' into 'master' Add test for json-roundtripping See merge request nomadic-labs/data-encoding!62 | 24 January 2022, 16:27:02 UTC |
75ff4fe | Raphaël Proust | 24 January 2022, 15:32:35 UTC | Fix the CI by installing system library It seems that opam-depext misbehaves and that pre-installing some library solves the issue. | 24 January 2022, 16:23:58 UTC |
a988494 | Raphaël Proust | 10 January 2022, 10:16:05 UTC | Make bson-relaxation test Crowbar | 20 January 2022, 15:33:12 UTC |
fe4df0d | Raphaël Proust | 07 January 2022, 16:21:15 UTC | Update json-data-encoding dependency version constraint | 20 January 2022, 15:33:12 UTC |
98a1de8 | Raphaël Proust | 04 January 2022, 09:20:13 UTC | Implement and document `bson_relaxation` | 20 January 2022, 15:33:12 UTC |
74a77a0 | Raphaël Proust | 21 December 2021, 12:48:38 UTC | Document BSON A/O issue | 20 January 2022, 15:33:12 UTC |
e9b381a | Raphaël Proust | 29 November 2021, 14:11:11 UTC | Add test for json-roundtripping Encodes-decodes json values in both json and binary, and checks that the result is stable. | 20 January 2022, 15:33:12 UTC |
346fb3a | Raphaël Proust | 20 January 2022, 15:31:24 UTC | Merge branch 'use-matching-rather-than-union' into 'master' Use matching instead of union internally Closes #27 See merge request nomadic-labs/data-encoding!68 | 20 January 2022, 15:31:24 UTC |
8d425fb | Raphaël Proust | 19 January 2022, 14:34:24 UTC | Use matching instead of union internally Note: does not affect less performance criticial encodings such as binary descriptions. | 19 January 2022, 15:09:55 UTC |
a08e078 | Raphaël Proust | 19 January 2022, 08:00:32 UTC | Merge branch 'improve-documentation' into 'master' Improve documentation of Registration.register Closes #43 See merge request nomadic-labs/data-encoding!67 | 19 January 2022, 08:00:32 UTC |
c78497f | Raphaël Proust | 18 January 2022, 15:39:59 UTC | Minor improvements in the documentation | 19 January 2022, 07:53:55 UTC |
79eb5e3 | Raphaël Proust | 18 January 2022, 15:18:39 UTC | Improve documentation of Registration.register Fixes #43 | 19 January 2022, 07:53:21 UTC |
f298c99 | Raphaël Proust | 18 January 2022, 15:12:16 UTC | Merge branch 'upgrade-tooling' into 'master' Upgrade tooling See merge request nomadic-labs/data-encoding!66 | 18 January 2022, 15:12:16 UTC |
99c97a6 | Raphaël Proust | 11 January 2022, 15:07:16 UTC | Minimum OCaml version is 4.10 | 11 January 2022, 15:07:16 UTC |
2d0edb2 | Raphaël Proust | 11 January 2022, 14:56:30 UTC | Small documentation improvements | 11 January 2022, 14:56:30 UTC |
acca031 | Raphaël Proust | 11 January 2022, 14:16:51 UTC | CI: increase OCaml version range of tests | 11 January 2022, 14:16:51 UTC |
dda61b9 | Raphaël Proust | 11 January 2022, 14:13:57 UTC | Autoformat | 11 January 2022, 14:13:57 UTC |
0973018 | Raphaël Proust | 11 January 2022, 14:11:46 UTC | Update ocamlformat dep and mark odoc as doc dependency | 11 January 2022, 14:11:46 UTC |
01325f0 | Raphaël Proust | 04 January 2022, 09:46:19 UTC | Merge branch 'raphael-p@fix-lazy-encoding-error-management' into 'master' Lazy-encoding: make error management consistent See merge request nomadic-labs/data-encoding!63 | 04 January 2022, 09:46:19 UTC |
2ac6a61 | Raphaël Proust | 29 November 2021, 14:18:49 UTC | Lazy-encoding: make error management consistent | 04 January 2022, 09:25:12 UTC |
aafa654 | Raphaël Proust | 21 December 2021, 09:47:25 UTC | Merge branch 'clean-up-code' into 'master' Clean up code See merge request nomadic-labs/data-encoding!65 | 21 December 2021, 09:47:25 UTC |
f8c8737 | Raphaël Proust | 08 December 2021, 08:51:14 UTC | Minor clean-ups based on semgrep feedback | 21 December 2021, 09:43:14 UTC |
779b8a3 | Raphaël Proust | 21 December 2021, 09:27:37 UTC | Merge branch 'raphael-p@test-binary-length' into 'master' Test `length` against `to_bytes` and `to_string` See merge request nomadic-labs/data-encoding!64 | 21 December 2021, 09:27:37 UTC |
2dd3f7e | Raphaël Proust | 29 November 2021, 15:21:46 UTC | Test `length` against `to_bytes` and `to_string` Currently it is only tested against `write`. | 29 November 2021, 15:21:46 UTC |
bed7f8b | Raphaël Proust | 06 September 2021, 07:51:26 UTC | Merge branch 'include_default_fields' into 'master' Json.construct: add optional argument include_default_fields See merge request nomadic-labs/data-encoding!52 | 06 September 2021, 07:51:26 UTC |
8b6c854 | Diane Gallois-Wong | 19 July 2021, 09:53:36 UTC | Json.construct: add optional argument include_default_fields This argument is directly passed on to Json_encoding.construct | 06 September 2021, 07:33:49 UTC |
1c073b8 | Raphaël Proust | 03 August 2021, 10:48:06 UTC | Merge branch 'phantom-ref-fix' into 'master' bugfix: add final fixup to toplevel in describe See merge request nomadic-labs/data-encoding!53 | 03 August 2021, 10:48:06 UTC |
439f304 | Raphaël Proust | 02 August 2021, 08:54:25 UTC | Simplify ref test | 03 August 2021, 10:34:03 UTC |
afe9ce1 | Raphaël Proust | 02 August 2021, 08:53:33 UTC | More precise comments in ref test (Remove mentions of "types") | 03 August 2021, 10:34:03 UTC |
dc5c236 | Peter Duchovni | 30 July 2021, 17:37:13 UTC | Test: combines mu_phantom and inline_phantom Unifies structurally similar test modules mu_phantom and inline_phantom (both novel to this MR) into reference_check, which exposes them as sub-modules using a common set of helper definitions to avoid code duplication. Also documents the purpose of the helper functions, and the specific bugs that the two sub-modules are designed to prove the correction of. | 03 August 2021, 10:34:03 UTC |
4ebba3a | Peter Duchovni | 26 July 2021, 18:03:35 UTC | Tests: add tests to prevent recurrence of bug Adds test modules `mu_phantom` and `inline_phantom` that respectively ensure that the toplevel type contains no dangling references. | 03 August 2021, 10:34:03 UTC |
22345a3 | Peter Duchovni | 26 July 2021, 16:39:23 UTC | bugfix: add final fixup to toplevel in describe Fixes two related bugs (issues #30 and #32) in which dangling references were preserved in the toplevel of an encoding even after the types they referred to were renamed or pruned. | 03 August 2021, 10:34:03 UTC |
ab152bb | Raphaël Proust | 02 August 2021, 09:38:38 UTC | Merge branch 'sir4ur0n/feat/exposeBinaryStreamT' into 'master' Add Binary_stream.t to public API See merge request nomadic-labs/data-encoding!54 | 02 August 2021, 09:38:38 UTC |
fd82a6d | Raphaël Proust | 30 July 2021, 14:49:21 UTC | document Binary.read_stream | 02 August 2021, 09:24:36 UTC |
3483980 | Julien Debon | 29 July 2021, 15:13:10 UTC | Add Binary_stream.[t|is_empty] to public API | 29 July 2021, 15:30:49 UTC |
ddc6827 | Raphaël Proust | 15 June 2021, 15:56:20 UTC | Merge branch 'test-412-in-CI' into 'master' Add 4.12 tests in the CI See merge request nomadic-labs/data-encoding!47 | 15 June 2021, 15:56:20 UTC |
57244fc | Raphaël Proust | 15 June 2021, 15:10:52 UTC | Update ocamlformat version, autoformat Note that ocamlformat.0.15.0 is not compatible with ocaml.4.12 | 15 June 2021, 15:10:52 UTC |
bb0aec8 | Raphaël Proust | 02 June 2021, 16:36:35 UTC | Add 4.12 tests in the CI | 02 June 2021, 16:36:35 UTC |
84afe98 | Raphaël Proust | 02 June 2021, 11:28:48 UTC | Merge branch 'prepare-for-v0.4' into 'master' Release v0.4 See merge request nomadic-labs/data-encoding!46 | 02 June 2021, 11:28:48 UTC |
57cfc11 | Raphaël Proust | 02 June 2021, 11:15:27 UTC | opam file fixes From @kit-ty-kate See https://github.com/ocaml/opam-repository/pull/18776 | 02 June 2021, 11:15:27 UTC |