balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,481 Commits 2 Branches 0 Tags 65 MiB
fa1185c20e
Commit Graph

5481 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jev Björsell
fa1185c20e Add new ID example contracts to dev initial state 
Remove duplicate def of CURATED_EXAMPLES
 2020-06-02 16:54:47 +02:00
Pierre-Emmanuel Wulfman
4d51aa62cb removing wrong dryRun and evaluateFunction in ide examples 2020-06-02 16:54:47 +02:00
Pierre-Emmanuel Wulfman
0c9aeeeb64 checking contracts 2020-06-02 16:54:47 +02:00
Pierre-Emmanuel Wulfman
74dab76fb4 optimizing contract 2020-06-02 16:54:47 +02:00
John David Pressman
e42e79eff3 Add ID contract examples to web ide without command defaults 2020-06-02 16:54:47 +02:00
John David Pressman
37a3fde6fd Add ReasonLIGO version of ID layer contract 
Change CameLIGO version tests to say they're for CameLIGO in test suite
 2020-06-02 16:54:47 +02:00
John David Pressman
4d16b006c6 Fix PascaLIGO ID contract to pass tests 2020-06-02 16:54:47 +02:00
John David Pressman
4e984850c1 Add syntactically passing PascaLIGO ID contract that does not typecheck 2020-06-02 16:54:47 +02:00
John David Pressman
8d781eebca Refactor id layer contract to use records instead of tuples 2020-06-02 16:54:45 +02:00
Suzanne Dupéron
2112e5dee7 Merge branch 'feature-cleanup-typer-12' into 'dev' 
Split the solver into separate files, no meaningful changes to the code

See merge request ligolang/ligo!647
 2020-06-02 12:36:24 +00:00
Suzanne Dupéron
435716fb34 Merge branch 'revert-1681b33b' into 'dev' 
Revert "Merge branch 'ast/tuple_destruct' into 'dev'"

See merge request ligolang/ligo!652
 2020-05-31 17:32:47 +00:00
Suzanne Dupéron
2d43f67893 Revert "Merge branch 'ast/tuple_destruct' into 'dev'" 
This reverts merge request !650
 2020-05-31 17:25:40 +00:00
Suzanne Dupéron
1681b33b12 Merge branch 'ast/tuple_destruct' into 'dev' 
Add a sugar operation : Tuple Destructuring

See merge request ligolang/ligo!650
 2020-05-31 16:52:56 +00:00
Suzanne Dupéron
6cab827f17 Merge branch 'bugfix-typer-11' into 'dev' 
Bugfixes for new typer, volume 11

See merge request ligolang/ligo!640
 2020-05-29 19:37:50 +00:00
Suzanne Dupéron
e2bf0f6466 Split the solver into separate files, no meaningful changes to the code. 2020-05-29 21:23:11 +02:00
Suzanne Dupéron
4a860830b9 bugfix: replace very bogus implementation of add_list with a clean one 2020-05-29 21:23:11 +02:00
Suzanne Dupéron
d5a6f46452 Fix indentation of one function (only whitespace change) 2020-05-29 21:23:11 +02:00
Suzanne Dupéron
b2ee003577 bugfix: new typer did not keep the state between the program and the test case's function call 2020-05-29 21:23:08 +02:00
Suzanne Dupéron
4cb34a1d7e bugfix: new typer did not check a lambda's result' type against its annotation. 2020-05-29 21:18:57 +02:00
Suzanne Dupéron
2633d732a3 bugfix: Use Var.equal 2020-05-29 21:18:57 +02:00
Suzanne Dupéron
36e4c426c9 assert that the selectors of rules elected constraints that match the propagator's expecations 2020-05-29 21:18:57 +02:00
Suzanne Dupéron
69a007cca9 Describe the reason why a constraint or type was produced for more typer internals 2020-05-29 21:18:57 +02:00
Suzanne Dupéron
6dd296260e Merge branch 'balsoft/show-coverage-reports' into 'dev' 
Always show coverage reports&disable webide e2e test

See merge request ligolang/ligo!641
 2020-05-29 17:16:15 +00:00
Pierre-Emmanuel Wulfman
d644872729 version 2 2020-05-29 17:50:32 +02:00
Pierre-Emmanuel Wulfman
612f8aaf5e vesion 1 2020-05-29 17:50:32 +02:00
Pierre-Emmanuel Wulfman
d5983de522 Merge branch 'gardening/clean-up' into 'dev' 
Remove misc module from AST-imperative and AST-sugar

See merge request ligolang/ligo!649
 2020-05-29 14:10:22 +00:00
Pierre-Emmanuel Wulfman
b7da8e3fd4 remove unecessary files 2020-05-29 15:30:03 +02:00
Gabriel Alfour
54a0fb63d8 Merge branch 'opt-strip-annots' into 'dev' 
Strip type annotations from some instructions

See merge request ligolang/ligo!638
 2020-05-28 15:30:29 +00:00
Pierre-Emmanuel Wulfman
daf6971fd1 Merge branch 'refactor/remove-environments' into 'dev' 
Remove environments from the AST

See merge request ligolang/ligo!646
 2020-05-28 09:03:40 +00:00
Pierre-Emmanuel Wulfman
e661416056 review 1 2020-05-28 10:53:54 +02:00
Alexander Bantyev
fcfa2944c6
Disable webide-e2e tests 2020-05-28 00:21:00 +03:00
Gabriel ALFOUR
294e048aff remove environments from the ast 2020-05-27 23:01:07 +02:00
Jev Björsell
c19c34d5d3 Merge branch 'website/records_docs' into 'dev' 
Website/records docs

See merge request ligolang/ligo!644
 2020-05-27 14:58:11 +00:00
Jev Björsell
d53d4829b5 Website/records docs 2020-05-27 14:58:10 +00:00
Alexander Bantyev
1fe9b29732
Always show coverage reports 2020-05-26 20:29:11 +03:00
Rémi Lesenechal
bc2d95d6f6 Merge branch 'bug_fix/old_cases_in_transpiler' into 'dev' 
bug-fix : remove old code in transpiler& fix env recomputing

See merge request ligolang/ligo!636
 2020-05-26 13:51:10 +00:00
Lesenechal Remi
66c1e51cb2 updating tests 2020-05-26 15:39:06 +02:00
Lesenechal Remi
f455fa2376 add a test case for double fold env recomputing 2020-05-26 15:39:06 +02:00
Lesenechal Remi
2de18b8727 solve bug in environment recomputing 2020-05-26 15:39:06 +02:00
Lesenechal Remi
705c29aeed remove old cases in transpiler 2020-05-26 15:39:06 +02:00
Suzanne Dupéron
d44b5a7af0 Merge branch 'feature/adt-generator-8-split-modules-and-add-output-module' into 'dev' 
ADT generator: split into separate modules and add output module "O"

Closes LIGO-656

See merge request ligolang/ligo!629
 2020-05-25 23:23:37 +00:00
Tom Jack
daa1c18573 Strip type annotations from some instructions 2020-05-25 17:42:31 -05:00
Suzanne Dupéron
851132528d auto-generated folds: have a distinct input and output type for the state 2020-05-25 21:49:00 +01:00
Suzanne Dupéron
ee5e484bf4 Use the auto-generated comparators as the implementations for the typeclass-like requirements for comparison functions 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
008f228ed7 Hide the intermediate functions from PP_generic's signature 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
92069077df Auto-generated comparator for AST_typed 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
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) 2020-05-25 20:42:16 +01:00
Suzanne Dupéron
b2d80e0154 Rename src/stages/4-ast_typed/types.ml (part 1: does not build) 2020-05-25 20:42:16 +01:00
Jev Björsell
413dc7cc1b Merge branch 'webide/generate-deploy-script' into 'dev' 
Webide/generate deploy script

See merge request ligolang/ligo!637
 2020-05-25 18:47:51 +00:00
Jev Björsell
7db2c24bd3 update example.ts, generate-deploy-script.ts, and load-state.ts to support default generateDeployScript values for examples 2020-05-25 18:47:50 +00:00