Edmond Lee
|
86a30b1e6f
|
add getLanguageHighlight function to determine the language highlight, and added custom syntax highlighting rules to ligosnippets editor
|
2020-06-09 22:39:33 +00:00 |
|
Suzanne Dupéron
|
206f52d8e6
|
Merge branch 'balsoft/gitignore' into 'dev'
Improve nix gitignore
See merge request ligolang/ligo!667
|
2020-06-08 17:11:43 +00:00 |
|
Pierre-Emmanuel Wulfman
|
94a3c1c3da
|
Merge branch 'gardening/fix-ast' into 'dev'
Refactoring in the ast
See merge request ligolang/ligo!665
|
2020-06-08 13:32:52 +00:00 |
|
|
|
046f31f7c1
|
Nix: apply gitignore on sources
|
2020-06-08 14:50:51 +03:00 |
|
|
|
cb11295405
|
Add nix artifacts to gitignore
|
2020-06-08 14:41:23 +03:00 |
|
Pierre-Emmanuel Wulfman
|
574903ed2f
|
fix name
|
2020-06-05 18:20:43 +02:00 |
|
Pierre-Emmanuel Wulfman
|
be9478bec1
|
Refactor updates and accessors
|
2020-06-05 18:17:17 +02:00 |
|
Pierre-Emmanuel Wulfman
|
5896b2a63a
|
Add new matching cases and fix compilation of match_tuples
|
2020-06-04 16:37:18 +02:00 |
|
Francis Brunelle
|
5cfe6e893c
|
Merge branch 'website-changes' into 'dev'
Update the Contact page and other minor improvements to the website
See merge request ligolang/ligo!607
|
2020-06-03 22:30:39 +00:00 |
|
Francis Brunelle
|
10b373e8fc
|
Update the Contact page and other minor improvements to the website
|
2020-06-03 18:18:40 -04:00 |
|
Jev Björsell
|
f7069de52d
|
Merge branch 'webide/update-example-names' into 'dev'
webide/update to shorten example names in webide
See merge request ligolang/ligo!660
|
2020-06-03 17:41:03 +00:00 |
|
Edmond Lee
|
18bf6f92e4
|
update to shorten example names in webide
|
2020-06-03 09:55:37 -07:00 |
|
Jev Björsell
|
ac124b0c4d
|
Merge branch 'webide/update-example-names' into 'dev'
webide/update webide example names for consistency
See merge request ligolang/ligo!659
|
2020-06-03 16:14:48 +00:00 |
|
Edmond Lee
|
7d65000e2a
|
add comment to development example list
|
2020-06-03 09:01:55 -07:00 |
|
Edmond Lee
|
2b0f3ce969
|
update webide example names for consistency
|
2020-06-03 08:46:09 -07:00 |
|
Jev Björsell
|
2032485b60
|
Merge branch 'feature/use-wallet-api-for-contract-origination' into 'dev'
Update Ligo IDE to use new Wallet API
See merge request ligolang/ligo!654
|
2020-06-03 14:31:01 +00:00 |
|
Pierre-Emmanuel Wulfman
|
c380729785
|
Merge branch 'gardening/fix-ast' into 'dev'
Change T_operator in the AST and Reorder folder
See merge request ligolang/ligo!656
|
2020-06-03 12:54:24 +00:00 |
|
Pierre-Emmanuel Wulfman
|
8f529a059a
|
reorder folder
|
2020-06-03 14:47:36 +02:00 |
|
Pierre-Emmanuel Wulfman
|
cc615f1c9f
|
Change type_operator
|
2020-06-03 14:29:46 +02:00 |
|
Pierre-Emmanuel Wulfman
|
b29c667901
|
Merge branch 'feature-cleanup-typer-13' into 'dev'
Cleanup of the solver, use a list of heuristics instead of hardcoding them
See merge request ligolang/ligo!657
|
2020-06-03 12:28:36 +00:00 |
|
Suzanne Dupéron
|
81358db582
|
Cleanup of solver.ml, separated the heuristic's definition from its state in the solver (propagator_heuristic vs. propagator_state)
|
2020-06-03 13:07:48 +01:00 |
|
Suzanne Dupéron
|
7257aaaff4
|
Solver: use a list of heuristics instead of hardcoding them.
|
2020-06-03 13:07:48 +01:00 |
|
Suzanne Dupéron
|
861ab57a43
|
move solver_types to typesystem/ (because of dependencies. It should be merged with the AST really)
|
2020-06-03 13:07:41 +01:00 |
|
Roxane Letourneau
|
4c56515d6b
|
Add missing update to lock file
|
2020-06-02 21:08:26 -07:00 |
|
Jev Björsell
|
dc17676447
|
Merge branch 'webide/generate-deploy-script' into 'dev'
webide / generate deploy script updates
See merge request ligolang/ligo!653
|
2020-06-02 22:10:06 +00:00 |
|
Edmond Lee
|
d18837a6a6
|
add generate deploy script default values to id cameligo example
|
2020-06-02 14:51:16 -07:00 |
|
Roxane Letourneau
|
a28b81379f
|
Update Ligo IDE to use new Wallet API
|
2020-06-02 14:37:33 -07:00 |
|
Edmond Lee
|
c82e3ffa6a
|
add generate deploy script default values to id reasonligo example
|
2020-06-02 12:53:03 -07:00 |
|
Edmond Lee
|
7fbac4dc1b
|
add generate deploy script default values to id pascaligo example
|
2020-06-02 12:27:41 -07:00 |
|
Edmond Lee
|
08ee216f1b
|
Merge branch 'dev' of gitlab.com:edmondlee/ligo into webide/generate-deploy-script
|
2020-06-02 10:29:06 -07:00 |
|
Jev Björsell
|
13eae4be18
|
Merge branch 'webide/id-example' into 'dev'
[LIGO-499] Add ID layer contract to web IDE examples
See merge request ligolang/ligo!451
|
2020-06-02 16:45:29 +00:00 |
|
Pierre-Emmanuel Wulfman
|
267e282174
|
rebase
|
2020-06-02 17:02:16 +02:00 |
|
Jev Björsell
|
9d0da34f96
|
Improve formatting of default webide values
|
2020-06-02 16:56:10 +02:00 |
|
technomad21c
|
a5419d0158
|
add default parameters for deploy and modify the hashvalue for share-link test
|
2020-06-02 16:54:47 +02:00 |
|
technomad21c
|
f29cf5a612
|
add the ID Contract example for cameligo and reasonligo
|
2020-06-02 16:54:47 +02:00 |
|
technomad21c
|
5b398b47c2
|
add an ID Contract example
|
2020-06-02 16:54:47 +02:00 |
|
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 |
|
