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

Commit Graph

  • 88c652a25f Fix issue caused by addition of PPar. Sander Spies 2020-05-26 12:33:32 +0200
  • a4128d037b Add PPar around PTyped for proper pretty printing and CST equality with CameLIGO. Sander Spies 2020-05-26 11:06:38 +0200
  • a0c6048633 Merge branch 'webide/generate-deploy-script' of gitlab.com:edmondlee/ligo into webide/generate-deploy-script Edmond Lee 2020-05-25 16:43:37 -0700
  • b88348ce60 update ligo examples to add generate-deploy-script tool and command defaults Edmond Lee 2020-05-25 16:43:10 -0700
  • d44b5a7af0 Merge branch 'feature/adt-generator-8-split-modules-and-add-output-module' into 'dev' Suzanne Dupéron 2020-05-25 23:23:37 +0000
  • daa1c18573 Strip type annotations from some instructions Tom Jack 2020-05-25 14:07:43 -0500
  • 851132528d auto-generated folds: have a distinct input and output type for the state Suzanne Dupéron 2020-05-22 19:27:10 +0100
  • ee5e484bf4 Use the auto-generated comparators as the implementations for the typeclass-like requirements for comparison functions Suzanne Dupéron 2020-05-22 18:25:44 +0100
  • 008f228ed7 Hide the intermediate functions from PP_generic's signature Suzanne Dupéron 2020-05-22 18:19:26 +0100
  • 92069077df Auto-generated comparator for AST_typed Suzanne Dupéron 2020-05-22 02:22:35 +0100
  • 9a017e5f63 ADT generator: Fixes LIGO-656 Generated fold_maps are unusable because some collection types need extra info (e.g. sets need a comparison operator for their elements) Suzanne Dupéron 2020-05-20 20:15:36 +0100
  • b2d80e0154 Rename src/stages/4-ast_typed/types.ml (part 1: does not build) Suzanne Dupéron 2020-05-20 20:14:45 +0100
  • 413dc7cc1b Merge branch 'webide/generate-deploy-script' into 'dev' Jev Björsell 2020-05-25 18:47:51 +0000
  • 7db2c24bd3 update example.ts, generate-deploy-script.ts, and load-state.ts to support default generateDeployScript values for examples Jev Björsell 2020-05-25 18:47:50 +0000
  • 0289565025
         fix(types) error are optional Jev Björsell 2020-05-25 11:35:09 -0700
  • b97d2d4000 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-25 20:31:19 +0200
  • 320e31cb41 * [ligo pretty-print foo.mligo] works. Christian Rinderknecht 2020-05-25 20:29:48 +0200
  • 5ae429c4ef Merge branch 'webide/generate-deploy-script' of gitlab.com:edmondlee/ligo into webide/generate-deploy-script Edmond Lee 2020-05-25 11:24:06 -0700
  • 5293b2951f update handler errors to optional Edmond Lee 2020-05-25 11:22:39 -0700
  • 42989944b3
         chore(lock): Freshen lock files Jev Björsell 2020-05-25 10:36:43 -0700
  • 85c08d8ad3
         update GenerateDeployScript back to GenerateDeployScriptAction in generate-deploy-script.ts Edmond Lee 2020-05-22 10:56:27 -0700
  • 22b0c9ec46
         add default values generateDeployScript values to example contracts Edmond Lee 2020-05-21 16:54:40 -0700
  • 11f1cf01ee
         update example.ts, generate-deploy-script.ts, and load-state.ts to support default generateDeployScript values for examples Edmond Lee 2020-05-21 16:54:17 -0700
  • b9ee504dd6
         updating generate command to generate deploy script Edmond Lee 2020-05-21 16:22:33 -0700
  • 2bf34e9ff5
         updating generate command to generate deploy script Edmond Lee 2020-05-21 15:50:10 -0700
  • 417bd0f5f8
         updating generate command to generate deploy script Edmond Lee 2020-05-21 15:27:34 -0700
  • 8041ce5ddb Merge branch 'fix-webide' into 'dev' Jev Björsell 2020-05-25 16:00:58 +0000
  • 76715ebee3
         Fix webide docker container Alexander Bantyev 2020-05-25 18:47:40 +0300
  • 2a9a628861 Merge branch 'fix/another-loc' into 'dev' Pierre-Emmanuel Wulfman 2020-05-25 14:08:39 +0000
  • 041a48bc7b [PascaLIGO] Fixed the build of ParserMain.exe. Christian Rinderknecht 2020-05-25 16:04:35 +0200
  • 1a0db2fc87 Merge branch 'trigger-ci' into 'dev' Sander 2020-05-25 13:53:18 +0000
  • 41d1f5e1b0 fix 2 missing loc in cameligo simplifier EProj et ETuple Pierre-Emmanuel Wulfman 2020-05-25 15:43:57 +0200
  • 9163caf3da Trigger CI Sander Spies 2020-05-25 15:41:38 +0200
  • 2d88d2145e Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-25 15:15:27 +0200
  • 7992a4e507 Added cased to test the pretty-printer. Christian Rinderknecht 2020-05-25 12:42:19 +0200
  • 6a3dab69a2 Exported pretty-printing function for CameLIGO and ReasonLIGO (transpiler). Christian Rinderknecht 2020-05-25 12:37:30 +0200
  • 07320d181d Merge branch 'update-documentation' into 'dev' Suzanne Dupéron 2020-05-22 18:54:19 +0000
  • a3e330da12 Update installation.md (punctuation) Suzanne Dupéron 2020-05-22 18:36:00 +0000
  • 5ef842298d Update installation.md (changed my mind about the wording) Suzanne Dupéron 2020-05-22 18:34:14 +0000
  • ecebfb37cc Update installation.md (grammar) Suzanne Dupéron 2020-05-22 18:33:18 +0000
  • 5e14528a9a update GenerateDeployScript back to GenerateDeployScriptAction in generate-deploy-script.ts Edmond Lee 2020-05-22 10:56:27 -0700
  • a7c6eaf910 add default values generateDeployScript values to example contracts Edmond Lee 2020-05-21 16:54:40 -0700
  • 8b7594c2d1 update example.ts, generate-deploy-script.ts, and load-state.ts to support default generateDeployScript values for examples Edmond Lee 2020-05-21 16:54:17 -0700
  • 0e48b5bb54 updating generate command to generate deploy script Edmond Lee 2020-05-21 16:22:33 -0700
  • b871b7d64f updating generate command to generate deploy script Edmond Lee 2020-05-21 15:50:10 -0700
  • c8b1ff0e9e updating generate command to generate deploy script Edmond Lee 2020-05-21 15:27:34 -0700
  • b5d1cd6b5b
         Run webide e2e tests on merge requests Alexander Bantyev 2020-05-21 19:31:48 +0300
  • 3d78114b25
         Pass COMMIT_DATE to the build Alexander Bantyev 2020-05-21 19:14:41 +0300
  • a14bf15e77
         Run webide e2e tests Alexander Bantyev 2020-05-21 19:13:11 +0300
  • b522e50ce2
         Fix webide deploy handoff Alexander Bantyev 2020-05-21 19:03:15 +0300
  • 91f31f2914
         Update install documentation to reflect packaging updates Alexander Bantyev 2020-05-21 18:56:44 +0300
  • d5089bfa13 Merge branch 'nix-run-dev' into 'dev' Suzanne Dupéron 2020-05-21 15:26:04 +0000
  • b6aa71d6ac
         Remove /tmp from docker container Alexander Bantyev 2020-05-20 22:00:10 +0300
  • 340622350d
         Clarify the nix docs by pointing out the location of build results Alexander Bantyev 2020-05-20 21:59:45 +0300
  • 16bcee1aad
         Fixes from MR review Suzanne Dupéron 2020-05-20 17:27:22 +0000
  • 5c2b9646ec
         Update nix-npm-buildpackage Alexander Bantyev 2020-05-20 18:04:51 +0300
  • 85c7429f0c
         Add documentation for nix expressions Alexander Bantyev 2020-05-20 17:07:39 +0300
  • f970a9a536
         Use extends instead of anchors in gitlab-ci.yml Alexander Bantyev 2020-05-20 15:33:44 +0300
  • e8a69cb498
         Switch to nix pipelines Alexander Bantyev 2020-05-18 14:09:40 +0300
  • a72d95d9a1 Merge branch 'webide-share-logo-fix' into 'dev' Jev Björsell 2020-05-20 22:59:02 +0000
  • bd9b3cb012 Merge branch 'rinderknecht@sequences' into 'dev' Sander 2020-05-20 16:36:45 +0000
  • 36cecfb019 * Renamed AST.TStringLiteral into AST.TString * Fixed parsing of "begin let x = e1 in e2; e3 end" Christian Rinderknecht 2020-05-20 16:36:44 +0000
  • dd970385e4 Merge branch 'galfour@minor-optim' into 'dev' Gabriel Alfour 2020-05-19 23:21:25 +0000
  • 0199f3e448 produce I_LAMBDA instead of I_PUSH directly for functions galfour 2020-05-14 14:27:28 +0200
  • ea306bf685 Merge branch 'fix/srcloc_different_constructor' into 'dev' Pierre-Emmanuel Wulfman 2020-05-19 21:49:23 +0000
  • e04918047c Merge branch 'fix/srloc_in_mini-c' into 'dev' Pierre-Emmanuel Wulfman 2020-05-19 21:37:40 +0000
  • 85dc95dc7b solve to bug with location Pierre-Emmanuel Wulfman 2020-05-19 18:53:20 +0200
  • 7f32937d6d Merge branch 'interop-doc' into 'dev' Sander 2020-05-19 15:49:09 +0000
  • a0f8bd941e Interop docs Sander 2020-05-19 15:49:09 +0000
  • e6e1bc5876 Merge branch 'contract/F1.2_example' into 'dev' Jev Björsell 2020-05-19 15:28:02 +0000
  • 0f7fde19f5 Merge branch 'fix/region_simplifier' into 'dev' Pierre-Emmanuel Wulfman 2020-05-18 14:32:42 +0000
  • fdb7697806 Merge branch 'fix/comparable-pair' into 'dev' Pierre-Emmanuel Wulfman 2020-05-18 14:32:36 +0000
  • 551bf176fe add srcloc in mini-c Pierre-Emmanuel Wulfman 2020-04-20 18:55:04 +0200
  • 114a309aed Merge branch 'feature/Varbatim_string' into 'dev' Christian Rinderknecht 2020-05-18 13:29:00 +0000
  • 6c8b76b3de add verbatim in lexer and parser Pierre-Emmanuel Wulfman 2020-04-27 11:31:16 +0200
  • f6ff6b85c4 add ligo_string in simple_utils Pierre-Emmanuel Wulfman 2020-04-27 11:30:59 +0200
  • 281477bbaf Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-18 11:01:54 +0200
  • 2db55ae965 Merge branch 'rinderknecht@fix_endif' into 'dev' Christian Rinderknecht 2020-05-16 18:23:25 +0000
  • 255e381e01 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@fix_endif Christian Rinderknecht 2020-05-16 18:55:02 +0200
  • ae3a555c91 update logo src Edmond Lee 2020-05-15 17:32:49 -0700
  • 9ead5f2f24 Merge branch 'patch-2' into 'dev' Jev Björsell 2020-05-15 22:43:28 +0000
  • 2934e49f93 fix wrong source code path and missing opening quote Brandon Jeong 2020-05-15 19:58:34 +0000
  • 1c9240703c Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@fix_endif Christian Rinderknecht 2020-05-15 21:24:57 +0200
  • 34b9ee14da [Bug fix] Case #include followed by newline or eof. I added cases for scanning eof (followed by a rollback). Christian Rinderknecht 2020-05-15 21:23:49 +0200
  • c021254cd4 Merge branch 'rinderknecht@fix_preprocessor' into 'dev' Christian Rinderknecht 2020-05-15 18:07:31 +0000
  • 57f0106fd4 Merge branch 'versioning/tests' into 'dev' Ligo Lang 2020-05-15 17:43:04 +0000
  • f7a2bffd77 Merge branch 'balsoft/nix-update' into 'dev' Александр Бантьев 2020-05-15 17:18:45 +0000
  • b44da17ee0 [Bug] I forgot the check whether to perform #include or not. Christian Rinderknecht 2020-05-15 18:31:01 +0200
  • 7244b91c45 fix/keep region information in the simplifier Pierre-Emmanuel Wulfman 2020-05-15 17:46:56 +0200
  • 41eded82f4 versioning stage in gitlab-ci.yml Lesenechal Remi 2020-05-15 17:57:22 +0200
  • 9e81aaa1f8 script tagging branch Lesenechal Remi 2020-05-15 17:56:00 +0200
  • 0ccc637c9b Allow comparison of "comparable pair" (left is a simple comparable type, right is a comparable type) Pierre-Emmanuel Wulfman 2020-05-15 17:08:46 +0200
  • 937bc99738 Finished second version based on test contracts. Christian Rinderknecht 2020-05-15 16:32:30 +0200
  • f3ed135926 More fixes to the pretty-printer. Christian Rinderknecht 2020-05-15 00:44:15 +0200
  • ec0a0dbd01 More pretty-printing. Christian Rinderknecht 2020-05-14 21:09:14 +0200
  • a2557d7893
         Fix website build by updating package-lock.json Alexander Bantyev 2020-05-14 15:13:50 +0300
  • 44c85daee4 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-13 21:02:17 +0200
  • 85aa1a21d1 Some expressions remain to be pretty-printed. Fixed a bug in the semantic action of the parser for record updates. Christian Rinderknecht 2020-05-13 21:01:27 +0200
  • 7bcf46d3bc Merge branch 'refactoring_mini-c_type' into 'dev' Pierre-Emmanuel Wulfman 2020-05-13 11:01:20 +0000
  • 262f34f214 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-12 19:25:30 +0200