Skip to content

0.2.0
Compare
Choose a tag to compare
@rsdefever rsdefever released this 12 Jun 14:04
· 70 commits to master since this release
v0.2.0
e2ff5dc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

New features:

  • Renames Moves to MoveSet (PR #61)
  • Adds unyt integration (PR #51)
  • Updates some of the moves attribute names (PR #57)
  • Moves CBMC selections into MoveSet (PR #59)
  • Adds support for restricted insertions (PR #47)
  • Adds basic analysis module (PR #62)
  • Overwrite=True by default for generating PDB file (PR #55)

Bug fixes:

  • Catches Cassandra failures and throws exception (PR #54)
  • Prevents some edits to MoveSet (PR #52)
  • Fixes to MoveSet.print() formatting (PR #55)
Assets 2
Loading