balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • e834e2ac20 More informative errors when calling michelson typecheck function Lesenechal Remi 2019-12-31 19:14:42 +0100
  • 5f1182468c Add support for empty constructors. Sander 2020-01-03 13:01:13 +0000
  • ce6ccab728 Add support for empty constructors. Sander 2020-01-03 13:01:13 +0000
  • d11949b172 Merge branch 'docs/loop-doc' into 'dev' John David Pressman 2020-01-02 21:19:04 +0000
  • fcd33026bb Fix loops page with ReasonLIGO John David Pressman 2020-01-02 12:26:02 -0800
  • 2f25c4b683 Merge branch 'docs/loop-doc' of ssh://gitlab.com/ligolang/ligo into docs/loop-doc John David Pressman 2020-01-02 12:23:26 -0800
  • e25c5bac35 adding loops.md to the list of tested file and fixed "loops.md" Lesenechal Remi 2020-01-02 20:38:45 +0100
  • 6b469ac869 Add docs page for loops John David Pressman 2020-01-01 12:30:55 -0800
  • 2b25fbe4b9 Merge branch 'docs/include-doc' into 'dev' Christian Rinderknecht 2020-01-02 17:00:07 +0000
  • 7c4f59035f Add inclusion directive docs and inclusion tests for CameLIGO and ReasonLIGO John David Pressman 2020-01-01 21:30:50 -0800
  • 280c6fc3c4 Merge branch '127-unsupported-bytes_unpack-in-pascaligo' into 'dev' Rémi Lesenechal 2020-01-02 16:10:51 +0000
  • 2d7c3eb216 support bytes_unpack operator in pascaligo + tests Lesenechal Remi 2020-01-02 16:19:21 +0100
  • 78276f451e Merge branch '125-invalid-address-literals-are-rejected-with-a-catch-all-contract-did-not-typecheck' into 'dev' Rémi Lesenechal 2020-01-02 15:12:11 +0000
  • c18e6e9748 Handling of EOF in ParserAPI messages. Christian Rinderknecht 2020-01-02 15:44:21 +0100
  • 46027de719 Proper error with location Lesenechal Remi 2020-01-02 15:11:02 +0100
  • 8584bacf83 test & dune promote Lesenechal Remi 2020-01-02 15:02:02 +0100
  • 42cbabac69 check ast_simplified address literals to be well formatted Lesenechal Remi 2020-01-02 15:01:55 +0100
  • c0e959044b Merge branch '113-status-error-does-not-preserve-the-failwith-string' into 'dev' Rémi Lesenechal 2020-01-02 14:20:20 +0000
  • 345ffe22e4 Improved formatting of error messages (EOF is handled now). Christian Rinderknecht 2020-01-02 15:08:14 +0100
  • 98ac18ccef propagate failwith strings (also support for others) in the error Lesenechal Remi 2019-12-31 15:27:06 +0100
  • a09e87369a Merge remote-tracking branch 'origin' into rinderknecht-dev Christian Rinderknecht 2020-01-02 11:15:28 +0100
  • f946a14ca0 Merge branch 'feature/coverage-tool' into 'dev' Rémi Lesenechal 2020-01-02 01:07:39 +0000
  • 0e7b79026d Add docs page for loops John David Pressman 2020-01-01 12:30:55 -0800
  • f16f16e4b3 coverage resutlts as a CI artifact Lesenechal Remi 2019-12-26 18:12:07 +0100
  • d0ea94b472 'dune runtest' also execute 'md files tests' Lesenechal Remi 2019-12-26 14:26:57 +0100
  • c171ce7ad9 fully tested md_files Lesenechal Remi 2019-12-26 14:22:13 +0100
  • eac5e9b82e fix "timestamps-addresses.md" Lesenechal Remi 2019-12-26 14:21:17 +0100
  • 4556568c72 fix "entrypoints-contracts.md" Lesenechal Remi 2019-12-26 14:21:05 +0100
  • aa35043414 fix "tezos-taco-shop-smart-contract.md" Lesenechal Remi 2019-12-26 13:48:07 +0100
  • d859a5ce5c fix "tezos-taco-shop-payout.md" Lesenechal Remi 2019-12-26 13:40:45 +0100
  • d31eec1327 fix "math-numbers-tez.md" Lesenechal Remi 2019-12-26 13:29:22 +0100
  • 8f4bdcad6a fix "functions.md" Lesenechal Remi 2019-12-26 12:51:42 +0100
  • 9a5800dc3e fix "boolean-if-else.md" Lesenechal Remi 2019-12-25 23:38:37 +0100
  • bddad3f234 add missing GE operator (>=) to cameligo Lesenechal Remi 2019-12-25 23:38:07 +0100
  • 3d925ae43e fix "types.md" Lesenechal Remi 2019-12-25 22:53:40 +0100
  • afa61e5825 Now have an default group "ungrouped" for all the code blocks without any "group=..." Lesenechal Remi 2019-12-24 16:10:31 +0100
  • 883d17a9c1 fix "map-records.md" Lesenechal Remi 2019-12-24 16:09:48 +0100
  • 08471ba246 basic architecture for the doc tests Lesenechal Remi 2019-12-23 15:18:32 +0100
  • 2bff4eef6a Commit hash for bisect_ppx pinned dep Lesenechal Remi 2019-12-23 14:39:41 +0100
  • 23cc7e82d6 Revert "no pinned deps" Lesenechal Remi 2019-12-13 12:50:20 +0100
  • c873350b15 no ppx in expect_tests lib Lesenechal Remi 2019-12-13 12:25:54 +0100
  • 15e819cde1 more targets Lesenechal Remi 2019-12-13 11:18:07 +0100
  • acee34985b remove ppx in tests Lesenechal Remi 2019-12-12 17:32:37 +0100
  • 6c7440ea79 inline magic Lesenechal Remi 2019-12-12 16:55:40 +0100
  • 783cd355e4 no pinned deps Lesenechal Remi 2019-12-12 15:07:42 +0100
  • 61d095ea28 also preprocess the executable Lesenechal Remi 2019-12-11 19:07:52 +0100
  • 787d4689a0 dune clean in the coverage target makes it more stable Lesenechal Remi 2019-12-11 18:59:45 +0100
  • 6f804a4432 exclude parser debug tooling Lesenechal Remi 2019-12-11 13:50:16 +0100
  • e8d1e359f4 exclude PPs from coverage Lesenechal Remi 2019-12-11 13:44:47 +0100
  • 46ac00e94d makefile target Lesenechal Remi 2019-12-11 13:10:05 +0100
  • c8339ed2ef first try Lesenechal Remi 2019-12-11 12:23:11 +0100
  • c5d1b74c00 Merge branch 'feature/cameligo-tuple-param-destruct' into 'dev' John David Pressman 2019-12-29 01:24:22 +0000
  • dcfc8d6391 Horrible hack to rewrite CST for tuple param destruct, John David Pressman 2019-12-29 01:24:22 +0000
  • ea7460f8c9 Miscellaneous. Christian Rinderknecht 2019-12-28 17:58:15 +0100
  • c92e3b28ad Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-28 17:58:09 +0100
  • 45224c7f74 Merge branch 'feature/cameligo-multi-bind-let-in' into 'dev' John David Pressman 2019-12-27 18:18:21 +0000
  • 3d9489530a Merge branch 'dev' into feature/cameligo-multi-bind-let-in John David Pressman 2019-12-27 09:29:30 -0800
  • e1ecb36e61 Have let ... in evaluate right hand side first during multi-bind John David Pressman 2019-12-26 21:06:24 -0800
  • 6814e7786a Same error formatting for the incremental and monolithic API of Menhir. Christian Rinderknecht 2019-12-26 18:57:02 +0100
  • 379311a748 Shortened the parser's API. Christian Rinderknecht 2019-12-26 18:17:57 +0100
  • 548b1267a4 Added .gitignore for all syntaxes. Christian Rinderknecht 2019-12-26 14:13:19 +0100
  • 07a70b4648 Added unlexing to ReasonLIGO. Christian Rinderknecht 2019-12-26 13:31:54 +0100
  • ea4eb76013 I added support for unlexing to CameLIGO. Fixed cover.sh. Christian Rinderknecht 2019-12-26 13:23:32 +0100
  • 2d9de2aef0 Clean up let ... in multi-bind John David Pressman 2019-12-24 15:35:05 -0800
  • 48a3bebadd Working rough draft of let ... in multi-bind John David Pressman 2019-12-24 14:54:22 -0800
  • 7454e8b01f Add let-in multi bind test John David Pressman 2019-12-24 13:48:14 -0800
  • 7c1d637226 Fixing the constant constructors in CameLIGO's simplifier. Christian Rinderknecht 2019-12-24 18:56:21 +0100
  • 43e4bf3149 Merge branch 'plusplus' into 'dev' Rémi Lesenechal 2019-12-24 16:51:19 +0000
  • e99c9b32de Fixed the [dune] file for building [pascaligo/Unlexer.exe]. Christian Rinderknecht 2019-12-24 17:35:43 +0100
  • dadf1fbe41 Fixed the stratification of "++". Christian Rinderknecht 2019-12-24 17:01:39 +0100
  • 7b9b6866b2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-24 14:26:32 +0100
  • ce857fbe40 Fixed the [dune] files to build ParserMain.exe Christian Rinderknecht 2019-12-24 14:25:40 +0100
  • e9c36f1688 Merge branch '99-ligo-dies-instead' into 'dev' Rémi Lesenechal 2019-12-24 12:31:49 +0000
  • bdd1d09c04 t_operator can not throw exceptions Lesenechal Remi 2019-12-24 12:20:39 +0100
  • b0e92a58bf Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-24 11:59:34 +0100
  • 96b0572bb1 Merge branch 'parser-main-build-fix' into 'dev' Christian Rinderknecht 2019-12-24 10:59:15 +0000
  • 29c96fb021 Fix 'dune build ParserMain.exe'. Sander Spies 2019-12-24 08:08:50 +0100
  • e6a9bf6510 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-23 21:46:21 +0100
  • 24f067b69e Added nat and bytes to ReasonLIGO and CameLIGO (expressions). Use the correct ParserAPI for ReasonLIGO now. Christian Rinderknecht 2019-12-23 20:37:48 +0100
  • d6398d7e8b Merge branch 'feature/set-delegate' into 'dev' John David Pressman 2019-12-20 17:23:09 +0000
  • 1bf04574c1 Merge branch 'dev' into feature/set-delegate John David Pressman 2019-12-20 08:37:01 -0800
  • 705b425589 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-12-20 16:46:33 +0100
  • 072dea757c [WIP] Adding the infrastructure for supporting the incremental API of Menhir. Christian Rinderknecht 2019-12-20 16:44:03 +0100
  • de56e170ee Merge branch '33-duplicated-variant-case-gives-missing-case-error' into 'dev' Suzanne Dupéron 2019-12-20 13:05:44 +0000
  • 638b45611d fix message of redundant_match_case error Lesenechal Remi 2019-12-20 12:52:44 +0100
  • a465e54340 Merge branch 'contract-time-lock' into 'dev' Rémi Lesenechal 2019-12-20 12:05:41 +0000
  • 70977d1f00 improve badly annotated timestamp error Lesenechal Remi 2019-12-19 19:12:44 +0100
  • e18233434d dune promote Lesenechal Remi 2019-12-19 18:59:27 +0100
  • 2086dd9ab5 add predecessor timestamp to the CLI Lesenechal Remi 2019-12-19 18:59:00 +0100
  • e8c8aa4d2b Time lock : contract + tests Lesenechal Remi 2019-12-19 16:10:09 +0100
  • 92523bc4a5 exposing context type to be able to modify the timestamps in the tests Lesenechal Remi 2019-12-19 16:09:53 +0100
  • d71ac66f07 Merge branch 'dune-ignore' into 'dev' Tom Jack 2019-12-19 20:41:00 +0000
  • 8374d4a316 Ignore ligo.install Tom Jack 2019-12-17 10:21:27 -0600
  • d7bea52d44 Unignore dune-project Tom Jack 2019-12-17 10:20:39 -0600
  • 40411c39ea Merge branch 'feature/hex-printing' into 'dev' Tom Jack 2019-12-19 19:53:07 +0000
  • 71e2670572 Fix one hex printing bug Tom Jack 2019-12-19 13:02:45 -0600
  • a59499e4bc Merge branch 'feature/typer-error-messages' into 'dev' Suzanne Dupéron 2019-12-19 18:15:25 +0000
  • e5acdc4228 All typer errors in ast_typed/misc.ml are covered it seems. Suzanne Dupéron 2019-12-19 17:26:05 +0000
  • f7616b7b49 Small improvements to negative typer tests Suzanne Dupéron 2019-12-17 22:59:28 +0000
  • f9daa64aa7 Moved negative tests to a negative/ folder Suzanne Dupéron 2019-12-17 22:55:12 +0000