Parametric and mutually recursive datatypes#275
Open
afnaanhashmi wants to merge 50 commits intostanford-centaur:mainfrom
Open
Parametric and mutually recursive datatypes#275afnaanhashmi wants to merge 50 commits intostanford-centaur:mainfrom
afnaanhashmi wants to merge 50 commits intostanford-centaur:mainfrom
Conversation
added 30 commits
June 24, 2021 13:48
…atatypes. One final potential problem remains.
…file is still a husk, no members or methods have benn added yet due to compilation errors.
…ll as the compilation errors stemming from the new generic_datatype.h file.
…e datatype state to generic_datataype) along with a host of other changes. Datatype sorts should be functional and allow for multiple datatype sorts. Sort-only push.
…h multiple datatype sorts.
…h multiple datatype sorts.
…with the datatypes, some functionality can't be tested currently.
… datatype sorts up to speed with other types of sorts and the datatype classes.
… additional tests. One weird compilation bug that I still have not figured out.
…ned reference errors when using new make_generic_sort functions.
added 20 commits
July 23, 2021 10:39
… go forward with the sort_inference stuff.
Resolved merge conflicts
needed the updated include/solver.h
resolving merge conflicts
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
No description provided.