typing: begin writing a typing specification
Convert subtrees to submodules; update K, KNinja; OCaml build does not include krypto
plutus-core.md: Add klabels for readability of kast output
plutus-core.md: Add klabels for readability
Merge pull request #110 from input-output-hk/edsko/abstract-over-time
Abstract over time
.k.rev: 017c591d4b20802238afe431154659f232c8cca8 Deterministic functions.
Gnosis: converted existing specs to IMap memory model. Limitations: 1. Modified bytecode, all functions public. 2. Fixed loop length.
hash2() == I
makefile takes external kprove options
pkgs.nix: bump to update all-cabal-hashes
Merge pull request #108 from input-output-hk/avieth/fix_pipe_duplex
pipeDuplex receive side close on explicit EOF
fix packet access key id not existing in CI test
Playground: Twaeking the Sankey chart colours.
For better projector display.
Playground: Adding some documentation links.
gnosis-impa: —log-stmts-only —log-cells pc
Clean up LOCALE_ARCHIVE assignment
Merge pull request #399 from serokell/gromak/ad527-nix-unicode
[AD-527] Fix non-ascii output in Ariadne built with nix
Commit wallet-api haddock as of 0634ef2b36d1c506478c8a956b2c495f20b48c07
Clear out normal sources
This also moves a lot of responsibility that was previously in the test to the
node itself, where it belongs.
Merge pull request #401 from input-output-hk/extra-playground-instances
Extra playground instances
Merge pull request #398 from input-output-hk/fix/playground-client-hydra
[WIP] Build plutus-playground-client on Hydra
[DDW-519] Prevent NetworkStatusRequest from switching back into MainUI during Cardano shutdown sequence
Get node-sass’s binaries and point it at them
need python2 dep
add some more instances of the playground to each server
Merge pull request #328 from mzabaluev/deprecate-iter-new
storage: Improve iterator API
Merge pull request #400 from input-output-hk/j-mueller/fix-wait
wallet-api: Notify after each block
Integration in demo-playground
Merge pull request #381 from michaelpj/imp/just-a-few-more-renames
PlutusTx: two final renames
wallet-api: Include source and target links in graph
Flow links include source and target locations (block and index within
Uses the new DIState and implements the delegates function
[DDW-518] Remove time change check logic and restore forced NTP request polling
Fix playground usecases
Resolves a merge conflict
Weekly status report, 2018-12-06
[DDW-519] Remove power monitor integration, Fix shutdown sequence
Playground: Small tweak to the display of transaction validation errors.
.build/kore: update submodule
Fix persistent error in machine descriptions (#399)
206: Add delegation interface types. r=nc6 a=nc6
Split out of nc/dlg-sts
Co-authored-by: Nicholas Clarke [email protected]
configuration cleanup & separate test-suite for crypto (#106)