Raphaël Proust
|
f6f047ea15
|
Micheline: fix dependencies in opam/dune
|
2019-02-21 09:59:38 +00:00 |
|
Raphaël Proust
|
671b10a2d2
|
Micheline: small improvements to the tests
|
2019-02-21 02:38:19 +00:00 |
|
Vincent Botbol
|
12fd778172
|
Test/Micheline: clean-up & refactor of the test suite
|
2019-02-21 02:38:19 +00:00 |
|
Lý Kim Quyên
|
2d0c98b2da
|
test michelson parser
|
2019-02-21 02:38:19 +00:00 |
|
Grégoire Henry
|
dbf4736e6b
|
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>
|
2019-01-21 17:54:19 +01:00 |
|
Grégoire Henry
|
de171a63f0
|
OPAM: strict version constraints on dune are not required anymore
|
2019-01-21 17:54:18 +01:00 |
|
phink
|
0d22209028
|
Micheline: fix forgotten annotation
|
2018-12-17 12:30:44 +00:00 |
|
Lý Kim Quyên
|
eb673b19f2
|
fix the parser by adding the character 'b' into the case of warning instead of raise an error'
|
2018-11-19 21:37:54 +00:00 |
|
Paul Laforgue
|
3441a85ff3
|
Add annotations for inspecting values with ASSERT_SOME, ASSERT_LEFT, ASSERT_RIGHT
|
2018-11-06 16:04:01 +00:00 |
|
Benjamin Canou
|
203c212bcc
|
Micheline: fix printer for code that exceeds 80 columns
|
2018-10-26 12:06:03 +02:00 |
|
Pierre Boutillier
|
b5fc7f582e
|
Update license in opam files
|
2018-08-22 14:50:13 +02:00 |
|
Grégoire Henry
|
87e0de9826
|
Dune: use the new syntax
|
2018-08-01 10:52:24 +02:00 |
|
Grégoire Henry
|
5362b321d9
|
Dune: rename s/jbuild/dune/
|
2018-08-01 10:32:12 +02:00 |
|
Pietro
|
b89682e441
|
Build: Jbuilder -> Dune 1.0.1
|
2018-07-24 19:15:04 +02:00 |
|
Benjamin Canou
|
70fddce545
|
Micheline: versioned serializer for retrocompatibility
|
2018-07-19 19:26:24 +02:00 |
|
Alain Mebsout
|
a7eb0cdf36
|
Micheline: Fix binary deserialization of annotations
Fixes #262
|
2018-07-19 19:26:24 +02:00 |
|
Pierre Boutillier
|
140bd6b1ca
|
Tezos is now Open Source
|
2018-06-30 17:41:32 +02:00 |
|
Benjamin Canou
|
45d8fd11ae
|
Michelson: use new Micheline Bytes case for optimized representation
|
2018-06-22 14:18:08 +00:00 |
|
Benjamin Canou
|
0279f86e77
|
Micheline: 0x.. constants are now of a new Bytes case
|
2018-06-22 14:18:08 +00:00 |
|
Alain Mebsout
|
ec648f5397
|
Micheline: more compact encoding of annotations
|
2018-06-14 18:09:32 +02:00 |
|
Alain Mebsout
|
040fa2a075
|
Michelson: special annotations %@ and @%
|
2018-06-14 18:09:32 +02:00 |
|
Alain Mebsout
|
82022acabb
|
Michelson: allow . in annotations
|
2018-06-14 18:09:32 +02:00 |
|
Alain Mebsout
|
53b88e4dbb
|
Michelson: different types of annotations
|
2018-06-14 18:09:32 +02:00 |
|
Benjamin Canou
|
3140f6e51d
|
Michelson: allow multiple annotations
|
2018-06-14 18:09:32 +02:00 |
|
Grégoire Henry
|
5fd5c1c5f7
|
Dune: upgrade to 1.0+beta20
|
2018-06-08 15:27:23 +00:00 |
|
Grégoire Henry
|
030630ec0f
|
Data_encoding: mandatory title to case
|
2018-06-06 10:54:33 +02:00 |
|
Milo Davis
|
bb2738bf12
|
Data_encoding: add descriptions and case names
|
2018-06-06 10:54:33 +02:00 |
|
Grégoire Henry
|
b2e6001007
|
Data_encoding: merge def and describe
|
2018-05-30 14:38:05 +02:00 |
|
Benjamin Canou
|
c57458ea01
|
Michelson: fix inconsistency when reading and printing strings
|
2018-05-28 17:09:03 +02:00 |
|
Benjamin Canou
|
f119a9b2a5
|
Micheline: lexing bug fix
|
2018-05-28 17:09:03 +02:00 |
|
Benjamin Canou
|
27486e500a
|
Micheline: use zarith instead of strings for integers
|
2018-05-28 17:09:03 +02:00 |
|
Grégoire Henry
|
0d8990887c
|
Jbuilder: fix the target @runtest_indent
|
2018-05-26 20:08:03 +02:00 |
|
Milo Davis
|
f3b0b0b00a
|
Micheline: add 255 character annotation length limit
|
2018-05-25 14:41:27 +02:00 |
|
Arthur B
|
21efb2dc9d
|
Jbuilder: update to beta.19.1
|
2018-04-06 11:47:22 +02:00 |
|
bruno
|
bdf6a5e564
|
General: update jbuilder to 1.0+beta19
|
2018-03-20 06:49:52 +01:00 |
|
Benjamin Canou
|
5bd01de643
|
Errors: fix duplicate definition
|
2018-03-14 11:37:35 +01:00 |
|
Grégoire Henry
|
76a59af376
|
Opam: use jbuilder.1.0.0-beta18
|
2018-03-08 14:38:57 +01:00 |
|
Grégoire Henry
|
ad330db7e1
|
Opam: require jbuilder = 1.0.0-beta17
|
2018-03-07 18:12:12 +01:00 |
|
Grégoire Henry
|
acffadafae
|
Jbuilder: fix warning
|
2018-02-07 11:16:39 +01:00 |
|
Grégoire Henry
|
575e367026
|
Update copyright notice (2018)
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
e28219ad60
|
Opam: update to jbuilder.1.0+beta17
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
ca29c92442
|
Refactor: move tezos-micheline below tezos-base
|
2018-01-30 11:47:57 +01:00 |
|
Grégoire Henry
|
6e629584ff
|
Jbuilder: fix rule runtest_indent
|
2018-01-27 11:32:57 +01:00 |
|
Pietro
|
d9405292a4
|
Move all packages to src/
Modify Makefile accordingly
|
2018-01-16 23:11:39 +01:00 |
|