Skip to content

v0.4.1
Compare
Choose a tag to compare
@github-actions github-actions released this 21 Jan 15:15
· 6 commits to master since this release
v0.4.1
8fe642a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

HerbSearch v0.4.1

Diff since v0.4.0

Merged pull requests:

  • CompatHelper: bump compat for HerbGrammar to 0.5, (keep existing compat) (#132) (@github-actions[bot])

Closed issues:

  • Refactor synth (#56)
  • Renaming solver related functions/variables (#74)
  • Fix max_time (#78)
  • TagBot failing (#103)
  • How to handle external packages needed for specific search methods? (#129)
Assets 2
Loading