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

Commit Graph

  • d1f6c37f62 CLI clean Lesenechal Remi 2019-12-05 17:44:56 +0100
  • 46623ceb77 contract are now typecheck (at least in the CLI) Lesenechal Remi 2019-12-04 13:34:15 +0100
  • 0cae4302cd WIP: introduce compiled_expression and unify dry-run and compile-contract Lesenechal Remi 2019-12-04 02:07:39 +0100
  • 8edeb27321 add a function to fetch (param,storage) in a contract's lambda Lesenechal Remi 2019-12-04 02:06:41 +0100
  • 385961503f add unparse_ty to ligo-utils (thanks alpha monad) Lesenechal Remi 2019-12-04 02:05:24 +0100
  • 3494402e19 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-10 14:54:30 +0100
  • fec4cc9c45 Add ReasonLIGO support Sander 2019-12-10 13:47:31 +0000
  • 95a7e19be6 Add ReasonLIGO support Sander 2019-12-10 13:47:31 +0000
  • 204aeb4f85 Merge branch 'fixing-broken-images-on-contact-page' into 'dev' Eowyn Dean 2019-12-09 19:48:29 +0000
  • ea69032c4a Fix for broken images Maksym Bykovskyy 2019-12-09 19:48:28 +0000
  • c07247d076 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-12-09 16:44:15 +0000
  • 04a770e22d To enable local builds of the PascaLIGO parser. Christian Rinderknecht 2019-12-09 16:49:48 +0100
  • aeb868311d To enable local builds of the PascaLIGO parser. Christian Rinderknecht 2019-12-09 16:49:48 +0100
  • d907be7904 Merge branch 'rinderknecht-dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-12-09 12:10:33 +0100
  • 4112182aad Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-12-09 11:04:50 +0000
  • 6cc17f9a3f I rewrote some comments so [dune build @doc] can extract HTML from module interfaces. Christian Rinderknecht 2019-12-06 11:49:19 +0100
  • 9829a35653 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-12-07 15:13:55 +0100
  • 3d9971c909 Merge branch 'feature/cameligo-map-mem' into 'dev' Christian Rinderknecht 2019-12-06 18:35:37 +0000
  • f043135df1 Add Michelson map membership to CameLIGO and PascaLIGO John David Pressman 2019-12-06 09:35:08 -0800
  • c4182fa6fd I rewrote some comments so [dune build @doc] can extract HTML from module interfaces. Christian Rinderknecht 2019-12-06 11:49:19 +0100
  • c3e904ca00 Merge branch 'website-new-design' into 'dev' Eowyn Dean 2019-12-05 16:10:59 +0000
  • 7a8e96d4b2 LIGO-225 Website new design Maksym Bykovskyy 2019-12-05 16:10:59 +0000
  • cc0e94de64 Merge branch 'ast/main' into 'dev' Pierre-Emmanuel Wulfman 2019-12-04 11:40:58 +0000
  • 034c92a64c Use ADT for types and move type to ast_common and Making name, type_variable, built-in, constructor, label and string uncompatible types in ligo (weird bug with types in ligodity) Pierre-Emmanuel Wulfman 2019-12-04 11:40:58 +0000
  • 0312f1bf64 Merge branch 'feature/cameligo-tuple-order-fix' into 'dev' Gabriel Alfour 2019-12-03 19:59:19 +0000
  • 6a4d58d467 Overkill the tuple ordering bug John David Pressman 2019-12-03 11:10:53 -0800
  • 085a756ed3 Fix bug where tuples are destructured with the members in the wrong order John David Pressman 2019-12-03 10:49:58 -0800
  • b9a2eab834 Merge branch 'feature/implicit-account-fix' into 'dev' John David Pressman 2019-12-03 08:53:18 +0000
  • 8609196bac Fix IMPLICIT_ACCOUNT John David Pressman 2019-12-03 00:00:01 -0800
  • dcf5a7f9c9 Merge branch 'fix-merlin-confusion' into 'dev' Tom Jack 2019-12-02 00:42:30 +0000
  • 317313ecc6 Rename executable to fix merlin confusion Tom Jack 2019-11-29 13:22:13 -0600
  • d1d9cea599 Merge branch 'feature/self-account-address-ops' into 'dev' Gabriel Alfour 2019-12-01 22:46:16 +0000
  • 0b3e057819 Add self address to CameLIGO and PascaLIGO John David Pressman 2019-11-29 03:53:25 -0800
  • 03dd86c9ad Expose address operator in PascaLIGO and CameLIGO John David Pressman 2019-11-29 02:54:52 -0800
  • 694c3aea97 Add implicit_account to operators John David Pressman 2019-11-29 02:40:34 -0800
  • f1c9c11ae4 Merge branch 'refactoring-eval-run-functions' into 'dev' Rémi Lesenechal 2019-11-29 21:22:56 +0000
  • 4be2d6fb6a Refactoring eval run functions Rémi Lesenechal 2019-11-29 21:22:56 +0000
  • a121766a89 Fix semantic merge conflict w/ expect tests Tom Jack 2019-11-29 10:00:54 -0600
  • c1dac64af3 Merge branch 'feature/inlining2' into 'dev' Gabriel Alfour 2019-11-29 14:17:25 +0000
  • bfb01d371a Merge branch 'feature/more-subtraction' into 'dev' Gabriel Alfour 2019-11-29 10:13:29 +0000
  • 49586b65be Type subtraction also as nat->int->int and int->nat->int Tom Jack 2019-11-17 16:15:06 -0600
  • 6c7e1af0c1 Merge branch 'feature/better-man' into 'dev' Tom Jack 2019-11-28 12:43:50 +0000
  • 16a2d76e66 Merge branch 'feature/nocrlf' into 'dev' Suzanne Dupéron 2019-11-28 09:54:49 +0000
  • 0040b1f460 Mention subcommand --help only once Tom Jack 2019-11-21 11:44:27 -0600
  • e3fbc58e7a Show help instead of "Do ligo --help" Tom Jack 2019-11-21 11:43:34 -0600
  • 32625bb075 Use doc not docs in cli Tom Jack 2019-11-21 11:06:25 -0600
  • 06603b594a Mini_c: Identify more pure constants Tom Jack 2019-11-25 18:10:49 -0600
  • 66d2cda107 Mini_c: Inlining optimization Tom Jack 2019-11-25 17:15:25 -0600
  • adb4572bde Merge branch 'docs/iterators' into 'dev' John David Pressman 2019-11-27 10:13:57 +0000
  • ca1025b705 Stop using docker -it to avoid spurious CRLF Tom Jack 2019-11-26 18:29:12 -0600
  • 7a7b9cc038 Merge branch 'contract-better-multisigv2' into 'dev' Rémi Lesenechal 2019-11-26 22:04:43 +0000
  • e7195c4c41 mutisig v2 some renaming and counter reset fix Lesenechal Remi 2019-11-26 19:21:51 +0100
  • 39c7766b08 multisig v2 comments Lesenechal Remi 2019-11-26 13:59:00 +0100
  • cf540a1a78 multisigv2 default entry point Lesenechal Remi 2019-11-26 12:14:42 +0100
  • c8eb1a3fa6 multisigv2 with less user uncertainty Lesenechal Remi 2019-11-26 11:51:49 +0100
  • b82383751c multisigv2 more robust to spam Lesenechal Remi 2019-11-26 10:37:25 +0100
  • 652138b115 new 'expect' test helpers working on expressions Lesenechal Remi 2019-11-25 13:00:21 +0100
  • 00def6d20e Fix a bug, test added: Lesenechal Remi 2019-11-25 12:13:55 +0100
  • 48bef70a6a Merge branch 'record-accesses-fix' into 'dev' Rémi Lesenechal 2019-11-26 18:09:06 +0000
  • 23d2241891 Merge branch 'quickfix-forloop-elt-name' into 'dev' Rémi Lesenechal 2019-11-26 17:36:10 +0000
  • c1c551e33f fix and more tests Lesenechal Remi 2019-11-26 18:08:53 +0100
  • 848b902cd9 generated variable name typo Lesenechal Remi 2019-11-26 17:49:23 +0100
  • 0908338616 Remove 'imperative' from phrase 'imperative iteration' John David Pressman 2019-11-26 05:40:41 -0800
  • d23819245f Add explanation of folding to the map fold John David Pressman 2019-11-26 05:39:54 -0800
  • ebaa913c5a Add better explanation of tuples and map iterator docs John David Pressman 2019-11-26 04:08:16 -0800
  • f7ef0472be Add command for measuring contracts Tom Jack 2019-11-25 17:30:12 -0600
  • c322ca53de Merge branch 'feature/cli-tests' into 'dev' Tom Jack 2019-11-25 19:59:47 +0000
  • 569c0dffa2 Merge branch 'fix-dev' into 'dev' Tom Jack 2019-11-25 15:01:02 +0000
  • 3323c7f7d2 Fix build: constrain dune version Tom Jack 2019-11-25 08:15:11 -0600
  • e16ddf7ddc Merge branch 'region-invalid' into 'dev' Tom Jack 2019-11-22 21:53:59 +0000
  • b8020315d9 Merge branch '73-error-when-dry-running-a-contract-having-a-storage-which-contains-a-lambda' into 'dev' Rémi Lesenechal 2019-11-22 20:28:55 +0000
  • c7dfd54f7e Resolve "Error when dry-running a contract (having a storage which contains a lambda)" Rémi Lesenechal 2019-11-22 20:28:55 +0000
  • 1219a0188c Merge branch 'contract-multisigv2' into 'dev' Rémi Lesenechal 2019-11-22 17:04:35 +0000
  • 6555c39c9d some review request Lesenechal Remi 2019-11-22 16:02:53 +0100
  • cd94fd850b move common funciton test helpers Lesenechal Remi 2019-11-22 15:52:46 +0100
  • 30a410413a mulisig contract v2 and test Lesenechal Remi 2019-11-21 19:42:15 +0100
  • ecaa1a3aea Merge branch 'test/cameligo-higher-order-2' into 'dev' John David Pressman 2019-11-22 11:08:03 +0000
  • 0b50d94071 Add higher order function test to CameLIGO John David Pressman 2019-11-22 02:22:29 -0800
  • 7f7d5972ac Fix a Region.Invalid error in Cameligo simplifier Tom Jack 2019-11-21 16:53:17 -0600
  • 6f9778f578 Add some cli expect tests Tom Jack 2019-11-21 14:06:34 -0600
  • dbb36e6fdc Use runtest to run tests Tom Jack 2019-11-21 12:28:38 -0600
  • f4c3828866 Merge branch 'contract-multisig' into 'dev' Rémi Lesenechal 2019-11-21 17:58:21 +0000
  • 17ecf12fa3 multisig : non quadratic signature check Lesenechal Remi 2019-11-21 17:11:04 +0100
  • 88a0f33fca add key_hash type and crypto_key_hash operator to pascaligo Lesenechal Remi 2019-11-21 13:12:52 +0100
  • 87d0064113 Multisig made robust to replay attack Lesenechal Remi 2019-11-20 18:17:35 +0100
  • 1185b8abda add chain_id type and operator Lesenechal Remi 2019-11-20 15:01:04 +0100
  • 4edf58726a multisig tests Lesenechal Remi 2019-11-19 15:36:48 +0100
  • beeba317d6 multisig contract Lesenechal Remi 2019-11-19 15:34:59 +0100
  • edb1e3d607 add crypto_check function to pascaligo Lesenechal Remi 2019-11-19 15:34:13 +0100
  • 2fa78bd0bd add key and signature types Lesenechal Remi 2019-11-19 15:12:58 +0100
  • 5ab3bf85e9 Merge branch 'mystery-bigmap' into 'dev' Tom Jack 2019-11-21 15:04:37 +0000
  • ad2a537e63 Merge branch 'romarq_empty_set_annots' into 'dev' Tom Jack 2019-11-21 14:58:47 +0000
  • 8b1b9bed82 Merge branch 'test/cameligo-closure' into 'dev' John David Pressman 2019-11-21 14:53:31 +0000
  • 6ed178e721 Merge branch 'docs/cameligo-function-expr' into 'dev' John David Pressman 2019-11-21 14:31:15 +0000
  • 81c49f4342 Fix/simplify big_maps using Babylon Tom Jack 2019-11-04 17:01:39 -0600
  • c2c774ba75 Add closure test to CameLIGO John David Pressman 2019-11-21 06:02:47 -0800
  • 628ba3c0ae Merge branch 'RoMarQ/ligo-patch-3' into dev Tom Jack 2019-11-21 07:50:09 -0600
  • 8b0fdc9ab5 Merge branch 'RoMarQ/ligo-patch-2' into dev Tom Jack 2019-11-21 07:49:36 -0600
  • ff4c580133 Add anonymous function example for CameLIGO John David Pressman 2019-11-21 05:41:22 -0800
  • ae7c92844c Merge branch 'issue/loop-comp-bug' into 'dev' Rémi Lesenechal 2019-11-21 11:18:47 +0000