Skip to content
This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

Sledgehammer 0.2.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@noahhusby noahhusby released this 06 Aug 16:49
· 382 commits to master since this release
v0.2.0-beta
012125d
This commit was signed with the committer’s verified signature.
noahhusby Noah Husby
GPG key ID: 0830B8257940ECE8
Learn about vigilant mode.

Sledgehammer Beta 0.2.0 Release

  • Added built-in interpreter/teleporter for tpll
Assets 4
Loading