Skip to content

Issues: SRI-CSL/yices2

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
43 Open 331 Closed
43 Open 331 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

Eval with algebraic numbers bug enhancement QF_NRA
#43 opened Apr 21, 2016 by dddejan updated Aug 31, 2016 Nonlinear Models from MCSAT
@dddejan
1
problematic formula enhancement QF_LIA
#74 opened Aug 8, 2017 by agriggio updated Oct 20, 2017
8
Support for recursive functions?
#92 opened Jul 6, 2018 by pjljvandelaar updated Jul 17, 2018
1
Bizarre output for the get-value command
#100 opened Oct 7, 2018 by LeventErkok updated Oct 9, 2018
2
Deterministic time limit enhancement
#129 opened Jun 26, 2019 by alph6 updated Aug 21, 2019
1
Support for overflow and underflow operators over bv enhancement QF_BV
#172 opened Feb 28, 2020 by agurfinkel updated Feb 29, 2020
2
Use a custom allocator for potentially massive performance improvement
#214 opened May 8, 2020 by boqwxp updated May 8, 2020
2
Pseudo-incremental EF solving?
#224 opened May 27, 2020 by boqwxp updated May 27, 2020
Unreliable SAT/UNSAT in Multithreaded use
#235 opened Jun 15, 2020 by baierd updated Jun 24, 2020
16
QF_UFBV unexpected slowdown for large model versus z3
#165 opened Jan 18, 2020 by aep updated Sep 18, 2020
1
QF_NRA models are approximate enhancement
#324 opened Oct 14, 2020 by rainoftime updated Oct 14, 2020 Nonlinear Models from MCSAT
2
Python EF solving
#86 opened May 1, 2018 by umangm updated Apr 10, 2021
8
bv2nat support
#359 opened Apr 10, 2021 by weaversa updated Apr 15, 2021
1
Model interpolants should be displayed in the SMT syntax enhancement
#368 opened Jun 24, 2021 by BrunoDutertre updated Jun 24, 2021
2
get-interpolant interface for SMT-LIB2 frontend enhancement
#370 opened Jul 23, 2021 by rainoftime updated Jul 28, 2021
1
Question about distributions.
#383 opened Oct 1, 2021 by ianamason updated Oct 6, 2021
16
debian apt instruction fail
#399 opened Feb 2, 2022 by Matafou updated Feb 2, 2022
4
Context cloning
#405 opened Aug 16, 2022 by degrigis updated Aug 17, 2022
2
(get-value (0.0)) gives ((0.0 0)) , missing decimal point
#406 opened Aug 17, 2022 by jwaldmann updated Aug 17, 2022
QF_LIA performance issue with mod/div
#410 opened Sep 21, 2022 by unosalt updated Sep 21, 2022
E: Unable to locate package yices2
#408 opened Sep 20, 2022 by abc767234318 updated Sep 21, 2022
3
Doesn't always exit immediately on error
#415 opened Nov 3, 2022 by stevenmeker updated Nov 3, 2022
Double quotes omitted in echo command response
#416 opened Nov 5, 2022 by stevenmeker updated Nov 5, 2022
"" escape sequence not supported in strings
#417 opened Nov 5, 2022 by stevenmeker updated Nov 5, 2022
Poor test results on PowerPC: how to improve/fix?
#424 opened Dec 27, 2022 by barracuda156 updated Jan 7, 2023
6
ProTip! Follow long discussions with comments:>50.