Page 2 - Cardano Updates

nishantjr · Fri, 07 Dec 18 20:20:36 +0000 · plutus-core-semantics · fba822d1:cleanup-pf

typing: begin writing a typing specification

disassembler · Fri, 07 Dec 18 19:23:44 +0000 · iohk-ops · 2e5c85b9:packet-nixops

bump nixops

nishantjr · Fri, 07 Dec 18 19:09:18 +0000 · plutus-core-semantics · c26b4ecd:cleanup-pf

Convert subtrees to submodules; update K, KNinja; OCaml build does not include krypto

nishantjr · Fri, 07 Dec 18 19:03:22 +0000 · plutus-core-semantics · 867448cd:cleanup-pf

plutus-core.md: Add klabels for readability of kast output

nishantjr · Fri, 07 Dec 18 19:03:22 +0000 · plutus-core-semantics · 955e96ae:sizeOfInteger

plutus-core.md: Add klabels for readability

nishantjr · Fri, 07 Dec 18 19:03:05 +0000 · plutus-core-semantics · 5d64d4b1:sizeOfInteger

t/factorial.plc: format

edsko · Fri, 07 Dec 18 18:51:20 +0000 · ouroboros-network · f55501fc:master

Merge pull request #110 from input-output-hk/edsko/abstract-over-time

Abstract over time

denis-bogdanas · Fri, 07 Dec 18 18:49:36 +0000 · verified-smart-contracts · 39859ecf:gnosis-imap

.k.rev: 017c591d4b20802238afe431154659f232c8cca8 Deterministic functions.

denis-bogdanas · Fri, 07 Dec 18 18:49:36 +0000 · verified-smart-contracts · 0ac95546:gnosis-imap

.k.rev: a8501b57ffad95025f5a2bc69df83a98282af00e

disassembler · Fri, 07 Dec 18 18:44:37 +0000 · iohk-ops · 65956eda:packet-nixops

fixing projid

denis-bogdanas · Fri, 07 Dec 18 18:41:37 +0000 · verified-smart-contracts · a026f8c9:gnosis-imap

Gnosis: converted existing specs to IMap memory model. Limitations: 1. Modified bytecode, all functions public. 2. Fixed loop length.

Lemmas for hash2() == I cases, select/store key equality.

denis-bogdanas · Fri, 07 Dec 18 18:41:37 +0000 · verified-smart-contracts · 4dd0d0f4:gnosis-imap

Gnosis: converted existing specs to IMap memory model. Limitations: 1. Modified bytecode, all functions public. 2. Fixed loop length.

daejunpark · Fri, 07 Dec 18 18:28:46 +0000 · verified-smart-contracts · aafdbb90:gnosis-test

makefile takes external kprove options

mkaito · Fri, 07 Dec 18 18:26:14 +0000 · ariadne · 2d5ef033:bump-pkgs

pkgs.nix: bump to update all-cabal-hashes

avieth · Fri, 07 Dec 18 18:19:37 +0000 · ouroboros-network · a4def1b5:master

Merge pull request #108 from input-output-hk/avieth/fix_pipe_duplex

pipeDuplex receive side close on explicit EOF

disassembler · Fri, 07 Dec 18 18:05:55 +0000 · iohk-ops · 995436d3:packet-nixops

fix packet access key id not existing in CI test

krisajenkins · Fri, 07 Dec 18 18:05:49 +0000 · plutus-prototype · ae01d304:playground-ui

Playground: Twaeking the Sankey chart colours.

For better projector display.

krisajenkins · Fri, 07 Dec 18 18:03:12 +0000 · plutus-prototype · d3c6271e:playground-ui

Playground: Adding some documentation links.

daejunpark · Fri, 07 Dec 18 17:53:47 +0000 · verified-smart-contracts · 0b0c4afa:gnosis-test

gnosis-impa: —log-stmts-only —log-cells pc

yegortimoshenko · Fri, 07 Dec 18 17:29:59 +0000 · ariadne · 7df9a058:yegortimoshenko-patch-1

Clean up LOCALE_ARCHIVE assignment

int-index · Fri, 07 Dec 18 17:28:45 +0000 · ariadne · efe285f9:master

Merge pull request #399 from serokell/gromak/ad527-nix-unicode

[AD-527] Fix non-ascii output in Ariadne built with nix

michaelpj · Fri, 07 Dec 18 17:15:47 +0000 · plutus-prototype · 2ce2b2a2:gh-pages

Commit wallet-api haddock as of 0634ef2b36d1c506478c8a956b2c495f20b48c07

michaelpj · Fri, 07 Dec 18 17:13:58 +0000 · plutus-prototype · bdfbcc1e:gh-pages

Clear out normal sources

edsko · Fri, 07 Dec 18 17:06:21 +0000 · ouroboros-network · fb80c563:edsko/abstract-over-time

Abstract over time

This also moves a lot of responsibility that was previously in the test to the node itself, where it belongs.

shmish111 · Fri, 07 Dec 18 17:04:46 +0000 · plutus-prototype · 0634ef2b:master

Merge pull request #401 from input-output-hk/extra-playground-instances

Extra playground instances

shmish111 · Fri, 07 Dec 18 17:02:58 +0000 · plutus-prototype · 6fb21fa6:master

Merge pull request #398 from input-output-hk/fix/playground-client-hydra

[WIP] Build plutus-playground-client on Hydra

avieth · Fri, 07 Dec 18 16:54:37 +0000 · ouroboros-network · 6e6f5bec:avieth/fix_pipe_duplex

pipeDuplex receive side close on explicit EOF

nikolaglumac · Fri, 07 Dec 18 16:52:11 +0000 · daedalus · 68c6434d:fix/ddw-518-improve-ntp-check-handling-on-system-wake-up-event

[DDW-519] Prevent NetworkStatusRequest from switching back into MainUI during Cardano shutdown sequence

michaelpj · Fri, 07 Dec 18 16:38:07 +0000 · plutus-prototype · 2e2108c3:fix/playground-client-hydra

Get node-sass’s binaries and point it at them

David Smith · Fri, 07 Dec 18 16:36:11 +0000 · plutus-prototype · 0952f66d:master

need python2 dep

David Smith · Fri, 07 Dec 18 16:35:13 +0000 · plutus-prototype · 6b3e9c28:master

add some more instances of the playground to each server

NicolasDP · Fri, 07 Dec 18 16:23:47 +0000 · rust-cardano-crypto · ea550354:master

Merge pull request #328 from mzabaluev/deprecate-iter-new

storage: Improve iterator API

michaelpj · Fri, 07 Dec 18 16:20:33 +0000 · plutus-prototype · f9e2eda7:master

Merge pull request #400 from input-output-hk/j-mueller/fix-wait

wallet-api: Notify after each block

365andreas · Fri, 07 Dec 18 16:16:20 +0000 · ouroboros-network · 8fd62a94:logging-integration

Integration in demo-playground

365andreas · Fri, 07 Dec 18 16:16:20 +0000 · ouroboros-network · f8ce9b62:logging-integration

Integration in demo-playground

michaelpj · Fri, 07 Dec 18 15:59:23 +0000 · plutus-prototype · f2b0fac1:master

Merge pull request #381 from michaelpj/imp/just-a-few-more-renames

PlutusTx: two final renames

j-mueller · Fri, 07 Dec 18 15:38:47 +0000 · plutus-prototype · ea244d6a:j-mueller/flow-link-blocks

wallet-api: Include source and target links in graph

Flow links include source and target locations (block and index within block)

mdimjasevic · Fri, 07 Dec 18 15:28:46 +0000 · cardano-chain · 43bcddae:mdimjasevic/193-tying-blockchain-ledger

Uses the new DIState and implements the delegates function

nikolaglumac · Fri, 07 Dec 18 15:24:17 +0000 · daedalus · 026410f3:fix/ddw-518-improve-ntp-check-handling-on-system-wake-up-event

[DDW-518] Remove time change check logic and restore forced NTP request polling

michaelpj · Fri, 07 Dec 18 15:19:31 +0000 · plutus-prototype · 4c5173bf:master

Fix playground usecases

mdimjasevic · Fri, 07 Dec 18 15:06:38 +0000 · cardano-chain · 2694a945:mdimjasevic/193-tying-blockchain-ledger

Resolves a merge conflict

nc6 · Fri, 07 Dec 18 15:03:10 +0000 · cardano-chain · 0702d8fb:weekly-status

Weekly status report, 2018-12-06

nikolaglumac · Fri, 07 Dec 18 15:00:21 +0000 · daedalus · 48594f3a:fix/ddw-518-improve-ntp-check-handling-on-system-wake-up-event

[DDW-519] Remove power monitor integration, Fix shutdown sequence

krisajenkins · Fri, 07 Dec 18 14:59:41 +0000 · plutus-prototype · b23f93fb:playground-ui

Playground: Small tweak to the display of transaction validation errors.

ehildenb · Fri, 07 Dec 18 14:58:03 +0000 · evm-semantics · 09135bb3:ehildenb

.build/kore: update submodule

j-mueller · Fri, 07 Dec 18 14:49:38 +0000 · plutus-prototype · be4419c9:j-mueller/fix-wait

wallet-api: Notify after each block

j-mueller · Fri, 07 Dec 18 14:49:38 +0000 · plutus-prototype · 7231490d:master

wallet-api: Notify after each block

kwxm · Fri, 07 Dec 18 14:37:06 +0000 · plutus-prototype · f296b1b5:master

Fix persistent error in machine descriptions (#399)

iohk-bors[bot] · Fri, 07 Dec 18 14:31:21 +0000 · cardano-chain · 3299edee:bors/staging

Merge #206

206: Add delegation interface types. r=nc6 a=nc6

Split out of nc/dlg-sts

Co-authored-by: Nicholas Clarke [email protected]

brunjlar · Fri, 07 Dec 18 14:22:24 +0000 · ouroboros-network · 7fdf81cf:master

configuration cleanup & separate test-suite for crypto (#106)