Home / Input Output / plutus
Insights Pull Requests
Apr 25, 2-3 AM (0)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (0)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (0)
Apr 25, 10-11 AM (0)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (0)
Apr 25, 1-2 PM (0)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (0)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (0)
Apr 25, 7-8 PM (0)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (0)
Apr 25, 10-11 PM (0)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (0)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (0)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (1)
Apr 26, 11-12 AM (1)
Apr 27, 12-1 AM (0)
Apr 27, 1-2 AM (1)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (0)
Apr 27, 4-5 AM (0)
Apr 27, 5-6 AM (0)
Apr 27, 6-7 AM (0)
Apr 27, 7-8 AM (0)
Apr 27, 8-9 AM (2)
Apr 27, 9-10 AM (0)
Apr 27, 10-11 AM (2)
Apr 27, 11-12 PM (0)
Apr 27, 12-1 PM (0)
Apr 27, 1-2 PM (0)
Apr 27, 2-3 PM (0)
Apr 27, 3-4 PM (0)
Apr 27, 4-5 PM (1)
Apr 27, 5-6 PM (0)
Apr 27, 6-7 PM (1)
Apr 27, 7-8 PM (4)
Apr 27, 8-9 PM (0)
Apr 27, 9-10 PM (0)
Apr 27, 10-11 PM (0)
Apr 27, 11-12 AM (0)
Apr 28, 12-1 AM (2)
Apr 28, 1-2 AM (0)
Apr 28, 2-3 AM (0)
Apr 28, 3-4 AM (0)
Apr 28, 4-5 AM (0)
Apr 28, 5-6 AM (0)
Apr 28, 6-7 AM (0)
Apr 28, 7-8 AM (0)
Apr 28, 8-9 AM (0)
Apr 28, 9-10 AM (0)
Apr 28, 10-11 AM (0)
Apr 28, 11-12 PM (0)
Apr 28, 12-1 PM (1)
Apr 28, 1-2 PM (1)
Apr 28, 2-3 PM (0)
Apr 28, 3-4 PM (0)
Apr 28, 4-5 PM (0)
Apr 28, 5-6 PM (10)
Apr 28, 6-7 PM (0)
Apr 28, 7-8 PM (0)
Apr 28, 8-9 PM (2)
Apr 28, 9-10 PM (0)
Apr 28, 10-11 PM (3)
Apr 28, 11-12 AM (0)
Apr 29, 12-1 AM (1)
Apr 29, 1-2 AM (0)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (0)
Apr 29, 5-6 AM (0)
Apr 29, 6-7 AM (2)
Apr 29, 7-8 AM (1)
Apr 29, 8-9 AM (0)
Apr 29, 9-10 AM (1)
Apr 29, 10-11 AM (1)
Apr 29, 11-12 PM (6)
Apr 29, 12-1 PM (2)
Apr 29, 1-2 PM (0)
Apr 29, 2-3 PM (1)
Apr 29, 3-4 PM (0)
Apr 29, 4-5 PM (0)
Apr 29, 5-6 PM (0)
Apr 29, 6-7 PM (3)
Apr 29, 7-8 PM (1)
Apr 29, 8-9 PM (1)
Apr 29, 9-10 PM (0)
Apr 29, 10-11 PM (0)
Apr 29, 11-12 AM (0)
Apr 30, 12-1 AM (0)
Apr 30, 1-2 AM (1)
Apr 30, 2-3 AM (0)
Apr 30, 3-4 AM (0)
Apr 30, 4-5 AM (0)
Apr 30, 5-6 AM (0)
Apr 30, 6-7 AM (0)
Apr 30, 7-8 AM (0)
Apr 30, 8-9 AM (0)
Apr 30, 9-10 AM (1)
Apr 30, 10-11 AM (0)
Apr 30, 11-12 PM (4)
Apr 30, 12-1 PM (7)
Apr 30, 1-2 PM (2)
Apr 30, 2-3 PM (0)
Apr 30, 3-4 PM (3)
Apr 30, 4-5 PM (3)
Apr 30, 5-6 PM (3)
Apr 30, 6-7 PM (0)
Apr 30, 7-8 PM (4)
Apr 30, 8-9 PM (1)
Apr 30, 9-10 PM (2)
Apr 30, 10-11 PM (1)
Apr 30, 11-12 AM (0)
May 01, 12-1 AM (0)
May 01, 1-2 AM (1)
May 01, 2-3 AM (3)
May 01, 3-4 AM (0)
May 01, 4-5 AM (0)
May 01, 5-6 AM (0)
May 01, 6-7 AM (0)
May 01, 7-8 AM (0)
May 01, 8-9 AM (0)
May 01, 9-10 AM (0)
May 01, 10-11 AM (0)
May 01, 11-12 PM (0)
May 01, 12-1 PM (0)
May 01, 1-2 PM (0)
May 01, 2-3 PM (2)
May 01, 3-4 PM (0)
May 01, 4-5 PM (1)
May 01, 5-6 PM (4)
May 01, 6-7 PM (2)
May 01, 7-8 PM (1)
May 01, 8-9 PM (0)
May 01, 9-10 PM (1)
May 01, 10-11 PM (2)
May 01, 11-12 AM (3)
May 02, 12-1 AM (0)
May 02, 1-2 AM (1)
May 02, 2-3 AM (0)
105 commits this week Apr 25, 2026 - May 02, 2026
knoal
knoal · · plutus
test(sig-verif): tighten cover thresholds (#6332) 
The Schnorr / Ed25519 / ECDSA Hedgehog property tests in
plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/SignatureVerification.hs
asked Hedgehog to enforce a 4-5% distribution per labelled outcome,
which is barely above noise.

The generators use either Gen.choice or Gen.frequency 6:4 over an
error / no-error split, with 2-3 labelled sub-cases per side, so each
sub-case occurs roughly 13-20% of the time. Tightening the cover
threshold to 15 brings the bar in line with what the generators
actually produce while still flagging accidental skew.

This addresses the first half of #6332. The 'add real distribution-
checking tests' part is a separate follow-up.
b5e32d08 · pull/7759/head · 1/16 ++ 16 --
knoal
knoal · · plutus
ci(nightly): upscale QuickCheck tests in nightly test suite (closes #6322) 
Mirror the existing HEDGEHOG_TESTS upscaling for QuickCheck so nightly
property runs also exercise QuickCheck-based generators with a larger
sample count and size parameter.

* Add QUICKCHECK_TESTS / QUICKCHECK_MAX_SIZE env vars (defaults
  100000 / 500), plus matching workflow_dispatch inputs.
* Pass --quickcheck-tests / --quickcheck-max-size to every test
  invocation that already passes --hedgehog-tests.

These flags are recognised by tasty-quickcheck and only take effect
in the nightly run.
088c29b5 · pull/7758/head · 1/13 ++ 2 --
knoal
knoal · · plutus
docs: convert AsciiDoc to Markdown (#6023) 
Convert top-level AsciiDoc documentation to GitHub-Flavored Markdown so
links render correctly on GitHub.

* README.adoc      -> README.md
* CONTRIBUTING.adoc -> CONTRIBUTING.md
* RELEASE.adoc     -> RELEASE.md
* STYLEGUIDE.adoc  -> STYLEGUIDE.md

Update cross-references in:
* DESCRIPTION.md
* plutus-benchmark/marlowe/README.md
* .github/copilot-instructions.md

Drop *.adoc target from scripts/check-broken-links.sh.

Conversion done with downdoc; output reviewed and adjusted for
asciidoc-specific markup (link:[...], {outfilesuffix}, anchor-style
headings).

Closes #6023
6c14e60d · pull/7757/head · 9/446 ++ 487 --
Showing 25 of 105 recent commits. Check out Input Output on GitHub to see more.