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

Commit Graph

  • 7a84cf1c8b Removed If (missing in previous commit) Georges Dupéron 2019-03-14 19:32:36 +0100
  • 8fc1729f47 If simplified to match Georges Dupéron 2019-03-14 19:30:55 +0100
  • adec2bb5e0 Cleanup Georges Dupéron 2019-03-14 19:23:37 +0100
  • fa4b570950 translations from typed-ligo to mini-c Galfour 2019-03-14 18:22:51 +0000
  • 689673ccfa Single variable for ForCollect, set k=>v aside for now. Georges Dupéron 2019-03-14 19:14:10 +0100
  • 90e894f9f4 Add missing regions Georges Dupéron 2019-03-14 19:02:41 +0100
  • 76d4e1bb87 Distinguish function application from constructor application Georges Dupéron 2019-03-14 18:54:36 +0100
  • 3bf5ad2819 Reformatted constant in AST2 to match that of Typecheck2 Georges Dupéron 2019-03-14 18:45:38 +0100
  • ea0198388e Humour (bis) Georges Dupéron 2019-03-14 18:45:22 +0100
  • 8200bff783 Temporary `TODO in place of regions Georges Dupéron 2019-03-14 18:42:21 +0100
  • 51ee2cd63f Added stub (failwith) for type annotator Georges Dupéron 2019-03-14 18:31:59 +0100
  • 9b6d93b343 Replace tuples with records Georges Dupéron 2019-03-14 18:26:36 +0100
  • 5628e370b5 Indentation to match Typecheck2.mli Georges Dupéron 2019-03-14 18:26:25 +0100
  • cbb08f4405 Humour. Georges Dupéron 2019-03-14 18:19:51 +0100
  • ea02e4cffe
         Added keyword "storage" as parameter kind (with "var" and "const") for entrypoints. Christian Rinderknecht 2019-03-14 18:17:19 +0100
  • 9db37fbdc4 operations_decl is now disallowed Georges Dupéron 2019-03-14 18:05:57 +0100
  • 03671802eb DropUnit is now ProcedureCall Georges Dupéron 2019-03-14 18:05:24 +0100
  • fbf6e5d89f Cleanup Georges Dupéron 2019-03-14 18:05:07 +0100
  • e1ad18cd3e Merged tuples and records so that x.4 is valid in principle Georges Dupéron 2019-03-14 17:58:14 +0100
  • 9c5d31eca1 Merged tuples and records so that x.4 is valid in principle Georges Dupéron 2019-03-14 16:46:18 +0100
  • 332f18bb80 Single argument for lambdas Georges Dupéron 2019-03-14 16:15:42 +0100
  • 36e43a807e
         Added library option -I. Christian Rinderknecht 2019-03-14 14:27:00 +0100
  • 5f129d924a
         Removed storage and operations declarations: entry-points now take the former and return the latter. Christian Rinderknecht 2019-03-14 14:04:20 +0100
  • 8e294a013c
         Added assignment of a value to a map binding: m.[i] := v. Christian Rinderknecht 2019-03-14 13:19:52 +0100
  • 8a11fc71eb Removed non-applied type_constructor, single parameter for lambda expression. Georges Dupéron 2019-03-14 12:30:51 +0100
  • 1db0f7c1fe Wrong nesting of key and expr in records Georges Dupéron 2019-03-14 11:59:14 +0100
  • 97db2a431c type_expr vs. type_expr_case (put the regions and names in more places) in Typecheck2.mli Georges Dupéron 2019-03-14 11:50:18 +0100
  • 87386c2500 type_constructor in AST2.ml Georges Dupéron 2019-03-14 11:49:42 +0100
  • 2c0b6b518c Simplified Prod → Record in types, added region to field names. Georges Dupéron 2019-03-14 11:19:15 +0100
  • 96fb7c7ea2 Updated the typed AST interface after discussion with gabriel.alfour Georges Dupéron 2019-03-14 10:58:15 +0100
  • 2c1ecd97ed v0.13-preview.120.27+112 Xavier Clerc 2019-03-14 09:55:45 +0000
  • 41f664f197 Removed AST2 and Typecheck2 before the merge back to master. Christian Rinderknecht 2019-03-14 10:02:30 +0100
  • c0e6843240
         I added record creation (injection), field selection (projection) and functional update (copy). Christian Rinderknecht 2019-03-14 09:59:26 +0100
  • df4f49111b Added regions to type_expr. The regions picked are fairly imprecise. Georges Dupéron 2019-03-14 09:37:10 +0100
  • 6f1142d8f8 WIP on adding orig Georges Dupéron 2019-03-13 23:42:34 +0100
  • cf80ccd9a2 Small tweak on the typed AST Georges Dupéron 2019-03-13 23:42:16 +0100
  • 7cc6a681b1 add ligo-parser Galfour 2019-03-13 17:59:45 +0000
  • 650206ec14 AST2: tiny clean up Georges Dupéron 2019-03-13 21:52:59 +0100
  • 5ca94d13ba AST2: simplified some of the pattern-matching nodes Georges Dupéron 2019-03-13 17:10:57 +0100
  • cd3eed8c2e WIP on some cases Georges Dupéron 2019-03-13 14:29:45 +0100
  • a469d1237b Removed list expressions and patterns (now nested cons), merged record and tuple Georges Dupéron 2019-03-13 16:55:41 +0100
  • 1f4f541a5b
         Refactoring of the AST (more records, more structure). Christian Rinderknecht 2019-03-13 16:29:25 +0100
  • 84dbf1f7ee add ligo Galfour 2019-03-13 14:07:17 +0000
  • ff48226748 add ligo-helpers Galfour 2019-03-13 13:44:32 +0000
  • c449a76841 add meta-michelson Galfour 2019-03-13 12:41:36 +0000
  • b197c30299 modify proto-alpha Galfour 2019-03-13 11:56:49 +0000
  • 4b4c450b9a add tezos-utils Galfour 2019-03-13 11:12:15 +0000
  • cd86fea0e2 add memory-protocol-alpha Galfour 2019-03-13 10:04:26 +0000
  • 50f3127c32 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo-parser Christian Rinderknecht 2019-03-12 18:49:06 +0100
  • 269fd475ad
         Enabled the preprocessing by CPP of #include directives in Ligo. Christian Rinderknecht 2019-03-12 18:33:29 +0100
  • ec706906f1 Added interface for the result of the type annotator. Georges Dupéron 2019-03-11 03:26:21 +0100
  • 0fc4903ac2 Simplified the last expressions Georges Dupéron 2019-03-11 02:50:44 +0100
  • 0028923f7d Simplified more expressions Georges Dupéron 2019-03-11 02:36:25 +0100
  • 2621d84c1c Simplified more expressions Georges Dupéron 2019-03-11 02:30:26 +0100
  • 56ede7c8a7 Simplified more Georges Dupéron 2019-03-11 02:22:25 +0100
  • 74518a1768 AST2: Declarations can now be written in any order. Removed top-level block. Georges Dupéron 2019-03-11 01:57:07 +0100
  • 97b576b564 Removed global parameter declaration and added entrypoint in AST2 Georges Dupéron 2019-03-11 00:48:44 +0100
  • 31309562d9 Simplified some expressions Georges Dupéron 2019-03-10 10:19:59 +0100
  • d547616caa Temporarily reverted cleanup which prevented GIT from properly merging. Georges Dupéron 2019-03-10 20:58:23 +0100
  • 29df2ff9aa
         Declarations can now be written in any order. Removed top-level block. Christian Rinderknecht 2019-03-11 12:51:50 +0100
  • 8746802571
         Storage and operations are now explicitly named. Christian Rinderknecht 2019-03-10 19:41:27 +0100
  • 7dcad4779e
         I added entrypoints (and removed the parameter declaration). Christian Rinderknecht 2019-03-10 13:55:24 +0100
  • 0b5932f986
         Removed the looping visitor. Christian Rinderknecht 2019-03-10 13:37:03 +0100
  • b3a283d8b8 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo-parser Christian Rinderknecht 2019-03-10 12:53:52 +0100
  • 25356c5695 Configured GitLab CI Your Name 2019-03-09 01:45:57 +0100
  • c439786440 gitlab-ci fix… Your Name 2019-03-09 01:07:35 +0100
  • 31c6a33c49 gitlab-ci fix… Your Name 2019-03-09 00:48:33 +0100
  • a7e06efddb gitlab-ci fix… Your Name 2019-03-08 23:40:36 +0100
  • 178224c734 gitlab-ci fix… Your Name 2019-03-08 23:32:06 +0100
  • ad2b3cb1f9 Merge branch 'master' of gitlab.com:gabriel.alfour/ligo-parser Christian Rinderknecht 2019-03-08 22:05:41 +0100
  • bccbeb352e gitlab-ci fix… Your Name 2019-03-08 22:03:31 +0100
  • 00a255aa9e
         Changed the line comments to start with "//". The list constructor is now "#". Christian Rinderknecht 2019-03-08 16:06:50 +0100
  • 6ce10791b0 Ledger: add deauth APDU support, better get-authorized-key support, and friendlier CLI Elliot Cameron 2019-03-06 16:05:23 +0000
  • c842ef6a2d
         Opam: fix protocol packaging Grégoire Henry 2019-03-06 15:16:30 +0100
  • bcb9992921 gitlab-ci fix… Your Name 2019-03-06 10:43:44 +0100
  • 89d22c3be8 gitlab-ci fix… Your Name 2019-03-06 10:37:53 +0100
  • 7e4a70fac8
         Remove peer from active_peers when Peer_validator.create has failed Pierre Boutillier 2019-03-06 10:35:47 +0100
  • 5fea21359c gitlab-ci fix… Your Name 2019-03-06 10:35:55 +0100
  • 3e2172b2dd
         Distributed_db: don't fail when receiving a notification for a closing worker Grégoire Henry 2019-03-04 19:40:28 +0100
  • a3379065ea
         Distributed_db: fix concurency issue on Peer_validator creation Grégoire Henry 2019-03-04 19:12:39 +0100
  • 6c3d6ceb18 Added opam commands to .gitlab-ci.yml Your Name 2019-03-06 10:33:09 +0100
  • 43ebc969ec GitLab does not have a sudo command Your Name 2019-03-06 10:26:16 +0100
  • ebf382093e Typo in .gitlab-ci.yml Your Name 2019-03-06 10:21:23 +0100
  • d89483f04d First version of GitLab CI configuration Your Name 2019-03-06 10:13:20 +0100
  • 20052c843a Simplification of the AST. expr and pattern are not implemented yet. Your Name 2019-03-06 10:02:47 +0100
  • 172986bc03 weird bug Your Name 2019-03-06 00:07:57 +0100
  • 9d2efe74e5 Merge branch 'thread-type-parameter-experiment' into HEAD Your Name 2019-03-06 10:15:29 +0100
  • eba7f5ac8c
         Dune: fix dune.inc for added file in proto demo Benjamin Canou 2019-03-06 00:40:21 +0100
  • 0796b0355a CI: test that the various dune.inc are up-to-date Grégoire Henry 2019-02-06 17:01:44 +0100
  • 28f680ab91 Dune: remove src in proto_*/lib_protocol Grégoire Henry 2019-02-04 17:15:00 +0100
  • c3dd98dc0f Dune: do not use the infamous "OCaml syntax" anymore Grégoire Henry 2019-02-04 16:24:27 +0100
  • f9cbdf9110 docker: improve argument passing Grégoire Henry 2019-03-05 10:24:04 +0100
  • 00ff4bc322 Revert "Threaded 'a parameter everywhere" Your Name 2019-03-05 21:00:48 +0100
  • b5f7779a68 Revert "Renamed the extensibility type parameter to 'x so that it can easily be grepped for." Your Name 2019-03-05 21:00:48 +0100
  • 78629b6652 Revert "WIP…" Your Name 2019-03-05 21:00:47 +0100
  • a6585b6e91 Revert "Does not work" Your Name 2019-03-05 21:00:44 +0100
  • cbf565d4c0 Does not work Your Name 2019-03-05 20:41:58 +0100
  • 9b9760f052 WIP… Your Name 2019-03-05 20:37:32 +0100
  • fb85ea1f18 Renamed the extensibility type parameter to 'x so that it can easily be grepped for. Your Name 2019-03-05 18:16:21 +0100
  • 40377a80df Threaded 'a parameter everywhere Your Name 2019-03-05 18:13:09 +0100