8000 Issues · FissoreD/coq-elpi · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: FissoreD/coq-elpi

Beta
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

13 Open 5 Closed
13 Open 5 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Solving premises with an already existing _solution_
#20 opened Jul 3, 2024 by FissoreD
3
Compilation of projections is not clever ?
#19 opened Jul 2, 2024 by FissoreD
1
Sealed goal for mode should be resumed if progress
#17 opened Jun 21, 2024 by FissoreD
2
Typeclasses eauto does not call elpi's solver
#16 opened Jun 21, 2024 by FissoreD
Benchmark
#14 opened Jun 17, 2024 by FissoreD
5 tasks
Always eta-contract solution
#13 opened Jun 17, 2024 by FissoreD
Mode + Link activation (Loop even if force beta-link)
#12 opened Jun 11, 2024 by FissoreD
Mode + Link activation (HO variable)
#11 opened Jun 11, 2024 by FissoreD
No constraint on evar with type class
#10 opened Jun 11, 2024 by FissoreD
Typeclasses eauto
#5 opened May 30, 2024 by FissoreD
2 tasks
1
Occur check
#4 opened May 11, 2024 by FissoreD
Scope check is too expensive
#3 opened May 11, 2024 by FissoreD
Link activation
#2 opened Apr 26, 2024 by FissoreD
6 of 10 tasks
ProTip! Add no:assignee to see everything that’s not assigned.
0