gitextract_oes_fca_/

├── .gitignore
├── .gitmodules
├── .travis.yml
├── LICENSE
├── Makefile
├── README.md
├── ReleaseNotes.txt
├── __tests__/
│   └── compare-js-native.js
├── _oasis
├── _tags
├── bsconfig.json
├── doc/
│   ├── manifest.md
│   ├── semantics.md
│   ├── spec.tex
│   ├── testing-bytecode.md
│   └── tutorial.md
├── myocamlbuild.ml
├── opam/
│   ├── descr
│   └── opam
├── package.json
├── setup.ml
├── sketch/
│   ├── future.bbo
│   └── open_auction.bbo
└── src/
    ├── ast/
    │   ├── META
    │   ├── ast.mldylib
    │   ├── ast.mllib
    │   ├── ast_test.ml
    │   ├── contract.ml
    │   ├── contract.mli
    │   ├── ethereum.ml
    │   ├── ethereum.mli
    │   ├── evm.ml
    │   ├── evm.mli
    │   ├── location.ml
    │   ├── location.mli
    │   ├── pseudoImm.ml
    │   ├── pseudoImm.mli
    │   ├── sideEffect.ml
    │   ├── sideEffect.mli
    │   ├── syntax.ml
    │   ├── syntax.mli
    │   ├── type.ml
    │   ├── type.mli
    │   ├── typeEnv.ml
    │   └── typeEnv.mli
    ├── basics/
    │   ├── META
    │   ├── assoc.ml
    │   ├── assoc.mli
    │   ├── basics.mldylib
    │   ├── basics.mllib
    │   ├── hex_test.ml
    │   ├── hexa.ml
    │   ├── hexa.mli
    │   ├── label.ml
    │   ├── label.mli
    │   ├── misc.ml
    │   ├── misc.mli
    │   ├── storage.ml
    │   └── storage.mli
    ├── codegen/
    │   ├── META
    │   ├── codegen.ml
    │   ├── codegen.mldylib
    │   ├── codegen.mli
    │   ├── codegen.mllib
    │   ├── codegenEnv.ml
    │   ├── codegenEnv.mli
    │   ├── codegen_test.ml
    │   ├── codegen_test2.ml
    │   ├── entrypointDatabase.ml
    │   ├── entrypointDatabase.mli
    │   ├── layoutInfo.ml
    │   ├── layoutInfo.mli
    │   ├── layouts.txt
    │   ├── locationEnv.ml
    │   ├── locationEnv.mli
    │   ├── parse.ml
    │   └── parse.mli
    ├── cross-platform/
    │   ├── META
    │   ├── cross-platform.mldylib
    │   ├── cross-platform.mllib
    │   ├── rope.ml
    │   ├── wrapBn.ml
    │   ├── wrapBnNative.ml
    │   ├── wrapCryptokit.ml
    │   ├── wrapCryptokitNative.ml
    │   ├── wrapList.ml
    │   ├── wrapListNative.ml
    │   ├── wrapOption.ml
    │   ├── wrapString.ml
    │   └── wrapStringNative.ml
    ├── cross-platform-for-ocamlbuild/
    │   ├── META
    │   ├── cross-platform.mldylib
    │   ├── cross-platform.mllib
    │   └── wrapOption.ml
    ├── exec/
    │   ├── bamboo.ml
    │   ├── compileFile.ml
    │   ├── compileFile.mli
    │   └── endToEnd.ml
    ├── exec-js/
    │   └── bambooJs.ml
    ├── lib/
    │   ├── META
    │   └── lib_test.ml
    ├── parse/
    │   ├── META
    │   ├── README.md
    │   ├── examples/
    │   │   ├── 000nil.bbo
    │   │   ├── 001empty.bbo
    │   │   ├── 002comment.bbo
    │   │   ├── 003default_abort.bbo
    │   │   ├── 004simple_case_abort.bbo
    │   │   ├── 005auction_start.bbo
    │   │   ├── 006auction_first_case.bbo
    │   │   ├── 007auction_first_case_more.bbo
    │   │   ├── 008new_var.bbo
    │   │   ├── 009new_var_auc.bbo
    │   │   ├── 00a_auc_first_cast.bbo
    │   │   ├── 00b_auction_more.bbo
    │   │   ├── 00bbauction_first_named_case.bbo
    │   │   ├── 00c_auction.bbo
    │   │   ├── 00d_auction.bbo
    │   │   ├── 00e_ecdsarecover.bbo
    │   │   ├── 00f_bytes32.bbo
    │   │   ├── 00g_int8.bbo
    │   │   ├── 00h_payment_channel.bbo
    │   │   ├── 00i_local_bool.bbo
    │   │   ├── 010_logical_and.bbo
    │   │   ├── 011_keccak256.bbo
    │   │   ├── 013_iszero.bbo
    │   │   ├── 014_ifelse.bbo
    │   │   ├── 015_ifblock.bbo
    │   │   ├── 016_void.bbo
    │   │   ├── 017_return_void.bbo
    │   │   ├── 018_mapmap.bbo
    │   │   ├── 019_something.bbo
    │   │   ├── 01a_event.bbo
    │   │   ├── 01b_erc20better.bbo
    │   │   ├── 020_plus_mult.bbo
    │   │   ├── 021_land_neq.bbo
    │   │   ├── 022_plus_gt.bbo
    │   │   ├── 024_vault.bbo
    │   │   ├── 024_vault_shorter.bbo
    │   │   ├── 025_declit_numeric.bbo
    │   │   ├── 026_abc.bbo
    │   │   └── 027_counting.bbo
    │   ├── lexer.mll
    │   ├── negative_examples/
    │   │   ├── bad_end.bbo
    │   │   ├── duplicate_contract_names.bbo
    │   │   ├── mixed_uints.bbo
    │   │   ├── multi_default.bbo
    │   │   ├── uint256_too_big.bbo
    │   │   ├── uint8_too_big.bbo
    │   │   ├── uint8_with_four_digits.bbo
    │   │   ├── unknown_ctor_arg.bbo
    │   │   ├── unknown_return.bbo
    │   │   ├── unknown_type.bbo
    │   │   ├── void_not_void.bbo
    │   │   ├── void_some_return.bbo
    │   │   ├── wrong_arg.bbo
    │   │   └── wrong_return.bbo
    │   ├── parse.mldylib
    │   ├── parse.mllib
    │   ├── parser.mly
    │   └── parser_test.ml
    └── run_tests.sh