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 |
|
|
|
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 |
|
|
|
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 |
|
Jev Björsell
|
8041ce5ddb
|
Merge branch 'fix-webide' into 'dev'
Fix webide docker container
See merge request ligolang/ligo!635
|
2020-05-25 16:00:58 +00:00 |
|
|
|
76715ebee3
|
Fix webide docker container
|
2020-05-25 18:47:40 +03:00 |
|
Pierre-Emmanuel Wulfman
|
2a9a628861
|
Merge branch 'fix/another-loc' into 'dev'
Fix 2 missing loc in cameligo simplifier EProj et ETuple
See merge request ligolang/ligo!634
|
2020-05-25 14:08:39 +00:00 |
|
Sander
|
1a0db2fc87
|
Merge branch 'trigger-ci' into 'dev'
Trigger CI
See merge request ligolang/ligo!633
|
2020-05-25 13:53:18 +00:00 |
|
Pierre-Emmanuel Wulfman
|
41d1f5e1b0
|
fix 2 missing loc in cameligo simplifier EProj et ETuple
|
2020-05-25 15:43:57 +02:00 |
|
Sander Spies
|
9163caf3da
|
Trigger CI
|
2020-05-25 15:41:38 +02:00 |
|
Suzanne Dupéron
|
07320d181d
|
Merge branch 'update-documentation' into 'dev'
Nix fixes
See merge request ligolang/ligo!631
|
2020-05-22 18:54:19 +00:00 |
|
