Updates to online backend in support of SAWCore<->What4 refactorings #607
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
to incorporate their own custom user state. This should hopefully be a backwards-compatible change for users considering the careful use of type aliases.
robdockins
force-pushed
the
saw-what4-refactor
branch
from
c74d07e to
f42e1c0
Compare
…file. This prevents them from being built as part of `cabal build all`. Those packages are in the process of being phased out, but we'll leave the code in place for now. The submodules necessary to build those packages are also removed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Allow more flexible use of the online backend by allowing users
to incorporate their own custom user state.
This should hopefully be a backwards-compatible change for users
considering the careful use of type aliases.
Prerequisite of GaloisInc/saw-script#997