added module comment for unique schnorr sig
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 (13)
Jan 06, 2-3 PM (16)
Jan 06, 3-4 PM (14)
Jan 06, 4-5 PM (26)
Jan 06, 5-6 PM (23)
Jan 06, 6-7 PM (40)
Jan 06, 7-8 PM (16)
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 (33)
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 (23)
Jan 07, 11-12 PM (28)
Jan 07, 12-1 PM (52)
Jan 07, 1-2 PM (67)
Jan 07, 2-3 PM (30)
Jan 07, 3-4 PM (44)
Jan 07, 4-5 PM (45)
Jan 07, 5-6 PM (23)
Jan 07, 6-7 PM (16)
Jan 07, 7-8 PM (28)
Jan 07, 8-9 PM (11)
Jan 07, 9-10 PM (11)
Jan 07, 10-11 PM (33)
Jan 07, 11-12 AM (20)
Jan 08, 12-1 AM (3)
Jan 08, 1-2 AM (18)
Jan 08, 2-3 AM (2)
Jan 08, 3-4 AM (12)
Jan 08, 4-5 AM (7)
Jan 08, 5-6 AM (4)
Jan 08, 6-7 AM (7)
Jan 08, 7-8 AM (9)
Jan 08, 8-9 AM (22)
Jan 08, 9-10 AM (18)
Jan 08, 10-11 AM (23)
Jan 08, 11-12 PM (33)
Jan 08, 12-1 PM (22)
Jan 08, 1-2 PM (27)
Jan 08, 2-3 PM (42)
Jan 08, 3-4 PM (26)
Jan 08, 4-5 PM (49)
Jan 08, 5-6 PM (25)
Jan 08, 6-7 PM (31)
Jan 08, 7-8 PM (11)
Jan 08, 8-9 PM (27)
Jan 08, 9-10 PM (17)
Jan 08, 10-11 PM (52)
Jan 08, 11-12 AM (19)
Jan 09, 12-1 AM (7)
Jan 09, 1-2 AM (19)
Jan 09, 2-3 AM (19)
Jan 09, 3-4 AM (15)
Jan 09, 4-5 AM (18)
Jan 09, 5-6 AM (10)
Jan 09, 6-7 AM (7)
Jan 09, 7-8 AM (8)
Jan 09, 8-9 AM (34)
Jan 09, 9-10 AM (55)
Jan 09, 10-11 AM (15)
Jan 09, 11-12 PM (36)
Jan 09, 12-1 PM (33)
Jan 09, 1-2 PM (71)
Jan 09, 2-3 PM (63)
Jan 09, 3-4 PM (45)
Jan 09, 4-5 PM (24)
Jan 09, 5-6 PM (35)
Jan 09, 6-7 PM (11)
Jan 09, 7-8 PM (19)
Jan 09, 8-9 PM (32)
Jan 09, 9-10 PM (28)
Jan 09, 10-11 PM (29)
Jan 09, 11-12 AM (23)
Jan 10, 12-1 AM (1)
Jan 10, 1-2 AM (3)
Jan 10, 2-3 AM (12)
Jan 10, 3-4 AM (3)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (3)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (1)
Jan 10, 8-9 AM (1)
Jan 10, 9-10 AM (1)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (1)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (1)
Jan 10, 3-4 PM (1)
Jan 10, 4-5 PM (2)
Jan 10, 5-6 PM (0)
Jan 10, 6-7 PM (0)
Jan 10, 7-8 PM (0)
Jan 10, 8-9 PM (0)
Jan 10, 9-10 PM (1)
Jan 10, 10-11 PM (26)
Jan 10, 11-12 AM (31)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (3)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (3)
Jan 11, 4-5 AM (5)
Jan 11, 5-6 AM (5)
Jan 11, 6-7 AM (1)
Jan 11, 7-8 AM (0)
Jan 11, 8-9 AM (1)
Jan 11, 9-10 AM (1)
Jan 11, 10-11 AM (0)
Jan 11, 11-12 PM (1)
Jan 11, 12-1 PM (0)
Jan 11, 1-2 PM (9)
Jan 11, 2-3 PM (0)
Jan 11, 3-4 PM (3)
Jan 11, 4-5 PM (3)
Jan 11, 5-6 PM (4)
Jan 11, 6-7 PM (3)
Jan 11, 7-8 PM (5)
Jan 11, 8-9 PM (6)
Jan 11, 9-10 PM (2)
Jan 11, 10-11 PM (19)
Jan 11, 11-12 AM (20)
Jan 12, 12-1 AM (2)
Jan 12, 1-2 AM (2)
Jan 12, 2-3 AM (2)
Jan 12, 3-4 AM (7)
Jan 12, 4-5 AM (1)
Jan 12, 5-6 AM (1)
Jan 12, 6-7 AM (9)
Jan 12, 7-8 AM (40)
Jan 12, 8-9 AM (30)
Jan 12, 9-10 AM (21)
Jan 12, 10-11 AM (49)
Jan 12, 11-12 PM (29)
Jan 12, 12-1 PM (31)
Jan 12, 1-2 PM (27)
Jan 12, 2-3 PM (25)
Jan 12, 3-4 PM (64)
Jan 12, 4-5 PM (26)
Jan 12, 5-6 PM (46)
Jan 12, 6-7 PM (21)
Jan 12, 7-8 PM (17)
Jan 12, 8-9 PM (17)
Jan 12, 9-10 PM (29)
Jan 12, 10-11 PM (30)
Jan 12, 11-12 AM (33)
Jan 13, 12-1 AM (4)
Jan 13, 1-2 AM (7)
Jan 13, 2-3 AM (11)
Jan 13, 3-4 AM (7)
Jan 13, 4-5 AM (8)
Jan 13, 5-6 AM (44)
Jan 13, 6-7 AM (6)
Jan 13, 7-8 AM (1)
2,942 commits this week
Jan 06, 2026
-
Jan 13, 2026
chore: add more context
do not keep track of lastKnown, instead push new states
> because now history is bounded we can safely use all its points as candidates to find an intersection
introduce history deph to keep it bounded
add Haskell Benchmark (customSmallerIsBetter) benchmark result for f3415f94af1f388364493889b185f39c15aa951a
Prevent sub-tx-ids to be spent in the same tx.
Add `DijkstraSpendingOutputFromSameTx` to `DijkstraLedgerPredFailure` to report when a sub-tx-id is being spent within the same transaction. Add Dijkstra.Imp.LedgerSpec with tests.
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 5e2013b095551d2cb7b52534b504b4c252168fa9
![vercel[bot]](https://avatars.githubusercontent.com/in/8329?v=4&s=80)
Fix React Server Components CVE vulnerabilities
Updated dependencies to fix Next.js and React CVE vulnerabilities. The fix-react2shell-next tool automatically updated the following packages to their secure versions: - next - react-server-dom-webpack - react-server-dom-parcel - react-server-dom-turbopack All package.json files have been scanned and vulnerable versions have been patched to the correct fixed versions based on the official React advisory. Co-authored-by: Vercel <vercel[bot]@users.noreply.github.com>
Support backpack builds.
Fixes #244
Artifacts generated from b978ae249bedc4ecbae9f32eb6e9280df7256cb0
make-install-plan: Include info needed for backpack.
Artifacts generated from 1ab795789cf7eefa06b20f5d8245c1fda2b172f9
pass a non-empty list of starting points when finding the intersection point during startup
Artifacts generated from 641be4269843de65f2e2325eb16dd04433917dac
Artifacts generated from ffdfd8414f10bfb1e8563b5c39712da9ec23cb61
remove duplicate typeclass instance
Add support for batch-level validity checking
Add batch-level coin mint constraint to prevent Ada forgery (#1023)
* improvements * Initial plan * Add batchMintedCoin constraint to prevent Ada forgery Co-authored-by: williamdemeo <[email protected]> * Add documentation for batchMintedCoin security constraint Co-authored-by: williamdemeo <[email protected]> * Use consistent aggregation syntax for batchMintedCoin Co-authored-by: williamdemeo <[email protected]> --------- Co-authored-by: William DeMeo <[email protected]> Co-authored-by: copilot-swe-agent[bot] <[email protected]> Co-authored-by: williamdemeo <[email protected]>
first pass at the UTXOS rule
clean up txInfoForPurpose
cleanup and explain two utxo arguments