Skip to content

Pinned issues

Neural_PaMpeR: build the database again with each line tagged...
#178 opened Sep 10, 2020 by yutakang
Open 16
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.

Sign up for GitHub

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

49 Open 135 Closed
49 Open 135 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
UR: include quickcheck to ur_strategy. enhancement
#187 opened Jun 6, 2021 by yutakang
@yutakang
UR: proof states are not updated after proving new conjectures! bug
#186 opened Jun 5, 2021 by yutakang
@yutakang
3
Genetic_PaMpeR
#183 opened May 22, 2021 by yutakang
ALL: clickable flowchart to navigate our papers on related work.
#182 opened May 22, 2021 by yutakang
All: zero-click automatic application of AI tools (suggestion from Mathias Fleury)
#181 opened Oct 8, 2020 by yutakang
SeLFiE: Print_Is_Free, Print_Is_Var, Print_Is_Bound does not work for variables with question marks.
#179 opened Sep 22, 2020 by yutakang
@yutakang
1
Neural_PaMpeR: build the database again with each line tagged with proof obligations.
#178 opened Sep 10, 2020 by yutakang
@yutakang
16
Deep Abduction: What is the right form of abstraction to implement Deep Abduction?
#176 opened Sep 8, 2020 by yutakang
@yutakang
PSL, UR: nunchaku as a sub-tool of PSL. enhancement
#171 opened Aug 23, 2020 by yutakang
@yutakang
UR: design decisions for the first prototype. question
#170 opened Aug 23, 2020 by yutakang
@yutakang
3
SeLFiE: make the caching mechanism for dive-in constructs modifier-sensitive? question
#165 opened Aug 14, 2020 by yutakang
@yutakang
1
SeLFiE: commonly used manually developed induction principles in the standard library enhancement
#159 opened Jul 24, 2020 by yutakang
10 of 15 tasks
@yutakang
2
SeLFiE: handle mutual recursion and induction
#158 opened Jul 24, 2020 by yutakang
SeLFiE: assertions for types enhancement
#150 opened Jul 24, 2020 by yutakang
@yutakang
1
SeLFiE: ignore sub-goals that are not the first sub-goal. enhancement
#141 opened May 25, 2020 by yutakang
@yutakang
SeLFiE: some supports to handle _dom from the function package. enhancement
#139 opened May 23, 2020 by yutakang
@yutakang
SeLFiE: separate heuristics for rule inversion and those for functional induction? enhancement question
#133 opened May 15, 2020 by yutakang
@yutakang
SeLFiE: LiFtEr: detect constants defined by inductive_set
#127 opened Apr 24, 2020 by yutakang
1
SeLFiE: implement a light-weight type checker for the semantic part of SeLFiE. help wanted
#97 opened Oct 25, 2019 by yutakang
1
LiFtEr: the pred field. wontfix
#87 opened Jun 3, 2019 by yutakang
@yutakang
1
LiFtEr: detect the use of point-free style in the definition of a constant.
#85 opened May 30, 2019 by yutakang
PSL, PGT: Nunchaku with a short timeout.
#82 opened May 26, 2019 by yutakang
PSL, MeLoId, LiFtEr: replace get_induct_rules and get_induct_rule_names with pstate_to_induct...
#77 opened Feb 26, 2019 by yutakang
@yutakang
1
LiFtEr: Use some functions from the function package to analyze the "pattern" of function definitions. enhancement
#76 opened Feb 21, 2019 by yutakang
@yutakang
MiLkMaId/LiFtEr: Adding type annotations to some arguments of the induct method is sometimes useful. wontfix
#75 opened Feb 21, 2019 by yutakang
@yutakang
ProTip! Find all open issues with in progress development work with linked:pr.