This website requires JavaScript.
f2b3e83986
Merge branch 'dev' into docs/map-reference
2020-02-11 17:56:21 -0800
1fe41b011b
Merge branch 'docs/sets-reference' into 'dev'
2020-02-12 01:39:41 +0000
e8da2626e4
Add set reference page to the docs
2020-02-12 01:39:41 +0000
93ed763483
Fix type of List.map and clean up its PascaLIGO example in list reference page
2020-02-11 17:27:27 -0800
437b696b19
Merge branch 'feature/some-new-typer-constant-contraints' into 'dev'
2020-02-12 01:12:24 +0000
03c2fe28a0
Merge branch 'rinderknecht@doc' into 'dev'
2020-02-11 23:37:08 +0000
37bf8d6f76
Merge branch 'dev' of gitlab.com:ligolang/ligo into dev
2020-02-11 22:29:44 +0100
8c0a25bdb5
Fixes after writing the slides.
2020-02-11 22:29:12 +0100
414dce2fc8
Merge branch 'docs/big-map-reference' into 'dev'
2020-02-11 18:24:41 +0000
7eacdd07a6
Merge branch 'revert-ae8913fa' into 'dev'
2020-02-11 11:46:04 +0000
8b83e375bd
Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'"
2020-02-11 10:45:08 +0000
702416a0a7
fix continuation and add some comments
2020-02-11 11:05:43 +0100
1cf90c8b38
Merge branch 'feature/changelog-loops' into 'dev'
2020-02-11 09:16:13 +0000
e0c5505886
Merge branch 'dev' into docs/big-map-reference
2020-02-11 01:07:32 -0800
39c0f01998
Add big_map reference page to doc tests and add big_map add to test suite
2020-02-11 01:03:46 -0800
bfd240dacf
Merge branch 'dev' into docs/map-reference
2020-02-10 20:53:30 -0800
b6a6eea5d2
Add map reference page to doc tests and fix bugs
2020-02-10 20:51:48 -0800
c71b413bae
Changelog for mutation & list_iter
2020-02-10 13:45:45 +0100
117d725086
Merge branch 'feature/doc-pascaligo-loop' into 'dev'
2020-02-10 21:22:14 +0000
0113a448de
Merge branch 'dev' into 'feature/doc-pascaligo-loop'
2020-02-10 20:51:41 +0000
b2c129aa6a
Merge branch 'bugfix/hanging-sudo' into 'dev'
2020-02-10 20:43:56 +0000
c875d4f0f5
Merge branch 'bugfix/term-gitlab-warning' into 'dev'
2020-02-10 20:43:35 +0000
ae8913fa8d
Merge branch 'feature/adt-generator-poly-3' into 'dev'
2020-02-10 20:42:04 +0000
e86f15e5da
Show OPAM logs in case of failure inside of Docker
2020-02-10 20:10:34 +0100
0e5002fbeb
Revert "Temporary debug prints for build-and-package failure"
2020-02-10 20:03:47 +0100
76fa4b0549
Revert "Make menhir less verbose, to see error messages in gitlab."
2020-02-10 19:54:35 +0100
e6dbe60c2c
Revert "try to debug inside docker"
2020-02-10 19:54:26 +0100
7bad718135
Add missing dependency on Python 3
2020-02-10 19:42:35 +0100
e84b739fbc
try to debug inside docker
2020-02-10 19:07:39 +0100
c71e47f252
Make menhir less verbose, to see error messages in gitlab.
2020-02-10 19:01:26 +0100
5151a0fd92
ADT generator: polymorphic types (list, option…)
2020-02-10 11:45:44 +0100
2588de2395
Remove generated file fold.ml
2020-02-10 11:49:54 +0100
c3b1c1ac0f
Removed promote-until-clean because it moves the file out of _build instead of copying it, which causes issues for the gitlab build
2020-02-10 11:49:13 +0100
76ad9c47ec
cleanup
2020-02-10 11:42:32 +0100
42699256e5
Run adt_generator.exe as part of dune runtest
2020-02-10 11:50:28 +0100
35815ce5b4
Removed vendors/UnionFind/UnionFind.install which is a generated file that was .gitignored but had been added by accident
2020-02-10 11:39:31 +0100
8f03d45ec3
Make more scripts print their commands, to help debug issues in GitLab
2020-02-10 11:35:31 +0100
3969df5a5d
Fixes in SH scripts
2020-02-10 11:35:05 +0100
140a0fe0b2
Temporary debug prints for build-and-package failure
2020-02-10 11:33:05 +0100
1bd9ca9d1e
Remove message "tput: No value for $TERM and no -T specified" in gitlab builds
2020-02-09 22:12:41 +0100
f10cb1616e
Merge branch 'rinderknecht@contracts' into 'dev'
2020-02-10 19:35:22 +0000
87a8901645
review fixes
2020-02-10 20:02:43 +0100
f798392760
constant typer: * Removed unused LIST_CONS * support for misc constants (untestetable for now)
2020-02-10 19:54:23 +0100
9b5d63de1f
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts
2020-02-10 19:33:04 +0100
541728fc6c
First batch of rewritten contracts (PascaLIGO).
2020-02-10 19:27:58 +0100
61832354d9
Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop
2020-02-10 19:22:52 +0100
82aacde97f
More documentation rewrites.
2020-02-10 19:07:20 +0100
a4adeb4521
Merge branch 'feature/ligo-interpreter-v1' into 'dev'
2020-02-10 17:34:50 +0000
8c38352290
ligo interpreter : adding more tests
2020-02-10 12:02:36 +0100
0e5a68d58b
ligo interpreter : review fixes
2020-02-09 19:04:21 +0100
3ce0d180f5
ligo interpreter: simplfied AST merge
2020-02-09 18:50:18 +0100
ce70c82122
ligo interpreter : moving combinators do a dedicated module
2020-02-07 15:55:39 +0100
69ddce1860
add temporary CLI comand for ligo interpreter tests
2020-02-07 13:07:57 +0100
0374c5900b
add missing 'Set.iter' to cameligo
2020-02-07 12:06:10 +0100
f08879feb0
ligo interpreter support for :
2020-02-06 11:48:10 +0100
29959ec915
Initial LIGO interpreter version
2020-02-04 20:21:13 +0100
6fd8f5b4d3
ignore all .pp.ligo's
2020-01-30 17:16:21 +0100
78bbf9b044
Merge branch 'dev' into 'dev'
2020-02-09 09:02:31 +0000
9164206ef1
Merge branch 'fix/print-record-in-lexicographic-order' into 'dev'
2020-02-09 08:46:51 +0000
995ca7e807
Print numeric records as tuples, better typer error messages for records & tuples
2020-02-07 19:46:01 +0100
199e0a3bb2
Print records and variants in lexicographic order
2020-02-07 16:33:09 +0100
ae82144418
removing assign, tuples, sequences,
2019-12-04 18:30:52 +0100
0ce2a603a3
Fix "hanging sudo" bug.
2020-02-09 00:19:43 +0100
e6dc4371ee
Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop
2020-02-08 10:16:34 +0100
c79b09ed86
Merge branch 'dev' into 'dev'
2020-02-08 06:13:40 +0000
8db8f6f039
Add list reference page to docs and add unit tests for List.size
2020-02-07 20:17:13 -0800
ebf258d128
Merge branch 'docs/string-reference' into 'dev'
2020-02-07 23:01:25 +0000
02c59db8b8
Simplify a few pascaligo functions in string reference page
2020-02-07 14:03:57 -0800
fff734dd00
Changes add function to a single tuple param, resolving example LIGO statement
2020-02-07 14:24:15 -0700
2c26d0e5ba
Merge branch 'ci/hookup_ide' into 'dev'
2020-02-07 18:19:59 +0000
bffa1585b0
Fix docker tag to use default docker hub registry
2020-02-07 09:14:50 -0800
513a83a0a4
Merge branch 'ci/missed_ci_var' into 'dev'
2020-02-07 16:34:33 +0000
613d7309c1
Update trigger to point to new private deploy repo.
2020-02-07 08:30:58 -0800
74198fd61f
Add trigger to kick off the webide child ci pipeline
2020-02-07 08:09:05 -0800
7d94a41d92
Missed one stray environment variable
2020-02-07 08:01:07 -0800
5ef271484f
Merge branch 'feature/assertion-fix' into 'dev'
2020-02-07 15:54:15 +0000
5aaf042e5d
Merge branch 'feature/import_ide' into 'dev'
2020-02-07 15:26:43 +0000
836eb3f062
Merge branch 'ci/env_vars' into 'dev'
2020-02-07 15:20:09 +0000
5ef61d3520
add assert primitive for pascaligo
2020-02-06 12:05:13 +0100
54f4ffd413
Fix assetion with a default string "failed assertion"
2020-02-06 11:53:50 +0100
4c45eb9fb3
Add string reference page to docs
2020-02-07 05:27:23 -0800
bd4a75016d
Merge branch 'add_lsl_lsr' into 'dev'
2020-02-07 11:08:13 +0000
560ae6e0bc
Remove block skips.
2020-02-07 11:10:47 +0100
c119c44c13
Import webide into main ligo monorepo
2020-02-06 19:04:18 -0800
dfb4c4caa3
Move CI ENV vars and use a recent docker image
2020-02-06 18:43:24 -0800
8003a9e2b1
Merge branch 'feature/remove-useless-constants' into 'dev'
2020-02-06 21:26:04 +0000
d3a34445f4
Merge branch 'bugfix/new-typer-9' into 'dev'
2020-02-06 20:56:04 +0000
78693b482c
remove unused test
2020-02-06 18:12:44 +0100
784c2da81b
Remove useless constants:
2020-02-06 18:06:36 +0100
e14dd18680
Correction: lsl and lsr are impure
2020-02-06 17:30:50 +0100
9433fa9bc4
Add lsl and lsr support.
2020-02-06 16:17:33 +0100
c82ae6359a
fix broken .md file (sets-lists-tuples)
2020-02-06 13:32:51 +0100
9f9f5c82ae
Added an example about lambdas.
2020-02-06 12:32:23 +0100
3583f72cb4
Improvements from Sander and JDP.
2020-02-06 11:47:41 +0100
61ec0f41c3
Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop
2020-02-05 20:02:06 +0100
8232eecc6e
Merge branch 'rinderknecht-dev' into 'dev'
2020-02-05 17:45:52 +0000
26059c281a
Forgot to check that function parameters are not reserved names.
2020-02-05 18:09:45 +0100
7a484cb45c
Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop
2020-02-05 16:29:37 +0100
410bbb0723
Complete rewrite of the documentation.
2020-02-05 16:28:40 +0100
04daf776d3
Add rough draft of big map reference page to docs
2020-02-04 23:08:47 -0800
John David Pressman