Skip to content

Add AntiGen tests to Conway CDDL#5568

Open
Soupstraw wants to merge 4 commits intomasterfrom
jj/antigen
Open

Add AntiGen tests to Conway CDDL#5568
Soupstraw wants to merge 4 commits intomasterfrom
jj/antigen

Conversation

@Soupstraw
Copy link
Contributor

@Soupstraw Soupstraw commented Feb 9, 2026

Description

This PR bumps cuddle to version 1.2.0.0, which enables running fuzzing tests on our decoders with the help of AntiGen.

Checklist

  • Commits in meaningful sequence and with useful messages.
  • Tests added or updated when needed.
  • CHANGELOG.md files updated for packages with externally visible changes.
    NOTE: New section is never added with the code changes. (See RELEASING.md).
  • Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
    versioning process.
  • Version bounds in .cabal files updated when necessary.
    NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
  • Code formatted (use scripts/fourmolize.sh).
  • Cabal files formatted (use scripts/cabal-format.sh).
  • CDDL files are up to date (use scripts/gen-cddl.sh)
  • hie.yaml updated (use scripts/gen-hie.sh).
  • Self-reviewed the diff.

@Soupstraw Soupstraw force-pushed the jj/antigen branch 4 times, most recently from 8538532 to da87399 Compare February 19, 2026 15:35
@Soupstraw Soupstraw changed the title Jj/antigen Add AntiGen tests to Conway CDDL Feb 27, 2026
@Soupstraw Soupstraw marked this pull request as ready for review February 27, 2026 12:15
@Soupstraw Soupstraw requested a review from a team as a code owner February 27, 2026 12:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant