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

Commit Graph

  • a952cc496d Fix not properly handling function types as arguments. Sander Spies 2020-06-05 10:47:23 +0200
  • 57caa4ea85 More testing and fine tuning. Sander Spies 2020-06-04 21:36:12 +0200
  • 6f56b297f2 Improved the pretty-printers. Christian Rinderknecht 2020-06-04 19:01:31 +0200
  • 5896b2a63a Add new matching cases and fix compilation of match_tuples Pierre-Emmanuel Wulfman 2020-06-04 15:30:14 +0200
  • a6972bf28b Putting back .links. Christian Rinderknecht 2020-06-04 14:59:15 +0200
  • 8606528ddb More pretty-printing. Christian Rinderknecht 2020-06-04 14:55:40 +0200
  • 3bec051115 Added back test LIGO input. Christian Rinderknecht 2020-06-04 13:32:35 +0200
  • c67fc4aa34 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-06-04 13:26:29 +0200
  • adee60c444 Improved example for testing the pretty-printer. Christian Rinderknecht 2020-06-04 13:26:03 +0200
  • 64076d882b Merge Sander Spies 2020-06-04 10:27:19 +0200
  • fbc854f4d1 Improve ReasonLIGO pretty printing output. Sander Spies 2020-06-04 10:05:33 +0200
  • c30ade3b85 Contracts now compile. Sander Spies 2020-06-04 09:54:25 +0200
  • 5cfe6e893c Merge branch 'website-changes' into 'dev' Francis Brunelle 2020-06-03 22:30:39 +0000
  • 10b373e8fc
         Update the Contact page and other minor improvements to the website Francis Brunelle 2020-05-04 22:35:03 -0400
  • f7069de52d Merge branch 'webide/update-example-names' into 'dev' Jev Björsell 2020-06-03 17:41:03 +0000
  • 18bf6f92e4 update to shorten example names in webide Edmond Lee 2020-06-03 09:55:37 -0700
  • ac124b0c4d Merge branch 'webide/update-example-names' into 'dev' Jev Björsell 2020-06-03 16:14:48 +0000
  • 7d65000e2a add comment to development example list Edmond Lee 2020-06-03 09:01:55 -0700
  • 2b0f3ce969 update webide example names for consistency Edmond Lee 2020-06-03 08:46:09 -0700
  • 2032485b60 Merge branch 'feature/use-wallet-api-for-contract-origination' into 'dev' Jev Björsell 2020-06-03 14:31:01 +0000
  • c380729785 Merge branch 'gardening/fix-ast' into 'dev' Pierre-Emmanuel Wulfman 2020-06-03 12:54:24 +0000
  • 8f529a059a reorder folder Pierre-Emmanuel Wulfman 2020-06-03 11:57:08 +0200
  • cc615f1c9f Change type_operator Pierre-Emmanuel Wulfman 2020-06-02 16:43:46 +0200
  • b29c667901 Merge branch 'feature-cleanup-typer-13' into 'dev' Pierre-Emmanuel Wulfman 2020-06-03 12:28:36 +0000
  • 81358db582 Cleanup of solver.ml, separated the heuristic's definition from its state in the solver (propagator_heuristic vs. propagator_state) Suzanne Dupéron 2020-06-03 01:01:08 +0100
  • 7257aaaff4 Solver: use a list of heuristics instead of hardcoding them. Suzanne Dupéron 2020-06-02 20:34:23 +0100
  • 861ab57a43 move solver_types to typesystem/ (because of dependencies. It should be merged with the AST really) Suzanne Dupéron 2020-06-02 15:04:03 +0100
  • c8ed8c38cc ReasonLIGO pretty printing testing. Sander Spies 2020-06-03 12:41:26 +0200
  • 4c56515d6b Add missing update to lock file Roxane Letourneau 2020-06-02 21:08:26 -0700
  • dc17676447 Merge branch 'webide/generate-deploy-script' into 'dev' Jev Björsell 2020-06-02 22:10:06 +0000
  • d18837a6a6 add generate deploy script default values to id cameligo example Edmond Lee 2020-06-02 14:51:16 -0700
  • a28b81379f Update Ligo IDE to use new Wallet API Roxane Letourneau 2020-06-02 13:42:18 -0700
  • 562f08dabc Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-06-02 22:14:14 +0200
  • 62fe3b793a More cases. Christian Rinderknecht 2020-06-02 22:14:06 +0200
  • c82e3ffa6a add generate deploy script default values to id reasonligo example Edmond Lee 2020-06-02 12:53:03 -0700
  • 7fbac4dc1b add generate deploy script default values to id pascaligo example Edmond Lee 2020-06-02 12:27:41 -0700
  • 08ee216f1b Merge branch 'dev' of gitlab.com:edmondlee/ligo into webide/generate-deploy-script Edmond Lee 2020-06-02 10:29:06 -0700
  • 13eae4be18 Merge branch 'webide/id-example' into 'dev' Jev Björsell 2020-06-02 16:45:29 +0000
  • 267e282174 rebase Pierre-Emmanuel Wulfman 2020-06-02 17:02:16 +0200
  • 9d0da34f96 Improve formatting of default webide values Jev Björsell 2020-05-28 11:40:05 -0700
  • a5419d0158 add default parameters for deploy and modify the hashvalue for share-link test technomad21c 2020-05-26 10:01:40 -0700
  • f29cf5a612 add the ID Contract example for cameligo and reasonligo technomad21c 2020-05-22 14:23:39 -0700
  • 5b398b47c2 add an ID Contract example technomad21c 2020-05-21 19:04:17 -0700
  • fa1185c20e Add new ID example contracts to dev initial state Jev Björsell 2020-05-19 13:15:23 -0700
  • 4d51aa62cb removing wrong dryRun and evaluateFunction in ide examples Pierre-Emmanuel Wulfman 2020-04-29 13:43:02 +0200
  • 0c9aeeeb64 checking contracts Pierre-Emmanuel Wulfman 2020-04-29 13:36:36 +0200
  • 74dab76fb4 optimizing contract Pierre-Emmanuel Wulfman 2020-04-29 09:23:15 +0200
  • e42e79eff3 Add ID contract examples to web ide without command defaults John David Pressman 2020-03-04 03:32:58 -0800
  • 37a3fde6fd Add ReasonLIGO version of ID layer contract John David Pressman 2020-02-29 00:12:24 -0800
  • 4d16b006c6 Fix PascaLIGO ID contract to pass tests John David Pressman 2020-02-27 23:22:55 -0800
  • 4e984850c1 Add syntactically passing PascaLIGO ID contract that does not typecheck John David Pressman 2020-02-27 07:42:58 -0800
  • 8d781eebca Refactor id layer contract to use records instead of tuples John David Pressman 2020-02-25 00:04:52 -0800
  • 2112e5dee7 Merge branch 'feature-cleanup-typer-12' into 'dev' Suzanne Dupéron 2020-06-02 12:36:24 +0000
  • b12e9a5baa Aligned printing of tuples of expressions on CameLIGO. Christian Rinderknecht 2020-06-01 19:17:59 +0200
  • db3533bcd4 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-06-01 18:47:59 +0200
  • c376650ee5 More to the PascaLIGO pretty-printer. Christian Rinderknecht 2020-06-01 18:47:42 +0200
  • 435716fb34 Merge branch 'revert-1681b33b' into 'dev' Suzanne Dupéron 2020-05-31 17:32:47 +0000
  • 2d43f67893 Revert "Merge branch 'ast/tuple_destruct' into 'dev'" Suzanne Dupéron 2020-05-31 17:25:40 +0000
  • 1681b33b12 Merge branch 'ast/tuple_destruct' into 'dev' Suzanne Dupéron 2020-05-31 16:52:56 +0000
  • 2d74681c96 Added more to the PascaLIGO pretty-printer. Improved the AST of PascaLIGO to better capture the struture. Christian Rinderknecht 2020-05-30 20:24:47 +0200
  • 3264277310 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-30 13:50:43 +0200
  • 6cab827f17 Merge branch 'bugfix-typer-11' into 'dev' Suzanne Dupéron 2020-05-29 19:37:50 +0000
  • e2bf0f6466 Split the solver into separate files, no meaningful changes to the code. Suzanne Dupéron 2020-05-28 16:05:45 +0100
  • 4a860830b9 bugfix: replace very bogus implementation of add_list with a clean one Suzanne Dupéron 2020-05-08 15:24:42 +0100
  • d5a6f46452 Fix indentation of one function (only whitespace change) Suzanne Dupéron 2020-05-07 23:01:50 +0100
  • b2ee003577 bugfix: new typer did not keep the state between the program and the test case's function call Suzanne Dupéron 2020-05-29 20:37:11 +0200
  • 4cb34a1d7e bugfix: new typer did not check a lambda's result' type against its annotation. Suzanne Dupéron 2020-05-26 00:18:55 +0100
  • 2633d732a3 bugfix: Use Var.equal Suzanne Dupéron 2020-05-26 01:26:30 +0100
  • 36e4c426c9 assert that the selectors of rules elected constraints that match the propagator's expecations Suzanne Dupéron 2020-05-26 01:26:11 +0100
  • 69a007cca9 Describe the reason why a constraint or type was produced for more typer internals Suzanne Dupéron 2020-05-26 01:22:43 +0100
  • 6dd296260e Merge branch 'balsoft/show-coverage-reports' into 'dev' Suzanne Dupéron 2020-05-29 17:16:15 +0000
  • e9f5c3e1ae Initial work for the ReasonLIGO pretty printer. Sander Spies 2020-05-29 19:07:44 +0200
  • d644872729 version 2 Pierre-Emmanuel Wulfman 2020-05-29 17:49:37 +0200
  • 612f8aaf5e vesion 1 Pierre-Emmanuel Wulfman 2020-05-29 16:06:44 +0200
  • d5983de522 Merge branch 'gardening/clean-up' into 'dev' Pierre-Emmanuel Wulfman 2020-05-29 14:10:22 +0000
  • b7da8e3fd4 remove unecessary files Pierre-Emmanuel Wulfman 2020-05-29 15:29:16 +0200
  • 54a0fb63d8 Merge branch 'opt-strip-annots' into 'dev' Gabriel Alfour 2020-05-28 15:30:29 +0000
  • 4779d12295 Merge branch 'rinderknecht@pprint' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-28 12:57:06 +0200
  • 96f9c032c0 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-28 12:52:15 +0200
  • daf6971fd1 Merge branch 'refactor/remove-environments' into 'dev' Pierre-Emmanuel Wulfman 2020-05-28 09:03:40 +0000
  • e661416056 review 1 Pierre-Emmanuel Wulfman 2020-05-28 10:53:54 +0200
  • fcfa2944c6
         Disable webide-e2e tests Alexander Bantyev 2020-05-28 00:21:00 +0300
  • 294e048aff remove environments from the ast Gabriel ALFOUR 2020-05-27 23:01:07 +0200
  • c19c34d5d3 Merge branch 'website/records_docs' into 'dev' Jev Björsell 2020-05-27 14:58:11 +0000
  • d53d4829b5 Website/records docs Jev Björsell 2020-05-27 14:58:10 +0000
  • 9eb603a1e8 change generate deploy script tool back to hard code of tezos-client Edmond Lee 2020-05-26 12:56:38 -0700
  • 78166c13d3 update generate deploy script from hardcoded tezos-client tool to dynamic tool Edmond Lee 2020-05-26 11:47:30 -0700
  • 6d6556107a fix merge conflict Edmond Lee 2020-05-26 11:35:19 -0700
  • 8e2a889b1d fix merge conflict Edmond Lee 2020-05-26 11:28:12 -0700
  • b816a2e529 update examples to remove command from the generate-deploy-script default configurations Edmond Lee 2020-05-26 11:15:17 -0700
  • dba6335bfc remove the use of toolcommand from generate-deploy-script Edmond Lee 2020-05-26 11:14:47 -0700
  • 1fe9b29732
         Always show coverage reports Alexander Bantyev 2020-05-26 20:29:11 +0300
  • a4831a05e7 remove extra setting for evaluatefunction in pascaligo example Edmond Lee 2020-05-26 09:28:52 -0700
  • bc2d95d6f6 Merge branch 'bug_fix/old_cases_in_transpiler' into 'dev' Rémi Lesenechal 2020-05-26 13:51:10 +0000
  • 66c1e51cb2 updating tests Lesenechal Remi 2020-05-26 15:38:41 +0200
  • f455fa2376 add a test case for double fold env recomputing Lesenechal Remi 2020-05-25 19:30:25 +0200
  • 2de18b8727 solve bug in environment recomputing Lesenechal Remi 2020-05-25 19:22:49 +0200
  • 705c29aeed remove old cases in transpiler Lesenechal Remi 2020-05-25 19:01:15 +0200
  • d4801d942a Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-26 14:53:41 +0200
  • cade57a47c Fix expect help tests. Sander Spies 2020-05-26 12:41:42 +0200