v0.1.0

Yardbird Initial Release

What's Changed

• play around with some tests for explanations by @sgpthomas in #1
• Add Let simplification in smt2utils by @cvick32 in #2
• fix pass at implementing custom scheduler to find violations by @cvick32 in #3
• Interpolant Generation in the loop by @cvick32 in #4
• to_vmt proc macro by @cvick32 in #7
• Add to_vmt attributes for running yardbird and setting timeout by @cvick32 in #10
• don't construct extractor as frequently by @sgpthomas in #13
• Add CLI flag for running BMC in Z3 by @cvick32 in #15
• Interpolant simplification by @cvick32 in #11
• Get property sub terms from SMTProblem and use them in cost function by @cvick32 in #24
• Type nonsense by @sgpthomas in #25
• test abstracting large numbers out of program by @cvick32 in #26
• Prefer transition system constants in cost function by @cvick32 in #28
• Z3 else case by @cvick32 in #29
• Subterms test by @cvick32 in #30
• Scarecrow visual improvements by @sgpthomas in #23
• Prefer terms that appear in transition system when extracting violations by @sgpthomas in #31
• To vmt rewrite by @sgpthomas in #35
• Changes from the creek by @cvick32 in #36
• Add in no progress results to yardbird and scarecrow by @cvick32 in #37
• Add problem view to scarecrow by @cvick32 in #38
• Problem view by @cvick32 in #39
• Performance Hacking by @sgpthomas in #46
• Fewer strings: more perf hacking by @sgpthomas in #47
• Fix benchmarks that were panicking because of frame_num_getter rewrite by @sgpthomas in #48
• Local SMTProblem replacing smt2parser SMTProblem by @cvick32 in #51
• Add examples by @cvick32 in #52
• [garden + scarecrow] propagate run_ici3a option, revert to old Command spawning, and add const array to z3 var context by @cvick32 in #53
• add FoundProof graphs to scarecrow and other changes by @cvick32 in #54

New Contributors

• @sgpthomas made their first contribution in #1
• @cvick32 made their first contribution in #2

Full Changelog: https://github.com/cvick32/yardbird/commits/v0.1.0