Skip to content

Move CSE to the unimplemented-in-the-certifier category#7734

Merged
ana-pantilie merged 6 commits intomasterfrom
ana/move-cse-to-unimplementedcert
Apr 24, 2026
Merged

Move CSE to the unimplemented-in-the-certifier category#7734
ana-pantilie merged 6 commits intomasterfrom
ana/move-cse-to-unimplementedcert

Conversation

@ana-pantilie
Copy link
Copy Markdown
Contributor

@ana-pantilie ana-pantilie self-assigned this Apr 22, 2026
@ana-pantilie ana-pantilie changed the title Move CaseReduce to the unimplemented-in-the-certifier category Move CSE to the unimplemented-in-the-certifier category Apr 22, 2026
@ana-pantilie ana-pantilie force-pushed the ana/move-cse-to-unimplementedcert branch from 4b541bf to 2965a88 Compare April 22, 2026 12:41
@ana-pantilie ana-pantilie force-pushed the ana/move-cse-to-unimplementedcert branch from 2965a88 to 2aafda2 Compare April 22, 2026 14:11
@ana-pantilie ana-pantilie requested a review from basetunnel April 22, 2026 14:11
@ana-pantilie ana-pantilie marked this pull request as ready for review April 22, 2026 14:11
Comment thread plutus-metatheory/test/certifier-report/golden/n-queens.golden.report Outdated
@ana-pantilie ana-pantilie requested a review from basetunnel April 24, 2026 11:36
@ana-pantilie ana-pantilie enabled auto-merge (squash) April 24, 2026 12:03
@ana-pantilie ana-pantilie merged commit 187c397 into master Apr 24, 2026
8 of 10 checks passed
@ana-pantilie ana-pantilie deleted the ana/move-cse-to-unimplementedcert branch April 24, 2026 13:14
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.

2 participants