TyGuS/hoogle_plus

Issues

• Use information entropy for single components to direct the sampling

  #169 opened 2 years ago by aaronguo1996
  0

• Implement a bottom-up sampling algorithm

  #167 opened 2 years ago by aaronguo1996
  0

• Use mutual information to filter out uninteresting programs

  #168 opened 2 years ago by aaronguo1996
  0

• Use abstract types in the hypergraph

  #165 opened 2 years ago by aaronguo1996
  0

• Sample programs towards using smaller types

  #166 opened 2 years ago by aaronguo1996
  0

• Argument names in example specs and usages

  #91 opened 2 years ago by nadia-polikarpova
  1

• Query `dedupe` failed on the full component set

  #151 opened 2 years ago by mistzzt
  0

• Expressing PostgreSQL functions via Sqlite

  #164 opened 3 years ago by yaitskov
  1

• Minus-arg hoverover hangs around forever

  #159 opened 3 years ago by michaelbjames
  0

• License?

  #163 opened 3 years ago by nilp0inter
  1

• How to specify examples on CLI mode?

  #161 opened 4 years ago by masaomi-yamaguchi
  4

• How can I use Char value in example?

  #162 opened 4 years ago by masaomi-yamaguchi
  0

• Different results evaluating strict and non-strict solutions in Check+

  #152 opened 4 years ago by mistzzt
  0

• Any concrete example of 'hplus generate -f <file>'?

  #160 opened 4 years ago by Dev-XYS
  0

• Incorrect number of arguments on the front end

  #156 opened 4 years ago by mistzzt
  0

• Query failed on multiple higher-order arguments

  #150 opened 5 years ago by mistzzt
  0

• Arg count not reset after type query changed

  #143 opened 5 years ago by aaronguo1996
  2

• Unknown error when asking for more examples

  #128 opened 5 years ago by nadia-polikarpova
  0

• When adding an example, indicate whether existing search results pass it

  #100 opened 5 years ago by peleghila
  3

• Arg count error for `[a -> b] -> a -> [b]`

  #125 opened 5 years ago by aaronguo1996
  1

• Do not modify example specs when changing the type spec

  #139 opened 5 years ago by nadia-polikarpova
  0

• Refining search clears results

  #140 opened 5 years ago by michaelbjames
  0

• Check+ rejects valid solution when checking not crash

  #138 opened 5 years ago by mistzzt
  1

• Report error for unknown type constructors

  #127 opened 5 years ago by nadia-polikarpova
  0

• Type error on more examples

  #133 opened 5 years ago by michaelbjames
  0

• Search didn't reset when entering a new query

  #126 opened 5 years ago by aaronguo1996
  0

• Enable search button while editing examples

  #130 opened 5 years ago by michaelbjames
  0

• Stop button should be enabled when search starts

  #129 opened 5 years ago by nadia-polikarpova
  2

• Too many examples given in: Int -> (a -> a) -> (a -> a)

  #112 opened 5 years ago by michaelbjames
  0

• Parse error in pattern

  #114 opened 5 years ago by michaelbjames
  1

• Example type-checking broken with type classes

  #106 opened 5 years ago by nadia-polikarpova
  1

• Stop button should be disabled when not searching.

  #113 opened 5 years ago by michaelbjames
  0

• An "add usage" button in candidate card

  #103 opened 5 years ago by peleghila
  1

• web todo: stop button

  #96 opened 5 years ago by michaelbjames
  0

• Move datatype and documentation to hover over result subexpression

  #101 opened 5 years ago by peleghila
  1

• web todo: get more examples

  #88 opened 5 years ago by aaronguo1996
  4

• Error message for type/example mismatch blocks the search button

  #98 opened 5 years ago by peleghila
  2

• web todo: styling nitpicks

  #77 opened 5 years ago by michaelbjames
  0

• Search button not greyed out

  #94 opened 5 years ago by michaelbjames
  0

• web todo: examples input: autofocus on new input box

  #74 opened 5 years ago by michaelbjames
  1

• Change the "new" text in the example table to "+" and the "+/-" for args to something else

  #102 opened 5 years ago by peleghila
  0

• Argument names in synthesis result don't match argument names in examples table when there's a HOF

  #99 opened 5 years ago by peleghila
  1

• Query failed for `([a] -> [a]) -> Int -> [a] -> [a]`

  #93 opened 5 years ago by aaronguo1996
  0

• Arg name mismatch

  #95 opened 5 years ago by michaelbjames
  0

• Problem with string as examples

  #92 opened 5 years ago by aaronguo1996
  1

• web todo: count HOF arguments correctly

  #76 opened 5 years ago by michaelbjames
  1

• web / middle-layer todo: editing usage breaks the server

  #81 opened 5 years ago by michaelbjames
  0

• web todo: search doesn't clear results

  #80 opened 5 years ago by michaelbjames
  0

• search problem: catMaybes solution isn't in top 10

  #79 opened 5 years ago by michaelbjames
  1

• web todo: search bar should get new text on selecting example.

  #75 opened 5 years ago by michaelbjames
  0