Lesenechal Remi
|
61d095ea28
|
also preprocess the executable
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
787d4689a0
|
dune clean in the coverage target makes it more stable
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
6f804a4432
|
exclude parser debug tooling
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
e8d1e359f4
|
exclude PPs from coverage
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
46ac00e94d
|
makefile target
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c8339ed2ef
|
first try
|
2019-12-31 14:23:51 +01:00 |
|
John David Pressman
|
c5d1b74c00
|
Merge branch 'feature/cameligo-tuple-param-destruct' into 'dev'
[LIGO-288] Allow tuple parameter destructuring in CameLIGO
See merge request ligolang/ligo!278
|
2019-12-29 01:24:22 +00:00 |
|
John David Pressman
|
dcfc8d6391
|
Horrible hack to rewrite CST for tuple param destruct,
Fails because Let In doesn't support multi-bind
|
2019-12-29 01:24:22 +00:00 |
|
John David Pressman
|
45224c7f74
|
Merge branch 'feature/cameligo-multi-bind-let-in' into 'dev'
[LIGO-319] Add let ... in multi-bind to CameLIGO
See merge request ligolang/ligo!285
|
2019-12-27 18:18:21 +00:00 |
|
John David Pressman
|
3d9489530a
|
Merge branch 'dev' into feature/cameligo-multi-bind-let-in
|
2019-12-27 09:29:30 -08:00 |
|
John David Pressman
|
e1ecb36e61
|
Have let ... in evaluate right hand side first during multi-bind
|
2019-12-26 21:06:24 -08:00 |
|
John David Pressman
|
2d9de2aef0
|
Clean up let ... in multi-bind
|
2019-12-24 15:35:05 -08:00 |
|
John David Pressman
|
48a3bebadd
|
Working rough draft of let ... in multi-bind
|
2019-12-24 14:54:22 -08:00 |
|
John David Pressman
|
7454e8b01f
|
Add let-in multi bind test
|
2019-12-24 13:48:14 -08:00 |
|
Rémi Lesenechal
|
43e4bf3149
|
Merge branch 'plusplus' into 'dev'
Fixed the stratification of "++".
See merge request ligolang/ligo!284
|
2019-12-24 16:51:19 +00:00 |
|
Christian Rinderknecht
|
dadf1fbe41
|
Fixed the stratification of "++".
|
2019-12-24 17:01:39 +01:00 |
|
Rémi Lesenechal
|
e9c36f1688
|
Merge branch '99-ligo-dies-instead' into 'dev'
Resolve "ligo dies instead a when using the wrong type with map"
Closes #99
See merge request ligolang/ligo!283
|
2019-12-24 12:31:49 +00:00 |
|
Lesenechal Remi
|
bdd1d09c04
|
t_operator can not throw exceptions
|
2019-12-24 12:43:32 +01:00 |
|
Christian Rinderknecht
|
96b0572bb1
|
Merge branch 'parser-main-build-fix' into 'dev'
Fix 'dune build ParserMain.exe'.
See merge request ligolang/ligo!282
|
2019-12-24 10:59:15 +00:00 |
|
Sander Spies
|
29c96fb021
|
Fix 'dune build ParserMain.exe'.
|
2019-12-24 08:08:50 +01:00 |
|
John David Pressman
|
d6398d7e8b
|
Merge branch 'feature/set-delegate' into 'dev'
[LIGO-301] Add SET_DELEGATE to LIGO
Closes LIGO-301
See merge request ligolang/ligo!264
|
2019-12-20 17:23:09 +00:00 |
|
John David Pressman
|
1bf04574c1
|
Merge branch 'dev' into feature/set-delegate
|
2019-12-20 08:37:01 -08:00 |
|
Suzanne Dupéron
|
de56e170ee
|
Merge branch '33-duplicated-variant-case-gives-missing-case-error' into 'dev'
Resolve "Duplicated variant case gives "missing case" error"
Closes #33
See merge request ligolang/ligo!275
|
2019-12-20 13:05:44 +00:00 |
|
Lesenechal Remi
|
638b45611d
|
fix message of redundant_match_case error
|
2019-12-20 12:17:47 +00:00 |
|
Rémi Lesenechal
|
a465e54340
|
Merge branch 'contract-time-lock' into 'dev'
Contract time lock
See merge request ligolang/ligo!269
|
2019-12-20 12:05:41 +00:00 |
|
Lesenechal Remi
|
70977d1f00
|
improve badly annotated timestamp error
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
e18233434d
|
dune promote
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
2086dd9ab5
|
add predecessor timestamp to the CLI
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
e8c8aa4d2b
|
Time lock : contract + tests
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
92523bc4a5
|
exposing context type to be able to modify the timestamps in the tests
|
2019-12-20 12:18:36 +01:00 |
|
Tom Jack
|
d71ac66f07
|
Merge branch 'dune-ignore' into 'dev'
Adjust dune ignores
See merge request ligolang/ligo!267
|
2019-12-19 20:41:00 +00:00 |
|
Tom Jack
|
8374d4a316
|
Ignore ligo.install
|
2019-12-19 19:53:10 +00:00 |
|
Tom Jack
|
d7bea52d44
|
Unignore dune-project
|
2019-12-19 19:53:10 +00:00 |
|
Tom Jack
|
40411c39ea
|
Merge branch 'feature/hex-printing' into 'dev'
Fix one hex printing bug
See merge request ligolang/ligo!274
|
2019-12-19 19:53:07 +00:00 |
|
Tom Jack
|
71e2670572
|
Fix one hex printing bug
|
2019-12-19 13:05:30 -06:00 |
|
Suzanne Dupéron
|
a59499e4bc
|
Merge branch 'feature/typer-error-messages' into 'dev'
Better typer error messages
See merge request ligolang/ligo!268
|
2019-12-19 18:15:25 +00:00 |
|
Suzanne Dupéron
|
e5acdc4228
|
All typer errors in ast_typed/misc.ml are covered it seems.
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
f7616b7b49
|
Small improvements to negative typer tests
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
f9daa64aa7
|
Moved negative tests to a negative/ folder
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
a835bc9286
|
Added "did you mean" feature for unbound type names
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
2a11c6d180
|
test for typer error message: different keys
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
e919a1eba3
|
Fixes unsoundness in old typer (expected type for the expression as a whole was not checked for ascriptions)
|
2019-12-19 17:27:17 +00:00 |
|
Sander
|
7ea6aadc2c
|
Move to Trace.error instead of simple_error.
|
2019-12-19 13:50:57 +00:00 |
|
Sander
|
600ae2d4f6
|
Move to Trace.error instead of simple_error.
|
2019-12-19 13:50:57 +00:00 |
|
Christian Rinderknecht
|
32c5fcd6b4
|
Merge branch 'rinderknecht-dev' into 'dev'
Another step towards harnessing Menhir
See merge request ligolang/ligo!270
|
2019-12-18 23:07:28 +00:00 |
|
Christian Rinderknecht
|
3add77eba5
|
Adding the build of the unlexer by dune.
|
2019-12-18 22:17:49 +00:00 |
|
Christian Rinderknecht
|
9512992d2b
|
Generating .msg files and extracting from them LIGO source files.
|
2019-12-18 22:17:49 +00:00 |
|
Christian Rinderknecht
|
d47ec7cf7c
|
Fixed a tag file (local build of PascaLIGO with my Makefile).
|
2019-12-18 22:17:49 +00:00 |
|
Tom Jack
|
8f4db0fcd3
|
Merge branch 'warning-45' into 'dev'
Reuse Pervasives.result for Trace
See merge request ligolang/ligo!253
|
2019-12-18 22:08:51 +00:00 |
|
Tom Jack
|
172038cef0
|
Kill warning 45 by reusing Pervasives.result for Trace
|
2019-12-18 21:20:35 +00:00 |
|