Opam Package archetype.1.2.2

Package info

opam-namearchetype
opam-version1.2.2
synopsisArchetype language compiler
description Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on contract security
authors
  • Benoit Rognier <benoit.rognier@edukera.com>
  • Guillaume Duhamel <guillaume.duhamel@edukera.com>
  • Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>
homepagehttps://github.com/edukera/archetype-lang
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
deps (9)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

archetype

Package files

share/archetype/mlw/fset.mlw
share/archetype/mlw/archetype.mlw
share/archetype/mlw
share/archetype/extensions/transferable.arlx
share/archetype/extensions/traceable.arlx
share/archetype/extensions/test_initialized.arlx
share/archetype/extensions/signedbyall.arlx
share/archetype/extensions/signedby_at_object_level.arlx
share/archetype/extensions/signedby.arlx
share/archetype/extensions/onlyonce.arlx
share/archetype/extensions/mutable_signed.arlx
share/archetype/extensions/mutable_enum.arlx
share/archetype/extensions/mutable.arlx
share/archetype/extensions/delegable.arlx
share/archetype/extensions/action_delegation.arlx
share/archetype/extensions
share/archetype/contracts/zero_coupon_bond_with_insurance.arl
share/archetype/contracts/zero_coupon_bond.arl
share/archetype/contracts/voting_process.arl
share/archetype/contracts/vehicle_lifecycle.arl
share/archetype/contracts/unanimity.arl
share/archetype/contracts/sig_challenge.arl
share/archetype/contracts/register_vote.arl
share/archetype/contracts/register_candidate.arl
share/archetype/contracts/perishable.arl
share/archetype/contracts/oraclesetvalue.arl
share/archetype/contracts/mwe_medium.arl
share/archetype/contracts/mwe_fit.arl
share/archetype/contracts/mini_dao.arl
share/archetype/contracts/miles_with_expiration_simple.arl
share/archetype/contracts/miles_with_expiration.arl
share/archetype/contracts/miles.arl
share/archetype/contracts/ideasbox.arl
share/archetype/contracts/ico.arl
share/archetype/contracts/hello.arl
share/archetype/contracts/health_care.arl
share/archetype/contracts/guarantee_fund.arl
share/archetype/contracts/fizzy.arl
share/archetype/contracts/fa12_inspector.arl
share/archetype/contracts/fa12.arl
share/archetype/contracts/escrow_without_spec.arl
share/archetype/contracts/escrow_simple.arl
share/archetype/contracts/escrow_penalty.arl
share/archetype/contracts/escrow_basic.arl
share/archetype/contracts/erc20.arl
share/archetype/contracts/empty.arl
share/archetype/contracts/competition.arl
share/archetype/contracts/coase.arl
share/archetype/contracts/clause_io_acceptance_of_delivery.arl
share/archetype/contracts/certification_token.arl
share/archetype/contracts/certificate_generator.arl
share/archetype/contracts/c3n.arl
share/archetype/contracts/bond.arl
share/archetype/contracts/autocallable.arl
share/archetype/contracts/auction_zilliqa.arl
share/archetype/contracts/auction_no_memory.arl
share/archetype/contracts/auction_lazy.arl
share/archetype/contracts/auction.arl
share/archetype/contracts/animal_tracking.arl
share/archetype/contracts
share/archetype
lib/archetype/typing.ml
lib/archetype/tools.ml
lib/archetype/symbol.ml
lib/archetype/pureLexer.ml
lib/archetype/printer_tools.ml
lib/archetype/printer_pt_markdown.ml
lib/archetype/printer_pt.ml
lib/archetype/printer_model_tools.ml
lib/archetype/printer_model.ml
lib/archetype/printer_mlwtree.ml
lib/archetype/printer_michelson.ml
lib/archetype/printer_ast.ml
lib/archetype/position.mli
lib/archetype/position.ml
lib/archetype/parser.mli
lib/archetype/parser.ml
lib/archetype/parseTree.ml
lib/archetype/parseError.ml
lib/archetype/options.ml
lib/archetype/opt_model.ml
lib/archetype/opam
lib/archetype/mtools.ml
lib/archetype/model.ml
lib/archetype/mlwtree.ml
lib/archetype/michelson_parser.mli
lib/archetype/michelson_parser.ml
lib/archetype/michelson_lexer.ml
lib/archetype/michelson.ml
lib/archetype/location.ml
lib/archetype/lexer.ml
lib/archetype/io.ml
lib/archetype/ident.ml
lib/archetype/gen_why3.ml
lib/archetype/gen_transform.ml
lib/archetype/gen_storage.ml
lib/archetype/gen_model.ml
lib/archetype/gen_michelson.ml
lib/archetype/gen_extra.ml
lib/archetype/gen_decompile.ml
lib/archetype/gen_api_storage.ml
lib/archetype/error.ml
lib/archetype/dune-package
lib/archetype/core.ml
lib/archetype/ast.ml
lib/archetype/archetype__Typing.cmx
lib/archetype/archetype__Typing.cmt
lib/archetype/archetype__Typing.cmi
lib/archetype/archetype__Tools.cmx
lib/archetype/archetype__Tools.cmt
lib/archetype/archetype__Tools.cmi
lib/archetype/archetype__Symbol.cmx
lib/archetype/archetype__Symbol.cmt
lib/archetype/archetype__Symbol.cmi
lib/archetype/archetype__PureLexer.cmx
lib/archetype/archetype__PureLexer.cmt
lib/archetype/archetype__PureLexer.cmi
lib/archetype/archetype__Printer_tools.cmx
lib/archetype/archetype__Printer_tools.cmt
lib/archetype/archetype__Printer_tools.cmi
lib/archetype/archetype__Printer_pt_markdown.cmx
lib/archetype/archetype__Printer_pt_markdown.cmt
lib/archetype/archetype__Printer_pt_markdown.cmi
lib/archetype/archetype__Printer_pt.cmx
lib/archetype/archetype__Printer_pt.cmt
lib/archetype/archetype__Printer_pt.cmi
lib/archetype/archetype__Printer_model_tools.cmx
lib/archetype/archetype__Printer_model_tools.cmt
lib/archetype/archetype__Printer_model_tools.cmi
lib/archetype/archetype__Printer_model.cmx
lib/archetype/archetype__Printer_model.cmt
lib/archetype/archetype__Printer_model.cmi
lib/archetype/archetype__Printer_mlwtree.cmx
lib/archetype/archetype__Printer_mlwtree.cmt
lib/archetype/archetype__Printer_mlwtree.cmi
lib/archetype/archetype__Printer_michelson.cmx
lib/archetype/archetype__Printer_michelson.cmt
lib/archetype/archetype__Printer_michelson.cmi
lib/archetype/archetype__Printer_ast.cmx
lib/archetype/archetype__Printer_ast.cmt
lib/archetype/archetype__Printer_ast.cmi
lib/archetype/archetype__Position.cmx
lib/archetype/archetype__Position.cmti
lib/archetype/archetype__Position.cmt
lib/archetype/archetype__Position.cmi
lib/archetype/archetype__Parser.cmx
lib/archetype/archetype__Parser.cmti
lib/archetype/archetype__Parser.cmt
lib/archetype/archetype__Parser.cmi
lib/archetype/archetype__ParseTree.cmx
lib/archetype/archetype__ParseTree.cmt
lib/archetype/archetype__ParseTree.cmi
lib/archetype/archetype__ParseError.cmx
lib/archetype/archetype__ParseError.cmt
lib/archetype/archetype__ParseError.cmi
lib/archetype/archetype__Options.cmx
lib/archetype/archetype__Options.cmt
lib/archetype/archetype__Options.cmi
lib/archetype/archetype__Opt_model.cmx
lib/archetype/archetype__Opt_model.cmt
lib/archetype/archetype__Opt_model.cmi
lib/archetype/archetype__Mtools.cmx
lib/archetype/archetype__Mtools.cmt
lib/archetype/archetype__Mtools.cmi
lib/archetype/archetype__Model.cmx
lib/archetype/archetype__Model.cmt
lib/archetype/archetype__Model.cmi
lib/archetype/archetype__Mlwtree.cmx
lib/archetype/archetype__Mlwtree.cmt
lib/archetype/archetype__Mlwtree.cmi
lib/archetype/archetype__Michelson_parser.cmx
lib/archetype/archetype__Michelson_parser.cmti
lib/archetype/archetype__Michelson_parser.cmt
lib/archetype/archetype__Michelson_parser.cmi
lib/archetype/archetype__Michelson_lexer.cmx
lib/archetype/archetype__Michelson_lexer.cmt
lib/archetype/archetype__Michelson_lexer.cmi
lib/archetype/archetype__Michelson.cmx
lib/archetype/archetype__Michelson.cmt
lib/archetype/archetype__Michelson.cmi
lib/archetype/archetype__Location.cmx
lib/archetype/archetype__Location.cmt
lib/archetype/archetype__Location.cmi
lib/archetype/archetype__Lexer.cmx
lib/archetype/archetype__Lexer.cmt
lib/archetype/archetype__Lexer.cmi
lib/archetype/archetype__Io.cmx
lib/archetype/archetype__Io.cmt
lib/archetype/archetype__Io.cmi
lib/archetype/archetype__Ident.cmx
lib/archetype/archetype__Ident.cmt
lib/archetype/archetype__Ident.cmi
lib/archetype/archetype__Gen_why3.cmx
lib/archetype/archetype__Gen_why3.cmt
lib/archetype/archetype__Gen_why3.cmi
lib/archetype/archetype__Gen_transform.cmx
lib/archetype/archetype__Gen_transform.cmt
lib/archetype/archetype__Gen_transform.cmi
lib/archetype/archetype__Gen_storage.cmx
lib/archetype/archetype__Gen_storage.cmt
lib/archetype/archetype__Gen_storage.cmi
lib/archetype/archetype__Gen_model.cmx
lib/archetype/archetype__Gen_model.cmt
lib/archetype/archetype__Gen_model.cmi
lib/archetype/archetype__Gen_michelson.cmx
lib/archetype/archetype__Gen_michelson.cmt
lib/archetype/archetype__Gen_michelson.cmi
lib/archetype/archetype__Gen_extra.cmx
lib/archetype/archetype__Gen_extra.cmt
lib/archetype/archetype__Gen_extra.cmi
lib/archetype/archetype__Gen_decompile.cmx
lib/archetype/archetype__Gen_decompile.cmt
lib/archetype/archetype__Gen_decompile.cmi
lib/archetype/archetype__Gen_api_storage.cmx
lib/archetype/archetype__Gen_api_storage.cmt
lib/archetype/archetype__Gen_api_storage.cmi
lib/archetype/archetype__Error.cmx
lib/archetype/archetype__Error.cmt
lib/archetype/archetype__Error.cmi
lib/archetype/archetype__Core.cmx
lib/archetype/archetype__Core.cmt
lib/archetype/archetype__Core.cmi
lib/archetype/archetype__Ast.cmx
lib/archetype/archetype__Ast.cmt
lib/archetype/archetype__Ast.cmi
lib/archetype/archetype.ml
lib/archetype/archetype.cmxs
lib/archetype/archetype.cmxa
lib/archetype/archetype.cmx
lib/archetype/archetype.cmt
lib/archetype/archetype.cmi
lib/archetype/archetype.cma
lib/archetype/archetype.a
lib/archetype/META
lib/archetype
doc/archetype/README.md
doc/archetype/LICENSE
doc/archetype/CHANGES.md
doc/archetype
bin/archetype