Skip to content

Issues: stanford-centaur/pono

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

23 Open 23 Closed
23 Open 23 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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Rename default branch to main
#321 opened Feb 6, 2024 by CyanoKobalamyne
Pono outputs longer than expected witness
#320 opened Jan 17, 2024 by Gallagator
Unwanted skbuild printouts
#316 opened Dec 15, 2022 by cterrill26
Allow out-of-tree dependencies
#313 opened Oct 25, 2022 by CyanoKobalamyne
Failure for a small btor2 case
#309 opened Oct 9, 2022 by CoriolisSP
1
Improve infrastructure for transferring between solvers enhancement New feature or request
#273 opened May 27, 2021 by makaimann
Revisit input formalism
#262 opened May 7, 2021 by makaimann
Improve interface with original TS
#256 opened Apr 22, 2021 by makaimann
Consider changing logger implementation enhancement New feature or request
#166 opened Jan 4, 2021 by makaimann
@makaimann
Use constant references for iteration enhancement New feature or request
#140 opened Dec 20, 2020 by makaimann
@makaimann
1
Make better interface for TS abstraction enhancement New feature or request refactor structural Interface or structural changes to the code (not just internal refactoring)
#123 opened Nov 20, 2020 by makaimann
@makaimann
Link error when building in github actions environment
#110 opened Oct 26, 2020 by leonardt
2
Handle multi-property monitors better enhancement New feature or request
#105 opened Oct 20, 2020 by makaimann
Clean up array axiom enumeration refactor
#89 opened Sep 29, 2020 by makaimann
@makaimann
Encoder directly from Yosys RTLIL enhancement New feature or request
#77 opened Sep 8, 2020 by makaimann
Handle state variables without next-function as inputs enhancement New feature or request
#73 opened Aug 26, 2020 by lonsing
Look into infrequent errors in interpolation
#55 opened Jul 14, 2020 by makaimann
1
Destruct pointers in Cython bindings
#43 opened Jun 11, 2020 by makaimann
@makaimann
step function of the interpolantion engine is not aligned with other engines
#22 opened Mar 6, 2020 by ahmed-irfan
Possible enhancement: Check for weaker interpolants enhancement New feature or request
#21 opened Mar 4, 2020 by makaimann
Copy TransitionSystem to Property enhancement New feature or request
#18 opened Feb 21, 2020 by makaimann
@makaimann
Implement Lazy Abstraction: Visible variables for FTS enhancement New feature or request
#16 opened Feb 13, 2020 by ahmed-irfan
Special unroller for functional unrolling enhancement New feature or request
#14 opened Jan 29, 2020 by makaimann Stable Transition System Interface
@makaimann
ProTip! What’s not been updated in a month: updated:<2024-05-07.