Grégoire Henry
|
6205ca9b31
|
Test: move data_encoding tests
|
2018-02-05 23:34:04 +01:00 |
|
Milo Davis
|
f00c7c0667
|
Data encoding: fail on string_enum that should be a constant
|
2018-01-27 15:30:09 +01:00 |
|
Milo Davis
|
c77cbcb30b
|
Data_encoding: use constant from ocplib-json-typed
|
2018-01-27 15:30:09 +01:00 |
|
Grégoire Henry
|
6e629584ff
|
Jbuilder: fix rule runtest_indent
|
2018-01-27 11:32:57 +01:00 |
|
Pietro
|
df746e606d
|
Indent: reindent with ocp-indent and fix the script
|
2018-01-25 15:01:12 +00:00 |
|
Pietro
|
d9405292a4
|
Move all packages to src/
Modify Makefile accordingly
|
2018-01-16 23:11:39 +01:00 |
|