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

Commit Graph

  • 6ccdf0bf9e fix george's fix Galfour 2019-05-14 17:32:58 +0000
  • c9039433dc fix michelson-parser Galfour 2019-05-14 17:32:14 +0000
  • 5c6dcfa9f3 fixed michelson-parser opam which was pointing to the wrong repo Georges Dupéron 2019-05-14 18:49:58 +0200
  • 960b6acb30 fixed michelson-parser opam which was pointing to the wrong repo Georges Dupéron 2019-05-14 18:50:36 +0200
  • b8f80b06f6 debug CI Georges Dupéron 2019-05-14 18:42:45 +0200
  • fadc84f76c gitlab-ci.yml syntax Georges Dupéron 2019-05-14 18:17:39 +0200
  • 586d772488 Renamed job, use git submodules in gitlab-ci Georges Dupéron 2019-05-14 18:16:14 +0200
  • 60f99b3e9c Moved script to rewrite OPAM repository outside of the .gitlab-ci.yml in ligo repo Georges Dupéron 2019-05-14 18:05:47 +0200
  • a6d8291dd2 Moved script to rewrite OPAM repository outside of the .gitlab-ci.yml in ligo repo Georges Dupéron 2019-05-14 18:04:46 +0200
  • c43570a82d Move into src/; add vendors/ subfolder, add CI script. Georges Dupéron 2019-05-14 16:37:29 +0200
  • d1cc80553b fixed michelson-parser opam which was pointing to old repo Georges Dupéron 2019-05-14 16:33:30 +0200
  • 4c3458b607 Moved ligo sources to src/ directory. Georges Dupéron 2019-05-14 17:24:57 +0200
  • 0ee624827e fixed michelson-parser opam which was pointing to old repo Georges Dupéron 2019-05-14 17:16:39 +0200
  • 1e48437349 update repository Galfour 2019-05-13 19:24:21 +0000
  • a989886f7f update repository Galfour 2019-05-13 15:22:13 +0000
  • 21e0a0b7c4 update repository Galfour 2019-05-13 15:13:55 +0000
  • 9b42256a9a update repository Galfour 2019-05-13 15:10:11 +0000
  • 79ad1b0898 update repository Galfour 2019-05-13 14:51:45 +0000
  • 053eea26b9 update repository Galfour 2019-05-13 14:48:49 +0000
  • a00261a99c update repository Galfour 2019-05-13 14:03:44 +0000
  • 38184d22a0 Setup docusaurus, add initial docs for variables, functions, entrypoints and operators Matej Sima 2019-05-13 15:55:32 +0200
  • cbfe45bede update repository Galfour 2019-05-13 13:22:47 +0000
  • 378e4a5904 make local >>? Galfour 2019-05-13 13:18:20 +0000
  • a47a19cd97 update utils Galfour 2019-05-13 13:17:24 +0000
  • 4a8aa8e311 change opam Galfour 2019-05-13 13:16:03 +0000
  • 4adc6cafaa update repository Galfour 2019-05-13 13:14:44 +0000
  • 93da5b25e6 change ligo Galfour 2019-05-13 12:31:26 +0000
  • 8765e7258a fix stuff Galfour 2019-05-13 12:20:23 +0000
  • a9211fad5c change versions Galfour 2019-05-13 07:42:54 +0000
  • a320b1a131 change version Galfour 2019-05-13 07:31:26 +0000
  • c8a73e8c3f change package version Galfour 2019-05-13 07:13:39 +0000
  • a78113196b update repository Galfour 2019-05-13 07:02:19 +0000
  • 2691d6598d update repository Galfour 2019-05-13 07:00:16 +0000
  • 18413ece45 remove ligo from modded tezos repository Galfour 2019-05-13 06:30:21 +0000
  • 92254686b5 change opam files Galfour 2019-05-12 22:43:18 +0000
  • aa7ea94034 update repository Galfour 2019-05-12 22:43:02 +0000
  • 9b8da7451e update repository Galfour 2019-05-12 22:23:13 +0000
  • a010bf2327 update repository Galfour 2019-05-12 22:00:28 +0000
  • b1711ca86d initial commit Galfour 2019-05-12 21:13:37 +0000
  • 1edfd8ea06 initial commit Galfour 2019-05-12 20:56:22 +0000
  • 0290504a6a initial commit Galfour 2019-05-12 20:46:25 +0000
  • d02475f1bf big commit, will surely need to be reversed Galfour 2019-05-12 19:18:33 +0000
  • 260c56ad58 fix bug in string; add address in expressions in pascaligo; add type annotations for expressions in pascaligo Galfour 2019-05-10 17:37:59 +0000
  • 14ad75892c
         Added support for mtz literals. Christian Rinderknecht 2019-05-10 14:53:34 +0200
  • 72aabf1f49 add cast from string to address Galfour 2019-05-08 13:50:41 +0000
  • 89308bcf4e add better error message when parsing expressions Galfour 2019-05-08 13:46:16 +0000
  • f3db37a7b1 add compile-storage to the cli Galfour 2019-05-08 12:21:33 +0000
  • f47d32de2e fix dispatch error Galfour 2019-05-07 14:59:12 +0000
  • 1e9760bb07 add tests for dispatch Galfour 2019-05-06 19:28:14 +0000
  • 0545dac1ac more tests Galfour 2019-05-06 16:14:57 +0000
  • 4485cb3b61 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-05-06 09:29:25 +0000
  • 775b286a39 more coase; better tests Galfour 2019-05-06 09:23:27 +0000
  • a5971a3b54 add crypto primitives; more coase; better tests Galfour 2019-05-06 06:36:26 +0000
  • a2caec9939 coase contracts in new ligo Galfour 2019-05-05 22:50:37 +0000
  • 5ae00aeb01 pass regression tests Galfour 2019-05-05 17:25:33 +0000
  • c5aab2cf85 close to finishing Galfour 2019-05-05 13:05:32 +0000
  • fe79b2bcf6 more with regular stacks Galfour 2019-05-04 22:42:53 +0000
  • 6e30690f2f it types now Galfour 2019-05-04 21:36:35 +0000
  • bdec7d0add
         Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Christian Rinderknecht 2019-05-04 23:14:20 +0200
  • 0c4181bb60
         I added the syntax "record [...]" for record expressions. Christian Rinderknecht 2019-05-04 23:12:40 +0200
  • 9ebd206494 tmp Galfour 2019-05-04 16:36:24 +0000
  • 7df3f68f77 better coase tests ; TODO list Galfour 2019-05-04 13:59:01 +0000
  • 9c80d060ed add first coase test Galfour 2019-05-04 10:04:45 +0000
  • ad5cc8b2d4 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-05-04 09:45:09 +0000
  • 90a7be6754 fix records and tuples Galfour 2019-05-04 09:40:48 +0000
  • ffe73169ec fix records and tuples Galfour 2019-05-04 09:40:48 +0000
  • 5e51043637 fix error in records ; add more regular smart-contract primitives Galfour 2019-05-04 03:44:45 +0000
  • ca2cb2ac17 add more features for regular smart-contracts Galfour 2019-05-03 21:18:26 +0000
  • 26ffdf0808 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-05-02 21:14:32 +0000
  • 931366059e more jsonized Galfour 2019-05-02 21:09:57 +0000
  • 7892175350
         Removed the option "-o" when calling CPP (now ">"). Christian Rinderknecht 2019-05-02 16:26:35 +0200
  • b8e5203d65 start coase; start simplify Galfour 2019-05-02 11:10:16 +0000
  • 76163aa855 add deep closures Galfour 2019-04-30 16:57:46 +0000
  • 2dc6b4a263 add div and mod ; stabilize before adding deep closures Galfour 2019-04-30 12:02:22 +0000
  • 2674e84199 add heap tests ; discover error with SLASH Galfour 2019-04-30 08:41:06 +0000
  • 6cb341b162 extend camligo and ligo Galfour 2019-04-29 13:30:28 +0000
  • c5f6fe670a Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-04-27 11:12:08 +0000
  • a18dba2049 complete camligo simplify Galfour 2019-04-27 07:57:51 +0000
  • 840e8d8c50 Dependency on ppx_deriving Georges Dupéron 2019-04-26 16:21:43 +0200
  • d19c0058a7 more camligo Galfour 2019-04-26 14:00:10 +0000
  • 6603b259ca minor fix Galfour 2019-04-26 13:45:04 +0000
  • 912fe211b6 more camligo Galfour 2019-04-26 13:09:08 +0000
  • fdc62b5ebc add leading VBAR to sum types in pascaligo Galfour 2019-04-24 18:46:11 +0000
  • 669945d4f3
         Fixed lexer rule for literal naturals. Fixed reset_buffer (offset). Christian Rinderknecht 2019-04-24 15:11:33 +0200
  • b361f71845 Generated files which are promote-until-clean have now their basenames suffixed with _generated. Christian Rinderknecht 2019-04-24 14:34:15 +0200
  • cae817309c Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Christian Rinderknecht 2019-04-24 11:56:46 +0200
  • 340d32eca1
         Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Christian Rinderknecht 2019-04-24 11:54:21 +0200
  • 0f7f726d13 extend camligo simplifier Galfour 2019-04-24 09:14:43 +0000
  • 561073ca54 Minor refactoring of the parser. Christian Rinderknecht 2019-04-24 10:07:31 +0200
  • 212ccd56c7 extend variant cases Galfour 2019-04-23 17:54:45 +0000
  • f68d592653 Merge branch 'master' of gitlab.com:gabriel.alfour/tezos Galfour 2019-04-23 15:17:39 +0000
  • ba9b8c4a68 make better cli Galfour 2019-04-23 15:17:28 +0000
  • eb20191704 Conditional for tests is 'with-test', not 'test'. Georges Dupéron 2019-04-23 16:26:09 +0200
  • 6d9334a60d opam install --build-test to install the test-only dependencies Georges Dupéron 2019-04-23 15:28:02 +0200
  • b57a06de8a Removed dependency on getopt. Explicitly list modules in pascaligo, excluded the Mains and LexerLog Georges Dupéron 2019-04-23 14:43:36 +0200
  • ff4804269f Missing dependency: alcotest Georges Dupéron 2019-04-23 14:28:06 +0200
  • 4dc231956f Missing build-time dependency: rsync Georges Dupéron 2019-04-23 13:59:10 +0200
  • 097c5ca0fb change bin display Galfour 2019-04-23 07:30:43 +0000
  • 1814d8cbfa add super-counter Galfour 2019-04-23 07:12:11 +0000
  • 0aa01ddcd8 add variant expression pattern-matching Galfour 2019-04-22 18:56:13 +0000