-
Notifications
You must be signed in to change notification settings - Fork 13
Issues: shraddhabarke/SyPhon
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Provide example datasets to the user
enhancement
New feature or request
ESRP
Objective related to ESRP cohort
#28
opened Jan 30, 2020 by
rosekunkel
Notification to User About Inferred Errors
enhancement
New feature or request
ESRP
Objective related to ESRP cohort
#26
opened Oct 24, 2019 by
lost-in-the-canvas
Add a Loading Indicator
enhancement
New feature or request
ESRP
Objective related to ESRP cohort
low priority
#25
opened Oct 16, 2019 by
lost-in-the-canvas
highTone feature
enhancement
New feature or request
low priority
#21
opened May 31, 2019 by
shraddhabarke
Make the website display whether tool is running locally and indicate whether there is an unsat core.
enhancement
New feature or request
medium priority
web
#19
opened May 21, 2019 by
shraddhabarke
Fix tool crash when z3 inserts/deletes random characters
bug
Something isn't working
medium priority
#18
opened May 21, 2019 by
shraddhabarke
Per-feature encoding UR Inference
enhancement
New feature or request
low priority
#17
opened May 15, 2019 by
shraddhabarke
Comparison of maxsat with manual loop.
medium priority
paper
#15
opened Apr 27, 2019 by
shraddhabarke
implement implications and likelihood
enhancement
New feature or request
high priority
paper
#14
opened Apr 27, 2019 by
shraddhabarke
k-strictly local
enhancement
New feature or request
low priority
#13
opened Apr 27, 2019 by
shraddhabarke
Unsat cores (Campa example) and comparison with ransac
enhancement
New feature or request
medium priority
paper
#12
opened Apr 27, 2019 by
shraddhabarke
kleene star (for consonants?)
enhancement
New feature or request
low priority
#11
opened Apr 27, 2019 by
shraddhabarke
Disjunctions
enhancement
New feature or request
low priority
#10
opened Apr 27, 2019 by
shraddhabarke
Implement alpha variables.
enhancement
New feature or request
low priority
#9
opened Apr 27, 2019 by
shraddhabarke
More flexible underlying inference.
enhancement
New feature or request
low priority
#8
opened Apr 27, 2019 by
shraddhabarke
Collapse multiple features into a letter
enhancement
New feature or request
medium priority
#4
opened Apr 27, 2019 by
shraddhabarke
Implement deletion rules
enhancement
New feature or request
medium priority
#3
opened Apr 27, 2019 by
shraddhabarke
Underlying inference for 1 and 3+ columns
enhancement
New feature or request
high priority
paper
#2
opened Apr 27, 2019 by
shraddhabarke
ProTip!
no:milestone will show everything without a milestone.