balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,739 Commits 2 Branches 0 Tags 65 MiB
ae8913fa8d
Commit Graph

4739 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Suzanne Dupéron
ae8913fa8d Merge branch 'feature/adt-generator-poly-3' into 'dev' 
ADT generator: support polymorphic types ('a list, 'a option) + remove auto-generated file + debug that

See merge request ligolang/ligo!403
 2020-02-10 20:42:04 +00:00
Suzanne Dupéron
e86f15e5da Show OPAM logs in case of failure inside of Docker 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
0e5002fbeb Revert "Temporary debug prints for build-and-package failure" 
This reverts commit 81690394b0a6d5194b3f8603a1b066ce856ebfae.
 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
76fa4b0549 Revert "Make menhir less verbose, to see error messages in gitlab." 
This reverts commit b5f3ae76b049d4e712bd539b39d771191bc8978b.
 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
e6dbe60c2c Revert "try to debug inside docker" 
This reverts commit 37daa934d5e7ba60614a92cf0dfa9d4ebfac59d2.
 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
7bad718135 Add missing dependency on Python 3 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
e84b739fbc try to debug inside docker 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
c71e47f252 Make menhir less verbose, to see error messages in gitlab. 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
5151a0fd92 ADT generator: polymorphic types (list, option…) 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
2588de2395 Remove generated file fold.ml 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
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 20:40:43 +01:00
Suzanne Dupéron
76ad9c47ec cleanup 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
42699256e5 Run adt_generator.exe as part of dune runtest 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
35815ce5b4 Removed vendors/UnionFind/UnionFind.install which is a generated file that was .gitignored but had been added by accident 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
8f03d45ec3 Make more scripts print their commands, to help debug issues in GitLab 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
3969df5a5d Fixes in SH scripts 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
140a0fe0b2 Temporary debug prints for build-and-package failure 2020-02-10 20:40:43 +01:00
Suzanne Dupéron
f10cb1616e Merge branch 'rinderknecht@contracts' into 'dev' 
First batch of rewritten contracts (PascaLIGO).

See merge request ligolang/ligo!405
 2020-02-10 19:35:22 +00:00
Christian Rinderknecht
9b5d63de1f Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts 2020-02-10 19:33:04 +01:00
Christian Rinderknecht
541728fc6c First batch of rewritten contracts (PascaLIGO). 2020-02-10 19:27:58 +01:00
Rémi Lesenechal
a4adeb4521 Merge branch 'feature/ligo-interpreter-v1' into 'dev' 
LIGO interpreter v1

See merge request ligolang/ligo!391
 2020-02-10 17:34:50 +00:00
Lesenechal Remi
8c38352290 ligo interpreter : adding more tests 2020-02-10 12:02:36 +01:00
Lesenechal Remi
0e5a68d58b ligo interpreter : review fixes 2020-02-09 19:04:21 +01:00
Lesenechal Remi
3ce0d180f5 ligo interpreter: simplfied AST merge 2020-02-09 18:50:18 +01:00
Lesenechal Remi
ce70c82122 ligo interpreter : moving combinators do a dedicated module 2020-02-09 18:22:33 +01:00
Lesenechal Remi
69ddce1860 add temporary CLI comand for ligo interpreter tests 2020-02-09 18:22:33 +01:00
Lesenechal Remi
0374c5900b add missing 'Set.iter' to cameligo 2020-02-09 18:22:33 +01:00
Lesenechal Remi
f08879feb0 ligo interpreter support for : 
* operations of map/set
* slice
* add
* literals/pps
 2020-02-09 18:22:33 +01:00
Lesenechal Remi
29959ec915 Initial LIGO interpreter version 2020-02-09 18:22:33 +01:00
Lesenechal Remi
6fd8f5b4d3 ignore all .pp.ligo's 2020-02-09 18:22:33 +01:00
Suzanne Dupéron
78bbf9b044 Merge branch 'dev' into 'dev' 
add Telegram link

See merge request ligolang/ligo!351
 2020-02-09 09:02:31 +00:00
Suzanne Dupéron
9164206ef1 Merge branch 'fix/print-record-in-lexicographic-order' into 'dev' 
Print record in lexicographic order

See merge request ligolang/ligo!393
 2020-02-09 08:46:51 +00:00
Suzanne Dupéron
995ca7e807 Print numeric records as tuples, better typer error messages for records & tuples 2020-02-09 00:31:30 +01:00
Pierre-Emmanuel Wulfman
199e0a3bb2 Print records and variants in lexicographic order 2020-02-09 00:31:30 +01:00
Pierre-Emmanuel Wulfman
ae82144418 removing assign, tuples, sequences, 2020-02-09 00:31:30 +01:00
Sander
c79b09ed86 Merge branch 'dev' into 'dev' 
Changes add function to a single tuple param, resolving example LIGO statement

See merge request ligolang/ligo!397
 2020-02-08 06:13:40 +00:00
John David Pressman
ebf258d128 Merge branch 'docs/string-reference' into 'dev' 
Add string reference page to docs

See merge request ligolang/ligo!392
 2020-02-07 23:01:25 +00:00
John David Pressman
02c59db8b8 Simplify a few pascaligo functions in string reference page 2020-02-07 14:03:57 -08:00
Justin Wilson
fff734dd00 Changes add function to a single tuple param, resolving example LIGO statement 2020-02-07 14:24:15 -07:00
Jev Björsell
2c26d0e5ba Merge branch 'ci/hookup_ide' into 'dev' 
Ci/hookup ide

See merge request ligolang/ligo!396
 2020-02-07 18:19:59 +00:00
Jev Björsell
bffa1585b0
Fix docker tag to use default docker hub registry 
Follow the same logic as `scripts/build_docker_image.sh` This could use
some further refactoring simplification.
 2020-02-07 09:14:50 -08:00
Jev Björsell
513a83a0a4 Merge branch 'ci/missed_ci_var' into 'dev' 
Missed one stray environment variable

See merge request ligolang/ligo!394
 2020-02-07 16:34:33 +00:00
Jev Björsell
613d7309c1
Update trigger to point to new private deploy repo. 2020-02-07 08:30:58 -08:00
Jev Björsell
74198fd61f
Add trigger to kick off the webide child ci pipeline 2020-02-07 08:09:05 -08:00
Jev Björsell
7d94a41d92
Missed one stray environment variable 2020-02-07 08:01:07 -08:00
Rémi Lesenechal
5ef271484f Merge branch 'feature/assertion-fix' into 'dev' 
Fix assetion with a default string "failed assertion"

Closes #139

See merge request ligolang/ligo!385
 2020-02-07 15:54:15 +00:00
Jev Björsell
5aaf042e5d Merge branch 'feature/import_ide' into 'dev' 
Import webide into main ligo monorepo

See merge request ligolang/ligo!390
 2020-02-07 15:26:43 +00:00
Jev Björsell
836eb3f062 Merge branch 'ci/env_vars' into 'dev' 
Move CI ENV vars and use a recent docker image

See merge request ligolang/ligo!389
 2020-02-07 15:20:09 +00:00
Lesenechal Remi
5ef61d3520 add assert primitive for pascaligo 2020-02-07 15:28:46 +01:00
Lesenechal Remi
54f4ffd413 Fix assetion with a default string "failed assertion" 2020-02-07 15:27:16 +01:00