Skip to content
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

Resurect testing verification proofs #1

Open
catalin-hritcu opened this issue Sep 16, 2014 · 0 comments
Open

Resurect testing verification proofs #1

catalin-hritcu opened this issue Sep 16, 2014 · 0 comments
Milestone
CPP

Comments

@catalin-hritcu
Copy link
Member

Two of the files are broken since 2f9d250

  • GenerationProofs.v
  • SSNICheckerProofs.v
    We should make them work again.
@catalin-hritcu catalin-hritcu modified the milestone: Testing verification paper Sep 16, 2014
@catalin-hritcu catalin-hritcu mentioned this issue Sep 16, 2014
Open
@catalin-hritcu catalin-hritcu modified the milestones: CPP, Testing verification paper Sep 18, 2014
@maximedenes maximedenes assigned maximedenes and unassigned zoep Feb 2, 2015
@maximedenes maximedenes removed their assignment Aug 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
CPP
Development

No branches or pull requests
3 participants
@maximedenes @zoep @catalin-hritcu