├── .gitignore ├── .gitmodules ├── .travis.yml ├── CHANGES ├── LICENSE ├── Makefile ├── README.md ├── STATUS.txt ├── docs └── sphinx │ ├── .gitignore │ ├── Makefile │ ├── mk_man.sh │ └── src │ ├── _extensions │ └── tryliquidity.py │ ├── _static │ ├── css │ │ └── fixes.css │ └── fonts │ │ ├── Cambon-Bold.woff │ │ ├── FilsonPro-Bold.woff │ │ └── FilsonPro-Regular.woff │ ├── conf.py │ ├── index.rst │ ├── installation │ └── index.rst │ ├── introduction.rst │ ├── liquidity-dark.svg │ ├── liquidity.svg │ ├── man │ └── index.rst │ ├── reference │ ├── grammar.rst │ ├── liquidity.rst │ └── michelson_to_liquidity.rst │ ├── tutorial │ ├── examples.rst │ ├── game.rst │ ├── game_arch.jpg │ └── tutorial.rst │ └── usage │ └── index.rst ├── libs ├── deps-dune-network │ ├── .merlin │ ├── blake2-impl.h │ ├── blake2.h │ ├── blake2.ml │ ├── blake2b-ref.c │ ├── blake2b-stubs.c │ ├── build.ocp2 │ ├── cstruct.ml │ ├── ezjsonm.ml │ ├── hacl.ml │ ├── js │ │ ├── blake2.ml │ │ └── blakejs.min.js │ ├── lwt.ml │ ├── lwt_io.ml │ ├── lwt_list.ml │ ├── lwt_mutex.ml │ ├── lwt_stream.ml │ ├── mBytes.ml │ ├── mBytes.mli │ ├── mbedtls_config.h │ ├── nocrypto.ml │ ├── secp256k1-stubs.c │ ├── secp256k1.ml │ ├── secp256k1.mli │ ├── sha256-stubs.c │ ├── sha256.c │ ├── sha256.h │ ├── sha3-ref.c │ ├── sha3-ref.h │ ├── sha3-stubs.c │ ├── sha3-tests.c │ ├── tweetnacl.c │ ├── tweetnacl.h │ ├── utils.ml │ └── z.ml ├── dune-network-lib │ ├── Dune_Network_Lib.ml │ ├── RPC_arg.ml │ ├── alpha_context.ml │ ├── build.ocp2 │ ├── clic.ml │ ├── config_network.ml │ ├── data_encoding_ezjsonm.ml │ ├── dune_debug.ml │ ├── ed25519.ml │ ├── environment.ml │ ├── externalCallback.ml │ ├── internal_event.ml │ ├── love_michelson.ml │ ├── love_translator.ml │ ├── michelson_v1_macros.ml │ ├── ocplib_ironmin.ml │ ├── p256.ml │ ├── protocol_client_context.ml │ ├── secp256k1.ml │ ├── storage_description.ml │ ├── tezos_config.ml │ ├── tezos_protocol_environment.ml │ └── tzPervasives.ml ├── ocplib-dot │ ├── build.ocp2 │ ├── ocamldot.ml │ └── ocamldot.mli └── ocplib-json │ ├── build.ocp2 │ ├── ocpJson.ml │ └── ocpJson.mli ├── misc ├── build-tezos.ocp2-inc ├── headache_config ├── header └── merguez.sh ├── opam ├── scripts ├── check-mini.sh ├── check-rev.sh ├── check.sh ├── check_love.sh ├── config.sh └── run-list.sh ├── tests ├── .gitignore ├── Coverage.txt ├── Makefile ├── bug187.liq ├── bug202.reliq ├── bug_197.liq ├── bug_210.liq ├── bug_210_lov.liq ├── bug_213.liq ├── bug_214.liq ├── bug_216.liq ├── bug_216_lov.liq ├── bug_annot0.liq ├── bug_annot1.liq ├── bug_annot1_lov.liq ├── bug_inline2.liq ├── bug_mohamed1.liq ├── bug_steven1.liq ├── bug_steven2.liq ├── build.ocp2 ├── curry.liq ├── doc │ ├── doc1.liq │ ├── doc10.liq │ ├── doc11.liq │ ├── doc12.liq │ ├── doc13.liq │ ├── doc14.liq │ ├── doc15.liq │ ├── doc16.liq │ ├── doc17.liq │ ├── doc18.liq │ ├── doc19.liq │ ├── doc2.liq │ ├── doc20.liq │ ├── doc21.liq │ ├── doc22.liq │ ├── doc23.liq │ ├── doc24.liq │ ├── doc25.liq │ ├── doc26.liq │ ├── doc27.liq │ ├── doc28.liq │ ├── doc29.liq │ ├── doc3.liq │ ├── doc30.liq │ ├── doc31.liq │ ├── doc32.liq │ ├── doc33.liq │ ├── doc34.liq │ ├── doc35.liq │ ├── doc36.liq │ ├── doc37.liq │ ├── doc38.liq │ ├── doc39.liq │ ├── doc40.liq │ ├── doc41.liq │ ├── doc42.liq │ ├── doc43.liq │ ├── doc44.liq │ ├── doc45.liq │ ├── doc46.liq │ ├── doc47.liq │ ├── doc48.liq │ ├── doc49.liq │ ├── doc5.liq │ ├── doc50.liq │ ├── doc51.liq │ ├── doc52.liq │ ├── doc56.liq │ ├── doc57.liq │ ├── doc58.liq │ ├── doc59.liq │ ├── doc6.liq │ ├── doc60.liq │ ├── doc61.liq │ ├── doc62.liq │ ├── doc63.liq │ ├── doc64.liq │ ├── doc65.liq │ ├── doc66.liq │ ├── doc67.liq │ ├── doc68.liq │ ├── doc69.liq │ ├── doc7.liq │ ├── doc70.liq │ ├── doc71.liq │ ├── doc72.liq │ ├── doc73.liq │ ├── doc73_lov.liq │ ├── doc74.liq │ ├── doc75.liq │ ├── doc76.liq │ ├── doc77.liq │ ├── doc8.liq │ └── doc9.liq ├── extra │ ├── extra.liq │ └── test.liq ├── inline_fail.liq ├── lambda_const.liq ├── others │ ├── .gitignore │ ├── alias.liq │ ├── auction.liq │ ├── broker.liq │ ├── broker2.liq │ ├── demo.liq │ ├── game.liq │ ├── mist_wallet_current.liq │ ├── mist_wallet_light.liq │ ├── morpion.liq │ ├── multisig.liq │ ├── new_token.liq │ ├── new_token_sig.liq │ ├── token.liq │ ├── token_no_fee.liq │ ├── token_signature.liq │ ├── token_vote.liq │ └── tokenreceiver.liq ├── reports │ └── issue39.liq ├── reverse │ ├── bug_217.tz │ ├── test0.tz │ ├── test1.tz │ ├── test10.tz │ ├── test2.tz │ ├── test3.tz │ ├── test4.tz │ ├── test5.tz │ ├── test6.tz │ ├── test7.tz │ ├── test8.tz │ └── test9.tz ├── run │ ├── demo.arg │ ├── demo.tzp │ └── demo.tzs ├── test0.liq ├── test1.liq ├── test10.liq ├── test11.liq ├── test12.liq ├── test13.liq ├── test14.liq ├── test15.liq ├── test16.liq ├── test17.liq ├── test18.liq ├── test19.liq ├── test2.liq ├── test20.liq ├── test21.liq ├── test22.liq ├── test23.liq ├── test24.liq ├── test25.liq ├── test26.liq ├── test27.liq ├── test28.liq ├── test29.liq ├── test3.liq ├── test30.liq ├── test31.liq ├── test32.liq ├── test33.liq ├── test34.liq ├── test35.liq ├── test36.liq ├── test37.liq ├── test38.liq ├── test39.liq ├── test4.liq ├── test40.liq ├── test41.liq ├── test42.liq ├── test43.liq ├── test5.liq ├── test6.liq ├── test7.liq ├── test8.liq ├── test9.liq ├── test_big_map.liq ├── test_call.liq ├── test_closure.liq ├── test_closure2.liq ├── test_closure3.liq ├── test_external.liq ├── test_extfun.liq ├── test_fold.liq ├── test_if.liq ├── test_ifcons.liq ├── test_infer_param.liq ├── test_infer_unpack.liq ├── test_inline.liq ├── test_iter.liq ├── test_left.liq ├── test_left_constr.liq ├── test_left_match.liq ├── test_loop.liq ├── test_loop_left.liq ├── test_map.liq ├── test_map_closure.liq ├── test_map_fold_closure.liq ├── test_mapmap_closure.liq ├── test_mapreduce_closure.liq ├── test_modules.liq ├── test_option.liq ├── test_rec_fun.liq ├── test_record.liq ├── test_record_lov.liq ├── test_reduce_closure.liq ├── test_rev.liq ├── test_right_constr.liq ├── test_setreduce_closure.liq ├── test_transfer.liq ├── test_view.liq ├── tst.liq ├── tstmod │ ├── a.liq │ ├── b.liq │ └── c.liq └── votes.liq ├── tools ├── .merlin ├── client │ ├── build.ocp2 │ ├── lazy_superposed.ml │ ├── lazy_superposed.mli │ ├── liquidClient.ml │ ├── liquidClientErrors.ml │ ├── liquidClientMain.ml │ ├── liquidClientRPCs.ml │ ├── liquidClientRequest.ml │ ├── liquidClientSigs.ml │ ├── liquidClientTypes.ml │ ├── liquidClientUtils.ml │ ├── liquidityLang.ml │ ├── loveTarget.ml │ └── michelsonTarget.ml ├── liquidity │ ├── build.ocp2 │ ├── iSO8601.ml │ ├── liquidBoundVariables.ml │ ├── liquidBoundVariables.mli │ ├── liquidCheck.ml │ ├── liquidCheck.mli │ ├── liquidClean.ml │ ├── liquidClean.mli │ ├── liquidCommonArgs.ml │ ├── liquidData.ml │ ├── liquidData.mli │ ├── liquidDecode.ml │ ├── liquidDecode.mli │ ├── liquidDecomp.ml │ ├── liquidDecomp.mli │ ├── liquidDot.ml │ ├── liquidDot.mli │ ├── liquidEmit.ml │ ├── liquidEmit.mli │ ├── liquidEncode.ml │ ├── liquidEncode.mli │ ├── liquidFromParsetree.ml │ ├── liquidFromParsetree.mli │ ├── liquidInfer.ml │ ├── liquidInfer.mli │ ├── liquidInfomark.ml │ ├── liquidInit.ml │ ├── liquidInit.mli │ ├── liquidInterp.ml │ ├── liquidInterp.mli │ ├── liquidLoc.ml │ ├── liquidLoc.mli │ ├── liquidMain.ml │ ├── liquidMichelson.ml │ ├── liquidMichelson.mli │ ├── liquidMisc.ml │ ├── liquidNamespace.ml │ ├── liquidNamespace.mli │ ├── liquidNumber.ml │ ├── liquidNumber.mli │ ├── liquidOptions.ml │ ├── liquidParse.ml │ ├── liquidParse.mli │ ├── liquidPeephole.ml │ ├── liquidPeephole.mli │ ├── liquidPrinter.ml │ ├── liquidPrinter.mli │ ├── liquidSimplify.ml │ ├── liquidSimplify.mli │ ├── liquidToParsetree.ml │ ├── liquidToParsetree.mli │ ├── liquidTypes.ml │ ├── liquidUntype.ml │ ├── liquidUntype.mli │ ├── liquidVersion.ml │ ├── ocaml │ │ ├── liquidOCamlLexer.mll │ │ ├── liquidOCamlLexer.mll-orig │ │ ├── liquidOCamlParse.ml │ │ ├── liquidOCamlParser.mly │ │ ├── liquidOCamlParser.mly-orig │ │ └── liquidOCamlPrinter.ml │ ├── reason │ │ ├── lexer_warning.ml │ │ ├── liquidReasonParse.ml │ │ ├── reason_attributes.ml │ │ ├── reason_comment.ml │ │ ├── reason_config.ml │ │ ├── reason_heuristics.ml │ │ ├── reason_layout.ml │ │ ├── reason_lexer.mll │ │ ├── reason_lexer.mll-orig │ │ ├── reason_location.ml │ │ ├── reason_parser.mly │ │ ├── reason_parser.mly-orig │ │ ├── reason_pprint_ast.ml │ │ ├── reason_pprint_ast.ml-orig │ │ ├── reason_pprint_ast.mli │ │ ├── reason_string.ml │ │ ├── reason_syntax_util.ml │ │ ├── reason_syntax_util.mli │ │ └── reason_toolchain.ml │ ├── with-dune-network │ │ ├── liquidFromMicheline.ml │ │ ├── liquidFromMicheline.mli │ │ ├── liquidMichelineTypes.ml │ │ ├── liquidToMicheline.ml │ │ └── liquidToMicheline.mli │ └── without-dune-network │ │ ├── Dune_Network_Lib.ml │ │ ├── liquidFromMicheline.ml │ │ ├── liquidFromMicheline.mli │ │ ├── liquidMichelineTypes.ml │ │ ├── liquidToMicheline.ml │ │ └── liquidToMicheline.mli └── love │ ├── build.ocp2 │ ├── compil_utils.ml │ ├── liq2love.ml │ └── preprocess.ml └── travis-scripts ├── build-dune.sh ├── env.sh ├── prepare-opam.sh ├── prepare-ubuntu.sh ├── start-dune-sandbox.sh └── stop-dune-sandbox.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/CHANGES -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/README.md -------------------------------------------------------------------------------- /STATUS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/STATUS.txt -------------------------------------------------------------------------------- /docs/sphinx/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/.gitignore -------------------------------------------------------------------------------- /docs/sphinx/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/Makefile -------------------------------------------------------------------------------- /docs/sphinx/mk_man.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/mk_man.sh -------------------------------------------------------------------------------- /docs/sphinx/src/_extensions/tryliquidity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/_extensions/tryliquidity.py -------------------------------------------------------------------------------- /docs/sphinx/src/_static/css/fixes.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/_static/css/fixes.css -------------------------------------------------------------------------------- /docs/sphinx/src/_static/fonts/Cambon-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/_static/fonts/Cambon-Bold.woff -------------------------------------------------------------------------------- /docs/sphinx/src/_static/fonts/FilsonPro-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/_static/fonts/FilsonPro-Bold.woff -------------------------------------------------------------------------------- /docs/sphinx/src/_static/fonts/FilsonPro-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/_static/fonts/FilsonPro-Regular.woff -------------------------------------------------------------------------------- /docs/sphinx/src/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/conf.py -------------------------------------------------------------------------------- /docs/sphinx/src/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/index.rst -------------------------------------------------------------------------------- /docs/sphinx/src/installation/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/installation/index.rst -------------------------------------------------------------------------------- /docs/sphinx/src/introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/introduction.rst -------------------------------------------------------------------------------- /docs/sphinx/src/liquidity-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/liquidity-dark.svg -------------------------------------------------------------------------------- /docs/sphinx/src/liquidity.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/liquidity.svg -------------------------------------------------------------------------------- /docs/sphinx/src/man/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/man/index.rst -------------------------------------------------------------------------------- /docs/sphinx/src/reference/grammar.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/reference/grammar.rst -------------------------------------------------------------------------------- /docs/sphinx/src/reference/liquidity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/reference/liquidity.rst -------------------------------------------------------------------------------- /docs/sphinx/src/reference/michelson_to_liquidity.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/reference/michelson_to_liquidity.rst -------------------------------------------------------------------------------- /docs/sphinx/src/tutorial/examples.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/tutorial/examples.rst -------------------------------------------------------------------------------- /docs/sphinx/src/tutorial/game.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/tutorial/game.rst -------------------------------------------------------------------------------- /docs/sphinx/src/tutorial/game_arch.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/tutorial/game_arch.jpg -------------------------------------------------------------------------------- /docs/sphinx/src/tutorial/tutorial.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/tutorial/tutorial.rst -------------------------------------------------------------------------------- /docs/sphinx/src/usage/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/docs/sphinx/src/usage/index.rst -------------------------------------------------------------------------------- /libs/deps-dune-network/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/.merlin -------------------------------------------------------------------------------- /libs/deps-dune-network/blake2-impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/blake2-impl.h -------------------------------------------------------------------------------- /libs/deps-dune-network/blake2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/blake2.h -------------------------------------------------------------------------------- /libs/deps-dune-network/blake2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/blake2.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/blake2b-ref.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/blake2b-ref.c -------------------------------------------------------------------------------- /libs/deps-dune-network/blake2b-stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/blake2b-stubs.c -------------------------------------------------------------------------------- /libs/deps-dune-network/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/build.ocp2 -------------------------------------------------------------------------------- /libs/deps-dune-network/cstruct.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/cstruct.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/ezjsonm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/ezjsonm.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/hacl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/hacl.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/js/blake2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/js/blake2.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/js/blakejs.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/js/blakejs.min.js -------------------------------------------------------------------------------- /libs/deps-dune-network/lwt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/lwt.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/lwt_io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/lwt_io.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/lwt_list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/lwt_list.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/lwt_mutex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/lwt_mutex.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/lwt_stream.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/lwt_stream.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/mBytes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/mBytes.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/mBytes.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/mBytes.mli -------------------------------------------------------------------------------- /libs/deps-dune-network/mbedtls_config.h: -------------------------------------------------------------------------------- 1 | #define MBEDTLS_SHA256_C 2 | -------------------------------------------------------------------------------- /libs/deps-dune-network/nocrypto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/nocrypto.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/secp256k1-stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/secp256k1-stubs.c -------------------------------------------------------------------------------- /libs/deps-dune-network/secp256k1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/secp256k1.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/secp256k1.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/secp256k1.mli -------------------------------------------------------------------------------- /libs/deps-dune-network/sha256-stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha256-stubs.c -------------------------------------------------------------------------------- /libs/deps-dune-network/sha256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha256.c -------------------------------------------------------------------------------- /libs/deps-dune-network/sha256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha256.h -------------------------------------------------------------------------------- /libs/deps-dune-network/sha3-ref.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha3-ref.c -------------------------------------------------------------------------------- /libs/deps-dune-network/sha3-ref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha3-ref.h -------------------------------------------------------------------------------- /libs/deps-dune-network/sha3-stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha3-stubs.c -------------------------------------------------------------------------------- /libs/deps-dune-network/sha3-tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/sha3-tests.c -------------------------------------------------------------------------------- /libs/deps-dune-network/tweetnacl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/tweetnacl.c -------------------------------------------------------------------------------- /libs/deps-dune-network/tweetnacl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/tweetnacl.h -------------------------------------------------------------------------------- /libs/deps-dune-network/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/utils.ml -------------------------------------------------------------------------------- /libs/deps-dune-network/z.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/deps-dune-network/z.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/Dune_Network_Lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/Dune_Network_Lib.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/RPC_arg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/RPC_arg.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/alpha_context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/alpha_context.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/build.ocp2 -------------------------------------------------------------------------------- /libs/dune-network-lib/clic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/clic.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/config_network.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/config_network.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/data_encoding_ezjsonm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/data_encoding_ezjsonm.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/dune_debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/dune_debug.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/ed25519.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/ed25519.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/environment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/environment.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/externalCallback.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/externalCallback.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/internal_event.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/internal_event.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/love_michelson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/love_michelson.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/love_translator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/love_translator.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/michelson_v1_macros.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/michelson_v1_macros.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/ocplib_ironmin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/ocplib_ironmin.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/p256.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/p256.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/protocol_client_context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/protocol_client_context.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/secp256k1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/secp256k1.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/storage_description.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/storage_description.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/tezos_config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/tezos_config.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/tezos_protocol_environment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/tezos_protocol_environment.ml -------------------------------------------------------------------------------- /libs/dune-network-lib/tzPervasives.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/dune-network-lib/tzPervasives.ml -------------------------------------------------------------------------------- /libs/ocplib-dot/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/ocplib-dot/build.ocp2 -------------------------------------------------------------------------------- /libs/ocplib-dot/ocamldot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/ocplib-dot/ocamldot.ml -------------------------------------------------------------------------------- /libs/ocplib-dot/ocamldot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/ocplib-dot/ocamldot.mli -------------------------------------------------------------------------------- /libs/ocplib-json/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/ocplib-json/build.ocp2 -------------------------------------------------------------------------------- /libs/ocplib-json/ocpJson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/ocplib-json/ocpJson.ml -------------------------------------------------------------------------------- /libs/ocplib-json/ocpJson.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/libs/ocplib-json/ocpJson.mli -------------------------------------------------------------------------------- /misc/build-tezos.ocp2-inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/misc/build-tezos.ocp2-inc -------------------------------------------------------------------------------- /misc/headache_config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/misc/headache_config -------------------------------------------------------------------------------- /misc/header: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/misc/header -------------------------------------------------------------------------------- /misc/merguez.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/misc/merguez.sh -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/opam -------------------------------------------------------------------------------- /scripts/check-mini.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/scripts/check-mini.sh -------------------------------------------------------------------------------- /scripts/check-rev.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/scripts/check-rev.sh -------------------------------------------------------------------------------- /scripts/check.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/scripts/check.sh -------------------------------------------------------------------------------- /scripts/check_love.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/scripts/check_love.sh -------------------------------------------------------------------------------- /scripts/config.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/scripts/config.sh -------------------------------------------------------------------------------- /scripts/run-list.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/scripts/run-list.sh -------------------------------------------------------------------------------- /tests/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/.gitignore -------------------------------------------------------------------------------- /tests/Coverage.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/Coverage.txt -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/bug187.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug187.liq -------------------------------------------------------------------------------- /tests/bug202.reliq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug202.reliq -------------------------------------------------------------------------------- /tests/bug_197.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_197.liq -------------------------------------------------------------------------------- /tests/bug_210.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_210.liq -------------------------------------------------------------------------------- /tests/bug_210_lov.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_210_lov.liq -------------------------------------------------------------------------------- /tests/bug_213.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_213.liq -------------------------------------------------------------------------------- /tests/bug_214.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_214.liq -------------------------------------------------------------------------------- /tests/bug_216.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_216.liq -------------------------------------------------------------------------------- /tests/bug_216_lov.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_216_lov.liq -------------------------------------------------------------------------------- /tests/bug_annot0.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_annot0.liq -------------------------------------------------------------------------------- /tests/bug_annot1.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_annot1.liq -------------------------------------------------------------------------------- /tests/bug_annot1_lov.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_annot1_lov.liq -------------------------------------------------------------------------------- /tests/bug_inline2.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_inline2.liq -------------------------------------------------------------------------------- /tests/bug_mohamed1.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_mohamed1.liq -------------------------------------------------------------------------------- /tests/bug_steven1.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_steven1.liq -------------------------------------------------------------------------------- /tests/bug_steven2.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/bug_steven2.liq -------------------------------------------------------------------------------- /tests/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/build.ocp2 -------------------------------------------------------------------------------- /tests/curry.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/curry.liq -------------------------------------------------------------------------------- /tests/doc/doc1.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc1.liq -------------------------------------------------------------------------------- /tests/doc/doc10.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc10.liq -------------------------------------------------------------------------------- /tests/doc/doc11.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc11.liq -------------------------------------------------------------------------------- /tests/doc/doc12.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc12.liq -------------------------------------------------------------------------------- /tests/doc/doc13.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc13.liq -------------------------------------------------------------------------------- /tests/doc/doc14.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc14.liq -------------------------------------------------------------------------------- /tests/doc/doc15.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc15.liq -------------------------------------------------------------------------------- /tests/doc/doc16.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc16.liq -------------------------------------------------------------------------------- /tests/doc/doc17.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc17.liq -------------------------------------------------------------------------------- /tests/doc/doc18.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc18.liq -------------------------------------------------------------------------------- /tests/doc/doc19.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc19.liq -------------------------------------------------------------------------------- /tests/doc/doc2.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc2.liq -------------------------------------------------------------------------------- /tests/doc/doc20.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc20.liq -------------------------------------------------------------------------------- /tests/doc/doc21.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc21.liq -------------------------------------------------------------------------------- /tests/doc/doc22.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc22.liq -------------------------------------------------------------------------------- /tests/doc/doc23.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc23.liq -------------------------------------------------------------------------------- /tests/doc/doc24.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc24.liq -------------------------------------------------------------------------------- /tests/doc/doc25.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc25.liq -------------------------------------------------------------------------------- /tests/doc/doc26.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc26.liq -------------------------------------------------------------------------------- /tests/doc/doc27.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc27.liq -------------------------------------------------------------------------------- /tests/doc/doc28.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc28.liq -------------------------------------------------------------------------------- /tests/doc/doc29.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc29.liq -------------------------------------------------------------------------------- /tests/doc/doc3.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc3.liq -------------------------------------------------------------------------------- /tests/doc/doc30.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc30.liq -------------------------------------------------------------------------------- /tests/doc/doc31.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc31.liq -------------------------------------------------------------------------------- /tests/doc/doc32.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc32.liq -------------------------------------------------------------------------------- /tests/doc/doc33.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc33.liq -------------------------------------------------------------------------------- /tests/doc/doc34.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc34.liq -------------------------------------------------------------------------------- /tests/doc/doc35.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc35.liq -------------------------------------------------------------------------------- /tests/doc/doc36.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc36.liq -------------------------------------------------------------------------------- /tests/doc/doc37.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc37.liq -------------------------------------------------------------------------------- /tests/doc/doc38.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc38.liq -------------------------------------------------------------------------------- /tests/doc/doc39.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc39.liq -------------------------------------------------------------------------------- /tests/doc/doc40.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc40.liq -------------------------------------------------------------------------------- /tests/doc/doc41.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc41.liq -------------------------------------------------------------------------------- /tests/doc/doc42.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc42.liq -------------------------------------------------------------------------------- /tests/doc/doc43.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc43.liq -------------------------------------------------------------------------------- /tests/doc/doc44.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc44.liq -------------------------------------------------------------------------------- /tests/doc/doc45.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc45.liq -------------------------------------------------------------------------------- /tests/doc/doc46.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc46.liq -------------------------------------------------------------------------------- /tests/doc/doc47.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc47.liq -------------------------------------------------------------------------------- /tests/doc/doc48.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc48.liq -------------------------------------------------------------------------------- /tests/doc/doc49.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc49.liq -------------------------------------------------------------------------------- /tests/doc/doc5.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc5.liq -------------------------------------------------------------------------------- /tests/doc/doc50.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc50.liq -------------------------------------------------------------------------------- /tests/doc/doc51.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc51.liq -------------------------------------------------------------------------------- /tests/doc/doc52.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc52.liq -------------------------------------------------------------------------------- /tests/doc/doc56.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc56.liq -------------------------------------------------------------------------------- /tests/doc/doc57.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc57.liq -------------------------------------------------------------------------------- /tests/doc/doc58.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc58.liq -------------------------------------------------------------------------------- /tests/doc/doc59.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc59.liq -------------------------------------------------------------------------------- /tests/doc/doc6.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc6.liq -------------------------------------------------------------------------------- /tests/doc/doc60.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc60.liq -------------------------------------------------------------------------------- /tests/doc/doc61.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc61.liq -------------------------------------------------------------------------------- /tests/doc/doc62.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc62.liq -------------------------------------------------------------------------------- /tests/doc/doc63.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc63.liq -------------------------------------------------------------------------------- /tests/doc/doc64.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc64.liq -------------------------------------------------------------------------------- /tests/doc/doc65.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc65.liq -------------------------------------------------------------------------------- /tests/doc/doc66.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc66.liq -------------------------------------------------------------------------------- /tests/doc/doc67.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc67.liq -------------------------------------------------------------------------------- /tests/doc/doc68.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc68.liq -------------------------------------------------------------------------------- /tests/doc/doc69.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc69.liq -------------------------------------------------------------------------------- /tests/doc/doc7.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc7.liq -------------------------------------------------------------------------------- /tests/doc/doc70.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc70.liq -------------------------------------------------------------------------------- /tests/doc/doc71.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc71.liq -------------------------------------------------------------------------------- /tests/doc/doc72.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc72.liq -------------------------------------------------------------------------------- /tests/doc/doc73.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc73.liq -------------------------------------------------------------------------------- /tests/doc/doc73_lov.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc73_lov.liq -------------------------------------------------------------------------------- /tests/doc/doc74.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc74.liq -------------------------------------------------------------------------------- /tests/doc/doc75.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc75.liq -------------------------------------------------------------------------------- /tests/doc/doc76.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc76.liq -------------------------------------------------------------------------------- /tests/doc/doc77.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc77.liq -------------------------------------------------------------------------------- /tests/doc/doc8.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc8.liq -------------------------------------------------------------------------------- /tests/doc/doc9.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/doc/doc9.liq -------------------------------------------------------------------------------- /tests/extra/extra.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/extra/extra.liq -------------------------------------------------------------------------------- /tests/extra/test.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/extra/test.liq -------------------------------------------------------------------------------- /tests/inline_fail.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/inline_fail.liq -------------------------------------------------------------------------------- /tests/lambda_const.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/lambda_const.liq -------------------------------------------------------------------------------- /tests/others/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/.gitignore -------------------------------------------------------------------------------- /tests/others/alias.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/alias.liq -------------------------------------------------------------------------------- /tests/others/auction.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/auction.liq -------------------------------------------------------------------------------- /tests/others/broker.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/broker.liq -------------------------------------------------------------------------------- /tests/others/broker2.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/broker2.liq -------------------------------------------------------------------------------- /tests/others/demo.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/demo.liq -------------------------------------------------------------------------------- /tests/others/game.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/game.liq -------------------------------------------------------------------------------- /tests/others/mist_wallet_current.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/mist_wallet_current.liq -------------------------------------------------------------------------------- /tests/others/mist_wallet_light.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/mist_wallet_light.liq -------------------------------------------------------------------------------- /tests/others/morpion.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/morpion.liq -------------------------------------------------------------------------------- /tests/others/multisig.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/multisig.liq -------------------------------------------------------------------------------- /tests/others/new_token.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/new_token.liq -------------------------------------------------------------------------------- /tests/others/new_token_sig.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/new_token_sig.liq -------------------------------------------------------------------------------- /tests/others/token.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/token.liq -------------------------------------------------------------------------------- /tests/others/token_no_fee.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/token_no_fee.liq -------------------------------------------------------------------------------- /tests/others/token_signature.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/token_signature.liq -------------------------------------------------------------------------------- /tests/others/token_vote.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/token_vote.liq -------------------------------------------------------------------------------- /tests/others/tokenreceiver.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/others/tokenreceiver.liq -------------------------------------------------------------------------------- /tests/reports/issue39.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reports/issue39.liq -------------------------------------------------------------------------------- /tests/reverse/bug_217.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/bug_217.tz -------------------------------------------------------------------------------- /tests/reverse/test0.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test0.tz -------------------------------------------------------------------------------- /tests/reverse/test1.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test1.tz -------------------------------------------------------------------------------- /tests/reverse/test10.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test10.tz -------------------------------------------------------------------------------- /tests/reverse/test2.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test2.tz -------------------------------------------------------------------------------- /tests/reverse/test3.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test3.tz -------------------------------------------------------------------------------- /tests/reverse/test4.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test4.tz -------------------------------------------------------------------------------- /tests/reverse/test5.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test5.tz -------------------------------------------------------------------------------- /tests/reverse/test6.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test6.tz -------------------------------------------------------------------------------- /tests/reverse/test7.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test7.tz -------------------------------------------------------------------------------- /tests/reverse/test8.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test8.tz -------------------------------------------------------------------------------- /tests/reverse/test9.tz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/reverse/test9.tz -------------------------------------------------------------------------------- /tests/run/demo.arg: -------------------------------------------------------------------------------- 1 | "Corona" 2 | -------------------------------------------------------------------------------- /tests/run/demo.tzp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/run/demo.tzp -------------------------------------------------------------------------------- /tests/run/demo.tzs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/run/demo.tzs -------------------------------------------------------------------------------- /tests/test0.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test0.liq -------------------------------------------------------------------------------- /tests/test1.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test1.liq -------------------------------------------------------------------------------- /tests/test10.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test10.liq -------------------------------------------------------------------------------- /tests/test11.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test11.liq -------------------------------------------------------------------------------- /tests/test12.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test12.liq -------------------------------------------------------------------------------- /tests/test13.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test13.liq -------------------------------------------------------------------------------- /tests/test14.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test14.liq -------------------------------------------------------------------------------- /tests/test15.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test15.liq -------------------------------------------------------------------------------- /tests/test16.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test16.liq -------------------------------------------------------------------------------- /tests/test17.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test17.liq -------------------------------------------------------------------------------- /tests/test18.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test18.liq -------------------------------------------------------------------------------- /tests/test19.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test19.liq -------------------------------------------------------------------------------- /tests/test2.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test2.liq -------------------------------------------------------------------------------- /tests/test20.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test20.liq -------------------------------------------------------------------------------- /tests/test21.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test21.liq -------------------------------------------------------------------------------- /tests/test22.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test22.liq -------------------------------------------------------------------------------- /tests/test23.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test23.liq -------------------------------------------------------------------------------- /tests/test24.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test24.liq -------------------------------------------------------------------------------- /tests/test25.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test25.liq -------------------------------------------------------------------------------- /tests/test26.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test26.liq -------------------------------------------------------------------------------- /tests/test27.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test27.liq -------------------------------------------------------------------------------- /tests/test28.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test28.liq -------------------------------------------------------------------------------- /tests/test29.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test29.liq -------------------------------------------------------------------------------- /tests/test3.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test3.liq -------------------------------------------------------------------------------- /tests/test30.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test30.liq -------------------------------------------------------------------------------- /tests/test31.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test31.liq -------------------------------------------------------------------------------- /tests/test32.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test32.liq -------------------------------------------------------------------------------- /tests/test33.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test33.liq -------------------------------------------------------------------------------- /tests/test34.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test34.liq -------------------------------------------------------------------------------- /tests/test35.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test35.liq -------------------------------------------------------------------------------- /tests/test36.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test36.liq -------------------------------------------------------------------------------- /tests/test37.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test37.liq -------------------------------------------------------------------------------- /tests/test38.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test38.liq -------------------------------------------------------------------------------- /tests/test39.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test39.liq -------------------------------------------------------------------------------- /tests/test4.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test4.liq -------------------------------------------------------------------------------- /tests/test40.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test40.liq -------------------------------------------------------------------------------- /tests/test41.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test41.liq -------------------------------------------------------------------------------- /tests/test42.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test42.liq -------------------------------------------------------------------------------- /tests/test43.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test43.liq -------------------------------------------------------------------------------- /tests/test5.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test5.liq -------------------------------------------------------------------------------- /tests/test6.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test6.liq -------------------------------------------------------------------------------- /tests/test7.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test7.liq -------------------------------------------------------------------------------- /tests/test8.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test8.liq -------------------------------------------------------------------------------- /tests/test9.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test9.liq -------------------------------------------------------------------------------- /tests/test_big_map.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_big_map.liq -------------------------------------------------------------------------------- /tests/test_call.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_call.liq -------------------------------------------------------------------------------- /tests/test_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_closure.liq -------------------------------------------------------------------------------- /tests/test_closure2.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_closure2.liq -------------------------------------------------------------------------------- /tests/test_closure3.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_closure3.liq -------------------------------------------------------------------------------- /tests/test_external.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_external.liq -------------------------------------------------------------------------------- /tests/test_extfun.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_extfun.liq -------------------------------------------------------------------------------- /tests/test_fold.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_fold.liq -------------------------------------------------------------------------------- /tests/test_if.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_if.liq -------------------------------------------------------------------------------- /tests/test_ifcons.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_ifcons.liq -------------------------------------------------------------------------------- /tests/test_infer_param.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_infer_param.liq -------------------------------------------------------------------------------- /tests/test_infer_unpack.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_infer_unpack.liq -------------------------------------------------------------------------------- /tests/test_inline.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_inline.liq -------------------------------------------------------------------------------- /tests/test_iter.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_iter.liq -------------------------------------------------------------------------------- /tests/test_left.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_left.liq -------------------------------------------------------------------------------- /tests/test_left_constr.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_left_constr.liq -------------------------------------------------------------------------------- /tests/test_left_match.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_left_match.liq -------------------------------------------------------------------------------- /tests/test_loop.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_loop.liq -------------------------------------------------------------------------------- /tests/test_loop_left.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_loop_left.liq -------------------------------------------------------------------------------- /tests/test_map.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_map.liq -------------------------------------------------------------------------------- /tests/test_map_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_map_closure.liq -------------------------------------------------------------------------------- /tests/test_map_fold_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_map_fold_closure.liq -------------------------------------------------------------------------------- /tests/test_mapmap_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_mapmap_closure.liq -------------------------------------------------------------------------------- /tests/test_mapreduce_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_mapreduce_closure.liq -------------------------------------------------------------------------------- /tests/test_modules.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_modules.liq -------------------------------------------------------------------------------- /tests/test_option.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_option.liq -------------------------------------------------------------------------------- /tests/test_rec_fun.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_rec_fun.liq -------------------------------------------------------------------------------- /tests/test_record.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_record.liq -------------------------------------------------------------------------------- /tests/test_record_lov.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_record_lov.liq -------------------------------------------------------------------------------- /tests/test_reduce_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_reduce_closure.liq -------------------------------------------------------------------------------- /tests/test_rev.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_rev.liq -------------------------------------------------------------------------------- /tests/test_right_constr.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_right_constr.liq -------------------------------------------------------------------------------- /tests/test_setreduce_closure.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_setreduce_closure.liq -------------------------------------------------------------------------------- /tests/test_transfer.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_transfer.liq -------------------------------------------------------------------------------- /tests/test_view.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/test_view.liq -------------------------------------------------------------------------------- /tests/tst.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/tst.liq -------------------------------------------------------------------------------- /tests/tstmod/a.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/tstmod/a.liq -------------------------------------------------------------------------------- /tests/tstmod/b.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/tstmod/b.liq -------------------------------------------------------------------------------- /tests/tstmod/c.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/tstmod/c.liq -------------------------------------------------------------------------------- /tests/votes.liq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tests/votes.liq -------------------------------------------------------------------------------- /tools/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/.merlin -------------------------------------------------------------------------------- /tools/client/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/build.ocp2 -------------------------------------------------------------------------------- /tools/client/lazy_superposed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/lazy_superposed.ml -------------------------------------------------------------------------------- /tools/client/lazy_superposed.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/lazy_superposed.mli -------------------------------------------------------------------------------- /tools/client/liquidClient.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClient.ml -------------------------------------------------------------------------------- /tools/client/liquidClientErrors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientErrors.ml -------------------------------------------------------------------------------- /tools/client/liquidClientMain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientMain.ml -------------------------------------------------------------------------------- /tools/client/liquidClientRPCs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientRPCs.ml -------------------------------------------------------------------------------- /tools/client/liquidClientRequest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientRequest.ml -------------------------------------------------------------------------------- /tools/client/liquidClientSigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientSigs.ml -------------------------------------------------------------------------------- /tools/client/liquidClientTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientTypes.ml -------------------------------------------------------------------------------- /tools/client/liquidClientUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidClientUtils.ml -------------------------------------------------------------------------------- /tools/client/liquidityLang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/liquidityLang.ml -------------------------------------------------------------------------------- /tools/client/loveTarget.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/loveTarget.ml -------------------------------------------------------------------------------- /tools/client/michelsonTarget.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/client/michelsonTarget.ml -------------------------------------------------------------------------------- /tools/liquidity/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/build.ocp2 -------------------------------------------------------------------------------- /tools/liquidity/iSO8601.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/iSO8601.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidBoundVariables.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidBoundVariables.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidBoundVariables.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidBoundVariables.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidCheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidCheck.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidCheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidCheck.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidClean.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidClean.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidClean.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidClean.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidCommonArgs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidCommonArgs.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidData.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidData.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidData.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidData.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidDecode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidDecode.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidDecode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidDecode.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidDecomp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidDecomp.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidDecomp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidDecomp.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidDot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidDot.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidDot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidDot.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidEmit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidEmit.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidEmit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidEmit.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidEncode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidEncode.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidEncode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidEncode.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidFromParsetree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidFromParsetree.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidFromParsetree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidFromParsetree.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidInfer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInfer.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidInfer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInfer.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidInfomark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInfomark.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidInit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInit.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidInit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInit.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidInterp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInterp.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidInterp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidInterp.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidLoc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidLoc.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidLoc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidLoc.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidMain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidMain.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidMichelson.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidMichelson.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidMichelson.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidMichelson.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidMisc.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidNamespace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidNamespace.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidNamespace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidNamespace.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidNumber.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidNumber.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidNumber.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidNumber.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidOptions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidOptions.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidParse.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidParse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidParse.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidPeephole.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidPeephole.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidPeephole.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidPeephole.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidPrinter.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidPrinter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidPrinter.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidSimplify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidSimplify.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidSimplify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidSimplify.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidToParsetree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidToParsetree.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidToParsetree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidToParsetree.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidTypes.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidUntype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidUntype.ml -------------------------------------------------------------------------------- /tools/liquidity/liquidUntype.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidUntype.mli -------------------------------------------------------------------------------- /tools/liquidity/liquidVersion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/liquidVersion.ml -------------------------------------------------------------------------------- /tools/liquidity/ocaml/liquidOCamlLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/ocaml/liquidOCamlLexer.mll -------------------------------------------------------------------------------- /tools/liquidity/ocaml/liquidOCamlLexer.mll-orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/ocaml/liquidOCamlLexer.mll-orig -------------------------------------------------------------------------------- /tools/liquidity/ocaml/liquidOCamlParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/ocaml/liquidOCamlParse.ml -------------------------------------------------------------------------------- /tools/liquidity/ocaml/liquidOCamlParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/ocaml/liquidOCamlParser.mly -------------------------------------------------------------------------------- /tools/liquidity/ocaml/liquidOCamlParser.mly-orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/ocaml/liquidOCamlParser.mly-orig -------------------------------------------------------------------------------- /tools/liquidity/ocaml/liquidOCamlPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/ocaml/liquidOCamlPrinter.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/lexer_warning.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/lexer_warning.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/liquidReasonParse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/liquidReasonParse.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_attributes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_attributes.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_comment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_comment.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_config.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_heuristics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_heuristics.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_layout.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_layout.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_lexer.mll -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_lexer.mll-orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_lexer.mll-orig -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_location.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_parser.mly -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_parser.mly-orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_parser.mly-orig -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_pprint_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_pprint_ast.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_pprint_ast.ml-orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_pprint_ast.ml-orig -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_pprint_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_pprint_ast.mli -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_string.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_syntax_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_syntax_util.ml -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_syntax_util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_syntax_util.mli -------------------------------------------------------------------------------- /tools/liquidity/reason/reason_toolchain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/reason/reason_toolchain.ml -------------------------------------------------------------------------------- /tools/liquidity/with-dune-network/liquidFromMicheline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/with-dune-network/liquidFromMicheline.ml -------------------------------------------------------------------------------- /tools/liquidity/with-dune-network/liquidFromMicheline.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/with-dune-network/liquidFromMicheline.mli -------------------------------------------------------------------------------- /tools/liquidity/with-dune-network/liquidMichelineTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/with-dune-network/liquidMichelineTypes.ml -------------------------------------------------------------------------------- /tools/liquidity/with-dune-network/liquidToMicheline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/with-dune-network/liquidToMicheline.ml -------------------------------------------------------------------------------- /tools/liquidity/with-dune-network/liquidToMicheline.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/with-dune-network/liquidToMicheline.mli -------------------------------------------------------------------------------- /tools/liquidity/without-dune-network/Dune_Network_Lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/without-dune-network/Dune_Network_Lib.ml -------------------------------------------------------------------------------- /tools/liquidity/without-dune-network/liquidFromMicheline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/without-dune-network/liquidFromMicheline.ml -------------------------------------------------------------------------------- /tools/liquidity/without-dune-network/liquidFromMicheline.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/without-dune-network/liquidFromMicheline.mli -------------------------------------------------------------------------------- /tools/liquidity/without-dune-network/liquidMichelineTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/without-dune-network/liquidMichelineTypes.ml -------------------------------------------------------------------------------- /tools/liquidity/without-dune-network/liquidToMicheline.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/without-dune-network/liquidToMicheline.ml -------------------------------------------------------------------------------- /tools/liquidity/without-dune-network/liquidToMicheline.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/liquidity/without-dune-network/liquidToMicheline.mli -------------------------------------------------------------------------------- /tools/love/build.ocp2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/love/build.ocp2 -------------------------------------------------------------------------------- /tools/love/compil_utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/love/compil_utils.ml -------------------------------------------------------------------------------- /tools/love/liq2love.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/love/liq2love.ml -------------------------------------------------------------------------------- /tools/love/preprocess.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/tools/love/preprocess.ml -------------------------------------------------------------------------------- /travis-scripts/build-dune.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/travis-scripts/build-dune.sh -------------------------------------------------------------------------------- /travis-scripts/env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/travis-scripts/env.sh -------------------------------------------------------------------------------- /travis-scripts/prepare-opam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/travis-scripts/prepare-opam.sh -------------------------------------------------------------------------------- /travis-scripts/prepare-ubuntu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/travis-scripts/prepare-ubuntu.sh -------------------------------------------------------------------------------- /travis-scripts/start-dune-sandbox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/travis-scripts/start-dune-sandbox.sh -------------------------------------------------------------------------------- /travis-scripts/stop-dune-sandbox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/liquidity/HEAD/travis-scripts/stop-dune-sandbox.sh --------------------------------------------------------------------------------