Skip to content

Issues: SRI-CSL/sally

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

Clear current search query, filters, and sorts
19 Open 41 Closed
19 Open 41 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

ANTLR doesn't support stdin input
#8 opened Nov 23, 2014 by dddejan updated Nov 23, 2014
Finish garbage-collection
#24 opened Mar 31, 2015 by dddejan updated Mar 31, 2015
Multi-property solving enhancement
#30 opened Mar 3, 2016 by agacek updated Mar 4, 2016
@dddejan
2
Add learned invariants to IC3 enhancement
#43 opened Mar 6, 2017 by dddejan updated Mar 6, 2017 Abstract interpretation in Sally
@dddejan
Integrate crab into Sally enhancement
#42 opened Mar 6, 2017 by dddejan updated Mar 6, 2017 Abstract interpretation in Sally
@caballa
1
C++ API for sally? enhancement
#44 opened Apr 6, 2017 by rainoftime updated Apr 10, 2017
1
Parse errors parser
#46 opened Jun 14, 2017 by rainoftime updated Jun 14, 2017
@dddejan
2
Add sally to our Homebrew Tap
#47 opened Oct 5, 2017 by ianamason updated Oct 5, 2017
1
Suggestions on input format
#49 opened Feb 14, 2018 by aman-goel updated Feb 21, 2018
1
Parse the SyGuS competition format enhancement
#38 opened Sep 2, 2016 by dddejan updated Aug 17, 2018
Improve integer reasoning enhancement
#39 opened Sep 2, 2016 by dddejan updated Aug 17, 2018
Yices error when invoking sally
#53 opened Oct 5, 2018 by yav updated Oct 12, 2018
2
Surprising behavior when using pdkind
#54 opened Oct 31, 2018 by yav updated Nov 1, 2018
1
Integer division?
#57 opened Feb 15, 2019 by yav updated Feb 15, 2019
Yices2-mcsat and converting between Real and Integer
#58 opened Feb 15, 2019 by yav updated Feb 15, 2019
Using mod with mcmt
#60 opened Mar 6, 2019 by yav updated Mar 6, 2019
Trouble verifying "weakend" properties
#61 opened Apr 8, 2019 by yav updated Apr 8, 2019
About available first-order logic semantics. enhancement
#65 opened Mar 29, 2020 by zqzqz updated Mar 29, 2020
1
Requirements for CUDD not documented
#70 opened Jan 30, 2024 by TomMD updated Jan 30, 2024
ProTip! no:milestone will show everything without a milestone.