swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e

sort by:
Revision Author Date Message Commit Date
faad53c Data_encoding: Do not use Stdlib.Utils In preparation for a separate release, remove some dependencies. 20 August 2019, 12:26:34 UTC
6c0e308 Data_encoding/Registration: use is/description from def 09 August 2019, 12:11:53 UTC
679f41b Data_encoding/Registration: recursively seek description 09 August 2019, 12:11:52 UTC
66f43fc Data_encoding/Registration: simplify and beautify 09 August 2019, 12:11:52 UTC
116e75e Data_encoding/Registration: raise rather than print on stderr 09 August 2019, 12:11:51 UTC
ef1f4a6 Data_encoding/Registration: documentation and renames 09 August 2019, 12:11:51 UTC
f67612b Data_encoding: registration system Allows to register encodings so they can be listed, searched for, indexed, etc. Co-authored-by:Raphaël Proust <code@bnwr.net><Paste> 09 August 2019, 12:11:49 UTC
8991e57 Data_encoding: modularise With_version into its own compilation unit 09 August 2019, 12:11:48 UTC
20f5460 vendors: Restrict version of ocplib-json-typed to dev Co-authored-by: Pietro Abate <pietro.abate@nomadic-labs.com.com> Co-authored-by: Raphaël Proust <code@bnwr.net> 08 July 2019, 09:13:55 UTC
c2cf924 CI, Tooling: introduce `tooling/lint.sh`, use in CI Also changes `make {test,fix}-indent` into a more code-quality generic `make {test,fix}-lint`. 03 July 2019, 17:26:11 UTC
0b859e8 Everywhere: remove trailing spaces and tabs 03 July 2019, 16:51:13 UTC
5ce8437 Various: activate the infamous warning 9 24 April 2019, 22:35:21 UTC
bc4e732 Various: remove dead code after activating warning 32 24 April 2019, 22:35:18 UTC
31af164 Dune: use the same set of warnings everywhere 24 April 2019, 22:35:15 UTC
ec50284 Doc: fix many odoc errors 23 April 2019, 15:57:46 UTC
cdb2d3d Opam: update dependencies - ocaml.4.07.1 - lwt.4.1.0 - dune.1.7.1 These need to be updated all at once due to incompatibilities in our dependencies Author: Grégoire Henry <gregoire.henry@tezos.com> 16 April 2019, 15:38:33 UTC
01c7aee Event logging: use only ascii characters in comments 11 April 2019, 22:10:21 UTC
abb57b8 Data-encoding: Add implementation comment Cf. <https://gitlab.com/tezos/tezos/merge_requests/798#note_131190376> 11 April 2019, 22:10:21 UTC
132864a Data-encoding: Fix type signature Cf. <https://gitlab.com/tezos/tezos/merge_requests/798#note_131190372> 11 April 2019, 22:10:21 UTC
65969d1 Data-encoding: Add the `With_version` module 11 April 2019, 22:10:21 UTC
e89de2e Opam: add `synopsis` in all packages 15 March 2019, 16:31:30 UTC
a480061 fixup 242c97d1 ocplib-json-types: 'Variable defintion path in json_schema' 23 January 2019, 12:12:42 UTC
bb85f31 Opam: update package description to opam.2.0 Co-authored-by: Pietro Abate <pietro.abate@nomadic-labs.com> Co-authored-by: Gregoire Henry <gregoire.henry@tezos.com> 21 January 2019, 16:54:19 UTC
0914c92 OPAM: strict version constraints on dune are not required anymore 21 January 2019, 16:54:18 UTC
fcc36e4 Encoding: handle invalid utf8 sequences 01 October 2018, 13:31:41 UTC
2cd59c8 Update license in opam files 22 August 2018, 12:50:13 UTC
e1a5a82 Dune: use the new syntax 01 August 2018, 08:52:24 UTC
bfda694 Dune: rename `s/jbuild/dune/` 01 August 2018, 08:32:12 UTC
38e68ae [Doc]: Fix minor warnings and errors in the doc 25 July 2018, 13:58:38 UTC
f72dce1 Build: Jbuilder -> Dune 1.0.1 24 July 2018, 17:15:04 UTC
c7c5d13 Everywhere: exception Not_found -> _opt 12 July 2018, 23:31:04 UTC
32a7a03 Tezos is now Open Source 30 June 2018, 15:41:32 UTC
ccfc7c7 Alpha: minor improvements and fixes in gas 29 June 2018, 14:18:17 UTC
3e2640f Proto, Gas: Fail at precheck if not enough gas to deserialize parameters 29 June 2018, 14:18:17 UTC
23cb2fb Data_encoding: Fix typo 25 June 2018, 21:41:14 UTC
651b6ad Data_encoding: cosmetic fixes 12 June 2018, 19:27:55 UTC
cefd4e2 Data_encoding: implements bounded lists and arrays 12 June 2018, 19:27:55 UTC
acdcf89 Data_encoding: early detection of some oversized data 12 June 2018, 19:27:55 UTC
e928354 Dune: upgrade to 1.0+beta20 08 June 2018, 15:27:23 UTC
bf03e06 Data_encoding: documentation improvements - typos - new documentation - minor rephrasing 07 June 2018, 09:11:43 UTC
d279a2d Data_encoding: allow to add padding 06 June 2018, 08:54:33 UTC
22fe41d Doc: less unnamed fields in binary description 06 June 2018, 08:54:33 UTC
b42678f Data_encoding: stylistic changes in printer of binary schema 06 June 2018, 08:54:33 UTC
78c7b98 Data_encoding: mandatory `title` to `case` 06 June 2018, 08:54:33 UTC
26f5def Data_encoding: generate RST for binary description 06 June 2018, 08:54:33 UTC
4c54fca Data_encoding: proper handling of kind in `Dynamic_size` 06 June 2018, 08:54:33 UTC
3a71bcc Data_encoding: skip `zero_width` field in binary description 06 June 2018, 08:54:33 UTC
78a5679 Data_encoding: more 'inlining' in binary description 06 June 2018, 08:54:33 UTC
5db70a6 Data_encoding: do not use wildcard pattern matching 06 June 2018, 08:54:33 UTC
701a99e Data_encoding: binary description printing 06 June 2018, 08:54:33 UTC
781b10a Data_encoding/Json: use strings for all int64 See Issue #190 06 June 2018, 08:54:33 UTC
fed73db Shell/RPC: use query parameters in `/protocols` 06 June 2018, 08:54:33 UTC
7412465 Data_encoding: use more inline records in sums 04 June 2018, 11:53:29 UTC
705c1cd Data_encoding: merge `def` and `describe` 30 May 2018, 12:38:05 UTC
96c51d2 Data_encoding: use inline record for case field 30 May 2018, 12:38:05 UTC
ab30c77 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 Data_encoding: add lazy_encoding combinator 28 May 2018, 15:09:03 UTC
3723fc5 Jbuilder: fix the target `@runtest_indent` 26 May 2018, 18:08:03 UTC
a2b729b Indentation fixes 25 May 2018, 14:47:48 UTC
dc4b01f Data_encoding: add bounded strings and bytes 25 May 2018, 12:41:27 UTC
e6e3cf6 Data_encoding: allow smaller size field for `Dynamic_size` 25 May 2018, 12:41:27 UTC
f950411 Data_encoding: add combinator for positive big number 25 May 2018, 12:41:27 UTC
72135f9 Opam: fix test dependencies for `data_encoding`. 24 May 2018, 22:47:52 UTC
f6e0759 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 Data_encoding: test catching of invalid encodings 24 May 2018, 15:50:18 UTC
207077e Data_encoding: catching more invalid encoding 24 May 2018, 15:50:18 UTC
c47e0fd Data_encoding: Ignore is actually a `Fixed 0 24 May 2018, 15:43:15 UTC
0d609a5 Data_encoding: Refresh benchmarks 24 May 2018, 15:43:15 UTC
39475d7 Data_encoding: improve docstrings. 24 May 2018, 15:43:15 UTC
1f144c0 Data_encoding: add `check_size` 24 May 2018, 15:43:15 UTC
763c803 Data_encoding: rename `Binary.to_bytes` into `to_bytes_exn` 24 May 2018, 15:43:15 UTC
c61e9fd Data_encoding: rename `Binary` into `Binary_writer` 24 May 2018, 15:43:15 UTC
4ef189c Data_encoding: split out `Binary_length` 24 May 2018, 15:43:15 UTC
1439a20 Data_encoding: use CPS for the stream reader 24 May 2018, 15:43:15 UTC
3d695b0 Data_encoding: rename `Size` into `Binary_size` 24 May 2018, 15:43:15 UTC
4a101cf 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 Data_encoding: enforce fixed-size strings in JSON. 24 May 2018, 15:43:15 UTC
51a08ae Data_encoding: forbids nested options 24 May 2018, 15:43:15 UTC
62034c2 Data_encoding: move `cut_bytes` into `MBytes` 24 May 2018, 15:43:15 UTC
47fcadc Stdlib: use `bigstring` to implement `MBytes` 12 May 2018, 21:11:35 UTC
c40f4f8 Simplify, bit extraction from Z values 09 May 2018, 16:36:52 UTC
55b72ce Data_encoding: add more compact binary serializer for Z 09 May 2018, 16:36:52 UTC
7447d86 Add missing opam dependency 04 May 2018, 23:29:06 UTC
584e1ca Ocplib_json_typed: adapt code for inclusion in `vendors` 04 May 2018, 16:48:00 UTC
6f5fc3c Data_encoding: split out `Binary_stream` 03 May 2018, 13:35:40 UTC
7bc7ab9 Data_encoding: do not open the implementation modules by default 03 May 2018, 09:05:06 UTC
f63d24c Data_encoding: deduplicate documentation 03 May 2018, 07:25:47 UTC
7dd71de Data_encoding: move internal function internally 03 May 2018, 07:18:10 UTC
65ac9fa Data_encoding: don't open Encoding 03 May 2018, 07:13:39 UTC
e5a9d76 Data_encoding: separate Size into its own module 03 May 2018, 07:11:46 UTC
efcdf23 Data_encoding: reorder and reorganize doc 03 May 2018, 06:00:24 UTC
f7e08b5 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 Data_encoding: add names to union cases 26 April 2018, 20:52:21 UTC
cac3743 Data_encoding: better documentation of `int` 26 April 2018, 19:20:40 UTC
87ad5f4 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 Jbuilder: update to beta.19.1 06 April 2018, 09:47:22 UTC
698f858 Data_encoding: make more combinators transparent to is_tup/is_obj 24 March 2018, 15:45:29 UTC
f5706a9 General: update jbuilder to 1.0+beta19 20 March 2018, 05:49:52 UTC
9731155 Alpha: add operation `Double_endorsement` 16 March 2018, 14:34:32 UTC
761bbb3 Data_encoding: typo in error message 15 March 2018, 13:58:54 UTC
back to top