Home / Input Output / plutus
Apr 10, 2-3 PM (0)
Apr 10, 3-4 PM (0)
Apr 10, 4-5 PM (0)
Apr 10, 5-6 PM (0)
Apr 10, 6-7 PM (0)
Apr 10, 7-8 PM (0)
Apr 10, 8-9 PM (0)
Apr 10, 9-10 PM (0)
Apr 10, 10-11 PM (0)
Apr 10, 11-12 AM (0)
Apr 11, 12-1 AM (0)
Apr 11, 1-2 AM (0)
Apr 11, 2-3 AM (0)
Apr 11, 3-4 AM (0)
Apr 11, 4-5 AM (0)
Apr 11, 5-6 AM (0)
Apr 11, 6-7 AM (0)
Apr 11, 7-8 AM (0)
Apr 11, 8-9 AM (0)
Apr 11, 9-10 AM (0)
Apr 11, 10-11 AM (1)
Apr 11, 11-12 PM (0)
Apr 11, 12-1 PM (0)
Apr 11, 1-2 PM (0)
Apr 11, 2-3 PM (0)
Apr 11, 3-4 PM (0)
Apr 11, 4-5 PM (0)
Apr 11, 5-6 PM (0)
Apr 11, 6-7 PM (0)
Apr 11, 7-8 PM (0)
Apr 11, 8-9 PM (0)
Apr 11, 9-10 PM (0)
Apr 11, 10-11 PM (0)
Apr 11, 11-12 AM (0)
Apr 12, 12-1 AM (0)
Apr 12, 1-2 AM (0)
Apr 12, 2-3 AM (1)
Apr 12, 3-4 AM (0)
Apr 12, 4-5 AM (0)
Apr 12, 5-6 AM (0)
Apr 12, 6-7 AM (1)
Apr 12, 7-8 AM (7)
Apr 12, 8-9 AM (11)
Apr 12, 9-10 AM (3)
Apr 12, 10-11 AM (10)
Apr 12, 11-12 PM (5)
Apr 12, 12-1 PM (8)
Apr 12, 1-2 PM (7)
Apr 12, 2-3 PM (5)
Apr 12, 3-4 PM (5)
Apr 12, 4-5 PM (1)
Apr 12, 5-6 PM (0)
Apr 12, 6-7 PM (4)
Apr 12, 7-8 PM (0)
Apr 12, 8-9 PM (1)
Apr 12, 9-10 PM (2)
Apr 12, 10-11 PM (1)
Apr 12, 11-12 AM (0)
Apr 13, 12-1 AM (1)
Apr 13, 1-2 AM (0)
Apr 13, 2-3 AM (0)
Apr 13, 3-4 AM (0)
Apr 13, 4-5 AM (1)
Apr 13, 5-6 AM (0)
Apr 13, 6-7 AM (9)
Apr 13, 7-8 AM (4)
Apr 13, 8-9 AM (2)
Apr 13, 9-10 AM (3)
Apr 13, 10-11 AM (5)
Apr 13, 11-12 PM (3)
Apr 13, 12-1 PM (9)
Apr 13, 1-2 PM (5)
Apr 13, 2-3 PM (2)
Apr 13, 3-4 PM (1)
Apr 13, 4-5 PM (11)
Apr 13, 5-6 PM (4)
Apr 13, 6-7 PM (0)
Apr 13, 7-8 PM (0)
Apr 13, 8-9 PM (0)
Apr 13, 9-10 PM (0)
Apr 13, 10-11 PM (0)
Apr 13, 11-12 AM (0)
Apr 14, 12-1 AM (1)
Apr 14, 1-2 AM (0)
Apr 14, 2-3 AM (0)
Apr 14, 3-4 AM (0)
Apr 14, 4-5 AM (0)
Apr 14, 5-6 AM (0)
Apr 14, 6-7 AM (14)
Apr 14, 7-8 AM (4)
Apr 14, 8-9 AM (2)
Apr 14, 9-10 AM (4)
Apr 14, 10-11 AM (10)
Apr 14, 11-12 PM (3)
Apr 14, 12-1 PM (3)
Apr 14, 1-2 PM (2)
Apr 14, 2-3 PM (4)
Apr 14, 3-4 PM (2)
Apr 14, 4-5 PM (3)
Apr 14, 5-6 PM (3)
Apr 14, 6-7 PM (10)
Apr 14, 7-8 PM (2)
Apr 14, 8-9 PM (3)
Apr 14, 9-10 PM (0)
Apr 14, 10-11 PM (0)
Apr 14, 11-12 AM (0)
Apr 15, 12-1 AM (0)
Apr 15, 1-2 AM (0)
Apr 15, 2-3 AM (0)
Apr 15, 3-4 AM (0)
Apr 15, 4-5 AM (0)
Apr 15, 5-6 AM (0)
Apr 15, 6-7 AM (3)
Apr 15, 7-8 AM (9)
Apr 15, 8-9 AM (2)
Apr 15, 9-10 AM (1)
Apr 15, 10-11 AM (0)
Apr 15, 11-12 PM (4)
Apr 15, 12-1 PM (1)
Apr 15, 1-2 PM (3)
Apr 15, 2-3 PM (2)
Apr 15, 3-4 PM (12)
Apr 15, 4-5 PM (5)
Apr 15, 5-6 PM (0)
Apr 15, 6-7 PM (4)
Apr 15, 7-8 PM (2)
Apr 15, 8-9 PM (1)
Apr 15, 9-10 PM (0)
Apr 15, 10-11 PM (0)
Apr 15, 11-12 AM (0)
Apr 16, 12-1 AM (0)
Apr 16, 1-2 AM (1)
Apr 16, 2-3 AM (0)
Apr 16, 3-4 AM (0)
Apr 16, 4-5 AM (0)
Apr 16, 5-6 AM (0)
Apr 16, 6-7 AM (2)
Apr 16, 7-8 AM (12)
Apr 16, 8-9 AM (2)
Apr 16, 9-10 AM (7)
Apr 16, 10-11 AM (4)
Apr 16, 11-12 PM (2)
Apr 16, 12-1 PM (11)
Apr 16, 1-2 PM (7)
Apr 16, 2-3 PM (6)
Apr 16, 3-4 PM (0)
Apr 16, 4-5 PM (2)
Apr 16, 5-6 PM (1)
Apr 16, 6-7 PM (2)
Apr 16, 7-8 PM (8)
Apr 16, 8-9 PM (1)
Apr 16, 9-10 PM (1)
Apr 16, 10-11 PM (0)
Apr 16, 11-12 AM (0)
Apr 17, 12-1 AM (0)
Apr 17, 1-2 AM (0)
Apr 17, 2-3 AM (0)
Apr 17, 3-4 AM (0)
Apr 17, 4-5 AM (0)
Apr 17, 5-6 AM (0)
Apr 17, 6-7 AM (0)
Apr 17, 7-8 AM (0)
Apr 17, 8-9 AM (0)
Apr 17, 9-10 AM (0)
Apr 17, 10-11 AM (0)
Apr 17, 11-12 PM (0)
Apr 17, 12-1 PM (0)
Apr 17, 1-2 PM (0)
Apr 17, 2-3 PM (0)
321 commits this week Apr 10, 2021 - Apr 17, 2021
SCP-2123: Add a nicer interface to the cost model for the ledger (#3026)
This gives the ledger an interface that looks like a bag of named
integer parameters.

The implementation is ugly. I wanted this to work today, so I went with
something cheap and unpleasant: it would be nice to have something more
principled, but the current version does work.

We may want to revisit any number of these things. We can get rid of
some ugliness once we also use integetrs internally. But also stuff
like: the set of keys is derived from our current JSONification, which
isn't ideal, it should be highly stable. However, apparently it's okay
if we change the keys a bit before the testnet, so we can come back to
this.

Finally, I added some actual tests that the example scripts work, which
is helpful!
SCP-2133: use exceptions in the CEK machine (#3007)
* SCP-2133: use exceptions in the CEK machine

This refactors the CEK machine to use exceptions instead of `ExceptT`.

This results in a substantial (30-50%) speedup on the validation
benchmarks. (Will post benchmark results in a comment.)

The cost is some evil in `runCekM` which we should inspect *very*
carefully. We also need some more type applications since we no longer
have the nice `MonadError` functional depenency that fixes the error
type.

So far I *haven't* pushed this down into the constant application
machinery. The main reason for this is that we have some awkwardness at
the interface of `applyTypeSchemed` where we need to change the `cause`
part of the error from a value into a term, and I don't want to have to
catch and rethrow an exception there if we can avoid it. It's also
convenient for other users of the CAM to have normal errors there. So
I'm not sure if we *should* change that.

* [Evaluation] [Refactoring] Worker-wrapper-transformed the CEK machine

* Comments

Co-authored-by: effectfully <[email protected]>
SCP-2123: Add a nicer interface to the cost model for the ledger
This gives the ledger an interface that looks like a bag of named
integer parameters.

The implementation is ugly. I wanted this to work today, so I went with
something cheap and unpleasant: it would be nice to have something more
principled, but the current version does work.

We may want to revisit any number of these things. We can get rid of
some ugliness once we also use integetrs internally. But also stuff
like: the set of keys is derived from our current JSONification, which
isn't ideal, it should be highly stable. However, apparently it's okay
if we change the keys a bit before the testnet, so we can come back to
this.

Finally, I added some actual tests that the example scripts work, which
is helpful!
Merge pull request #2989 from input-output-hk/build-deployments
Build the deployment machines as part of the CI

Previously all of the deployment processing was completely outside of the CI. While some nixos vm tests have already been added that at least verify the NixOS modules used in the configurations that we deploy, the actual machine derivations were never built. This PR adds deployment/morph/default.nix which builds all machines that are actually deployed.