ContractModel coverage checking
Home /
Input Output /
plutus-apps
Nov 23, 2-3 AM (0)
Nov 23, 3-4 AM (0)
Nov 23, 4-5 AM (0)
Nov 23, 5-6 AM (0)
Nov 23, 6-7 AM (0)
Nov 23, 7-8 AM (0)
Nov 23, 8-9 AM (0)
Nov 23, 9-10 AM (0)
Nov 23, 10-11 AM (0)
Nov 23, 11-12 PM (2)
Nov 23, 12-1 PM (0)
Nov 23, 1-2 PM (1)
Nov 23, 2-3 PM (1)
Nov 23, 3-4 PM (0)
Nov 23, 4-5 PM (1)
Nov 23, 5-6 PM (1)
Nov 23, 6-7 PM (1)
Nov 23, 7-8 PM (0)
Nov 23, 8-9 PM (0)
Nov 23, 9-10 PM (0)
Nov 23, 10-11 PM (0)
Nov 23, 11-12 AM (2)
Nov 24, 12-1 AM (0)
Nov 24, 1-2 AM (0)
Nov 24, 2-3 AM (0)
Nov 24, 3-4 AM (0)
Nov 24, 4-5 AM (0)
Nov 24, 5-6 AM (0)
Nov 24, 6-7 AM (0)
Nov 24, 7-8 AM (0)
Nov 24, 8-9 AM (0)
Nov 24, 9-10 AM (0)
Nov 24, 10-11 AM (0)
Nov 24, 11-12 PM (0)
Nov 24, 12-1 PM (0)
Nov 24, 1-2 PM (0)
Nov 24, 2-3 PM (1)
Nov 24, 3-4 PM (2)
Nov 24, 4-5 PM (0)
Nov 24, 5-6 PM (0)
Nov 24, 6-7 PM (0)
Nov 24, 7-8 PM (0)
Nov 24, 8-9 PM (0)
Nov 24, 9-10 PM (0)
Nov 24, 10-11 PM (0)
Nov 24, 11-12 AM (0)
Nov 25, 12-1 AM (1)
Nov 25, 1-2 AM (0)
Nov 25, 2-3 AM (0)
Nov 25, 3-4 AM (0)
Nov 25, 4-5 AM (0)
Nov 25, 5-6 AM (0)
Nov 25, 6-7 AM (1)
Nov 25, 7-8 AM (0)
Nov 25, 8-9 AM (0)
Nov 25, 9-10 AM (0)
Nov 25, 10-11 AM (1)
Nov 25, 11-12 PM (1)
Nov 25, 12-1 PM (0)
Nov 25, 1-2 PM (1)
Nov 25, 2-3 PM (1)
Nov 25, 3-4 PM (4)
Nov 25, 4-5 PM (0)
Nov 25, 5-6 PM (0)
Nov 25, 6-7 PM (0)
Nov 25, 7-8 PM (0)
Nov 25, 8-9 PM (1)
Nov 25, 9-10 PM (0)
Nov 25, 10-11 PM (0)
Nov 25, 11-12 AM (0)
Nov 26, 12-1 AM (0)
Nov 26, 1-2 AM (0)
Nov 26, 2-3 AM (0)
Nov 26, 3-4 AM (0)
Nov 26, 4-5 AM (0)
Nov 26, 5-6 AM (0)
Nov 26, 6-7 AM (0)
Nov 26, 7-8 AM (0)
Nov 26, 8-9 AM (0)
Nov 26, 9-10 AM (0)
Nov 26, 10-11 AM (1)
Nov 26, 11-12 PM (0)
Nov 26, 12-1 PM (0)
Nov 26, 1-2 PM (0)
Nov 26, 2-3 PM (0)
Nov 26, 3-4 PM (0)
Nov 26, 4-5 PM (0)
Nov 26, 5-6 PM (0)
Nov 26, 6-7 PM (0)
Nov 26, 7-8 PM (0)
Nov 26, 8-9 PM (0)
Nov 26, 9-10 PM (0)
Nov 26, 10-11 PM (0)
Nov 26, 11-12 AM (0)
Nov 27, 12-1 AM (0)
Nov 27, 1-2 AM (0)
Nov 27, 2-3 AM (0)
Nov 27, 3-4 AM (0)
Nov 27, 4-5 AM (0)
Nov 27, 5-6 AM (0)
Nov 27, 6-7 AM (0)
Nov 27, 7-8 AM (0)
Nov 27, 8-9 AM (0)
Nov 27, 9-10 AM (0)
Nov 27, 10-11 AM (0)
Nov 27, 11-12 PM (0)
Nov 27, 12-1 PM (0)
Nov 27, 1-2 PM (0)
Nov 27, 2-3 PM (0)
Nov 27, 3-4 PM (0)
Nov 27, 4-5 PM (0)
Nov 27, 5-6 PM (0)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (0)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (0)
Nov 27, 10-11 PM (0)
Nov 27, 11-12 AM (0)
Nov 28, 12-1 AM (0)
Nov 28, 1-2 AM (0)
Nov 28, 2-3 AM (0)
Nov 28, 3-4 AM (0)
Nov 28, 4-5 AM (0)
Nov 28, 5-6 AM (0)
Nov 28, 6-7 AM (0)
Nov 28, 7-8 AM (0)
Nov 28, 8-9 AM (0)
Nov 28, 9-10 AM (0)
Nov 28, 10-11 AM (0)
Nov 28, 11-12 PM (0)
Nov 28, 12-1 PM (0)
Nov 28, 1-2 PM (0)
Nov 28, 2-3 PM (0)
Nov 28, 3-4 PM (0)
Nov 28, 4-5 PM (0)
Nov 28, 5-6 PM (0)
Nov 28, 6-7 PM (0)
Nov 28, 7-8 PM (0)
Nov 28, 8-9 PM (0)
Nov 28, 9-10 PM (0)
Nov 28, 10-11 PM (0)
Nov 28, 11-12 AM (0)
Nov 29, 12-1 AM (0)
Nov 29, 1-2 AM (0)
Nov 29, 2-3 AM (0)
Nov 29, 3-4 AM (0)
Nov 29, 4-5 AM (0)
Nov 29, 5-6 AM (0)
Nov 29, 6-7 AM (0)
Nov 29, 7-8 AM (2)
Nov 29, 8-9 AM (0)
Nov 29, 9-10 AM (0)
Nov 29, 10-11 AM (1)
Nov 29, 11-12 PM (0)
Nov 29, 12-1 PM (4)
Nov 29, 1-2 PM (0)
Nov 29, 2-3 PM (1)
Nov 29, 3-4 PM (0)
Nov 29, 4-5 PM (0)
Nov 29, 5-6 PM (0)
Nov 29, 6-7 PM (0)
Nov 29, 7-8 PM (0)
Nov 29, 8-9 PM (0)
Nov 29, 9-10 PM (0)
Nov 29, 10-11 PM (0)
Nov 29, 11-12 AM (0)
Nov 30, 12-1 AM (0)
Nov 30, 1-2 AM (0)
Nov 30, 2-3 AM (0)
32 commits this week
Nov 23, 2021 -
Nov 30, 2021
No idea if this is sensible but the QuickCheck models work so that's fine
Fix source-repository locations (#152)
* Fix source-repository locations * Fix build
ContractModel coverage checking
Fix source-repository locations
Pull out TxConstraints into its own library. (#138)
Update .readthedocs.yml (#142)
It would be nice to have PDF and EPUB outputs.
add plutus-doc to build
plutus-doc is a dependency of step 4. Added to build step 1.
fix annoying issue related to moving modules around
Fix contract models to build with new initialHandleSpecs definition
Added dynamically adding contract instances and
testing what happens when a contract instance crashes and is restarted in ContractModel.
Prettyprinting and fix distribution issue in GameStateMachine
Add a swagger ui page for chain index endpoints (#130)
* Add a swagger ui page for chain index endpoints * Add tighter types for few chain index responses
Add tighter types for few chain index responses
Add a tighter type for IsUtxoResponse
Add a tighter type for IsUtxoResponse
Add a swagger ui page for chain index endpoints
SCP-2368: Hosted PAB scenario - expose partial transactions that need to be balanced, signed and submitted by a remote wallet. (#119)
* New WalletEffect, `yieldUnbalancedTx`, which makes available an unbalanced tx to be balanced, signed and then submitted to the blockchain. * Added ToJSON and FromJSON instances to ExportTx (partial tx) * Additionnal Generic and OpenAPI.ToSchema orphan instances for some cardano-api types. * New wallet handler in the PAB: RemoteClient. The only implemented wallet effect for the moment is `YieldUnbalancedTx`. The rest of the effects will be implemented in the future. * Changed the PAB wallet config settings which allows the user to specify if the wallet is available locally or remotely. * In the PAB, partial txs (`ExportTx`) are now exposed in the contract instance status endpoint (additionnaly as a `NewYieldedPartialTx` message in the websocket) when calling `yieldUnbalancedTx`. * Changed the PayToWallet example in plutus-pab to use `yieldUnbalancedTx`.
Update .readthedocs.yml
It would be nice to have PDF and EPUB outputs.
SCP-2368: Hosted PAB scenario - expose partial transactions that need to be balanced, signed and submitted by a remote wallet.
* New WalletEffect, `yieldUnbalancedTx`, which makes available an unbalanced tx to be balanced, signed and then submitted to the blockchain. * Added ToJSON and FromJSON instances to ExportTx (partial tx) * Additionnal Generic and OpenAPI.ToSchema orphan instances for some cardano-api types. * New wallet handler in the PAB: RemoteClient. The only implemented wallet effect for the moment is `YieldUnbalancedTx`. The rest of the effects will be implemented in the future. * Changed the PAB wallet config settings which allows the user to specify if the wallet is available locally or remotely. * In the PAB, partial txs (`ExportTx`) are now exposed in the contract instance status endpoint (additionnaly as a `NewYieldedPartialTx` message in the websocket) when calling `yieldUnbalancedTx`. * Changed the PayToWallet example in plutus-pab to use `yieldUnbalancedTx`.
SCP-2368: Hosted PAB scenario - expose partial transactions that need to be balanced, signed and submitted by a remote wallet.
* New WalletEffect, `yieldUnbalancedTx`, which makes available an unbalanced tx to be balanced, signed and then submitted to the blockchain. * Added ToJSON and FromJSON instances to ExportTx (partial tx) * Additionnal Generic and OpenAPI.ToSchema orphan instances for some cardano-api types. * New wallet handler in the PAB: RemoteClient. The only implemented wallet effect for the moment is `YieldUnbalancedTx`. The rest of the effects will be implemented in the future. * Changed the PAB wallet config settings which allows the user to specify if the wallet is available locally or remotely. * In the PAB, partial txs (`ExportTx`) are now exposed in the contract instance status endpoint (additionnaly as a `NewYieldedPartialTx` message in the websocket) when calling `yieldUnbalancedTx`. * Changed the PayToWallet example in plutus-pab to use `yieldUnbalancedTx`.
SCP-2368: Hosted PAB scenario - expose partial transactions that need to be balanced, signed and submitted by a remote wallet.
* New WalletEffect, `yieldUnbalancedTx`, which makes available an unbalanced tx to be balanced, signed and then submitted to the blockchain. * Added ToJSON and FromJSON instances to ExportTx (partial tx) * Additionnal Generic and OpenAPI.ToSchema orphan instances for some cardano-api types. * New wallet handler in the PAB: RemoteClient. The only implemented wallet effect for the moment is `YieldUnbalancedTx`. The rest of the effects will be implemented in the future. * Changed the PAB wallet config settings which allows the user to specify if the wallet is available locally or remotely. * In the PAB, partial txs (`ExportTx`) are now exposed in the contract instance status endpoint (additionnaly as a `NewYieldedPartialTx` message in the websocket) when calling `yieldUnbalancedTx`.
SCP-2368: Hosted PAB scenario - expose partial transactions that need to be balanced, signed and submitted by a remote wallet.
* New WalletEffect, `yieldUnbalancedTx`, which makes available an unbalanced tx to be balanced, signed and then submitted to the blockchain. * Added ToJSON and FromJSON instances to ExportTx (partial tx) * Additionnal Generic and OpenAPI.ToSchema orphan instances for some cardano-api types. * New wallet handler in the PAB: RemoteClient. The only implemented wallet effect for the moment is `YieldUnbalancedTx`. The rest of the effects will be implemented in the future. * Changed the PAB wallet config settings which allows the user to specify if the wallet is available locally or remotely. * In the PAB, partial txs (`ExportTx`) are now exposed in the contract instance status endpoint (additionnaly as a `NewYieldedPartialTx` message in the websocket) when calling `yieldUnbalancedTx`.