Skip to content

Issues: testsmt/yinyang

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

Support for Z3 tactics enhancement New feature or request
#27 opened May 25, 2021 by wintered updated May 25, 2021
More general option fuzzing enhancement New feature or request
#28 opened May 25, 2021 by wintered updated May 25, 2021
Infrequent application of id rule enhancement New feature or request
#32 opened Jul 7, 2021 by jiwonparc updated Jul 7, 2021
Increase robustness of Typefuzz
#35 opened Jul 7, 2021 by jiwonparc updated Jul 7, 2021
Add script for running yinyang in parallel mode enhancement New feature or request
#10 opened Feb 6, 2021 by wintered updated Jul 28, 2021
Extend to support all logics (Typechecker)
#36 opened Jul 7, 2021 by jiwonparc updated Dec 13, 2021
High memory usage
#47 opened Jan 11, 2022 by mpreiner updated Jan 11, 2022
@wintered
Parsing error
#60 opened Dec 2, 2022 by depted updated Apr 9, 2023 release 0.4.0
4
False typechecker error (expected: Unknown) bug Something isn't working
#34 opened Jul 7, 2021 by jiwonparc updated Apr 9, 2023 release 0.4.0
Sanity check for type-checking on the currently supported logics
#33 opened Jul 7, 2021 by jiwonparc updated Apr 9, 2023 release 0.4.0
Parser rejects variables with prefix "bv" bug Something isn't working minor
#25 opened May 17, 2021 by wintered updated Apr 9, 2023 release 0.4.0
1
Issue with regex constants re.allchar bug Something isn't working
#31 opened Jul 7, 2021 by jiwonparc updated Apr 9, 2023 release 0.4.0
Deepcopy interrupt the execution.
#64 opened Jun 1, 2023 by muchang updated Jun 1, 2023
ProTip! Type g i on any issue or pull request to go back to the issue listing page.