Skip to content

Fix Haskell version of certifier builtinEq #7059

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 30 commits into from
Apr 30, 2025
Merged

Fix Haskell version of certifier builtinEq #7059

merged 30 commits into from
Apr 30, 2025
+149 −36

Conversation

ana-pantilie
Copy link
Contributor

@ana-pantilie ana-pantilie commented Apr 25, 2025 •
edited
Loading

@ana-pantilie
Fix bug in builtin decidable equality
2f21b76
@ana-pantilie
Add issue to TODO
26f88a2
@ana-pantilie
Add changelog
7d8c94a
@ana-pantilie
Move printing to executable
7b24084
@ana-pantilie
Move UPLC test functions to library
da167c1
@ana-pantilie
Add tests from UPLC simplifier
0a0d7d1
@ana-pantilie
Move golden files to test dir
0e852db
@ana-pantilie
Bind free variables in inliner tests
82d1c90
@ana-pantilie
Bind free variables in forceDelay tests
538ef30
@ana-pantilie
Add issue
880bd77
@ana-pantilie
Merge remote-tracking branch 'origin/master' into ana/add-new-certifi…
efe0c4d 
…er-tests
@ana-pantilie
Add type sig
d7974cb
@ana-pantilie
Merge remote-tracking branch 'origin/master' into ana/add-new-certifi…
5c39b57 
…er-tests
@ana-pantilie
Add UPLC CSE tests to certifier test suite
051383f
@ana-pantilie
Add functions for adding certifier mock trace tests
d382fb5
@ana-pantilie
Merge remote-tracking branch 'origin/master' into ana/add-negative-ce…
e131610 
…rtifier-tests
@ana-pantilie
Refactor certifier tests
86ea81f
@ana-pantilie
Address review comments
18a45f1
@ana-pantilie
Fix
e0ab443
@ana-pantilie
Fix
6a4effe
@ana-pantilie
Add BS tests
1d1d31a
@ana-pantilie ana-pantilie marked this pull request as ready for review April 25, 2025 18:02
@ana-pantilie ana-pantilie requested review from a team and ramsay-t April 28, 2025 10:03
ramsay-t
ramsay-t approved these changes Apr 28, 2025
View reviewed changes
Copy link
Contributor

@ramsay-t ramsay-t left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great (I mean, it looks like an awful kludge but that's Agda's fault, not yours :) ). Getting it to handle two different versions in two different settings is really useful.

@ana-pantilie ana-pantilie enabled auto-merge (squash) April 30, 2025 21:06
@ana-pantilie ana-pantilie merged commit 1e7a0be into master Apr 30, 2025
39 checks passed
@ana-pantilie ana-pantilie deleted the ana/haskell-builtinEq branch April 30, 2025 22:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ramsay-t ramsay-t ramsay-t approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ana-pantilie @ramsay-t