Skip to content

1.10.0

Latest
Latest
Compare
Choose a tag to compare
@danbryce danbryce released this 04 Nov 16:04
v1.10.0
51d0939
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  • developed Pertinet model functions stratify(), abstract(), and formulate_bounds()
  • created test cases for the new functions.
  • improved handling of model inputs to distinguish file not found and malformed files.
  • fixed bug in handling time-dependent constraints where SMT encodings for longer time horizons dropped constraints for earlier time - - steps that were previously checked, but still applicable.
  • removed dependence on a time variable being present in the AMR files to fix a bug identified by the Terrarium team
  • added support for observables, including constraints on observables
  • added mode to run numerical integration in place of SMT-based integration
  • fixed bug with "meets" function for intervals that assumed asymmetry, and made it symmetric.
  • updated handling of pandas data frames to comply with new versions of the library
Assets 2
Loading