Pierre-Emmanuel Wulfman
|
e741531041
|
Merge branch 'clean-sts-solver' into 'dev'
New typer in a separate folder along with old typer
See merge request ligolang/ligo!166
|
2019-11-06 11:28:03 +00:00 |
|
Suzanne Dupéron
|
40b318eff6
|
Rename 4-typer to 4-typer-old (part 2: make changes)
|
2019-11-04 18:40:49 +00:00 |
|
Tom Jack
|
c969f306af
|
Eliminate dead lambdas
|
2019-11-02 18:43:46 -05:00 |
|
Tom Jack
|
e30b7faa9d
|
Mini_c: Remove T_deep_closure and D_function
|
2019-11-02 18:43:46 -05:00 |
|
Suzanne Dupéron
|
865cf80c77
|
Tests pass again, using the old typer
|
2019-11-01 09:48:09 -04:00 |
|
Suzanne Dupéron
|
45347e3e88
|
Bring back copy of the old typer (part 2: changes)
|
2019-10-31 18:19:01 -04:00 |
|
Suzanne Dupéron
|
1e06c24325
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into clean-sts-solver
|
2019-10-31 17:18:09 -04:00 |
|
Tom Jack
|
6956e8751d
|
Add hex michelson output, use enums for format options
|
2019-10-26 12:57:22 -05:00 |
|
Lesenechal Remi
|
b60ce38b68
|
commenting back
|
2019-10-17 17:33:43 +02:00 |
|
galfour
|
27be6cfcba
|
use apply for closures
|
2019-10-17 16:34:02 +02:00 |
|
Suzanne Dupéron
|
5a58559edc
|
Merge remote-tracking branch 'origin/dev' into HEAD
|
2019-10-11 16:59:45 -04:00 |
|
Suzanne Dupéron
|
9e2c057edb
|
dune build passes, but not dune build @ligo-test. Threaded the typechecker's state in a bunch of places where it's likely not needed, because I don't know which parts are entrypoints and which parts are intermediate functions, and the role of the state between program fragments is not yet 100% clear to me.
|
2019-10-11 15:21:28 -04:00 |
|
Suzanne Dupéron
|
1356159281
|
WIP on integrating typer with the bin / CLI, fixed last API change
|
2019-10-11 04:08:12 -04:00 |
|
Suzanne Dupéron
|
2a39aa2949
|
Revert "Builds (commented out a few issues, just to check that there are no compilation errors left)"
This reverts commit 581babb459.
|
2019-10-10 03:55:15 -04:00 |
|
Suzanne Dupéron
|
581babb459
|
Builds (commented out a few issues, just to check that there are no compilation errors left)
|
2019-10-10 03:55:08 -04:00 |
|
Tom Jack
|
e8afba9581
|
Accept fake values for SENDER/SOURCE in dry-run
|
2019-10-09 12:08:02 -05:00 |
|
Pierre-Emmanuel Wulfman
|
59cb210b83
|
Interface for Ocaml code
|
2019-10-07 14:18:32 +00:00 |
|
Tom Jack
|
09496ce4ca
|
Generate field annotations for sum/record
|
2019-09-26 11:39:35 -05:00 |
|
Tom Jack
|
a521c01115
|
some michelson optimizations
|
2019-09-25 20:15:19 -05:00 |
|
Tom Jack
|
8a04ee8097
|
Fix bug for compile-parameter and compile-storage
|
2019-09-25 13:40:32 -05:00 |
|
galfour
|
be75fd4830
|
fixed minor bug
|
2019-09-25 17:21:44 +02:00 |
|
galfour
|
87bbdad553
|
fix stuff
|
2019-09-25 10:49:14 +02:00 |
|
galfour
|
b6ee28d704
|
add map literals in cameligo
|
2019-09-24 13:54:34 +02:00 |
|
galfour
|
96fd0b4660
|
yay
|
2019-09-22 23:39:52 +02:00 |
|
galfour
|
37836f9512
|
adding option
|
2019-09-22 22:44:50 +02:00 |
|
galfour
|
66efff631d
|
add micheline
|
2019-09-20 18:56:55 +02:00 |
|
galfour
|
2a90be292c
|
more formats
|
2019-09-20 11:59:44 +02:00 |
|
galfour
|
e3179bd7c7
|
tests pass again
|
2019-09-19 12:59:07 +02:00 |
|
galfour
|
6fe48ff6ad
|
more working
|
2019-09-19 08:29:31 +02:00 |
|
galfour
|
015e197183
|
back on track
|
2019-09-19 01:34:37 +02:00 |
|
galfour
|
b619fa1f17
|
further down the road
|
2019-09-18 18:49:33 +02:00 |
|
galfour
|
d8b7a12c69
|
more refactoring
|
2019-09-15 13:12:19 +02:00 |
|
galfour
|
5566095e49
|
more stuff
|
2019-09-11 13:56:39 +02:00 |
|
galfour
|
715812b2c3
|
more modifications
|
2019-09-10 15:19:15 +02:00 |
|
galfour
|
cb1aa44ff4
|
moving stuff around
|
2019-09-08 12:17:24 +02:00 |
|
Gabriel Alfour
|
dec2ffd2ed
|
Merge branch 'feature/add-hashes' into 'dev'
add hashes and support for bytes
See merge request ligolang/ligo!69
|
2019-09-07 17:04:07 +00:00 |
|
galfour
|
6713160530
|
add hashes and support for bytes
|
2019-09-07 18:42:59 +02:00 |
|
galfour
|
25b07af6ae
|
merge dev conflict
|
2019-09-07 16:54:08 +02:00 |
|
galfour
|
f831793fbd
|
y e s s s
|
2019-09-05 15:21:01 +02:00 |
|
galfour
|
de96a04681
|
simplifying compiler
|
2019-08-20 22:51:16 +02:00 |
|
galfour
|
88261fd5e2
|
Merge branch 'dev' into feature/better-error-messages
|
2019-07-21 11:58:09 +02:00 |
|
galfour
|
564a4df145
|
add map to lists ; fix error with lists
|
2019-07-20 16:18:50 +02:00 |
|
galfour
|
33101820ec
|
add set tests
|
2019-07-19 14:35:47 +02:00 |
|
Galfour
|
6e3209fa4f
|
add manual tests; change display of errors; minor refactorings
|
2019-06-28 12:05:04 +00:00 |
|
Georges Dupéron
|
ded9c4f58f
|
Fix auto-detection of syntax, use a polymorphic variant to ensure all functions were updated.
|
2019-06-13 01:56:03 +02:00 |
|
Galfour
|
a3e6016758
|
Merge branch 'dev' into feature/dry-run-bin
|
2019-06-12 20:49:36 +00:00 |
|
Galfour
|
fa5ac47d8f
|
add amount option
|
2019-06-12 19:13:06 +00:00 |
|
Georges Dupéron
|
6bb5a0f731
|
Auto-detect syntax based on file extension
|
2019-06-12 01:12:37 +02:00 |
|
Galfour
|
a75c0ac061
|
fix dry-run ; add features to the bin
|
2019-06-11 17:57:07 +00:00 |
|
Galfour
|
10461764fb
|
add dry-run in cli
|
2019-06-09 12:08:37 +00:00 |
|