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

Commit Graph

  • 24b9b9f5ce
         Forgot to patch simplify.ml to accept the new AST (for record types). Christian Rinderknecht 2019-04-01 15:02:13 +0200
  • 0d98252fa0
         Added alternate syntax for record types, with brackets. Christian Rinderknecht 2019-04-01 14:51:07 +0200
  • b1502106e9 Fixed shadowing issue Georges Dupéron 2019-04-01 14:18:41 +0200
  • f81c9868f8 Typo Georges Dupéron 2019-04-01 13:47:03 +0200
  • 5cf1dc7270 rename mini-c Galfour 2019-04-01 10:45:39 +0000
  • 7bb594af0c rename ast-typed Galfour 2019-04-01 09:37:40 +0000
  • 2de68d4a00 rename ast-simplified Galfour 2019-04-01 09:03:38 +0000
  • f8dcca8a12 add expression pattern-matching Galfour 2019-03-31 11:55:52 +0000
  • c7a7f0065a mend Galfour 2019-03-30 22:06:05 +0000
  • f19f3fd785 map tests Galfour 2019-03-30 18:25:50 +0000
  • 941dadeb3b added matching tests Galfour 2019-03-30 00:52:40 +0000
  • 0e8ba13660 added tuples Galfour 2019-03-29 19:44:14 +0000
  • f5d9fa8266 added maps Galfour 2019-03-29 15:47:56 +0000
  • c3c4473a0b tests for multiple parameters + records Galfour 2019-03-29 14:05:43 +0000
  • c6f74061ef Test for lambda Georges Dupéron 2019-03-28 17:24:12 +0100
  • e58cf2a19d Refactored typer tests + test for constructor Georges Dupéron 2019-03-28 15:07:59 +0100
  • e184903a4f power merge Galfour 2019-03-28 14:43:49 +0000
  • 3bc925cac3 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-03-28 13:43:11 +0000
  • 7f52774c06 multiple parameters allegedly work Galfour 2019-03-28 10:55:24 +0000
  • 2ae73f80a9 multiple parameters Galfour 2019-03-28 10:26:25 +0000
  • 98cf3a689d
         The only reserved name now is "args", for the backends' sake. Christian Rinderknecht 2019-03-28 09:21:32 +0100
  • 01128b6518
         Fixed pattern matching of lists. Christian Rinderknecht 2019-03-27 18:17:23 +0100
  • baffeeb6eb
         Series of instructions can now be interleaved with data declarations. Christian Rinderknecht 2019-03-27 16:13:57 +0100
  • 4025e9e169 rewriting Galfour 2019-03-27 13:02:38 +0000
  • 7f617263db Unplugged AST2 and Typecheck2 which are not used anymore and break the build Georges Dupéron 2019-03-27 11:31:16 +0100
  • 4bf32a8378 Disable git commit in Version.ml for now Georges Dupéron 2019-03-23 13:39:56 +0100
  • 813b405a04 Turn ligo-parser into a library (was executable) Georges Dupéron 2019-03-25 17:12:52 +0100
  • b5dc0c9e64 Merge AST_with_records into master Georges Dupéron 2019-03-27 11:17:20 +0100
  • 4ffccb8dad Moved all files into src/ligo/ligo-parser prior to merge into the main code base Georges Dupéron 2019-03-27 11:16:20 +0100
  • ea358f7101 Removed manual copy of ligo-parser prior to merging Christian's history Georges Dupéron 2019-03-27 11:13:15 +0100
  • 89a7821e87 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-03-27 06:30:14 +0000
  • 7716f78139 more tests Galfour 2019-03-27 06:30:05 +0000
  • e4eaad5385
         Refactoring of AST and parser (type [map_injection] removed). Christian Rinderknecht 2019-03-26 23:36:41 +0100
  • b200239d82
         Refactoring of the parser specification. Christian Rinderknecht 2019-03-26 19:41:28 +0100
  • 45a26826ca
         Maps and sets defined by extension are now general expressions. Christian Rinderknecht 2019-03-26 19:15:46 +0100
  • f9ffc7b8e7
         List elements are now consistently separated by semicolons. Christian Rinderknecht 2019-03-26 17:25:42 +0100
  • 4476a2faba
         Selections can be done now through tuples. Christian Rinderknecht 2019-03-26 17:10:04 +0100
  • e342c278d7 Some typer tests for expressions Georges Dupéron 2019-03-26 16:20:40 +0100
  • 847a3a42b6
         Refactoring for tuple expressions. Christian Rinderknecht 2019-03-26 15:51:28 +0100
  • c0800a64ef
         Set membership is now a full-fledged expression. Christian Rinderknecht 2019-03-26 12:00:09 +0100
  • 5507482b2d test for condition Galfour 2019-03-26 09:59:20 +0000
  • fef4337e83
         Support for empty sets and maps. Alternate syntax for maps and lists: sets, maps and lists are now homogeneous. Christian Rinderknecht 2019-03-26 10:31:55 +0100
  • 1fe74323be more tests Galfour 2019-03-26 08:36:22 +0000
  • 043387ec14 better test Galfour 2019-03-26 07:28:01 +0000
  • 10bcecc490 basic top level Galfour 2019-03-25 20:52:09 +0000
  • 98f9d3e417
         Extended conditional syntax for "else" clauses. Christian Rinderknecht 2019-03-25 17:25:10 +0100
  • 984fa24ca6 Installation seems to work using README_INSTALL Georges Dupéron 2019-03-25 17:12:52 +0100
  • aced77e085
         Added alternate syntax for conditionals in "then" clauses. Christian Rinderknecht 2019-03-25 17:14:35 +0100
  • 457a0085f7
         I added and alternate syntax for blocks of instructions. Christian Rinderknecht 2019-03-25 16:38:07 +0100
  • 1ec945fa4b Installation commands (temporary) Georges Dupéron 2019-03-23 14:46:57 +0100
  • afca07d888 This version of OCaml (4.06.1 with dune/opam) seems to not like shadowing vs. open Georges Dupéron 2019-03-23 13:41:49 +0100
  • 3cb9a311ee Disable git commit in Version.ml for now Georges Dupéron 2019-03-23 13:39:56 +0100
  • f614c692d1 Initial import of Rope library Georges Dupéron 2019-03-23 00:17:50 +0100
  • f08b0e155b fixed tezos-utils.opam Galfour 2019-03-25 07:48:43 +0000
  • 7ba31d4d7d introspection Galfour 2019-03-24 18:53:20 +0000
  • 47c8e96e95 more basic structure Galfour 2019-03-24 17:35:43 +0000
  • ccd4a17aac pipeline works Galfour 2019-03-23 13:47:18 +0000
  • ecefa598f7 ez run main Galfour 2019-03-23 12:48:20 +0000
  • 9adbbb34bc pipeline ok Galfour 2019-03-23 10:52:25 +0000
  • 0ffd3d4b64 tmp Galfour 2019-03-22 20:08:37 +0000
  • ea4af374f9
         Removed braces from the lexer and parser. Christian Rinderknecht 2019-03-22 14:11:32 +0100
  • ad6cbf32eb
         I added support for set membership. Christian Rinderknecht 2019-03-21 23:45:19 +0100
  • 19f6981ae7
         I added an optional semi-colon before "else". Christian Rinderknecht 2019-03-21 23:18:09 +0100
  • c76ec00c9b
         I added the patching of sets. Christian Rinderknecht 2019-03-21 23:12:46 +0100
  • 98590b2e4a
         Added support for removal from sets. Christian Rinderknecht 2019-03-21 23:01:21 +0100
  • f6dbd9d601
         I added set definitions by extension. Christian Rinderknecht 2019-03-21 22:55:08 +0100
  • 66974949b2 first working example of the whole pipeline Galfour 2019-03-21 21:37:44 +0000
  • 1e65c63d99
         Added construct remove k from map m. Christian Rinderknecht 2019-03-21 21:55:59 +0100
  • 285be32729
         I added an optional semi-colon in record type declarations. Christian Rinderknecht 2019-03-21 21:34:22 +0100
  • 0975f71059 tmp Galfour 2019-03-21 14:53:09 +0000
  • fa8adb9bde
         Restricted types of parameters to cartesian types. Christian Rinderknecht 2019-03-21 15:09:35 +0100
  • 3b318d0f06
         Renamings. Christian Rinderknecht 2019-03-21 12:55:24 +0100
  • 8819422542 pre big modif Galfour 2019-03-20 22:04:39 +0000
  • abbebbf0f6
         Refactoring of the AST. Christian Rinderknecht 2019-03-20 21:36:12 +0100
  • d23c49920c tmp Galfour 2019-03-20 17:25:32 +0000
  • a9f88e3ddf tmp Galfour 2019-03-20 17:06:12 +0000
  • aa117ecfc2
         I removed dummy module [MBytes] an use [Hex] directly. Christian Rinderknecht 2019-03-20 16:31:33 +0100
  • 495686bbd4
         I extended the right-hand side of assignments to accept "None" without type annotation. Christian Rinderknecht 2019-03-20 16:16:30 +0100
  • 1918bc00d1 tmp Galfour 2019-03-20 14:53:34 +0000
  • 24c0a33c99 I extended left-hand sides of assignments to have qualified paths. Christian Rinderknecht 2019-03-20 14:57:55 +0100
  • dc70df99f9
         I added qualified names (paths) as left-hand sides of assignments. Christian Rinderknecht 2019-03-20 13:27:55 +0100
  • e8443937fd
         Changed "||" -> "or" and "&&" -> "and" to be more Pascal-like. Christian Rinderknecht 2019-03-20 12:28:25 +0100
  • 589b62a30c
         Extended map expression to map constants by extension. Christian Rinderknecht 2019-03-20 11:24:27 +0100
  • 0768f0c27d
         Ported to constant declaration the work done for variable declarations. Christian Rinderknecht 2019-03-20 10:06:33 +0100
  • 563bc59285
         Added qualified names to patches ("patch x.y.z with ..."). Christian Rinderknecht 2019-03-20 09:45:32 +0100
  • 60c23850bd
         Small refactoring of the AST. Christian Rinderknecht 2019-03-20 09:26:24 +0100
  • 8eaf1a90ec
         Maps can be defined by extension in declarations. Christian Rinderknecht 2019-03-20 09:11:19 +0100
  • 4c9a743411
         Replaced expression "copy ... with ..." by instruction "patch ... with". Christian Rinderknecht 2019-03-19 14:32:43 +0100
  • c3b304db4a
         I relaxed the extension to the grammar that enabled non-annotated empty lists and None values as initial values in declarations. Christian Rinderknecht 2019-03-19 11:54:23 +0100
  • d994592a1b
         Changed "match ... with ..." to "case ... of ..." Christian Rinderknecht 2019-03-19 11:46:30 +0100
  • 6c5ae52db6
         I relaxed the grammar to support in the parser for initial values of variables to not require type annotation, like Christian Rinderknecht 2019-03-19 10:52:47 +0100
  • 46d6df2146
         Changed "do nothing" to "skip". Christian Rinderknecht 2019-03-18 18:09:15 +0100
  • 623683839f
         Removed keyword "null", replaced by two keywords "do" and "nothing". Christian Rinderknecht 2019-03-18 17:47:11 +0100
  • bbb5966132
         Merge branch 'master' into AST_with_records Christian Rinderknecht 2019-03-15 08:45:00 +0100
  • acf1706d3d more typechecker structure Georges Dupéron 2019-03-14 22:42:40 +0100
  • 63be1b9b7d More of the type annotator structure Georges Dupéron 2019-03-14 22:11:27 +0100
  • bac4ce1024 More type annotator skeleton Georges Dupéron 2019-03-14 21:14:05 +0100
  • 0943408463 SMap.t for records and sums Georges Dupéron 2019-03-14 20:42:41 +0100
  • 8830f598df skeleton for a_types Georges Dupéron 2019-03-14 20:09:06 +0100
  • fb97b056ca Started structure for the type annotator Georges Dupéron 2019-03-14 20:00:01 +0100