add supervision and start functional tests
Signed-off-by: Roland Kuhn <[email protected]>
Home /
Pragma /
amaru
Dec 29, 7-8 AM (0)
Dec 29, 8-9 AM (0)
Dec 29, 9-10 AM (0)
Dec 29, 10-11 AM (0)
Dec 29, 11-12 PM (1)
Dec 29, 12-1 PM (0)
Dec 29, 1-2 PM (0)
Dec 29, 2-3 PM (1)
Dec 29, 3-4 PM (0)
Dec 29, 4-5 PM (0)
Dec 29, 5-6 PM (0)
Dec 29, 6-7 PM (0)
Dec 29, 7-8 PM (0)
Dec 29, 8-9 PM (0)
Dec 29, 9-10 PM (0)
Dec 29, 10-11 PM (0)
Dec 29, 11-12 AM (0)
Dec 30, 12-1 AM (0)
Dec 30, 1-2 AM (0)
Dec 30, 2-3 AM (0)
Dec 30, 3-4 AM (0)
Dec 30, 4-5 AM (0)
Dec 30, 5-6 AM (0)
Dec 30, 6-7 AM (0)
Dec 30, 7-8 AM (0)
Dec 30, 8-9 AM (0)
Dec 30, 9-10 AM (1)
Dec 30, 10-11 AM (0)
Dec 30, 11-12 PM (0)
Dec 30, 12-1 PM (0)
Dec 30, 1-2 PM (0)
Dec 30, 2-3 PM (0)
Dec 30, 3-4 PM (0)
Dec 30, 4-5 PM (0)
Dec 30, 5-6 PM (0)
Dec 30, 6-7 PM (0)
Dec 30, 7-8 PM (0)
Dec 30, 8-9 PM (0)
Dec 30, 9-10 PM (0)
Dec 30, 10-11 PM (0)
Dec 30, 11-12 AM (0)
Dec 31, 12-1 AM (0)
Dec 31, 1-2 AM (0)
Dec 31, 2-3 AM (0)
Dec 31, 3-4 AM (0)
Dec 31, 4-5 AM (0)
Dec 31, 5-6 AM (0)
Dec 31, 6-7 AM (0)
Dec 31, 7-8 AM (0)
Dec 31, 8-9 AM (0)
Dec 31, 9-10 AM (0)
Dec 31, 10-11 AM (0)
Dec 31, 11-12 PM (1)
Dec 31, 12-1 PM (0)
Dec 31, 1-2 PM (0)
Dec 31, 2-3 PM (0)
Dec 31, 3-4 PM (0)
Dec 31, 4-5 PM (2)
Dec 31, 5-6 PM (2)
Dec 31, 6-7 PM (0)
Dec 31, 7-8 PM (0)
Dec 31, 8-9 PM (2)
Dec 31, 9-10 PM (3)
Dec 31, 10-11 PM (1)
Dec 31, 11-12 AM (4)
Jan 01, 12-1 AM (0)
Jan 01, 1-2 AM (0)
Jan 01, 2-3 AM (0)
Jan 01, 3-4 AM (0)
Jan 01, 4-5 AM (0)
Jan 01, 5-6 AM (0)
Jan 01, 6-7 AM (0)
Jan 01, 7-8 AM (0)
Jan 01, 8-9 AM (0)
Jan 01, 9-10 AM (0)
Jan 01, 10-11 AM (1)
Jan 01, 11-12 PM (0)
Jan 01, 12-1 PM (0)
Jan 01, 1-2 PM (0)
Jan 01, 2-3 PM (1)
Jan 01, 3-4 PM (1)
Jan 01, 4-5 PM (2)
Jan 01, 5-6 PM (2)
Jan 01, 6-7 PM (3)
Jan 01, 7-8 PM (0)
Jan 01, 8-9 PM (0)
Jan 01, 9-10 PM (0)
Jan 01, 10-11 PM (0)
Jan 01, 11-12 AM (0)
Jan 02, 12-1 AM (0)
Jan 02, 1-2 AM (0)
Jan 02, 2-3 AM (0)
Jan 02, 3-4 AM (0)
Jan 02, 4-5 AM (0)
Jan 02, 5-6 AM (0)
Jan 02, 6-7 AM (0)
Jan 02, 7-8 AM (0)
Jan 02, 8-9 AM (0)
Jan 02, 9-10 AM (0)
Jan 02, 10-11 AM (1)
Jan 02, 11-12 PM (0)
Jan 02, 12-1 PM (0)
Jan 02, 1-2 PM (0)
Jan 02, 2-3 PM (1)
Jan 02, 3-4 PM (7)
Jan 02, 4-5 PM (43)
Jan 02, 5-6 PM (0)
Jan 02, 6-7 PM (0)
Jan 02, 7-8 PM (0)
Jan 02, 8-9 PM (0)
Jan 02, 9-10 PM (0)
Jan 02, 10-11 PM (0)
Jan 02, 11-12 AM (0)
Jan 03, 12-1 AM (0)
Jan 03, 1-2 AM (0)
Jan 03, 2-3 AM (0)
Jan 03, 3-4 AM (0)
Jan 03, 4-5 AM (0)
Jan 03, 5-6 AM (0)
Jan 03, 6-7 AM (0)
Jan 03, 7-8 AM (0)
Jan 03, 8-9 AM (0)
Jan 03, 9-10 AM (0)
Jan 03, 10-11 AM (0)
Jan 03, 11-12 PM (0)
Jan 03, 12-1 PM (0)
Jan 03, 1-2 PM (0)
Jan 03, 2-3 PM (0)
Jan 03, 3-4 PM (0)
Jan 03, 4-5 PM (1)
Jan 03, 5-6 PM (0)
Jan 03, 6-7 PM (0)
Jan 03, 7-8 PM (0)
Jan 03, 8-9 PM (0)
Jan 03, 9-10 PM (0)
Jan 03, 10-11 PM (0)
Jan 03, 11-12 AM (0)
Jan 04, 12-1 AM (0)
Jan 04, 1-2 AM (0)
Jan 04, 2-3 AM (0)
Jan 04, 3-4 AM (0)
Jan 04, 4-5 AM (0)
Jan 04, 5-6 AM (0)
Jan 04, 6-7 AM (0)
Jan 04, 7-8 AM (0)
Jan 04, 8-9 AM (0)
Jan 04, 9-10 AM (0)
Jan 04, 10-11 AM (0)
Jan 04, 11-12 PM (0)
Jan 04, 12-1 PM (0)
Jan 04, 1-2 PM (0)
Jan 04, 2-3 PM (0)
Jan 04, 3-4 PM (0)
Jan 04, 4-5 PM (0)
Jan 04, 5-6 PM (0)
Jan 04, 6-7 PM (0)
Jan 04, 7-8 PM (0)
Jan 04, 8-9 PM (0)
Jan 04, 9-10 PM (0)
Jan 04, 10-11 PM (0)
Jan 04, 11-12 AM (0)
Jan 05, 12-1 AM (0)
Jan 05, 1-2 AM (0)
Jan 05, 2-3 AM (0)
Jan 05, 3-4 AM (0)
Jan 05, 4-5 AM (0)
Jan 05, 5-6 AM (0)
Jan 05, 6-7 AM (0)
Jan 05, 7-8 AM (0)
81 commits this week
Dec 29, 2025
-
Jan 05, 2026
Merge pull request #621 from pragma-org/jeluard/validate-headers
feat: add header validation to amaru-ledger sync
fix: normalize paths on windows
Signed-off-by: Simon Gellis <[email protected]>
chore: update licenses allowlist
Signed-off-by: yHSJ <[email protected]>
chore: update licenses allowlist to include non OSI approved CCO license
Signed-off-by: yHSJ <[email protected]>
chore: fix typo in comment
Signed-off-by: yHSJ <[email protected]>
fix: clippy issues after rebase
Signed-off-by: yHSJ <[email protected]>
fix: don't ever return a ScriptPurpose pointing to a key hash
Signed-off-by: yHSJ <[email protected]>
chore: remove 'this is horrible' logic
Signed-off-by: yHSJ <[email protected]>
fix: adjust vm alloc arena creation and defaults
- Clarify names outside of the ledger and add comments explaining what the config parameters stands for. - Reduce the default number of arenas to 1; we aren't parellalizing anything at the moment, so there's no point. - Move where we create the arena; it's not a concern of the upper layers (I would even be tempted to move it further down the line, inside the ledger state creation) - DO NOT EXPOSE arena settings to end-users. This is not a configuration we want to bother users with. This is something we have to fine-tune as implementors. Signed-off-by: KtorZ <[email protected]>
chore: cleanup redeemers handling in script context(s)
- Avoid duplicating sorting logic between 'Redeemers' and
'OrderedRedeemer'. The Ord instance on the latter already carry the
sorting logic, so we can
- Store redeemers in an 'inverted' BTreeMap:
- This works because we know redeemer values are unique (different
tags and indexes; although I admittedly haven't controlled that we
have a test for it in the rules that would correctly rule out
duplications).
- Doing this, we reduce the number of traversals we have to do on
the redeemers, everything is much more streamlined.
- We also allow near-instant lookups of redeemers, instead of having
search them by tag & index in O(n).
- Factor out the common instance for ToPlutusData between V2 and V3;
generally speaking, we should avoid duplicating instances where
possible. We use a parameterized trait for that reason!
Signed-off-by: KtorZ <[email protected]>
fix: typo protocol_verison -> protocol_version
Signed-off-by: KtorZ <[email protected]>
chore: surrender to ordering OCDs in Cargo.toml + remove unnecessary FIXME
The FIXME is in fact unecessary; we need not to use the exact same version as uplc-turbo; in fact, that's an issue for the dependency constraint solver to solve. We should even be able to use different versions so long as they are compatible. Signed-off-by: KtorZ <[email protected]>
chore: rewrite for brevity HasOwnership instance for Certificate
Signed-off-by: KtorZ <[email protected]>
chore: use Cow and rename 'RedeemerAdapter' to 'OrderedRedeemer'.
Less confusing of a name with clearer intent (providing Ord instances). Using Cow also works well here to avoid unnecessary clones, since we already have lifetimes on TxInfo anyway. Also moved into its own module, to keep the ongoing pattern in the kernel for newly introduced types. Signed-off-by: KtorZ <[email protected]>
chore: fix spelling mistake
Signed-off-by: yHSJ <[email protected]>
feat: create all pools at initialization, to maintain determinism
Signed-off-by: yHSJ <[email protected]>
chore: update naming of arena_pool for clarity
Signed-off-by: yHSJ <[email protected]>
chore: reuse failed_transactions
Signed-off-by: yHSJ <[email protected]>
fix: example build
Signed-off-by: yHSJ <[email protected]>
chore: add license headers
Signed-off-by: yHSJ <[email protected]>
fix: mark tx as valid if no invalid transactions field is present
Signed-off-by: yHSJ <[email protected]>
chore: fix cargo clippy-amaru issues
Signed-off-by: yHSJ <[email protected]>
feat: encode CostModels updates in PlutusData
Signed-off-by: yHSJ <[email protected]>
fix: use budget from redeemer
Signed-off-by: yHSJ <[email protected]>