balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 72f5698c3d add variants Galfour 2019-04-22 18:15:39 +0000
  • 0a83ea5227 dune-capsulate Galfour 2019-04-22 07:21:59 +0000
  • 55bff7b530 lift tests to ast_simplify Galfour 2019-04-22 03:29:21 +0000
  • de6a3bbf6d refactor more Galfour 2019-04-21 17:07:35 +0000
  • 0e04a152bb refactor ast_simplified Galfour 2019-04-21 12:08:12 +0000
  • 7a2bd3d73d prepare lifting transpilation environments Galfour 2019-04-21 11:56:57 +0000
  • c2ac9ab361 rewrite type environments Galfour 2019-04-21 09:03:50 +0000
  • af6da6bfa0 add environment to typed expression Galfour 2019-04-20 21:35:18 +0000
  • b61869cb16 refactor more Galfour 2019-04-20 20:04:30 +0000
  • 369e73a110 refactor ast_typed Galfour 2019-04-20 19:14:18 +0000
  • 50926c205e update lib_utils Galfour 2019-04-20 18:52:28 +0000
  • ecc509ad4c Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-04-20 11:06:49 +0000
  • d7426504d0 replace tuples by records Galfour 2019-04-20 11:06:40 +0000
  • 741742e48b Debug for CI Georges Dupéron 2019-04-20 12:31:56 +0200
  • a3b5a82d97 Debug info for CI, added synopsis for ligo.opam Georges Dupéron 2019-04-20 12:27:32 +0200
  • 3ef44fe523 dummy to trigger build Georges Dupéron 2019-04-20 12:03:06 +0200
  • 6ca85e0be4 Added missing dependencies Georges Dupéron 2019-04-20 11:09:07 +0200
  • fee7b2b750 Wrong repo (tezos-opam-repository → new-tezos-opam-repository) Georges Dupéron 2019-04-20 10:29:54 +0200
  • d29502c926 Re-add a dependency on ppx_let, it seems that it is used somewhere (in third-party code?) Georges Dupéron 2019-04-20 02:14:28 +0200
  • 058f03d223 Use only ppx_let_generalized (one dune file was still relying on ppx_let) Georges Dupéron 2019-04-20 01:51:37 +0200
  • e578b991b3 Use only ppx_let_generalized (some dune files were still relying on ppx_let) Georges Dupéron 2019-04-20 01:23:58 +0200
  • 772db1c25d CI 3 Georges Dupéron 2019-04-20 01:00:07 +0200
  • b4148f5c65 CI 2 Georges Dupéron 2019-04-20 00:41:29 +0200
  • 645a217da5 CI 1 Georges Dupéron 2019-04-20 00:31:49 +0200
  • 0786edf3f3 Added JSON annotations on Ok values in the trace monad. Georges Dupéron 2019-04-20 00:02:54 +0200
  • ba1e605011 refactor little ; add error message Galfour 2019-04-19 20:57:05 +0000
  • 168251ff0e move predicate compilation Galfour 2019-04-19 18:25:32 +0000
  • 01bb951d3d rm wrong dep Georges Dupéron 2019-04-19 18:05:10 +0200
  • 0ce5a864c0 Renamed ppx_let to ppx_let_generalized (part 2) Georges Dupéron 2019-04-19 16:05:52 +0200
  • a759b50f87 Renamed ppx_let to ppx_let_generalized (part 1) Georges Dupéron 2019-04-19 16:05:03 +0200
  • db2cc00626 Merge ppx_let Georges Dupéron 2019-04-19 12:35:00 +0200
  • e79b17fddf Defined Open_on_rhs_bind module for new ppx_let Georges Dupéron 2019-04-19 12:34:48 +0200
  • 9942e5677d Moved all ppx_let files from third-party git repository to src/ppx_let Georges Dupéron 2019-04-19 12:25:24 +0200
  • abe8126151 Single point of configuration to add many let%foo directives Georges Dupéron 2019-04-19 11:59:32 +0200
  • 280981c73b major refactoring ; now easy to add new operators Galfour 2019-04-19 09:27:34 +0000
  • eaf749cbc5 refactor: mini_c expression built and access through combinators Galfour 2019-04-19 07:59:16 +0000
  • 0521c3d3b7 test closure and higher order function Galfour 2019-04-18 21:29:35 +0000
  • ef4a5030fa closure Galfour 2019-04-18 15:51:00 +0000
  • 3515730d9f add simple closures Galfour 2019-04-18 09:08:39 +0000
  • 079e997cc4 tmp Galfour 2019-04-17 22:53:43 +0000
  • c74e2846df fix free_variables bug Galfour 2019-04-17 22:02:11 +0000
  • d97f546b45 tmp: some error Galfour 2019-04-17 15:41:20 +0000
  • 5131ac0024 centralize declarations ; prompt questions Galfour 2019-04-17 08:24:21 +0000
  • d72d60a08d add alternative definition for operation typing Galfour 2019-04-16 15:59:28 +0000
  • 2df862bdbf v0.13-preview.120.32+18 Xavier Clerc 2019-04-16 09:38:08 +0100
  • 49c44f9721 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-04-15 17:42:15 +0000
  • 126b62b18e better mini_c instructions Galfour 2019-04-15 17:42:06 +0000
  • f8090e4b3e Threaded the srcloc for top-level declarations until transpiler.ml Georges Dupéron 2019-04-15 18:32:15 +0200
  • e2ef15a9b9 Moved Pos and Region to lib_utils so that source locations in lib_utils may use those. Georges Dupéron 2019-04-15 15:44:08 +0200
  • 5b577c1fa4 tmp Galfour 2019-04-15 11:38:05 +0000
  • c2dd795287 tmp Galfour 2019-04-15 11:20:20 +0000
  • fc544bacf9 simplify environments Galfour 2019-04-15 10:55:05 +0000
  • 0522d922c2 separate declaration from assignment at mini_c and ast_typed level Galfour 2019-04-15 07:23:41 +0000
  • 68f37e14aa rename Mini_c statements Galfour 2019-04-15 05:26:04 +0000
  • 1007bfda1e add counter Galfour 2019-04-14 21:45:36 +0000
  • 3e6e96644c add list (partial) Galfour 2019-04-14 12:02:45 +0000
  • 7ca28cb34a bin Galfour 2019-04-13 22:19:07 +0000
  • cc4138fc2c
         Removed dependency of ParserLog upon EvalOpt. Christian Rinderknecht 2019-04-13 20:20:06 +0200
  • c7503e3285
         Added back export of print_path. Christian Rinderknecht 2019-04-13 19:54:33 +0200
  • 6bf9dc9003
         Removed last dependency on EvalOpt from AST. Christian Rinderknecht 2019-04-13 19:46:03 +0200
  • 73b6c58aa5 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Christian Rinderknecht 2019-04-13 19:20:49 +0200
  • ff81184c4c Removed last dependency of Lexer on EvalOpt. Renamed field "record_name" into "struct_name" in AST. Christian Rinderknecht 2019-04-13 19:19:36 +0200
  • d8d2d79e9d
         Removed last dependency of Lexer on EvalOpt. Christian Rinderknecht 2019-04-13 19:19:36 +0200
  • fd5bee397b
         Changed signature of [Lexer.S] so the implementation of [print_error] does not depend on [EvalOpt]. Christian Rinderknecht 2019-04-13 18:34:29 +0200
  • 4d61ac0a13
         Moved logging from Lexer to LexerLog. Christian Rinderknecht 2019-04-13 18:13:05 +0200
  • df84763eb2 basic bin Galfour 2019-04-13 13:26:13 +0000
  • 9ac9fdd562 minimal liquidity integration Galfour 2019-04-13 08:59:32 +0000
  • 87a0d8818b integrate liquidity Galfour 2019-04-12 22:07:31 +0000
  • 2499222b46 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-04-12 19:32:16 +0000
  • b106ee5186 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-04-12 19:32:06 +0000
  • e4ca6608bb Structured error messages with JSON, for now the pretty-printers are badly written but can easily be refactored. Georges Dupéron 2019-04-12 19:45:52 +0200
  • f6bfa1e049 extend with annots Galfour 2019-04-12 16:28:12 +0000
  • 47eed300e9 simple_error, simple_fail and asserts should take strings as arguments, not thunks Georges Dupéron 2019-04-12 16:55:04 +0200
  • badda06e7b start simplify liquidity Galfour 2019-04-12 13:30:11 +0000
  • 71307ce626 merge Galfour 2019-04-12 06:53:05 +0000
  • 372c488dd7 parse sample file Galfour 2019-04-11 23:16:14 +0000
  • dffdc766fc Lazy construction of error and trace messages so that the happy path is faster Georges Dupéron 2019-04-11 18:56:36 +0200
  • c0b5ad05cf refactor mini_c Galfour 2019-04-10 12:47:55 +0000
  • 6bca49fb8b more heaps Galfour 2019-04-10 12:09:32 +0000
  • c8bd6c8893 add map update Galfour 2019-04-10 09:28:52 +0000
  • 95d901a43d tmp Galfour 2019-04-09 20:42:04 +0000
  • 55622c3c1b add loop ; fix bug in sub-scope affectation Galfour 2019-04-09 13:25:14 +0000
  • 2eeea19ecb non-atomic commit: refactor ; add Nat to lexer and parser ; improve multifix ; start heap tests Galfour 2019-04-09 09:05:08 +0000
  • d98f92ce9c more housekeeping ; add programs to multifix-parser Galfour 2019-04-07 16:29:14 +0000
  • d12ec7d4eb housekeeping Galfour 2019-04-07 14:01:50 +0000
  • 8f518a508f tests pasS Galfour 2019-04-07 13:59:36 +0000
  • e9f90858a2 integration Galfour 2019-04-06 11:18:55 +0000
  • 7d6ce14a70 pass tests Galfour 2019-04-06 07:34:23 +0000
  • 91618eda7f generating token files Galfour 2019-04-05 21:12:43 +0000
  • 8657509bd7 moving stuff around Galfour 2019-04-05 17:53:41 +0000
  • aca086e5e7 multifix + restructure Galfour 2019-04-05 15:37:37 +0000
  • 8edada0f6c Refactoring: remove make_ combinators in ast_typed and use optional argument instead Georges Dupéron 2019-04-02 18:36:11 +0200
  • 206a3dbd35
         Added traces for system and command errors. Added handling of #include. Christian Rinderknecht 2019-04-02 17:21:08 +0200
  • ee190174fe Fixed README Georges Dupéron 2019-04-02 16:44:19 +0200
  • 3a1ec72ed1
         Removal of Georges' first typechecker. Christian Rinderknecht 2019-04-02 11:20:35 +0200
  • e0cac4bd50
         Factored the parsing of case constructs for expressions and instructions. Christian Rinderknecht 2019-04-02 10:22:47 +0200
  • 5829982c65
         Preprocessed file has now extension .pp.ligo. Christian Rinderknecht 2019-04-01 21:01:45 +0200
  • 99defca21a
         Added alternate syntax for "case" constructs (both expression and instruction). Christian Rinderknecht 2019-04-01 20:59:37 +0200
  • 9a4ff35fc7
         Factorised the "case" constructs into one. Christian Rinderknecht 2019-04-01 18:16:06 +0200
  • e54c5e0c42 Renaming (WIP) Georges Dupéron 2019-04-01 15:48:04 +0200