e928354 | Grégoire Henry | 02 June 2018, 12:11:22 UTC | Dune: upgrade to 1.0+beta20 | 08 June 2018, 15:27:23 UTC |
bf03e06 | Raphaël Proust | 07 June 2018, 01:20:14 UTC | Data_encoding: documentation improvements - typos - new documentation - minor rephrasing | 07 June 2018, 09:11:43 UTC |
d279a2d | Grégoire Henry | 31 May 2018, 22:32:47 UTC | Data_encoding: allow to add padding | 06 June 2018, 08:54:33 UTC |
22fe41d | Grégoire Henry | 31 May 2018, 22:05:59 UTC | Doc: less unnamed fields in binary description | 06 June 2018, 08:54:33 UTC |
b42678f | Grégoire Henry | 31 May 2018, 21:20:11 UTC | Data_encoding: stylistic changes in printer of binary schema | 06 June 2018, 08:54:33 UTC |
78c7b98 | Grégoire Henry | 31 May 2018, 21:19:43 UTC | Data_encoding: mandatory `title` to `case` | 06 June 2018, 08:54:33 UTC |
26f5def | Grégoire Henry | 31 May 2018, 11:50:20 UTC | Data_encoding: generate RST for binary description | 06 June 2018, 08:54:33 UTC |
4c54fca | Grégoire Henry | 31 May 2018, 11:12:33 UTC | Data_encoding: proper handling of kind in `Dynamic_size` | 06 June 2018, 08:54:33 UTC |
3a71bcc | Grégoire Henry | 31 May 2018, 10:42:05 UTC | Data_encoding: skip `zero_width` field in binary description | 06 June 2018, 08:54:33 UTC |
78a5679 | Grégoire Henry | 31 May 2018, 10:38:32 UTC | Data_encoding: more 'inlining' in binary description | 06 June 2018, 08:54:33 UTC |
5db70a6 | Grégoire Henry | 31 May 2018, 09:36:59 UTC | Data_encoding: do not use wildcard pattern matching | 06 June 2018, 08:54:33 UTC |
701a99e | Milo Davis | 03 February 2018, 19:48:08 UTC | Data_encoding: binary description printing | 06 June 2018, 08:54:33 UTC |
781b10a | Raphaël Proust | 16 May 2018, 07:07:15 UTC | Data_encoding/Json: use strings for all int64 See Issue #190 | 06 June 2018, 08:54:33 UTC |
fed73db | Grégoire Henry | 21 April 2018, 11:09:59 UTC | Shell/RPC: use query parameters in `/protocols` | 06 June 2018, 08:54:33 UTC |
7412465 | Raphaël Proust | 04 June 2018, 01:21:04 UTC | Data_encoding: use more inline records in sums | 04 June 2018, 11:53:29 UTC |
705c1cd | Grégoire Henry | 29 May 2018, 12:57:59 UTC | Data_encoding: merge `def` and `describe` | 30 May 2018, 12:38:05 UTC |
96c51d2 | Grégoire Henry | 29 May 2018, 13:03:30 UTC | Data_encoding: use inline record for case field | 30 May 2018, 12:38:05 UTC |
ab30c77 | Grégoire Henry | 15 April 2018, 22:44:23 UTC | Shell/RPC: allow immediate value This a HACK for allowing serialisation of toplevel value that are float, string,... and not only object or array. In a latter time, we may prefer to you `yojson` instead of `ezjsonm`, but some of our dependencies rely on `ezjsonm` and we may not want to embeds two distinct JSON libraries... | 29 May 2018, 14:13:30 UTC |
7db684d | Benjamin Canou | 23 April 2018, 14:27:36 UTC | Data_encoding: add lazy_encoding combinator | 28 May 2018, 15:09:03 UTC |
3723fc5 | Grégoire Henry | 26 May 2018, 18:06:05 UTC | Jbuilder: fix the target `@runtest_indent` | 26 May 2018, 18:08:03 UTC |
a2b729b | Grégoire Henry | 25 May 2018, 14:46:55 UTC | Indentation fixes | 25 May 2018, 14:47:48 UTC |
dc4b01f | Milo Davis | 16 May 2018, 15:46:01 UTC | Data_encoding: add bounded strings and bytes | 25 May 2018, 12:41:27 UTC |
e6e3cf6 | Grégoire Henry | 25 May 2018, 12:08:46 UTC | Data_encoding: allow smaller size field for `Dynamic_size` | 25 May 2018, 12:41:27 UTC |
f950411 | Grégoire Henry | 25 May 2018, 11:20:07 UTC | Data_encoding: add combinator for positive big number | 25 May 2018, 12:41:27 UTC |
72135f9 | Grégoire Henry | 24 May 2018, 22:47:52 UTC | Opam: fix test dependencies for `data_encoding`. | 24 May 2018, 22:47:52 UTC |
f6e0759 | Raphaël Proust | 23 May 2018, 05:18:54 UTC | Data_encoding: crowbar tests This work is based on ideas more fully developped in https://gitlab.com/gasche/fuzz-data-encoding. However, including some tests directly in this repo helps with CI integration as well as keeping the tests and interfaces up to date. Eventually, we should integrate the tests from the fuzz-data-encoding library. | 24 May 2018, 15:50:18 UTC |
902315c | Raphaël Proust | 23 May 2018, 05:18:18 UTC | Data_encoding: test catching of invalid encodings | 24 May 2018, 15:50:18 UTC |
207077e | Raphaël Proust | 23 May 2018, 05:17:23 UTC | Data_encoding: catching more invalid encoding | 24 May 2018, 15:50:18 UTC |
c47e0fd | Benjamin Canou | 23 May 2018, 22:31:32 UTC | Data_encoding: Ignore is actually a `Fixed 0 | 24 May 2018, 15:43:15 UTC |
0d609a5 | Pietro | 14 May 2018, 11:18:08 UTC | Data_encoding: Refresh benchmarks | 24 May 2018, 15:43:15 UTC |
39475d7 | Grégoire Henry | 17 May 2018, 15:58:33 UTC | Data_encoding: improve docstrings. | 24 May 2018, 15:43:15 UTC |
1f144c0 | Grégoire Henry | 17 May 2018, 15:58:16 UTC | Data_encoding: add `check_size` | 24 May 2018, 15:43:15 UTC |
763c803 | Grégoire Henry | 12 May 2018, 17:54:57 UTC | Data_encoding: rename `Binary.to_bytes` into `to_bytes_exn` | 24 May 2018, 15:43:15 UTC |
c61e9fd | Grégoire Henry | 12 May 2018, 15:48:50 UTC | Data_encoding: rename `Binary` into `Binary_writer` | 24 May 2018, 15:43:15 UTC |
4ef189c | Grégoire Henry | 12 May 2018, 15:48:06 UTC | Data_encoding: split out `Binary_length` | 24 May 2018, 15:43:15 UTC |
1439a20 | Grégoire Henry | 12 May 2018, 14:57:39 UTC | Data_encoding: use CPS for the stream reader | 24 May 2018, 15:43:15 UTC |
3d695b0 | Grégoire Henry | 17 May 2018, 13:55:13 UTC | Data_encoding: rename `Size` into `Binary_size` | 24 May 2018, 15:43:15 UTC |
4a101cf | Grégoire Henry | 13 May 2018, 18:20:20 UTC | Data_encoding: drop module `Assert` - drop the quick-and-dirty `Assert` introduced when we switched from `Kaputt` and use `Alcotest.check` instead. - split tests in multiple files: - success.ml - write_failure.ml - read_failture.ml - invalid_encoding.ml - randomized.ml | 24 May 2018, 15:43:15 UTC |
0ab7298 | Grégoire Henry | 13 May 2018, 18:21:48 UTC | Data_encoding: enforce fixed-size strings in JSON. | 24 May 2018, 15:43:15 UTC |
51a08ae | Grégoire Henry | 13 May 2018, 18:20:59 UTC | Data_encoding: forbids nested options | 24 May 2018, 15:43:15 UTC |
62034c2 | Grégoire Henry | 13 May 2018, 10:53:01 UTC | Data_encoding: move `cut_bytes` into `MBytes` | 24 May 2018, 15:43:15 UTC |
47fcadc | Vincent Bernardoff | 10 May 2018, 09:12:19 UTC | Stdlib: use `bigstring` to implement `MBytes` | 12 May 2018, 21:11:35 UTC |
c40f4f8 | Pierre Chambart | 09 May 2018, 15:34:16 UTC | Simplify, bit extraction from Z values | 09 May 2018, 16:36:52 UTC |
55b72ce | Benjamin Canou | 28 March 2018, 18:26:00 UTC | Data_encoding: add more compact binary serializer for Z | 09 May 2018, 16:36:52 UTC |
7447d86 | Benjamin Canou | 04 May 2018, 17:46:32 UTC | Add missing opam dependency | 04 May 2018, 23:29:06 UTC |
584e1ca | Vincent Bernardoff | 23 April 2018, 13:31:20 UTC | Ocplib_json_typed: adapt code for inclusion in `vendors` | 04 May 2018, 16:48:00 UTC |
6f5fc3c | Grégoire Henry | 03 May 2018, 13:29:44 UTC | Data_encoding: split out `Binary_stream` | 03 May 2018, 13:35:40 UTC |
7bc7ab9 | Grégoire Henry | 03 May 2018, 09:05:06 UTC | Data_encoding: do not open the implementation modules by default | 03 May 2018, 09:05:06 UTC |
f63d24c | Raphaël Proust | 03 May 2018, 07:25:47 UTC | Data_encoding: deduplicate documentation | 03 May 2018, 07:25:47 UTC |
7dd71de | Raphaël Proust | 03 May 2018, 07:18:10 UTC | Data_encoding: move internal function internally | 03 May 2018, 07:18:10 UTC |
65ac9fa | Raphaël Proust | 03 May 2018, 07:13:39 UTC | Data_encoding: don't open Encoding | 03 May 2018, 07:13:39 UTC |
e5a9d76 | Raphaël Proust | 03 May 2018, 07:11:46 UTC | Data_encoding: separate Size into its own module | 03 May 2018, 07:11:46 UTC |
efcdf23 | Raphaël Proust | 03 May 2018, 05:52:30 UTC | Data_encoding: reorder and reorganize doc | 03 May 2018, 06:00:24 UTC |
f7e08b5 | Raphaël Proust | 03 May 2018, 04:27:17 UTC | Data_encoding: split implementation In an effort to keep a clean commit history, the interface is unchanged. | 03 May 2018, 04:27:17 UTC |
e92dd8c | Milo Davis | 10 March 2018, 15:27:40 UTC | Data_encoding: add names to union cases | 26 April 2018, 20:52:21 UTC |
cac3743 | Raphaël Proust | 24 April 2018, 06:26:00 UTC | Data_encoding: better documentation of `int` | 26 April 2018, 19:20:40 UTC |
87ad5f4 | Grégoire Henry | 09 April 2018, 09:20:42 UTC | Data_encoding: be compatible with 32bits platform. We should not accept for `data_encoding.ranged_int` values that cannot fits in `int31`. Iw we wnat more, we should introduce `ranged_int32` or `ranged_int64`. | 09 April 2018, 13:17:04 UTC |
24f46fb | Arthur B | 04 April 2018, 08:00:31 UTC | Jbuilder: update to beta.19.1 | 06 April 2018, 09:47:22 UTC |
698f858 | Benjamin Canou | 21 February 2018, 10:43:55 UTC | Data_encoding: make more combinators transparent to is_tup/is_obj | 24 March 2018, 15:45:29 UTC |
f5706a9 | bruno | 19 March 2018, 16:31:50 UTC | General: update jbuilder to 1.0+beta19 | 20 March 2018, 05:49:52 UTC |
9731155 | Grégoire Henry | 14 March 2018, 23:20:37 UTC | Alpha: add operation `Double_endorsement` | 16 March 2018, 14:34:32 UTC |
761bbb3 | Raphaël Proust | 14 March 2018, 16:56:20 UTC | Data_encoding: typo in error message | 15 March 2018, 13:58:54 UTC |
94aaf8f | Grégoire Henry | 08 March 2018, 07:08:01 UTC | Opam: use jbuilder.1.0.0-beta18 | 08 March 2018, 13:38:57 UTC |
35e57d7 | Grégoire Henry | 07 March 2018, 06:38:40 UTC | Opam: require jbuilder = 1.0.0-beta17 | 07 March 2018, 17:12:12 UTC |
566da85 | Grégoire Henry | 11 February 2018, 21:36:49 UTC | Test: quick and dirty port to `alcotest` | 12 February 2018, 01:09:00 UTC |
0e11f60 | Grégoire Henry | 08 February 2018, 09:51:01 UTC | Client refactor: Move `Data_encoding_ezjsonm.read_file` into `Lwt_utils_unix` | 08 February 2018, 16:23:30 UTC |
4806759 | Grégoire Henry | 08 February 2018, 09:51:01 UTC | Client refactor: Move non-unix part of `Data_Encoding_Ezjsonm` into `Data_Encoding.Json` | 08 February 2018, 16:23:30 UTC |
9144510 | Grégoire Henry | 06 February 2018, 15:17:38 UTC | Jbuilder: fix warning | 07 February 2018, 10:16:39 UTC |
4e672b1 | Grégoire Henry | 05 February 2018, 20:17:03 UTC | Update copyright notice (2018) | 05 February 2018, 22:34:05 UTC |
26d29a4 | Grégoire Henry | 05 February 2018, 20:16:01 UTC | Opam: update to jbuilder.1.0+beta17 | 05 February 2018, 22:34:05 UTC |
9f5ae26 | Grégoire Henry | 02 February 2018, 17:16:50 UTC | Test: add test dependencies into `*.opam` and fix `.gitlab-ci.yml` | 05 February 2018, 22:34:05 UTC |
5f7fca5 | Grégoire Henry | 02 February 2018, 15:26:02 UTC | Test: move `data_encoding` tests | 05 February 2018, 22:34:04 UTC |
83f444f | Milo Davis | 11 January 2018, 01:41:52 UTC | Data encoding: fail on string_enum that should be a constant | 27 January 2018, 14:30:09 UTC |
addd752 | Milo Davis | 18 January 2018, 03:22:20 UTC | Data_encoding: use constant from ocplib-json-typed | 27 January 2018, 14:30:09 UTC |
fd37c78 | Grégoire Henry | 27 January 2018, 10:21:41 UTC | Jbuilder: fix rule `runtest_indent` | 27 January 2018, 10:32:57 UTC |
6daba09 | Pietro | 25 January 2018, 13:51:31 UTC | Indent: reindent with ocp-indent and fix the script | 25 January 2018, 15:01:12 UTC |
672537b | Pietro | 16 January 2018, 15:30:58 UTC | Move all packages to src/ Modify Makefile accordingly | 16 January 2018, 22:11:39 UTC |