Remove last usages of `ViewPatterns` from `TxSeqSpec`.
Sep 15, 6-7 PM (5)
Sep 15, 7-8 PM (12)
Sep 15, 8-9 PM (25)
Sep 15, 9-10 PM (6)
Sep 15, 10-11 PM (12)
Sep 15, 11-12 AM (12)
Sep 16, 12-1 AM (2)
Sep 16, 1-2 AM (0)
Sep 16, 2-3 AM (0)
Sep 16, 3-4 AM (2)
Sep 16, 4-5 AM (5)
Sep 16, 5-6 AM (7)
Sep 16, 6-7 AM (8)
Sep 16, 7-8 AM (16)
Sep 16, 8-9 AM (1)
Sep 16, 9-10 AM (1)
Sep 16, 10-11 AM (8)
Sep 16, 11-12 PM (3)
Sep 16, 12-1 PM (8)
Sep 16, 1-2 PM (0)
Sep 16, 2-3 PM (1)
Sep 16, 3-4 PM (5)
Sep 16, 4-5 PM (0)
Sep 16, 5-6 PM (0)
Sep 16, 6-7 PM (2)
Sep 16, 7-8 PM (3)
Sep 16, 8-9 PM (0)
Sep 16, 9-10 PM (0)
Sep 16, 10-11 PM (17)
Sep 16, 11-12 AM (17)
Sep 17, 12-1 AM (6)
Sep 17, 1-2 AM (0)
Sep 17, 2-3 AM (1)
Sep 17, 3-4 AM (4)
Sep 17, 4-5 AM (0)
Sep 17, 5-6 AM (4)
Sep 17, 6-7 AM (1)
Sep 17, 7-8 AM (2)
Sep 17, 8-9 AM (3)
Sep 17, 9-10 AM (10)
Sep 17, 10-11 AM (0)
Sep 17, 11-12 PM (2)
Sep 17, 12-1 PM (31)
Sep 17, 1-2 PM (0)
Sep 17, 2-3 PM (1)
Sep 17, 3-4 PM (5)
Sep 17, 4-5 PM (0)
Sep 17, 5-6 PM (0)
Sep 17, 6-7 PM (2)
Sep 17, 7-8 PM (3)
Sep 17, 8-9 PM (0)
Sep 17, 9-10 PM (2)
Sep 17, 10-11 PM (13)
Sep 17, 11-12 AM (6)
Sep 18, 12-1 AM (5)
Sep 18, 1-2 AM (3)
Sep 18, 2-3 AM (3)
Sep 18, 3-4 AM (1)
Sep 18, 4-5 AM (2)
Sep 18, 5-6 AM (8)
Sep 18, 6-7 AM (23)
Sep 18, 7-8 AM (33)
Sep 18, 8-9 AM (46)
Sep 18, 9-10 AM (61)
Sep 18, 10-11 AM (49)
Sep 18, 11-12 PM (63)
Sep 18, 12-1 PM (49)
Sep 18, 1-2 PM (33)
Sep 18, 2-3 PM (40)
Sep 18, 3-4 PM (24)
Sep 18, 4-5 PM (35)
Sep 18, 5-6 PM (21)
Sep 18, 6-7 PM (15)
Sep 18, 7-8 PM (23)
Sep 18, 8-9 PM (6)
Sep 18, 9-10 PM (5)
Sep 18, 10-11 PM (21)
Sep 18, 11-12 AM (15)
Sep 19, 12-1 AM (21)
Sep 19, 1-2 AM (20)
Sep 19, 2-3 AM (16)
Sep 19, 3-4 AM (5)
Sep 19, 4-5 AM (1)
Sep 19, 5-6 AM (11)
Sep 19, 6-7 AM (45)
Sep 19, 7-8 AM (78)
Sep 19, 8-9 AM (61)
Sep 19, 9-10 AM (36)
Sep 19, 10-11 AM (51)
Sep 19, 11-12 PM (42)
Sep 19, 12-1 PM (115)
Sep 19, 1-2 PM (131)
Sep 19, 2-3 PM (74)
Sep 19, 3-4 PM (48)
Sep 19, 4-5 PM (27)
Sep 19, 5-6 PM (15)
Sep 19, 6-7 PM (13)
Sep 19, 7-8 PM (11)
Sep 19, 8-9 PM (7)
Sep 19, 9-10 PM (3)
Sep 19, 10-11 PM (16)
Sep 19, 11-12 AM (16)
Sep 20, 12-1 AM (6)
Sep 20, 1-2 AM (10)
Sep 20, 2-3 AM (1)
Sep 20, 3-4 AM (6)
Sep 20, 4-5 AM (11)
Sep 20, 5-6 AM (17)
Sep 20, 6-7 AM (30)
Sep 20, 7-8 AM (38)
Sep 20, 8-9 AM (104)
Sep 20, 9-10 AM (61)
Sep 20, 10-11 AM (42)
Sep 20, 11-12 PM (67)
Sep 20, 12-1 PM (48)
Sep 20, 1-2 PM (50)
Sep 20, 2-3 PM (55)
Sep 20, 3-4 PM (46)
Sep 20, 4-5 PM (21)
Sep 20, 5-6 PM (26)
Sep 20, 6-7 PM (17)
Sep 20, 7-8 PM (21)
Sep 20, 8-9 PM (11)
Sep 20, 9-10 PM (12)
Sep 20, 10-11 PM (19)
Sep 20, 11-12 AM (16)
Sep 21, 12-1 AM (3)
Sep 21, 1-2 AM (3)
Sep 21, 2-3 AM (1)
Sep 21, 3-4 AM (4)
Sep 21, 4-5 AM (0)
Sep 21, 5-6 AM (10)
Sep 21, 6-7 AM (13)
Sep 21, 7-8 AM (33)
Sep 21, 8-9 AM (31)
Sep 21, 9-10 AM (23)
Sep 21, 10-11 AM (82)
Sep 21, 11-12 PM (64)
Sep 21, 12-1 PM (55)
Sep 21, 1-2 PM (42)
Sep 21, 2-3 PM (44)
Sep 21, 3-4 PM (27)
Sep 21, 4-5 PM (28)
Sep 21, 5-6 PM (29)
Sep 21, 6-7 PM (3)
Sep 21, 7-8 PM (28)
Sep 21, 8-9 PM (8)
Sep 21, 9-10 PM (18)
Sep 21, 10-11 PM (15)
Sep 21, 11-12 AM (12)
Sep 22, 12-1 AM (6)
Sep 22, 1-2 AM (2)
Sep 22, 2-3 AM (1)
Sep 22, 3-4 AM (4)
Sep 22, 4-5 AM (3)
Sep 22, 5-6 AM (12)
Sep 22, 6-7 AM (28)
Sep 22, 7-8 AM (54)
Sep 22, 8-9 AM (63)
Sep 22, 9-10 AM (77)
Sep 22, 10-11 AM (32)
Sep 22, 11-12 PM (39)
Sep 22, 12-1 PM (38)
Sep 22, 1-2 PM (51)
Sep 22, 2-3 PM (35)
Sep 22, 3-4 PM (26)
Sep 22, 4-5 PM (20)
Sep 22, 5-6 PM (16)
Sep 22, 6-7 PM (1)
3,539 commits this week
Sep 15, 2023
-
Sep 22, 2023
[Test] [Builtins] Ensure 'Typeable', 'Lift' etc instances are present
Sort the arguments of `client_program` accordingly
Change `ph` to `φ` in `client_program`
Sort the parameters of the `chain_sync` locale accordingly
Merge branch 'main' into feat/LW-8386
test(extension): fix Connect and ReceiveInfo tests
Place the definition of `phase` after `roll_back`
deploy: 0ad175850d9fca523c55a17badbbb30e58bd1d0b
Parenthesize ∃-expression in `roll_back` for clarity
Merge branch 'master' into aniketd/current-treasury-amount-predicate
chore: bump cardano-db-sync to use new image registry
Images are now being published to the GitHub registry, starting from `13.1.1.0`. This is a minimal update to allow us to change the source
fixup! chore: hoist HANDLE_POLICY_IDS to common compose file
Add files via upload
koios svg logo
Rename `roll_back_to` to `roll_back`
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for b8917a0cf91c832cd13102d8fe9a7671c98e8b0c
Deploying to gh-pages from @ Plutonomicon/cardano-transaction-lib@1edebd567c12b4efa0545db92aab9fcd7634e80c 🚀
Merge pull request #1531 from Plutonomicon/klntsky/limit-number-of-outputs
Limit number of outputs
Place `ψ` as the first parameter in `roll_back_to`
consensus: replace Ticked LedgerView with LedgerView
Two justifications: - The Consensus Layer itself never uses any value of type LedgerView, only values of type Ticked LedgerView. - Those Ticked LedgerView values are never directly created by any _ticking_ action, ie by either of our primitive tick functions, which we only have for ChainDepStates and LedgerStates. Be advised, this commit slightly changes the semantics of Ticked. Specifically, this commit narrows the semantics from "something that is (possibly) farther ahead in time" to simply "the result of a tick primitive (either ChainDepState or LedgerState)".
refactor: add network_id log parameter when running snapshot_tool and catalyst-toolbox in snapshot importer
refactor: organize snapshot importer code a bit
feat: Add snapshot metrics as logs in snapshot importer