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

front-end changes to SBV #32

Closed
kiniry opened this issue Jun 23, 2014 · 1 comment
Closed

front-end changes to SBV #32

kiniry opened this issue Jun 23, 2014 · 1 comment
Assignees
@brianhuffman
Labels
feature request Asking for new or improved functionality
Milestone
Cryptol 2.1

Comments

@kiniry
Copy link
Member

kiniry commented Jun 23, 2014

  • work with LE to get the front-end changes we need (Sam has added a lower-level bit vector layer to the library - integrate those)
  • maybe fork SBV, talk with @LeventErkok about pulling our changes
  • if we can't create One SBV To Rule Them All, we can (temporarily) fork, but that would be a bummer
@kiniry kiniry added this to the Cryptol 2.1 milestone Jun 23, 2014
@kiniry kiniry mentioned this issue Jun 23, 2014
Closed
@brianhuffman
Copy link
Contributor

The current situation is that we have a temporary fork of SBV that does what we need for Cryptol. We are periodically pulling changes from the official SBV back into our fork. Everything else that we still need to do is covered by #35.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brianhuffman brianhuffman

Labels
feature request Asking for new or improved functionality
Projects
None yet
Milestone
Cryptol 2.1
Development

No branches or pull requests
2 participants
@kiniry @brianhuffman