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 |
f0c5724 | Hugo Heuzard | 10 June 2022, 19:25:28 UTC | Annotate ignored values | 10 June 2022, 19:29:09 UTC |
fe24304 | Hugo Heuzard | 10 June 2022, 19:16:16 UTC | Avoid catch all | 10 June 2022, 19:28:52 UTC |
8afbb14 | Hugo Heuzard | 10 June 2022, 19:14:02 UTC | Cleanup src/dune | 10 June 2022, 19:14:02 UTC |
0ffeb0b | Raphaël Proust | 09 June 2022, 09:23:49 UTC | Merge branch 'raphael-p@documentation-a-lot-of-documentation' into 'master' Documentation, a lot of documentation See merge request nomadic-labs/data-encoding!85 | 09 June 2022, 09:23:49 UTC |
2a105d6 | Raphaël Proust | 09 June 2022, 08:23:54 UTC | Workaround for ocaml-ci bug | 09 June 2022, 08:23:54 UTC |
f7c9778 | Raphaël Proust | 08 June 2022, 07:33:23 UTC | Fix eval_numsizes compilation | 08 June 2022, 07:33:23 UTC |
09e2760 | Raphaël Proust | 07 June 2022, 09:06:40 UTC | Mention tutorial in README | 07 June 2022, 09:10:52 UTC |
1eecd29 | Raphaël Proust | 26 April 2022, 16:09:44 UTC | Better documentation of the internal modules being internal | 07 June 2022, 09:10:52 UTC |
097f061 | Raphaël Proust | 29 March 2022, 13:21:54 UTC | Tutorial | 07 June 2022, 09:10:38 UTC |
529d8b0 | Raphaël Proust | 29 March 2022, 13:20:14 UTC | Fix some documentation errors | 31 May 2022, 10:22:53 UTC |
6e0cfce | Raphaël Proust | 15 April 2022, 14:22:46 UTC | Merge branch 'expect' into 'master' Introduce expect tests for checking encoding stability See merge request nomadic-labs/data-encoding!79 | 15 April 2022, 14:22:46 UTC |
36924c9 | Hugo Heuzard | 09 March 2022, 11:11:33 UTC | Introduce expect test for testing encoding stability | 15 April 2022, 14:08:04 UTC |
977f29a | Hugo Heuzard | 09 March 2022, 09:44:23 UTC | Move pbt into its own directory | 15 April 2022, 14:07:16 UTC |
9eb07af | Raphaël Proust | 15 April 2022, 13:14:52 UTC | Merge branch 'diane@add-padding-generator' into 'master' Tests: add add_padding to generators See merge request nomadic-labs/data-encoding!87 | 15 April 2022, 13:14:52 UTC |
ff8c8a8 | Diane Gallois-Wong | 13 April 2022, 14:11:00 UTC | Tests: add add_padding to generators | 15 April 2022, 13:12:19 UTC |
9e07502 | Raphaël Proust | 13 April 2022, 09:16:01 UTC | Merge branch 'widen-CI-range' into 'master' Makle the CI run on ocaml.4.14 See merge request nomadic-labs/data-encoding!86 | 13 April 2022, 09:16:01 UTC |
8d074f0 | Raphaël Proust | 13 April 2022, 09:08:10 UTC | Makle the CI run on ocaml.4.14 | 13 April 2022, 09:08:10 UTC |
4209b1e | Raphaël Proust | 04 April 2022, 09:27:29 UTC | Merge branch 'raphael-p@fix-tests-on-32-bit' into 'master' Make integer literal 32-bit compatible in test See merge request nomadic-labs/data-encoding!84 | 04 April 2022, 09:27:29 UTC |
6ca8e08 | Raphaël Proust | 24 March 2022, 07:43:15 UTC | Make integer literal 32-bit compatible in test | 24 March 2022, 07:43:15 UTC |
0eda787 | Raphaël Proust | 23 March 2022, 15:23:19 UTC | Merge branch 'make-compact-json-identical-to-standard-json' into 'master' Make compact JSON identical to vanilla JSON See merge request nomadic-labs/data-encoding!82 | 23 March 2022, 15:23:19 UTC |
4dfa145 | Raphaël Proust | 23 March 2022, 10:32:13 UTC | Add CHANGELOG entry | 23 March 2022, 15:19:23 UTC |
5f32244 | Raphaël Proust | 18 March 2022, 14:57:38 UTC | Expand compatibility tests for compact-vs-vanilla JSON | 23 March 2022, 15:19:23 UTC |
8c94b0d | Raphaël Proust | 18 March 2022, 14:57:18 UTC | Compact: make json compatible, provide additional constructors | 23 March 2022, 15:19:23 UTC |
c0a35f0 | Raphaël Proust | 18 March 2022, 13:45:09 UTC | Add test for json identity between vanilla and compact | 23 March 2022, 10:31:19 UTC |
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 |