Skip to content

Pull requests: TyGuS/hoogle_plus

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Zheng infer eval
#158 by aaronguo1996 was merged Aug 4, 2020 Review required
Finish result output
#154 by aaronguo1996 was merged Jul 20, 2020 Review required
Zheng infer eval
#153 by aaronguo1996 was merged May 28, 2020 Review required
Wrap negative numbers
#148 by aaronguo1996 was merged Apr 24, 2020 Review required
feed and print nice functions
#146 by aaronguo1996 was merged Apr 23, 2020 Loading…
Implement strategy 1 and upload script comparing strategy
#145 by aaronguo1996 was merged Apr 23, 2020 Loading…
Zheng func print
#144 by aaronguo1996 was merged Apr 22, 2020 Loading…
Zheng merge filter
#142 by aaronguo1996 was merged Apr 22, 2020 Loading…
FE Parser
#141 by michaelbjames was merged Apr 20, 2020 Loading…
Zheng infer order
#137 by aaronguo1996 was merged Apr 17, 2020 Loading…
Zheng infer bug
#136 by aaronguo1996 was merged Apr 17, 2020 Loading…
Optimize not failing check and implement more examples
#135 by mistzzt was merged Apr 17, 2020 Loading…
Zheng infer tyclass
#134 by aaronguo1996 was merged Apr 16, 2020 Loading…
pilot fixes
#132 by michaelbjames was merged Apr 13, 2020 Loading…
Pretty-print HOF IOs, Fix non-termination evaluation
#131 by mistzzt was merged Apr 13, 2020 Loading…
Zheng cherry pick
#124 by aaronguo1996 was merged Apr 10, 2020 Loading…
Pilot fixes
#123 by michaelbjames was merged Apr 6, 2020 Loading…
Zheng webapp fix2
#122 by aaronguo1996 was merged Apr 3, 2020 Loading…
Zheng webapp fix
#121 by aaronguo1996 was merged Apr 2, 2020 Loading…
Zheng webapp fix
#120 by aaronguo1996 was closed Apr 2, 2020 Loading…
Zheng example generate
#119 by aaronguo1996 was merged Apr 2, 2020 Loading…
revert the type checking for examples
#117 by aaronguo1996 was merged Mar 27, 2020 Loading…
ProTip! Adding no:label will show everything without a label.