Skip to content

Issues: nunchaku-inria/nunchaku

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 23 Closed
13 Open 23 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

Release page returns 403 error, and compiling nunchaku fails with numerous errors
#37 opened Nov 12, 2022 by nano-o
3
Parse error on TIP input
#35 opened Aug 21, 2019 by mikkelmilo
6
nunchaku on continuous functions on codatatypes in Isabelle
#34 opened Aug 16, 2019 by singhjagadish
3
Can't find nun-file after using nunchaku in isabelle isabelle-plugin related to Isabelle
#33 opened Jun 21, 2019 by singhjagadish
1
polymorphic constants bug
#32 opened Nov 13, 2018 by c-cube
Could nunchaku be used for Coq (which allows empty types)? long-term question
#30 opened Oct 17, 2018 by samuelgruetter
nunchaku fails to find a counterexample for a simple list-based map implementation enhancement help wanted
#29 opened Oct 13, 2018 by samuelgruetter
3
warning for partially defined functions enhancement
#25 opened Apr 3, 2018 by c-cube
@c-cube
support for dependent types enhancement long-term
#20 opened Jun 22, 2017 by c-cube
inlining pass enhancement
#19 opened Jun 22, 2017 by c-cube
@c-cube
add prototypes enhancement
#18 opened Jun 22, 2017 by c-cube
@c-cube
use 0-cardinality sorts enhancement tuning
#6 opened Dec 10, 2015 by c-cube
transformation for introducing destructors enhancement
#5 opened Dec 8, 2015 by c-cube
ProTip! Type g i on any issue or pull request to go back to the issue listing page.