Skip to content

TopLoc Proof Generation#64

Merged
Jackmin801 merged 24 commits intomainfrom
topk-verif
Feb 16, 2025
Merged

TopLoc Proof Generation#64
Jackmin801 merged 24 commits intomainfrom
topk-verif

Conversation

@Jackmin801
Copy link
Member

No description provided.

@Jackmin801 Jackmin801 requested a review from samsja February 13, 2025 01:25
@samsja
Copy link
Member

samsja commented Feb 13, 2025

as discuss tets put toploc in its own repo :)

PR look good otherwise

Copy link
Member

@samsja samsja left a comment

Choose a reason for hiding this comment

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

pre-approving, I added a suggestion tho.

lfgtm

@Jackmin801 Jackmin801 merged commit 0744c4b into main Feb 16, 2025
3 checks passed
@Jackmin801 Jackmin801 deleted the topk-verif branch February 16, 2025 22:59
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