1. 21 Mar, 2019 1 commit
  2. 19 Mar, 2019 2 commits
  3. 16 Mar, 2019 1 commit
  4. 14 Mar, 2019 3 commits
  5. 12 Mar, 2019 4 commits
  6. 11 Mar, 2019 3 commits
  7. 10 Mar, 2019 3 commits
  8. 08 Mar, 2019 4 commits
    • Jakob Botsch Nielsen's avatar
      Add Blockchain.get_contract_interface and create_deployment · 11c14413
      Jakob Botsch Nielsen authored
      These functions allow interacting with contracts in a strongly-typed
      manner without having to serialize/deserialize manually.
      Also adjust test to use these.
      11c14413
    • Jakob Botsch Nielsen's avatar
      Add a working example using the Congress · 0bcb6c0c
      Jakob Botsch Nielsen authored
      This adds a small example that uses a local blockchain to deploy a
      congress and do a transfer with it.
      
      Also fixes bugs to make this work.
      0bcb6c0c
    • Jakob Botsch Nielsen's avatar
      Drop support for Coq 8.7 · c66e14a1
      Jakob Botsch Nielsen authored
      Coq 8.7 does not support notation patterns.
      c66e14a1
    • Jakob Botsch Nielsen's avatar
      Implement execution in LocalBlockChain · 357cd8df
      Jakob Botsch Nielsen authored
      This implements a depth first execution of chain actions with support
      for deploying contracts from contracts and calling into other contracts
      recursively. To support these things, contracts need to exhibit a
      bijection of their types from and to OakValue. This machinery is modeled
      with type classes. Then, use this to avoid having to store strongly
      typed contracts anywhere; instead, a contract can be converted to a
      WeakContract instance (using a coercion). The WeakContract verifies that
      messages and states serialize/deserialize correctly and then passes
      everything along to the strongly typed contract under the hood.
      357cd8df
  9. 06 Mar, 2019 2 commits
  10. 05 Mar, 2019 1 commit
  11. 04 Mar, 2019 4 commits
  12. 02 Mar, 2019 1 commit
  13. 01 Mar, 2019 3 commits
  14. 28 Feb, 2019 3 commits
  15. 27 Feb, 2019 5 commits