TyGuS / hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

TyGuS/hoogle_plus Issues

Use information entropy for single components to direct the sampling
Closed a year ago
Implement a bottom-up sampling algorithm
Closed a year ago
Use mutual information to filter out uninteresting programs
Closed a year ago
Use abstract types in the hypergraph
Closed a year ago
Sample programs towards using smaller types
Closed a year ago
Argument names in example specs and usages
Closed a year ago1
Query `dedupe` failed on the full component set
Closed a year ago
Expressing PostgreSQL functions via Sqlite
Updated 2 years ago1
Minus-arg hoverover hangs around forever
Closed 2 years ago
License?
Closed 2 years ago1
How to specify examples on CLI mode?
Updated 3 years ago4
How can I use Char value in example?
Updated 3 years ago
Different results evaluating strict and non-strict solutions in Check+
Closed 3 years ago
Any concrete example of 'hplus generate -f <file>'?
Updated 3 years ago
Incorrect number of arguments on the front end
Updated 4 years ago
Query failed on multiple higher-order arguments
Closed 4 years ago
Arg count not reset after type query changed
Closed 4 years ago2
Unknown error when asking for more examples
Closed 4 years ago
When adding an example, indicate whether existing search results pass it
Updated 4 years ago3
Arg count error for `[a -> b] -> a -> [b]`
Closed 4 years ago1
Do not modify example specs when changing the type spec
Closed 4 years ago
Refining search clears results
Closed 4 years ago
Check+ rejects valid solution when checking not crash
Closed 4 years ago1
Report error for unknown type constructors
Closed 4 years ago
Type error on more examples
Closed 4 years ago
Search didn't reset when entering a new query
Closed 4 years ago
Enable search button while editing examples
Closed 4 years ago
Stop button should be enabled when search starts
Closed 4 years ago2
Too many examples given in: Int -> (a -> a) -> (a -> a)
Closed 4 years ago
Parse error in pattern
Closed 4 years ago1
Example type-checking broken with type classes
Closed 4 years ago1
Stop button should be disabled when not searching.
Closed 4 years ago
An "add usage" button in candidate card
Closed 4 years ago1
web todo: stop button
Closed 4 years ago
Move datatype and documentation to hover over result subexpression
Updated 4 years ago1
web todo: get more examples
Closed 4 years ago4
Error message for type/example mismatch blocks the search button
Closed 4 years ago2
web todo: styling nitpicks
Updated 4 years ago
Search button not greyed out
Closed 4 years ago
web todo: examples input: autofocus on new input box
Closed 4 years ago1
Change the "new" text in the example table to "+" and the "+/-" for args to something else
Closed 4 years ago
Argument names in synthesis result don't match argument names in examples table when there's a HOF
Closed 4 years ago1
Query failed for `([a] -> [a]) -> Int -> [a] -> [a]`
Closed 4 years ago
Arg name mismatch
Closed 4 years ago
Problem with string as examples
Closed 4 years ago1
web todo: count HOF arguments correctly
Closed 4 years ago1
web / middle-layer todo: editing usage breaks the server
Closed 4 years ago
web todo: search doesn't clear results
Closed 4 years ago
search problem: catMaybes solution isn't in top 10
Closed 4 years ago1
web todo: search bar should get new text on selecting example.
Closed 4 years ago