Cardano Updates

988 commits this week Dec 02, 2018 - Dec 09, 2018

denis-bogdanas · Sun, 09 Dec 18 19:56:07 +0000 · verified-smart-contracts · 3cce1c6d:gnosis-imap

Makefile fix

kwxm · Sun, 09 Dec 18 19:54:56 +0000 · plutus-prototype · f3b391d2:kwxm/more-spec-improvements

WIP: More progress on extending specification

denis-bogdanas · Sun, 09 Dec 18 18:40:51 +0000 · verified-smart-contracts · d33e5c95:gnosis-imap

TEMP: jenkins triggered

denis-bogdanas · Sun, 09 Dec 18 18:19:11 +0000 · verified-smart-contracts · da6ba843:gnosis-imap

more lemma fixes

denisadiaconescu · Sun, 09 Dec 18 15:16:45 +0000 · verified-smart-contracts · 8e28820a:keq-work

zeppelin working with IMap

denis-bogdanas · Sun, 09 Dec 18 15:07:20 +0000 · verified-smart-contracts · 0ca86c3e:gnosis-imap

more fixes

j-mueller · Sun, 09 Dec 18 14:45:22 +0000 · plutus-prototype · 814a1adf:j-mueller/coin-selection

wallet-api: Property tests for coin selection

j-mueller · Sun, 09 Dec 18 14:45:22 +0000 · plutus-prototype · 6380977c:j-mueller/coin-selection

wallet-api: Property tests for coin selection

denis-bogdanas · Sun, 09 Dec 18 14:33:21 +0000 · verified-smart-contracts · dfcb8fdc:gnosis-imap

Delete unused

denis-bogdanas · Sun, 09 Dec 18 13:55:22 +0000 · verified-smart-contracts · 74ed8ceb:gnosis-imap

more non-determinism fixes.

denis-bogdanas · Sun, 09 Dec 18 11:05:12 +0000 · verified-smart-contracts · dc8b5b0b:gnosis-imap

.k.rev: b3c558f7aadff0db612263c18ec167639ce1b243 Improved logging of non-determinism.

michaelpj · Sun, 09 Dec 18 11:04:23 +0000 · plutus-prototype · e53b063d:master

Merge pull request #396 from input-output-hk/j-mueller/vesting-triggers-test

Game tests + sha256 builtin

denis-bogdanas · Sun, 09 Dec 18 11:04:05 +0000 · verified-smart-contracts · 421f5d18:gnosis-imap

Gnosis: eliminated non-determinism.

epicallan · Sun, 09 Dec 18 10:44:40 +0000 · ariadne · ad4c83f3:epicallan/ad258-hdAdress

[AD-258] create HdAddress internally with in createAddress

jcmincke · Sun, 09 Dec 18 10:25:33 +0000 · SDLCTools · 531cc06b:master

Add valid state transition report for (testing purposes). Add Neutral state to cope with ill defined kanban states (Wait/Blocked etc)

daejunpark · Sun, 09 Dec 18 03:54:03 +0000 · verified-smart-contracts · 0a7a3e6d:gnosis-test

make jenkins

daejunpark · Sun, 09 Dec 18 03:54:03 +0000 · verified-smart-contracts · 40c346ba:gnosis-imap

make jenkins

denis-bogdanas · Sat, 08 Dec 18 21:30:15 +0000 · verified-smart-contracts · 25011c54:gnosis-imap

kprove.mak: clean untracked files before cloning KEVM.

denis-bogdanas · Sat, 08 Dec 18 20:37:21 +0000 · verified-smart-contracts · c35a807c:gnosis-imap

Gnosis-imap: gas: #infinity => _

denis-bogdanas · Sat, 08 Dec 18 18:21:36 +0000 · verified-smart-contracts · 4128b694:gnosis-imap

Gnosis: added lemmas for hash2(A1,B1) ==K hash2(A2,B2) reasoning.

KtorZ · Sat, 08 Dec 18 16:39:05 +0000 · cardano-sl · 2b0a0216:KtorZ/CBR-495/fix-inconsistent-metadata-store-after-deletion

Clean up transaction metadata after deleting an account or wallet

This fix is actually two folds:

It discards incoherent transactions fetched from the DB, if any, and shout a warning in the log. This is in order to make the system more resilient to conconcurrent calls while a wallet or account is being deleted (since metadata and accounts / wallets are stored in separated databases, we can’t easily run both delete in a single transaction).
It also deletes corresponding metadata when an account or a wallet is removed. This may cause extra damage? What if there are pending transactions when we delete the account or wallet.

j-mueller · Sat, 08 Dec 18 13:23:33 +0000 · plutus-prototype · 7e6a2b9a:j-mueller/vesting-triggers-test

playground: More comments in sample contracts

More comments
Use PendingTx' where possible

j-mueller · Sat, 08 Dec 18 13:23:33 +0000 · plutus-prototype · e1c31ece:j-mueller/vesting-triggers-test

playground: More comments in sample contracts

More comments
Use PendingTx' where possible

j-mueller · Sat, 08 Dec 18 11:56:37 +0000 · plutus-prototype · 25e0d464:j-mueller/vesting-triggers-test

playground: Tests for demo

Add tests for game contract to use cases and to playground-server
Add integration tests that cover everything in the demo

j-mueller · Sat, 08 Dec 18 11:02:55 +0000 · plutus-prototype · e63d5a05:j-mueller/vesting-triggers-test

plutus-use-cases: Tests for game contract

Add tests for game contract to use cases and to playground-server

j-mueller · Sat, 08 Dec 18 10:59:35 +0000 · plutus-prototype · 10365ae9:j-mueller/vesting-triggers-test

core: Implement sha2 and sha3 builtins

jmchapman · Sat, 08 Dec 18 10:46:51 +0000 · plutus-metatheory · 6d66e299:master

some more congruence properties for refexive transitive closure of type reduction and missing cases for ren and sub

jmchapman · Sat, 08 Dec 18 08:51:35 +0000 · plutus-metatheory · 8e5902f5:master

trans/concat for reductions

j-mueller · Sat, 08 Dec 18 08:11:47 +0000 · plutus-prototype · 75ae0b41:j-mueller/vesting-triggers-test

fix hash functions

j-mueller · Sat, 08 Dec 18 07:05:02 +0000 · plutus-prototype · e2188b7a:j-mueller/vesting-triggers-test

increase bytestring size to 64 bytes

daejunpark · Sat, 08 Dec 18 06:22:00 +0000 · verified-smart-contracts · 9936e6b9:gnosis-test

drop K_OPTS

daejunpark · Sat, 08 Dec 18 06:05:41 +0000 · verified-smart-contracts · d6cbc217:gnosis-test

.travis.yml

daejunpark · Sat, 08 Dec 18 05:54:25 +0000 · verified-smart-contracts · 2a32c95a:gnosis-test

update k: https://github.com/kframework/k/commits/d944243c881624c09ab7f19fc86c3daae5eac1d0

avieth · Sat, 08 Dec 18 02:42:43 +0000 · ouroboros-network · 00a4af1e:avieth/codec

undo failing test example in PingPong

jeltsch · Sat, 08 Dec 18 01:54:35 +0000 · ouroboros-spec · e39e0d3c:master

Improve proof of standard absorb monotonicity

nishantjr · Fri, 07 Dec 18 22:55:38 +0000 · plutus-core-semantics · 7f58e02e:cleanup-pf

build: update kninja module in addition to initing (when it does not exist)

avieth · Fri, 07 Dec 18 22:49:49 +0000 · ouroboros-network · 503f429a:avieth/codec

fixup comment

nishantjr · Fri, 07 Dec 18 22:46:50 +0000 · plutus-core-semantics · 667a6ad0:cleanup-pf

Update KNinja submodule (includes fixes to ocaml dependency management)

avieth · Fri, 07 Dec 18 22:44:57 +0000 · ouroboros-network · 050c5722:avieth/codec

add missing file

jmchapman · Fri, 07 Dec 18 22:37:07 +0000 · plutus-metatheory · b1b28401:master

congruence of lambda and pi for reflexive transitive closure of type reduction

j-mueller · Fri, 07 Dec 18 22:32:01 +0000 · plutus-prototype · fde610d6:j-mueller/vesting-triggers-test

fix test

j-mueller · Fri, 07 Dec 18 22:27:36 +0000 · plutus-prototype · c06acb81:j-mueller/vesting-triggers-test

BS

nishantjr · Fri, 07 Dec 18 21:51:25 +0000 · plutus-core-semantics · f56922fa:cleanup-pf

t/: <store> in expected output

nishantjr · Fri, 07 Dec 18 21:50:39 +0000 · plutus-core-semantics · 17097c5c:cleanup-pf

lib/build.py: Don’t run verification by default

It doesn’t pass

nishantjr · Fri, 07 Dec 18 21:32:59 +0000 · plutus-core-semantics · f7277b48:cleanup-pf

gitmodules: Ignore untracked files in blockchain-k-plugin

disassembler · Fri, 07 Dec 18 21:29:57 +0000 · iohk-ops · 9aa8f8f1:packet-nixops

bump nixops

nishantjr · Fri, 07 Dec 18 21:21:03 +0000 · plutus-core-semantics · 192aa9bf:cleanup-pf

plutus-core: (con …) -> (builtin …)

jeltsch · Fri, 07 Dec 18 21:10:46 +0000 · ouroboros-spec · 0b54279a:master

Add Std_Weak_Residuals

nishantjr · Fri, 07 Dec 18 20:25:00 +0000 · plutus-core-semantics · 34b4a267:cleanup-pf

typing: Make wrap strict(3)

nishantjr · Fri, 07 Dec 18 20:24:29 +0000 · plutus-core-semantics · f0bef873:cleanup-pf

typing: comment fix from TyValue (it’s still in Type)

Showing 1 to 50 of 988 new commits.