Dec 31, 1-2 PM (5)
Dec 31, 2-3 PM (23)
Dec 31, 3-4 PM (9)
Dec 31, 4-5 PM (6)
Dec 31, 5-6 PM (23)
Dec 31, 6-7 PM (6)
Dec 31, 7-8 PM (2)
Dec 31, 8-9 PM (3)
Dec 31, 9-10 PM (5)
Dec 31, 10-11 PM (20)
Dec 31, 11-12 AM (16)
Jan 01, 12-1 AM (1)
Jan 01, 1-2 AM (1)
Jan 01, 2-3 AM (1)
Jan 01, 3-4 AM (6)
Jan 01, 4-5 AM (0)
Jan 01, 5-6 AM (0)
Jan 01, 6-7 AM (0)
Jan 01, 7-8 AM (2)
Jan 01, 8-9 AM (5)
Jan 01, 9-10 AM (1)
Jan 01, 10-11 AM (1)
Jan 01, 11-12 PM (1)
Jan 01, 12-1 PM (9)
Jan 01, 1-2 PM (3)
Jan 01, 2-3 PM (3)
Jan 01, 3-4 PM (4)
Jan 01, 4-5 PM (3)
Jan 01, 5-6 PM (3)
Jan 01, 6-7 PM (6)
Jan 01, 7-8 PM (11)
Jan 01, 8-9 PM (2)
Jan 01, 9-10 PM (12)
Jan 01, 10-11 PM (19)
Jan 01, 11-12 AM (11)
Jan 02, 12-1 AM (0)
Jan 02, 1-2 AM (1)
Jan 02, 2-3 AM (5)
Jan 02, 3-4 AM (3)
Jan 02, 4-5 AM (1)
Jan 02, 5-6 AM (1)
Jan 02, 6-7 AM (1)
Jan 02, 7-8 AM (13)
Jan 02, 8-9 AM (20)
Jan 02, 9-10 AM (20)
Jan 02, 10-11 AM (12)
Jan 02, 11-12 PM (6)
Jan 02, 12-1 PM (14)
Jan 02, 1-2 PM (3)
Jan 02, 2-3 PM (16)
Jan 02, 3-4 PM (30)
Jan 02, 4-5 PM (54)
Jan 02, 5-6 PM (10)
Jan 02, 6-7 PM (15)
Jan 02, 7-8 PM (7)
Jan 02, 8-9 PM (10)
Jan 02, 9-10 PM (1)
Jan 02, 10-11 PM (19)
Jan 02, 11-12 AM (12)
Jan 03, 12-1 AM (1)
Jan 03, 1-2 AM (2)
Jan 03, 2-3 AM (1)
Jan 03, 3-4 AM (1)
Jan 03, 4-5 AM (1)
Jan 03, 5-6 AM (1)
Jan 03, 6-7 AM (1)
Jan 03, 7-8 AM (5)
Jan 03, 8-9 AM (1)
Jan 03, 9-10 AM (7)
Jan 03, 10-11 AM (1)
Jan 03, 11-12 PM (1)
Jan 03, 12-1 PM (2)
Jan 03, 1-2 PM (4)
Jan 03, 2-3 PM (7)
Jan 03, 3-4 PM (10)
Jan 03, 4-5 PM (10)
Jan 03, 5-6 PM (2)
Jan 03, 6-7 PM (0)
Jan 03, 7-8 PM (2)
Jan 03, 8-9 PM (1)
Jan 03, 9-10 PM (1)
Jan 03, 10-11 PM (31)
Jan 03, 11-12 AM (25)
Jan 04, 12-1 AM (10)
Jan 04, 1-2 AM (1)
Jan 04, 2-3 AM (0)
Jan 04, 3-4 AM (4)
Jan 04, 4-5 AM (3)
Jan 04, 5-6 AM (0)
Jan 04, 6-7 AM (0)
Jan 04, 7-8 AM (0)
Jan 04, 8-9 AM (1)
Jan 04, 9-10 AM (1)
Jan 04, 10-11 AM (0)
Jan 04, 11-12 PM (4)
Jan 04, 12-1 PM (6)
Jan 04, 1-2 PM (0)
Jan 04, 2-3 PM (0)
Jan 04, 3-4 PM (2)
Jan 04, 4-5 PM (0)
Jan 04, 5-6 PM (0)
Jan 04, 6-7 PM (0)
Jan 04, 7-8 PM (1)
Jan 04, 8-9 PM (0)
Jan 04, 9-10 PM (2)
Jan 04, 10-11 PM (22)
Jan 04, 11-12 AM (16)
Jan 05, 12-1 AM (0)
Jan 05, 1-2 AM (3)
Jan 05, 2-3 AM (6)
Jan 05, 3-4 AM (4)
Jan 05, 4-5 AM (8)
Jan 05, 5-6 AM (7)
Jan 05, 6-7 AM (4)
Jan 05, 7-8 AM (11)
Jan 05, 8-9 AM (15)
Jan 05, 9-10 AM (25)
Jan 05, 10-11 AM (32)
Jan 05, 11-12 PM (15)
Jan 05, 12-1 PM (21)
Jan 05, 1-2 PM (16)
Jan 05, 2-3 PM (28)
Jan 05, 3-4 PM (19)
Jan 05, 4-5 PM (16)
Jan 05, 5-6 PM (6)
Jan 05, 6-7 PM (5)
Jan 05, 7-8 PM (10)
Jan 05, 8-9 PM (12)
Jan 05, 9-10 PM (16)
Jan 05, 10-11 PM (39)
Jan 05, 11-12 AM (54)
Jan 06, 12-1 AM (10)
Jan 06, 1-2 AM (7)
Jan 06, 2-3 AM (16)
Jan 06, 3-4 AM (10)
Jan 06, 4-5 AM (20)
Jan 06, 5-6 AM (5)
Jan 06, 6-7 AM (8)
Jan 06, 7-8 AM (10)
Jan 06, 8-9 AM (37)
Jan 06, 9-10 AM (10)
Jan 06, 10-11 AM (17)
Jan 06, 11-12 PM (9)
Jan 06, 12-1 PM (10)
Jan 06, 1-2 PM (11)
Jan 06, 2-3 PM (14)
Jan 06, 3-4 PM (14)
Jan 06, 4-5 PM (26)
Jan 06, 5-6 PM (23)
Jan 06, 6-7 PM (39)
Jan 06, 7-8 PM (14)
Jan 06, 8-9 PM (21)
Jan 06, 9-10 PM (12)
Jan 06, 10-11 PM (74)
Jan 06, 11-12 AM (29)
Jan 07, 12-1 AM (17)
Jan 07, 1-2 AM (10)
Jan 07, 2-3 AM (11)
Jan 07, 3-4 AM (32)
Jan 07, 4-5 AM (6)
Jan 07, 5-6 AM (0)
Jan 07, 6-7 AM (1)
Jan 07, 7-8 AM (15)
Jan 07, 8-9 AM (26)
Jan 07, 9-10 AM (33)
Jan 07, 10-11 AM (20)
Jan 07, 11-12 PM (26)
Jan 07, 12-1 PM (37)
Jan 07, 1-2 PM (4)
1,743 commits this week
Dec 31, 2025
-
Jan 07, 2026
wb | obtain all dependencies from the same, maybe custom, haskell.nix project
wb | remove "-prof" profiles and use WB_PROFILING for everything about profiling
wb | make only cardano-node, cardano-tracer, tx-generator and locli support profiling
chore(deps): Bump github.com/blinklabs-io/gouroboros (#388)
Bumps [github.com/blinklabs-io/gouroboros](https://github.com/blinklabs-io/gouroboros) from 0.145.0 to 0.146.0. - [Release notes](https://github.com/blinklabs-io/gouroboros/releases) - [Commits](https://github.com/blinklabs-io/gouroboros/compare/v0.145.0...v0.146.0) --- updated-dependencies: - dependency-name: github.com/blinklabs-io/gouroboros dependency-version: 0.146.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
fix: plugins own their error channel
Signed-off-by: Chris Gianelloni <[email protected]>
Add preliminary check that txIns exist in the UTxO prior to any changes
Update src/Ledger/Dijkstra/Specification/Transaction.lagda.md
Co-authored-by: Copilot <[email protected]>
Adapt `txOutToP2Script` to two utxo views.
Also highlight that `getDatum` gets the datum of the spent output (look up `txin` in the UTxO; if the output stores a datum hash, look it up in `DataOf tx`). It's a spending-input datum lookup (not a reference-input datum lookup).
add `TxInfo.txInfoSubTxs` field
1. Introduce subTx info type (using an alias for `TxInfo` for now). 2. Extend `TxInfo` with field `txInfoSubTxs : Maybe (List SubTxInfo)`. 3. Define a purpose-built builder: + Top-level Guard scripts ⇒ `txInfoSubTxs = just (...)` + Everything else ⇒ `txInfoSubTxs = nothing` + SubTx scripts ⇒ always `nothing` (even for `Guard` at sub level)
Update CHANGELOG.md
Co-authored-by: Copilot <[email protected]>
Make `ScriptPurpose.Guard` carry a `Credential`
Key idea: + Keep `txGuards` as a set **for now**. + Define an ordered view `guardsList : List Credential` via `setToList`. + Make `indexOfGuard` operate on that list. + Let `rdptr` compute the `Ix` using `indexOfGuard`. For the "required top-level guards requested by subTxs" (i.e., `txRequiredTopLevelGuards` requests), we don't need a new ScriptPurpose constructor yet, because: + phase-1 ensures those requested credentials are contained in top-level `txGuards` + the later work (#1004 / #1006) will decide how to construct TxInfo / datum arguments for running those guard scripts batch-wide
rename and fix some guard functions
Add initial versions of Utxo and Utxow modules
+ a minimal `UTXOS` rule as a stub/hook (so `UTXO` can call something), + a minimal `UTXO` rule with just the new phase-1 premise (plus an explicit "calls UTXOS"), + a minimal `UTXOW`; just a wrapper over `UTXO` for now.
Add `requiredTopLevelGuardsSatisfied` predicate.
Merge remote-tracking branch 'origin/develop3' into develop
resolve suggestions
convert code comments to (literate) documentation
feat: add cubit tests
changed nomenclature
Agreeing with Carlos' suggestion to avoid "request."
change txRequiredTopLevelGuards type from list to set
agreeing with Carlos' observation/suggestion
test: conformance using amaru vectors