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

pprod_term may return incorrect pprod on hash collision
#519 by Ovascos was closed Jun 18, 2024
1
Add support for QF_BVLRA
#514 by ahmed-irfan was closed Jun 20, 2024
1
@ahmed-irfan
yices_new_config() leads to segmentation fault.
#493 by jparsert was closed Mar 11, 2024
2
assertion failure in src/mcsat/value.c: Could be a duplicate of #451
#486 by disteph was closed Apr 3, 2024 Yices 2.6.5
1
@ahmed-irfan
1
fix thread-safe timeouts to work on Windows
#462 by ahmed-irfan was closed Oct 17, 2023 Yices 2.6.5
1
@markpmitchell
To do: upgrade per-thread-state
#454 by disteph was closed Oct 11, 2023 Yices 2.6.5
@ahmed-irfan
8
Bug in model construction from API, in Yices/CDCL(T) bug
#451 by disteph was closed Apr 4, 2024 Yices 2.6.5
1
Obviously incorrect model bug
#440 by nafur was closed Apr 25, 2023
@ahmed-irfan
fatal: remote end hung up unexpectedly
#423 by shanmukh2607 was closed Mar 21, 2023
5
Cannot build per-thread-state branch with mingw64
#418 by isanych was closed Oct 11, 2023 Yices 2.6.5
@ahmed-irfan
2
Is there any C API for me to extract value of a function?
#407 by MrWater98 was closed Sep 4, 2022
2
Internal Yices Bug
#404 by ekiwi was closed Aug 8, 2022
get-value on array does not inline function
#402 by ekiwi was closed Aug 5, 2022
2
"FATAL ERROR: unexpected context status" when using (get-model) on an 'unknown' result
#401 by GabrielVDSchot was closed Jul 8, 2022
2
Segment fault in mcsat_process_registeration_queue
#400 by merlinsun was closed Mar 13, 2024 Yices 2.6.5
1
@ahmed-irfan
2
Makefile.build:56: [...]/configs/make.include.amd64-portbld-freebsd13.0: No such file or directory
#398 by yurivict was closed Jan 27, 2022
2
The Source Code link is broken
#397 by yurivict was closed Feb 3, 2022
2
Invalid term with get-value on array constant.
#395 by aniemetz was closed Jan 25, 2022
2
Website Certificate Expiry
#394 by DominicDams was closed Jan 12, 2022
1
SMT2 frontend does not flush output after responding to some commands
#391 by greedy was closed Nov 20, 2021
2
Requesting improved smt2 array support enhancement
#390 by GreenBeard was closed Jan 5, 2022
5
Assertion error at mcsat/solver.c:1133
#388 by rainoftime was closed Mar 1, 2023 Yices 2.6.5
@ahmed-irfan
1
Missing API implementation.
#386 by ianamason was closed Oct 10, 2021
2
yices_garbage_collect: thread safety
#385 by ptr1120 was closed Dec 19, 2021
25
yices_incref_term: segmentation fault
#384 by ptr1120 was closed Oct 5, 2021
2
ProTip! Adding no:label will show everything without a label.