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

5545 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sander
34d726c2f3 Apply 1 suggestion(s) to 1 file(s) 2020-06-09 14:32:17 +00:00
Sander
d810ccc921 Apply 1 suggestion(s) to 1 file(s) 2020-06-09 14:32:14 +00:00
Sander
816afdd1b8 Apply 1 suggestion(s) to 1 file(s) 2020-06-09 14:32:07 +00:00
Sander Spies
5470893f68 Bitwise pseudomodule documentation. 2020-06-09 13:15:24 +02: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
Alexander Bantyev
046f31f7c1
Nix: apply gitignore on sources 2020-06-08 14:50:51 +03:00
Alexander Bantyev
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