balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
45 Commits 2 Branches 0 Tags 65 MiB
2dd7e2668c
Commit Graph

45 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Galfour
2dd7e2668c merge 2019-05-17 17:55:46 +00:00
Galfour
97adaad836 preparations for statements removal 2019-05-17 17:36:57 +00:00
Georges Dupéron
c773fe61ce revert let_in as lambda and add let_in 2019-05-17 19:14:00 +02:00
Galfour
ccdbd5bbd0 fix 2019-05-17 16:18:03 +00:00
Galfour
a94bf665f3 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo 2019-05-17 16:06:57 +00:00
Galfour
21f09da759 remove environment from transpilation of expressions 2019-05-17 16:03:41 +00:00
Christian Rinderknecht
6028cd9abd
I enabled constant data constructors. I added more to the documentation. 2019-05-17 16:29:22 +02:00
Christian Rinderknecht
90a9e1a783 In the process of optimising immediate applications as let-in [Broken]. 2019-05-16 18:17:27 +02:00
Christian Rinderknecht
e0fcfee2a3 Use different push and pull URLs for submodules 2019-05-16 15:38:40 +02:00
Christian Rinderknecht
cc706fc225 Gardening. 2019-05-16 15:28:28 +02:00
Christian Rinderknecht
5fd234c8c8 Removed unused src/bin_node. 2019-05-16 15:21:46 +02:00
Christian Rinderknecht
3c46b99202 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo 2019-05-16 10:58:29 +02:00
Christian Rinderknecht
37c9d1ff64
Added mini-documentation of internals. Fixing links after change of 
git repository.
 2019-05-16 10:18:05 +02:00
Galfour
4e76b5344d add last expressions in mini_c 2019-05-16 08:12:53 +00:00
Galfour
32ecf8cfca add expression constructions to mini_c 2019-05-15 22:00:18 +00:00
Galfour
df1916a1b9 normalizing renaming 2019-05-15 21:05:09 +00:00
Galfour
1029f42aac minor renamings 2019-05-15 18:28:25 +00:00
Galfour
7a5130f51f remove environments from mini_c 2019-05-15 18:16:28 +00:00
Georges Dupéron
d433dd85fc Add module aliases and dependencies 2019-05-15 17:21:12 +02:00
Georges Dupéron
da87f9ca86 Add implicit open of Simple_utils in ligodity 2019-05-15 17:10:57 +02:00
Georges Dupéron
8821e6c01e Rewrite local opam repository into a different folder and .gitignore it 2019-05-15 16:45:37 +02:00
Georges Dupéron
834cc8c072 Missing stuff in gitlab-ci 2019-05-15 16:35:46 +02:00
Christian Rinderknecht
c60329ef78 Fixed the build (which I broke, sorry). 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
3d9775edb3 More rewrites. [Still not compiling.] 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
af8d1083b7 Eased the translation from Ligodity AST to Liquidity AST. 
More precisely,

  * I commented out the operator "@" on lists in Ligodity (it can
    be implemented as a function, as a workaround).

  * I removed the parallel "let" construct (hence the "and" keyword).

  * I renamed the type "field_assignment" into "field_assign", in
    order to match Pascaligo AST.

  * The reading of the command-line options is now done by
    calling the function [EvalOpt.read], instead of an ugly
    side-effect when loading the binary of the module. Options
    are now found in a record of type [EvalOpt.options].

  * I added support in the Ligodity lexer for #include CPP
    directives.
 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
fdf7704a7c Fixed the type for ECall. 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
bb5dadca55 Modifying pascaligo.ml to become ligodity.ml [BROKEN]. 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
7de4a1802a Additions and refactoring so the AST gets even closer to that of PAscaligo. 
* Added type annotations for expressions.
* Added bytes.
* Changed the AST for function calls
* Changed the AST for constructor applications
 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
011ae44b54 Finished narrowing the gap between Ligodity AST and Pascaligo AST. 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
0796567aee Further reducing the distance from Ligodity AST to Pascaligo AST. 2019-05-15 16:05:03 +02:00
Christian Rinderknecht
dcbfbf781d Extended lib_utils/pos.ml{i}. First import of Ligodity. (No "simplify" yet.) 2019-05-15 16:04:37 +02:00
Georges Dupéron
22b331dbed Added tests to build, fixed some unused variables. 2019-05-15 15:17:04 +02:00
Galfour
3c6af09b21 fix warning; fix error in tests 2019-05-15 11:44:05 +00:00
Georges Dupéron
7f94d49243 update submodule 2019-05-14 20:19:23 +02:00
Georges Dupéron
bbf239dbe4 Update submodule 2019-05-14 20:12:39 +02:00
Georges Dupéron
5d17ddf4bb gitlab-ci: opam init --bare to make the build faster 2019-05-14 19:52:48 +02:00
Georges Dupéron
aa61e86657 Updated ligo-opam-repository submodule. 2019-05-14 19:42:33 +02:00
Georges Dupéron
b8f80b06f6 debug CI 2019-05-14 18:42:45 +02:00
Georges Dupéron
fadc84f76c gitlab-ci.yml syntax 2019-05-14 18:17:39 +02:00
Georges Dupéron
586d772488 Renamed job, use git submodules in gitlab-ci 2019-05-14 18:16:14 +02:00
Georges Dupéron
60f99b3e9c Moved script to rewrite OPAM repository outside of the .gitlab-ci.yml in ligo repo 2019-05-14 18:05:47 +02:00
Georges Dupéron
c43570a82d Move into src/; add vendors/ subfolder, add CI script. 2019-05-14 17:53:44 +02:00
Galfour
4a8aa8e311 change opam 2019-05-13 13:16:03 +00:00
Galfour
8765e7258a fix stuff 2019-05-13 12:20:23 +00:00
Galfour
1edfd8ea06 initial commit 2019-05-12 20:57:30 +00:00