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

Commit Graph

  • f27f8c10d1 For collection loop: also capture variable in logical blocks Lesenechal Remi 2019-11-21 01:32:43 +0100
  • a25980868e Merge branch 'gardening/remove_old_folder' into 'dev' Pierre-Emmanuel Wulfman 2019-11-20 17:23:09 +0000
  • cdb36167f9 remove rope Pierre-Emmanuel Wulfman 2019-11-20 17:27:32 +0100
  • bc6966dbca Merge branch 'feature/isnat-op' into 'dev' John David Pressman 2019-11-20 13:42:37 +0000
  • eb85595818 Add is_nat operator to CameLIGO John David Pressman 2019-11-20 04:48:04 -0800
  • 598fbf96ed Add is_nat operator to PascaLIGO John David Pressman 2019-11-13 00:54:32 -0800
  • bdd7e5def2 Merge branch 'gardening/collection-arg-ordering' into 'dev' John David Pressman 2019-11-20 12:16:31 +0000
  • 4270cc0d22 [LIGO-229] Change ordering of collection operation args John David Pressman 2019-11-20 12:16:31 +0000
  • e9319b518c Merge branch 'fix-dev' into 'dev' Tom Jack 2019-11-20 00:07:21 +0000
  • 1a3909affd Fix semantic merge conflict in test and parser Tom Jack 2019-11-19 17:19:12 -0600
  • 5aada38d5d Merge branch 'feature/tests-catch-failwith-and-pack' into 'dev' Rémi Lesenechal 2019-11-19 23:18:07 +0000
  • 725176a59d allow to pack message (aka lambda of type unit -> operation list) Lesenechal Remi 2019-11-19 15:33:41 +0100
  • 863dfbb39d Merge branch 'feature/get-entrypoint' into 'dev' Tom Jack 2019-11-19 22:27:12 +0000
  • 35cd4a75f6 Merge branch 'feature/cameligo-let-in-expand' into 'dev' John David Pressman 2019-11-19 21:13:52 +0000
  • 9b0eb636fb Properly typed multi-variable binding simplification John David Pressman 2019-11-19 21:13:52 +0000
  • f7d6a5ea58 allow to catch failwith's in our tests Lesenechal Remi 2019-11-19 15:31:36 +0100
  • fe76f82bb0 Merge branch 'collect-loop-last-fixes' into 'dev' Rémi Lesenechal 2019-11-19 13:25:48 +0000
  • f0655eab28 Pascaligo for collection loops: take locally declared variable into account Rémi Lesenechal 2019-11-19 13:25:48 +0000
  • bbcacc253b Merge branch 'feature/pascaligo-anon-functions' into 'dev' John David Pressman 2019-11-19 08:33:54 +0000
  • e1a05a27c5 Remove vestigial commented-out code John David Pressman 2019-11-18 23:45:26 -0800
  • 5ba34b3ac3 Updated docs with blockless & anonymous functions, added variable mutation disclaimer, updated landing page pascaligo example. Matej Sima 2019-11-19 01:44:36 +0100
  • 63822e0430 test anon function galfour 2019-11-18 18:44:15 +0100
  • 723201ce5e Add get_entrypoint... Tom Jack 2019-11-09 01:27:30 -0600
  • ddc4b7b7a5 add anon functions; remove pre-block declarations; update tests galfour 2019-11-18 16:10:48 +0100
  • ef25bcddaa Merge branch 'nested-collect-loop-issue' into 'dev' Rémi Lesenechal 2019-11-18 14:37:21 +0000
  • 91e245ef70 Fix issue with nested collection loop where inner loop iterated elements were shadowing outer loop iterated element Lesenechal Remi 2019-11-18 14:14:54 +0100
  • 122d0d5520 Merge branch 'feature/more-applications-pascaligo' into 'dev' Gabriel Alfour 2019-11-18 12:46:05 +0000
  • 5422049dba Merge branch 'dev' into feature/more-applications-pascaligo galfour 2019-11-18 09:53:57 +0100
  • f3b378e401 Merge branch 'feature/finish-for-collect-loop-impl' into 'dev' John David Pressman 2019-11-15 22:30:35 +0000
  • e689d3d3b7 more doc Lesenechal Remi 2019-11-15 18:10:24 +0100
  • 683bc0a72b fix problems with nested for collection loop Lesenechal Remi 2019-11-15 15:49:50 +0100
  • 22ae4c30b1 Merge branch 'fix-dev' into 'dev' Tom Jack 2019-11-15 16:51:56 +0000
  • a73ede31e7 Work around upstream in-place update Tom Jack 2019-11-15 10:02:22 -0600
  • d0efbd9f92 add and test more ways to do function application in pascaligo galfour 2019-11-14 20:12:41 +0100
  • 533cbaa1b5 Merge branch 'improve-dead-elim' into 'dev' Gabriel Alfour 2019-11-14 14:31:29 +0000
  • 5b60109606 Improve purity test for dead code elimination Tom Jack 2019-11-13 13:43:03 -0600
  • 28b650d32e Merge branch 'feature/pascaligo-balance' into 'dev' John David Pressman 2019-11-13 02:04:14 +0000
  • 3675aed76d Merge branch 'dev' of ssh://gitlab.com/ligolang/ligo into feature/pascaligo-balance John David Pressman 2019-11-12 17:16:07 -0800
  • 49da281bbb Merge branch 'fix/deep-access' into 'dev' Pierre-Emmanuel Wulfman 2019-11-12 17:07:09 +0000
  • 29a86ad411 Fix: deep access Pierre-Emmanuel Wulfman 2019-11-12 17:07:09 +0000
  • 273ec8c280 Add ability to access balance to PascaLIGO John David Pressman 2019-11-12 08:01:18 -0800
  • 8febb9f580 Merge branch 'gardening/cleaning-ast' into 'dev' Pierre-Emmanuel Wulfman 2019-11-12 14:28:58 +0000
  • f91de985d0 remove 'Access_Map' Pierre-Emmanuel Wulfman 2019-11-12 14:28:58 +0000
  • bb173cd994 Added cameligo syntax to "Empty sets" section Rodrigo Quelhas 2019-11-10 19:13:28 +0000
  • c705950a53 Fixed cameligo syntax "Defining a set" section Rodrigo Quelhas 2019-11-10 19:04:20 +0000
  • d0c0fcff14 Merge branch 'feature/smaller-docker-image' into 'dev' Matej Šima 2019-11-09 22:34:20 +0000
  • aa231cec27 Feature/smaller docker image Matej Šima 2019-11-09 22:34:20 +0000
  • 0ed882ff16 Merge branch 'feature/fix-docs' into 'dev' Matej Šima 2019-11-09 14:40:53 +0000
  • dbda9df321 Feature/fix docs Matej Šima 2019-11-09 14:40:53 +0000
  • c177a60077 Merge branch 'feature/updated-docs' into 'dev' John David Pressman 2019-11-07 23:19:27 +0000
  • 628d818163 Revert "Merge with dev" Matej Šima 2019-11-07 23:19:27 +0000
  • 73919e3a5c Merge branch 'rinderknecht-dev' into 'dev' Rémi Lesenechal 2019-11-07 11:23:31 +0000
  • c7c9d6a194 Merge branch 'feature/balance-unrecognized-constant' into 'dev' Christian Rinderknecht 2019-11-06 20:01:38 +0000
  • 02f58ee212 I removed the annotation for the variable that iterates over collections. Christian Rinderknecht 2019-11-06 20:12:25 +0100
  • 7c291158c2 Finish balance operator and add test for CameLIGO John David Pressman 2019-11-06 11:08:18 -0800
  • 8d3fbf73f9 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-11-06 19:52:09 +0100
  • 759978393a Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-11-06 17:17:02 +0000
  • 0fdbbe0a4c Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-11-06 17:33:39 +0100
  • 9da6d81a0f Added local test file. Christian Rinderknecht 2019-11-06 17:33:00 +0100
  • fe90246e3a Fixed the printing of some AST nodes. Christian Rinderknecht 2019-11-06 17:23:49 +0100
  • ac4ea8e5dc Merge branch 'fix-dev' into 'dev' Tom Jack 2019-11-06 14:18:26 +0000
  • a69d084d0a Fix merge conflict Tom Jack 2019-11-06 07:35:15 -0600
  • 70a9afcce2 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-11-06 12:18:54 +0000
  • e741531041 Merge branch 'clean-sts-solver' into 'dev' Pierre-Emmanuel Wulfman 2019-11-06 11:28:03 +0000
  • 0b7a84e949 Fixed qwerty typo + small cleanup Suzanne Dupéron 2019-11-05 21:51:30 +0000
  • c2333bd072 Merge branch 'test/cameligo-bytes-arithmetic' into 'dev' Christian Rinderknecht 2019-11-05 16:42:50 +0000
  • bd6ce2f28c Bug fix: Some nodes were not indented. Christian Rinderknecht 2019-11-05 15:57:43 +0100
  • 2aeebb8726 Add bytes arithmetic tests to CameLIGO John David Pressman 2019-11-04 16:58:34 -0800
  • 77b683a8ee Merge branch 'LIGO-208-fix-soc-media-link' into 'dev' Sarah Fowler 2019-11-04 23:10:55 +0000
  • 351025b52d Refactoring of Ligodity (CameLIGO) and making an AST pretty-printer Christian Rinderknecht 2019-11-04 23:51:47 +0100
  • db233e7cbe Merge branch 'dev' into LIGO-208-fix-soc-media-link Sarah Fowler 2019-11-04 17:28:59 -0500
  • 9efb837dd5 Merge branch 'feature/cameligo-while-loop' into 'dev' Gabriel Alfour 2019-11-04 19:06:18 +0000
  • aec572fc20 [LIGO-168] Add the while loop to CameLIGO John David Pressman 2019-11-04 19:06:18 +0000
  • 4325ba7ee4 Merge branch 'clean-sts-solver' of gitlab.com:ligolang/ligo into clean-sts-solver Suzanne Dupéron 2019-11-04 18:44:09 +0000
  • 40b318eff6 Rename 4-typer to 4-typer-old (part 2: make changes) Suzanne Dupéron 2019-11-04 18:40:49 +0000
  • f41625ceb3 Rename 4-typer to 4-typer-old (part 1: move files) Suzanne Dupéron 2019-11-04 18:39:56 +0000
  • b017188534 LIGO-208 fix fb preview url and img Sarah Fowler 2019-11-04 12:13:43 -0500
  • 5e44be6baa Merge branch 'feature/elim-dead-lambdas' into 'dev' Gabriel Alfour 2019-11-04 15:49:45 +0000
  • 9fe5d821c3 Merge branch 'dev' into clean-sts-solver galfour 2019-11-04 16:32:32 +0100
  • c969f306af Eliminate dead lambdas Tom Jack 2019-11-02 16:56:05 -0500
  • e30b7faa9d Mini_c: Remove T_deep_closure and D_function Tom Jack 2019-10-25 01:01:45 -0500
  • cccbd424a8 Implement Mini_c.Free_variables Tom Jack 2019-10-23 08:30:54 -0500
  • a31d90bdfe Merge branch 'tezos-upgrade' into 'dev' Tom Jack 2019-11-02 23:41:13 +0000
  • ba7a83d0f7 Deal with upstream MBytes changes Tom Jack 2019-11-02 17:54:33 -0500
  • b06f4d3f62 Delete protocol tests Tom Jack 2019-11-02 17:54:21 -0500
  • f739624185 Prepare for tezos upgrade Tom Jack 2019-11-02 17:38:39 -0500
  • 865cf80c77 Tests pass again, using the old typer Suzanne Dupéron 2019-11-01 09:48:09 -0400
  • 45347e3e88 Bring back copy of the old typer (part 2: changes) Suzanne Dupéron 2019-10-31 18:19:01 -0400
  • d57a87a3ea Moving new typer to separate folder Suzanne Dupéron 2019-10-31 17:43:44 -0400
  • 5c3e1ad642 Hack for E_constant with loops shouldn't be necessary in new typer, thanks to typeclasses? Suzanne Dupéron 2019-10-31 17:19:01 -0400
  • 1e06c24325 Merge branch 'dev' of gitlab.com:ligolang/ligo into clean-sts-solver Suzanne Dupéron 2019-10-31 17:18:09 -0400
  • 2bace61ea8 Merge branch 'feature/byte_pack' into 'dev' Gabriel Alfour 2019-10-31 17:34:48 +0000
  • dce15a79c6 WIP on understanding where in the AST we need the subst. Suzanne Dupéron 2019-10-31 13:21:05 -0400
  • b9d32ddf4e add bytes_pack Lesenechal Remi 2019-10-31 17:39:07 +0100
  • 0423a704ec Merge branch 'feature/signature_type' into 'dev' Rémi Lesenechal 2019-10-31 16:36:23 +0000
  • f341527aa6 add signature type Lesenechal Remi 2019-10-31 16:46:07 +0100
  • 58638c6a05 Merge branch 'feature/hex' into 'dev' Tom Jack 2019-10-31 15:39:03 +0000
  • 76ecd56e3d Merge branch 'feature/babylon-optimizer' into 'dev' Tom Jack 2019-10-31 15:17:00 +0000
  • fd03d577e4 Support --michelson-format in all commands producing Michelson Tom Jack 2019-10-31 09:50:51 -0500
  • 770bdda9df commenting a little bit the typesystem Pierre-Emmanuel Wulfman 2019-10-30 19:35:26 +0100