testsmt/yinyang issues and pull requests

#66 - Exception while running typefuzz on the remote server

Issue - State: closed - Opened by BritikovKI 8 months ago - 3 comments

#65 - fix: missing comma in bib reference

Pull Request - State: open - Opened by brutalsavage about 1 year ago

#64 - Deepcopy interrupt the execution.

Issue - State: open - Opened by muchang over 1 year ago

#63 - fix: ignore seeds that are not supported by ffg api

Pull Request - State: closed - Opened by nicdard over 1 year ago - 2 comments

#62 - Create seed permutations on-demand

Pull Request - State: closed - Opened by lweitzendorf over 1 year ago

#61 - fix: make sure there are still available variables during allocation

Pull Request - State: closed - Opened by nicdard over 1 year ago

#60 - Parsing error

Issue - State: open - Opened by ffwangdo almost 2 years ago - 4 comments

#59 - Update setup.rst

Pull Request - State: closed - Opened by tracyewen almost 2 years ago

#58 - multiple variables

Pull Request - State: closed - Opened by nicdard almost 2 years ago

#57 - new fusion functions - API mode

Pull Request - State: closed - Opened by nicdard about 2 years ago

#56 - minor

Pull Request - State: closed - Opened by wintered about 2 years ago

#55 - Fixing scoping bug

Pull Request - State: closed - Opened by wintered about 2 years ago

#54 - Feat: --keep-seeds and --generate-functions command line option

Pull Request - State: closed - Opened by nicdard about 2 years ago - 3 comments

#53 - Feat: --keep-seeds command line option

Pull Request - State: closed - Opened by nicdard about 2 years ago

#52 - fix: CI automation and remove scratch deletion

Pull Request - State: closed - Opened by nicdard about 2 years ago

#51 - feat: handle bitvectors

Pull Request - State: closed - Opened by nicdard over 2 years ago

#50 - Include name of all seeds in bug log

Pull Request - State: closed - Opened by lweitzendorf over 2 years ago - 1 comment

#49 - Allow multiple constants c to appear in fusion functions

Pull Request - State: closed - Opened by nicdard over 2 years ago - 4 comments

#48 - reset timeout_of_current_seed

Pull Request - State: closed - Opened by altinal over 2 years ago

#47 - High memory usage

Issue - State: open - Opened by mpreiner over 2 years ago

#46 - [A*] Improve Array type support by moving sort parsing logic from `sort2type` into `AstVisitor`

Pull Request - State: closed - Opened by maurobringolf about 3 years ago

#45 - [BV] add remaining variants of LT and GT operators

Pull Request - State: closed - Opened by maurobringolf about 3 years ago

#44 - fixing typo

Pull Request - State: closed - Opened by wintered about 3 years ago

#43 - Pre-processing seeds in Fusion

Pull Request - State: closed - Opened by wintered about 3 years ago

#42 - Issues with respect to fusion

Issue - State: closed - Opened by merlinsun about 3 years ago - 5 comments
Labels: bug

#41 - Dev

Pull Request - State: closed - Opened by wintered about 3 years ago

#40 - Pypi packaging

Pull Request - State: closed - Opened by muchang about 3 years ago

#39 - TypeFuzz sanity check & local configuration

Pull Request - State: closed - Opened by wintered about 3 years ago

#38 - Integrating flake8 into ci

Pull Request - State: closed - Opened by wintered about 3 years ago

#37 - Refactoring + TypeFuzz integration

Pull Request - State: closed - Opened by wintered about 3 years ago

#36 - Extend to support all logics (Typechecker)

Issue - State: open - Opened by jiwonparc about 3 years ago

#35 - Increase robustness of Typefuzz

Issue - State: open - Opened by jiwonparc about 3 years ago

#34 - False typechecker error (expected: Unknown)

Issue - State: open - Opened by jiwonparc about 3 years ago
Labels: bug

#33 - Sanity check for type-checking on the currently supported logics

Issue - State: open - Opened by jiwonparc about 3 years ago

#32 - Infrequent application of id rule

Issue - State: open - Opened by jiwonparc about 3 years ago
Labels: enhancement

#31 - Issue with regex constants re.allchar

Issue - State: open - Opened by jiwonparc about 3 years ago
Labels: bug