New Webapp #118
Open
New Webapp #118
Conversation
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
…us into zheng_param_order
* Code cleanup and minor fixes - Cleanup code - `FilterState.differentiateExamples` records the solution as well - Fix undefined in state evaluation - Removed unused interfaces * Add timeout param for example generation * Add existing result param for example generation * Remove `alwaysSucceed` test * Fix funcSig not instantiated in genIOPair * change timeout for ghc and remove quotes from outputs * move number of examples/types to parameters Co-authored-by: Ziteng Wang <[email protected]>
* Parse types * parse argument names as well * Parse tycons with BType * If you have no examples. then we update argCount * Create refinement: clear and fill back in * refine search * parse typeclasses, barely
* Generate "small" inputs for solutions (#54) * Implement printing minimal working input * Implement input enumeration * Functions now able to print * Set timeout to 5s * Revert to single-threaded H+ * Fix undefined state * Update HIE version * Use smallcheck as the backend of the test-based filter (#57) * Finish notfail prop in smallcheck * Remove unused code and package * Finish migration * Finish extension of notfail * Minor adjustment * Add more CLI output for test filter * Remove unused input on first checking * Code cleanup and minor fixes - Cleanup code - `FilterState.differentiateExamples` records the solution as well - Fix undefined in state evaluation - Removed unused interfaces * Add timeout param for example generation * Add existing result param for example generation * Remove `alwaysSucceed` test * Fix funcSig not instantiated in genIOPair * Fix function instance not properly printed SC.Series module exports a show instance of `a -> a`, which override what we defined in `Inner`. So we just remove `Inner` and not export `SC.Series` * Revert "Fix function instance not properly printed" This reverts commit 0f46bea. * Fix *again* function pretty-printing in list types and #138 * Exclude user-def ios in generation * fix parentheses * Forget a param * Fix diverse input not working * Fix HOF pretty-printing (again) * Remove trace stmts * preseed hof * limit the range for integers and higher order arguments; tune the component set; tune the timeout limit Co-authored-by: Zetten Wang <[email protected]>
… eq and num -> ord
* fix fancy function display * fix nested function print
Co-authored-by: Ziteng Wang <[email protected]>
* left align docs, fix example error * wrap negative numbers
…printing with other datatypes (#149)
…s into ziteng_rank_full
* fix issue #150 * inference eval; bug fix for inference * experiments * script
* script * more info in script
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.
No description provided.