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

5376 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
John David Pressman
f043135df1 Add Michelson map membership to CameLIGO and PascaLIGO 2019-12-06 09:35:08 -08:00
Christian Rinderknecht
c4182fa6fd I rewrote some comments so [dune build @doc] can extract HTML from 
module interfaces.

This is meant as an exercise and an example to all team members.

I fixed a minor shadowing issue in [x_list.ml].
 2019-12-06 11:49:19 +01:00
Eowyn Dean
c3e904ca00 Merge branch 'website-new-design' into 'dev' 
LIGO-225 Website new design

See merge request ligolang/ligo!233
 2019-12-05 16:10:59 +00:00
Maksym Bykovskyy
7a8e96d4b2 LIGO-225 Website new design 2019-12-05 16:10:59 +00:00
Pierre-Emmanuel Wulfman
cc0e94de64 Merge branch 'ast/main' into 'dev' 
ADT for type

See merge request ligolang/ligo!206
 2019-12-04 11:40:58 +00:00
Pierre-Emmanuel Wulfman
034c92a64c Use ADT for types and move type to ast_common 
and Making name, type_variable, built-in, constructor, label and string uncompatible types in ligo (weird bug with types in ligodity)
 2019-12-04 11:40:58 +00:00
Gabriel Alfour
0312f1bf64 Merge branch 'feature/cameligo-tuple-order-fix' into 'dev' 
Fix bug where tuples are destructured with the members in the wrong order

Closes #63

See merge request ligolang/ligo!235
 2019-12-03 19:59:19 +00:00
John David Pressman
6a4d58d467 Overkill the tuple ordering bug 2019-12-03 11:10:53 -08:00
John David Pressman
085a756ed3 Fix bug where tuples are destructured with the members in the wrong order 2019-12-03 10:49:58 -08:00
John David Pressman
b9a2eab834 Merge branch 'feature/implicit-account-fix' into 'dev' 
Fix IMPLICIT_ACCOUNT

See merge request ligolang/ligo!234
 2019-12-03 08:53:18 +00:00
John David Pressman
8609196bac Fix IMPLICIT_ACCOUNT 2019-12-03 00:00:01 -08:00
Tom Jack
dcf5a7f9c9 Merge branch 'fix-merlin-confusion' into 'dev' 
Rename executable to fix merlin confusion

See merge request ligolang/ligo!232
 2019-12-02 00:42:30 +00:00
Tom Jack
317313ecc6 Rename executable to fix merlin confusion 2019-12-01 23:08:05 +00:00
Gabriel Alfour
d1d9cea599 Merge branch 'feature/self-account-address-ops' into 'dev' 
Add SELF_ADDRESS, ADDRESS, and IMPLICIT ACCOUNT to LIGO

See merge request ligolang/ligo!230
 2019-12-01 22:46:16 +00:00
John David Pressman
0b3e057819 Add self address to CameLIGO and PascaLIGO 2019-12-01 21:56:49 +00:00
John David Pressman
03dd86c9ad Expose address operator in PascaLIGO and CameLIGO 2019-12-01 21:56:49 +00:00
John David Pressman
694c3aea97 Add implicit_account to operators 2019-12-01 21:56:49 +00:00
Rémi Lesenechal
f1c9c11ae4 Merge branch 'refactoring-eval-run-functions' into 'dev' 
Refactoring eval run functions

**Purpose of the refactoring (approx 250 lines of code removed):**

1. "flatten" the different compilation steps (in the tests & CLI), avoiding the russian doll effect of the `Of_**` modules. What is being done is now clearer (not perfect but way better IMO
2. Make the Run module actually only run code.. instead of being responsible for both compilation & michelson evaluation. As a result, only the `Run.Of_michelson` module remains.
3. I added a module Compile.Wrapper, which make use of the functions defined in the `Compile.Of_*` modules. They are both use by the tests and the CLI.
4. delete dead/duplicated code in the `Compile.Of_*` modules to keep it as minimal as possible

See merge request ligolang/ligo!229
 2019-11-29 21:22:56 +00:00
Rémi Lesenechal
4be2d6fb6a Refactoring eval run functions 2019-11-29 21:22:56 +00:00
Tom Jack
a121766a89 Fix semantic merge conflict w/ expect tests 2019-11-29 10:00:58 -06:00
Gabriel Alfour
c1dac64af3 Merge branch 'feature/inlining2' into 'dev' 
Substitution-based inlining

See merge request ligolang/ligo!227
 2019-11-29 14:17:25 +00:00
Gabriel Alfour
bfb01d371a Merge branch 'feature/more-subtraction' into 'dev' 
Type subtraction also as nat->int->int and int->nat->int

See merge request ligolang/ligo!228
 2019-11-29 10:13:29 +00:00
Tom Jack
49586b65be Type subtraction also as nat->int->int and int->nat->int 2019-11-28 06:48:24 -06:00
Tom Jack
6c7e1af0c1 Merge branch 'feature/better-man' into 'dev' 
Better man

See merge request ligolang/ligo!216
 2019-11-28 12:43:50 +00:00
Suzanne Dupéron
16a2d76e66 Merge branch 'feature/nocrlf' into 'dev' 
Stop using docker `-it` to avoid spurious CRLF

See merge request ligolang/ligo!226
 2019-11-28 09:54:49 +00:00
Tom Jack
0040b1f460 Mention subcommand --help only once 2019-11-27 11:00:21 -06:00
Tom Jack
e3fbc58e7a Show help instead of "Do ligo --help" 2019-11-27 11:00:21 -06:00
Tom Jack
32625bb075 Use doc not docs in cli 2019-11-27 11:00:21 -06:00
Tom Jack
06603b594a Mini_c: Identify more pure constants 2019-11-27 09:06:36 -06:00
Tom Jack
66d2cda107 Mini_c: Inlining optimization 2019-11-27 09:06:31 -06:00
John David Pressman
adb4572bde Merge branch 'docs/iterators' into 'dev' 
Add better explanation of tuples and map iterator docs

See merge request ligolang/ligo!223
 2019-11-27 10:13:57 +00:00
Tom Jack
ca1025b705 Stop using docker -it to avoid spurious CRLF 2019-11-26 18:29:25 -06:00
Rémi Lesenechal
7a7b9cc038 Merge branch 'contract-better-multisigv2' into 'dev' 
Better multisigv2 contract

See merge request ligolang/ligo!220
 2019-11-26 22:04:43 +00:00
Lesenechal Remi
e7195c4c41 mutisig v2 some renaming and counter reset fix 2019-11-26 19:21:51 +01:00
Lesenechal Remi
39c7766b08 multisig v2 comments 2019-11-26 19:11:30 +01:00
Lesenechal Remi
cf540a1a78 multisigv2 default entry point 2019-11-26 19:11:30 +01:00
Lesenechal Remi
c8eb1a3fa6 multisigv2 with less user uncertainty 2019-11-26 19:11:30 +01:00
Lesenechal Remi
b82383751c multisigv2 more robust to spam 
Set limits to the number of approvals and message sizes
 2019-11-26 19:11:30 +01:00
Lesenechal Remi
652138b115 new 'expect' test helpers working on expressions 2019-11-26 19:11:30 +01:00
Lesenechal Remi
00def6d20e Fix a bug, test added: 
A never accounted message was not adding anything to the map
 2019-11-26 19:11:30 +01:00
Rémi Lesenechal
48bef70a6a Merge branch 'record-accesses-fix' into 'dev' 
Broken nested access to record

See merge request ligolang/ligo!225
 2019-11-26 18:09:06 +00:00
Rémi Lesenechal
23d2241891 Merge branch 'quickfix-forloop-elt-name' into 'dev' 
generated variable name typo

See merge request ligolang/ligo!224
 2019-11-26 17:36:10 +00:00
Lesenechal Remi
c1c551e33f fix and more tests 2019-11-26 18:08:53 +01:00
Lesenechal Remi
848b902cd9 generated variable name typo 2019-11-26 17:49:23 +01:00
John David Pressman
0908338616 Remove 'imperative' from phrase 'imperative iteration' 2019-11-26 05:40:41 -08:00
John David Pressman
d23819245f Add explanation of folding to the map fold 2019-11-26 05:39:54 -08:00
John David Pressman
ebaa913c5a Add better explanation of tuples and map iterator docs 2019-11-26 04:08:16 -08:00
Tom Jack
f7ef0472be Add command for measuring contracts 2019-11-25 17:36:22 -06:00
Tom Jack
c322ca53de Merge branch 'feature/cli-tests' into 'dev' 
Add some cli expect tests

See merge request ligolang/ligo!215
 2019-11-25 19:59:47 +00:00
Tom Jack
569c0dffa2 Merge branch 'fix-dev' into 'dev' 
Fix build: constrain dune version

See merge request ligolang/ligo!221
 2019-11-25 15:01:02 +00:00