trishullab askbayou issues

trishullab / askbayou

Apache License 2.0

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Change canned examples to use ///

#30 rmbarnett-rice opened 7 years ago
1
Show evidence declaration comment in different color in code editor

#29 swaratchaudhuri opened 7 years ago
0
Add support for dropdown menu showing completions of a token while declaring evidence

#28 swaratchaudhuri opened 7 years ago
0
Infobox off center in Chrome on Linux

#27 rmbarnett-rice closed 7 years ago
2
Add option to change precision parameter per query

#26 swaratchaudhuri opened 7 years ago
0
Continually grep logs for "ERROR" and alert by email if found.

#25 rmbarnett-rice closed 7 years ago
0
Add link to https://info.askbayou.com/how-to-use-bayou/

#24 rmbarnett-rice closed 7 years ago
1
Echo python logs to efs in addition to local disk.

#23 rmbarnett-rice closed 7 years ago
0
Wrong license in Askbayou

#22 swaratchaudhuri closed 7 years ago
1
Bad error message when entering code with multiple holes and code with syntax error

#21 swaratchaudhuri opened 7 years ago
3
infobox always showing scroll bars

#20 rmbarnett-rice closed 7 years ago
1
Add favico for project.

#19 rmbarnett-rice closed 7 years ago
1
Feedback reporting reverted to using same requestId.

#17 rmbarnett-rice closed 7 years ago
0
Mouseover on the magnifying glass saying something like "Synthesize code"

#15 rmbarnett-rice closed 7 years ago
1
Improved canned demo comments.

#14 rmbarnett-rice closed 7 years ago
3
Remove Learn link button.

#13 rmbarnett-rice closed 7 years ago
1
About button to point to info.askbayou.com

#12 rmbarnett-rice closed 7 years ago
1
Like / dislike buttons to horizotonal stack.

#11 rmbarnett-rice closed 7 years ago
0
Switch search button size to vh units.

#10 rmbarnett-rice closed 7 years ago
1
Change "What is Bayou" text to vh units and set overflow to hidden.

#9 rmbarnett-rice closed 7 years ago
1
Change "Program synthesis powered by Bayesian machine learning" to vw units.

#8 rmbarnett-rice closed 7 years ago
1
Add Google analytics support.

#7 trishullab closed 7 years ago
1
Update example programs to reflect Bayou example sources.

#6 trishullab closed 7 years ago
1
have a box on the right hand side with an "executive summary" of Bayou when the page first loads.

#5 trishullab closed 7 years ago
1
Change tagline to: "Program synthesis powered by Bayesian machine learning"

#4 trishullab closed 7 years ago
1
Apache license not on every file

#3 rmbarnett-rice closed 7 years ago
1
askbayou.com does not link to info.askbayou.com

#2 rmbarnett-rice closed 7 years ago
1
Make TestIO1.java the default example

#1 rmbarnett-rice closed 7 years ago
2