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

Commit Graph

  • a835bc9286 Added "did you mean" feature for unbound type names Suzanne Dupéron 2019-12-17 22:46:36 +0000
  • 2a11c6d180 test for typer error message: different keys Suzanne Dupéron 2019-12-17 18:16:25 +0000
  • e919a1eba3 Fixes unsoundness in old typer (expected type for the expression as a whole was not checked for ascriptions) Suzanne Dupéron 2019-12-17 16:02:21 +0000
  • 7ea6aadc2c Move to Trace.error instead of simple_error. Sander 2019-12-19 13:50:57 +0000
  • 600ae2d4f6 Move to Trace.error instead of simple_error. Sander 2019-12-19 13:50:57 +0000
  • 32c5fcd6b4 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-12-18 23:07:28 +0000
  • 3add77eba5 Adding the build of the unlexer by dune. Christian Rinderknecht 2019-12-18 21:32:12 +0100
  • 9512992d2b Generating .msg files and extracting from them LIGO source files. Christian Rinderknecht 2019-12-18 21:21:39 +0100
  • d47ec7cf7c Fixed a tag file (local build of PascaLIGO with my Makefile). Christian Rinderknecht 2019-12-18 16:53:32 +0100
  • 8f4db0fcd3 Merge branch 'warning-45' into 'dev' Tom Jack 2019-12-18 22:08:51 +0000
  • 172038cef0 Kill warning 45 by reusing Pervasives.result for Trace Tom Jack 2019-12-10 12:00:21 -0600
  • c46bf008c8 Adding the build of the unlexer by dune. Christian Rinderknecht 2019-12-18 21:32:12 +0100
  • dfcdc54965 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-18 21:22:38 +0100
  • 00f2e253f3 Generating .msg files and extracting from them LIGO source files. Christian Rinderknecht 2019-12-18 21:21:39 +0100
  • 6d55d23628 Merge branch '75-cli-compile-storage-compile-parameter-does-not-validate-input-type' into 'dev' Rémi Lesenechal 2019-12-18 16:35:09 +0000
  • 64f04b8c40 Fixed a tag file (local build of PascaLIGO with my Makefile). Christian Rinderknecht 2019-12-18 16:53:32 +0100
  • be84244d7a add some CLI tests Lesenechal Remi 2019-12-18 16:35:17 +0100
  • f9fcf1fbc3 Also perform Ast_typed check Lesenechal Remi 2019-12-18 16:34:29 +0100
  • ea343760b2 compile_parameter and compile_storage CLI commands now gets their input checked Lesenechal Remi 2019-12-16 11:29:49 +0100
  • a8fdbbfd84 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-12-18 15:42:56 +0000
  • 97a6d7162f Regression. Christian Rinderknecht 2019-12-18 15:50:42 +0100
  • c7bd986772 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-12-18 14:22:57 +0100
  • f497ba4aba Merge branch 'reasonligo-improvemtns' into 'dev' Christian Rinderknecht 2019-12-18 10:50:15 +0000
  • 7518005532 Merge branch 'dev' of https://gitlab.com/ligolang/ligo into reasonligo-improvemtns Sander Spies 2019-12-18 09:59:19 +0100
  • 09a1db2fcb Merge branch 'feature/cameligo-type-tuple-destruct' into 'dev' John David Pressman 2019-12-17 21:04:54 +0000
  • 310dde6dc9 [LIGO-286] Tuple destructuring doesn't do left hand type inference in CameLIGO John David Pressman 2019-12-17 21:04:53 +0000
  • 7067644b1d Merge branch 'dev' into feature/set-delegate John David Pressman 2019-12-17 12:17:02 -0800
  • 56001384b5 Merge branch 'feature/typer-error-messages' into 'dev' Suzanne Dupéron 2019-12-17 19:07:44 +0000
  • 1bf3d8f02a First negative tests for the old typer & improvement of error messages Suzanne Dupéron 2019-12-16 17:37:52 +0000
  • a4b1c9951d Add ReasonLIGO and CameLIGO tests for SET_DELEGATE John David Pressman 2019-12-17 09:50:47 -0800
  • fdeb95288d Passing SET_DELEGATE test for PascaLIGO John David Pressman 2019-12-17 09:34:05 -0800
  • 078dd06132 Merge branch 'rinderknecht-dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-17 17:07:10 +0100
  • 7ae8d9340b Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-12-17 17:04:59 +0100
  • 8210a4e186 Added basic support for Menhir's incremental API. Christian Rinderknecht 2019-12-17 17:03:43 +0100
  • 757b0da78c Removed the open type [Error.t] (less [assert false]). Christian Rinderknecht 2019-12-17 14:56:16 +0100
  • 531dd238a7 Added unlexer for PascaLIGO. Christian Rinderknecht 2019-12-16 17:37:46 +0100
  • 56677ad2d6 Merge branch 'contract-replaceable-id' into 'dev' Rémi Lesenechal 2019-12-17 14:18:09 +0000
  • e6cb4e63c6 Contracts: replaceable ID Rémi Lesenechal 2019-12-17 14:18:09 +0000
  • 35d4b64a02 Removed the open type [Error.t] (less [assert false]). Christian Rinderknecht 2019-12-17 14:56:16 +0100
  • ebba74e7a7 Merge branch 'dev' of https://gitlab.com/ligolang/ligo into reasonligo-improvemtns Sander Spies 2019-12-17 14:34:58 +0100
  • 362bb1edb9 Merge branch '89-current-address-does-not-compile' into 'dev' Gabriel Alfour 2019-12-17 10:57:11 +0000
  • ffb225e269 fix address arity and update test Lesenechal Remi 2019-12-17 11:10:29 +0100
  • 20285f2b9e Add broken set_delegate test to LIGO, get to typer error John David Pressman 2019-12-16 16:26:39 -0800
  • 4e304f01cf Merge branch 'feature/version2' into 'dev' Gabriel Alfour 2019-12-17 00:19:58 +0000
  • 3110ae87e1 Pass CI_JOB_ID to docker container Tom Jack 2019-12-16 14:33:16 -0600
  • c83813456a Relocate .opam Tom Jack 2019-12-16 14:32:10 -0600
  • 9c9e0e0a2b Merge branch 'feature/cameligo-implicit-account-regress' into 'dev' John David Pressman 2019-12-16 21:04:40 +0000
  • fb8fae05d7 Fix IMPLICIT_ACCOUNT, again and this time add regression expect test John David Pressman 2019-12-16 12:10:31 -0800
  • 52eff4e764 Incorrect function arguments message for ReasonLIGO. Sander Spies 2019-12-16 15:52:45 +0100
  • d4b750eff8 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-16 17:38:09 +0100
  • 257ef4f5d2 Added unlexer for PascaLIGO. Christian Rinderknecht 2019-12-16 17:37:46 +0100
  • 09875cf1da Make type_expr_simple less complicated. Sander Spies 2019-12-16 14:54:12 +0100
  • dc9747610a Merge branch 'website-alignment-fix' into 'dev' Eowyn Dean 2019-12-16 12:42:12 +0000
  • ee33a4a6a3 Fixed alignment issue on wider screens Sander Spies 2019-12-16 12:51:48 +0100
  • f5aebffd0b Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-12-16 10:23:35 +0000
  • a94ee53fd3 Finished the refactoring of the parsers. Christian Rinderknecht 2019-12-15 20:59:04 +0100
  • fca439558b Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-15 17:46:58 +0100
  • f8d6396fcd Refactoring of the parsers Christian Rinderknecht 2019-12-15 17:46:08 +0100
  • 9fa2a4281f Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-12-13 19:11:11 +0000
  • 6692643cc5 Streamlined LexerMain and ParserMain for ReasonLIGO. Christian Rinderknecht 2019-12-13 17:28:15 +0100
  • 2904a40373 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-13 14:53:33 +0100
  • 36794120f0 Merge branch 'feature/version2' into 'dev' Gabriel Alfour 2019-12-13 12:20:24 +0000
  • e685e313f0 Fixed the build after I made a small error when fixing the latest merge conflict. Christian Rinderknecht 2019-12-13 12:30:59 +0100
  • c7ffa6d563 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-12-13 12:28:33 +0100
  • 0226b9f23c Refactoring of comments (for [dune build @doc]). Christian Rinderknecht 2019-12-13 12:21:52 +0100
  • 611bd0382a dune runtest ; dune promote Tom Jack 2019-12-13 03:11:18 -0600
  • e914833600 Add --version via dune rule Tom Jack 2019-12-07 08:11:33 -0600
  • 32d53cf9e6 Merge branch 'docs/cameligo-cheat-sheet' into 'dev' John David Pressman 2019-12-12 20:06:23 +0000
  • 3df33345c0 Add CameLIGO cheat sheet to docs John David Pressman 2019-12-12 10:07:13 -0800
  • 480cf8a7a0 Merge branch 'gardening-ligodity-to-cameligo' into 'dev' Sander 2019-12-12 14:22:08 +0000
  • 6f9134834f Remove original Cameligo and rename Ligodity to Cameligo. Sander Spies 2019-12-12 14:35:07 +0100
  • e558d23658 Merge branch 'feature/cli-interpret' into 'dev' Gabriel Alfour 2019-12-12 13:08:00 +0000
  • 0f6529fe94 fix test_cli.sh Lesenechal Remi 2019-12-12 13:18:45 +0100
  • 1842d50ef1 some Ast_simplified PP improvements Lesenechal Remi 2019-12-12 12:13:43 +0100
  • 61fd91a0d4 optional init file Lesenechal Remi 2019-12-12 11:36:59 +0100
  • a80ffae897 add interpret command Lesenechal Remi 2019-12-11 20:42:52 +0100
  • a53d8ffadf Merge branch 'fix/not-totally-understood-issue' into 'dev' Rémi Lesenechal 2019-12-12 10:52:58 +0000
  • c62f147a01 MR requests Lesenechal Remi 2019-12-12 11:00:04 +0100
  • df0dfb029b better error message when a contract in invalid Lesenechal Remi 2019-12-11 19:25:17 +0100
  • c0472629b9 application at ast_simplified level Lesenechal Remi 2019-12-11 19:15:25 +0100
  • ebd073f5e2 Separate aggregation case for contract and expression Lesenechal Remi 2019-12-11 14:42:43 +0100
  • 4fcbceef5d Improve ReasonLIGO syntax highlighting CSS. Sander 2019-12-11 17:05:24 +0000
  • 320371be05 CSS improvements. Sander Spies 2019-12-11 17:15:58 +0100
  • 94b524c21c Merge branch 'fix-reasonligo-docs2' into 'dev' Sander 2019-12-11 14:36:17 +0000
  • aa52136b8a Add ReasonLIGO specific css. Sander Spies 2019-12-11 14:48:20 +0100
  • 1cbf828bdb Improve ReasonLIGO documentation a bit more. Sander Spies 2019-12-11 14:47:52 +0100
  • 079e59edff Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-11 14:11:11 +0100
  • 814785644c Merge branch 'fix_docs_reasonligo' into 'dev' Sander 2019-12-11 09:34:08 +0000
  • 20793b0924 Improve ReasonLIGO documentation. Sander 2019-12-11 09:34:08 +0000
  • 21a6749a81 Merge branch 'refactoring-unify' into 'dev' Rémi Lesenechal 2019-12-10 15:58:31 +0000
  • 9d83159e89 merge with dev Lesenechal Remi 2019-12-10 16:01:26 +0100
  • 5ac25bfe21 easy to interpret expressions. evaluate-value does the job. CLI refactoring might be necessary Lesenechal Remi 2019-12-10 15:55:48 +0100
  • 1c346ead28 remove useless code in test helper Lesenechal Remi 2019-12-09 20:09:38 +0100
  • 16fc55482d Remove wrapper. Flatten everything for now. Now have a run function for contracts and a run function for everything else. Run function for contract is only used in CLI dry-run Lesenechal Remi 2019-12-09 19:51:10 +0100
  • bbf6b7b860 sséssaoupa? Lesenechal Remi 2019-12-06 19:42:41 +0100
  • 974fa6432b Revert "unify a little more" Lesenechal Remi 2019-12-06 18:45:22 +0100
  • 85cffdfc52 remove comented function Lesenechal Remi 2019-12-06 18:38:40 +0100
  • 255b9a6e00 type compile_main function in contracts tests Lesenechal Remi 2019-12-06 18:37:45 +0100
  • 6ed2f2b3ae unify a little more Lesenechal Remi 2019-12-06 15:10:37 +0100
  • 26f26171e6 Tests clean Lesenechal Remi 2019-12-06 14:21:49 +0100