HisFuzzer
Authors/Creators
Description
Please refer to the latest version!
z3
https://github.com/Z3Prover/z3/issues/5722#issuecomment-998452982 (fixed)
https://github.com/Z3Prover/z3/issues/5737 (moved to https://github.com/Z3Prover/z3/issues/4889#issuecomment-1004329224) (confirmed)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1007087883(duplicate)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1008214504(invalid)
https://github.com/Z3Prover/z3/issues/5774(invalid)
https://github.com/Z3Prover/z3/issues/5777#issuecomment-1014065487(fixed)
https://github.com/Z3Prover/z3/issues/5722#issue-1084089459 (fixed)
https://github.com/Z3Prover/z3/issues/5798(reported)
https://github.com/Z3Prover/z3/issues/5769(confirmed)
https://github.com/Z3Prover/z3/issues/5769#issuecomment-1015129354(reported)
https://github.com/Z3Prover/z3/issues/5778#issuecomment-1018132484(fixed)
https://github.com/Z3Prover/z3/issues/5789 (fixed)
https://github.com/Z3Prover/z3/issues/5722#issuecomment-998652655 (invalid)
https://github.com/Z3Prover/z3/issues/5732 (fixed)
https://github.com/Z3Prover/z3/issues/5734 (moved to https://github.com/Z3Prover/z3/issues/5641#issuecomment-1000497502) (fixed)
https://github.com/Z3Prover/z3/issues/5641#issuecomment-1000804719 (moved to https://github.com/Z3Prover/z3/issues/4889#issuecomment-1004328993) (confirmed)
https://github.com/Z3Prover/z3/issues/5741 (fixed)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1007067681(duplicate)
https://github.com/Z3Prover/z3/issues/5754(duplicate)
https://github.com/Z3Prover/z3/issues/5758(fixed)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1007982562(fixed)
https://github.com/Z3Prover/z3/issues/5770(invalid)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1011732992(fixed)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1011749964(fixed)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1011755733(fixed)
https://github.com/Z3Prover/z3/issues/5753#issuecomment-1012024921(fixed)
https://github.com/Z3Prover/z3/issues/5779(invalid)
https://github.com/Z3Prover/z3/issues/5778#issuecomment-1016018402(fixed)
https://github.com/Z3Prover/z3/issues/5784(fixed)
cvc5
https://github.com/cvc5/cvc5/issues/7924(fixed)
Invalid model
https://github.com/cvc5/cvc5/issues/7938(confirmed)
crash
https://github.com/cvc5/cvc5/issues/7858 (duplicate)
https://github.com/cvc5/cvc5/issues/7858#issuecomment-1000794259 (duplicate)
https://github.com/cvc5/cvc5/issues/7893(confirmed)
https://github.com/cvc5/cvc5/issues/7894(fixed)
https://github.com/cvc5/cvc5/issues/7902(fixed)
https://github.com/cvc5/cvc5/issues/7917(fixed)
https://github.com/cvc5/cvc5/issues/7918(fixed)
https://github.com/cvc5/cvc5/issues/7919(duplicate)
https://github.com/cvc5/cvc5/issues/7937(fixed)
https://github.com/cvc5/cvc5/issues/7974(confirmed)
Files
Restricted
The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/5917219">Log in</a> to check if you have access.