Skip to content

Latest commit

 

History

History
135 lines (100 loc) · 6.76 KB

CHANGELOG.md

File metadata and controls

135 lines (100 loc) · 6.76 KB
Raw

Changelog

v0.14.0 (2023-02-07)

Feature

  • Hopefully fixing semantic release so feat can deploy (de8282c)
  • Multithreading (#6) (8370747)

Fix

  • Try more things to fix tagging (6e8b931)
  • Try using v2 for the checkout action to fix tagging (42f31f9)

v0.13.8 (2023-01-27)

Fix

  • Improving consistency on identical runs (#5) (5a23ca5)

v0.13.7 (2023-01-27)

Fix

  • Trying a different method to skip buiding the release commit (44c2523)

v0.13.6 (2023-01-27)

Fix

  • Fixing deploy and stopping infinite run loop (1e63a10)

v0.13.5 (2023-01-27)

Fix

  • Trying using the PAT for checkout too to see if the workflow will run... (b84b6c7)

v0.13.4 (2023-01-27)

Fix

v0.13.3 (2023-01-27)

Fix

v0.13.2 (2023-01-27)

Fix

  • Try creating an empty dist/ during semantic release (8e79326)

v0.13.1 (2023-01-27)

Fix

  • Tweak job syntax to run on all tags (36089b1)

v0.13.0 (2023-01-27)

Feature

  • Ignore build step in semantic-release (0ed0c35)

v0.13.0 (2023-01-27)

v0.12.0 (2023-01-09)

Feature

  • Adding options to skip finding best proof, and abort early (ed23460)

v0.11.3 (2023-01-05)

Fix

  • Revert knowledge sort as it seems to hurt performance, and adding more perf tests (db51214)

v0.11.2 (2023-01-03)

Fix

  • Slighly more consistent proving by sorting knowledge in advance (5bead37)

v0.11.1 (2022-12-22)

Fix

  • Dedupe knowledge in ResolutionProver (b16c899)

v0.11.0 (2022-12-18)

Feature

  • Dedupe disjunctions and add option to prune search tree (#2) (b0576b5)

v0.10.2 (2022-12-13)

Fix

  • More perf improvements around early stopping (948d896)

v0.10.1 (2022-12-13)

Fix

  • Refactor min similarity tracking for better performance (256ca65)

v0.10.0 (2022-12-13)

Feature

  • Track proof stats to make performance tweaks easier (#1) (b52192f)

v0.9.0 (2022-12-13)

Feature

  • Allow capping number of returned proofs to boost performance (dd92a22)

v0.8.0 (2022-12-12)

Feature

  • Adding a max_resolvent_width option to speed up solving (6adc64e)

v0.7.0 (2022-12-08)

Feature

  • Adding option to reset the ResolutionProver (8649c91)

v0.6.2 (2022-12-07)

Fix

  • Exporting types for SimilarityFunc (6432960)

v0.6.1 (2022-12-07)

Fix

  • Exporting types for Proof and ProofStep (c909c6f)

v0.6.0 (2022-12-05)

Feature

  • Allow providing extra knowledge when proving (f1e53c8)

v0.5.0 (2022-12-05)

Feature

  • Adding ResolutionProver.extend_knowledge method to add knowledge to the prover later (d21dd91)

v0.4.0 (2022-10-27)

Feature

  • Adding similarity cache to speed up similarity calculations (5bd8c13)

v0.3.0 (2022-10-24)

Feature

  • Adding a 'max_similarity' helper to combine different similarity funcs (b92c35a)

v0.2.3 (2022-10-23)

Fix

  • Fixing bug when predicates with the same symbol occur in resolve with embeddings (17c138c)

v0.2.2 (2022-10-23)

Fix

v0.2.1 (2022-10-23)

Fix

  • Adding typing_extensions dep explicitly (58e8340)

v0.2.0 (2022-10-22)

Feature