Skip to content

Release 0.1.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@vsbogd vsbogd released this 22 Jun 07:57
· 1983 commits to main since this release
8ee0262

What's Changed

  • Updating matcher api to use BindingsSet object instead of Vec by @luketpeterson in #270
  • Implementing abstract space API in C, as well as bindings to call int… by @luketpeterson in #284
  • Replace AtomIter::extract_var by more universal <&VariableAtom>::try_from by @vsbogd in #291
  • Add Char primary type by @ngeiswei in #293
  • Statically link hyperonc library to the hyperonpy.so library by @vsbogd in #294
  • Make vars unique for the type returned by grounded atom by @vsbogd in #295
  • Properly apply and return var equalities from let, let* and case by @vsbogd in #296
  • Correctly handle variables in results of the interpreter cache by @vsbogd in #298
  • Add filter_type() function into AtomIter to filter sub-atoms by types by @vsbogd in #299
  • Fix for gracefully returning on parsing errors. by @cowboyphilosopher in #286
  • Improve parsing Number by @ngeiswei in #297
  • Deprecate grounding space direct api, migrate runner to abstract space interfaces by @luketpeterson in #302
  • Fix redundant imports by @ngeiswei in #310
  • Init logger in a Python API library by @vsbogd in #314
  • Return variable from Bindings::resolve() when no value is found by @vsbogd in #315
  • test on matching state atoms by @Necr0x0Der in #309
  • Factoring space common by @luketpeterson in #312
  • Changing c_str api to follow the snprintf() pattern by @luketpeterson in #318
  • Uniformly replace variables in bindings when returning cached result by @vsbogd in #325
  • Adding glue to allow spaces implemented in Python. by @luketpeterson in #322
  • Creating a pathway to wrap spaces in grounded atoms from C & Python by @luketpeterson in #329

Full Changelog: v0.1.1...v0.1.2