Skip to content

Releases: moves-rwth/pycarl

v2.3.0

22 Aug 14:31
@volkm volkm
2.3.0
09d94f5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v2.3.0 Latest
Latest

Requires carl-storm version >= 14.23

  • Added support for intervals with different number types
  • Automated code formatting
  • Developer: improved build and CMake support
  • Developer: improved CI
Assets 2
Loading

v2.2.0

07 Jun 19:58
@volkm volkm
2.2.0
af66206
Compare
Choose a tag to compare
v2.2.0

Requires carl-storm version >= 14.23

  • Upgraded repo / version for carl, requires carl-storm from now on
  • Developer: added Dockerfile
  • Developer: improved build process
  • Developer: updated pybind11 to version 2.10.0
Assets 2
Loading

v2.1.0

31 Jul 16:34
@volkm volkm
2.1.0
fcee916
Compare
Choose a tag to compare
v2.1.0

Requires CArL with branch master14

  • Developer: updated pybind11 to version 2.8.1 and adapted bindings accordingly
  • Improved continuous integration with Github Actions
Assets 2
Loading

v2.0.5

26 Jan 16:35
@volkm volkm
2.0.5
This tag was signed with the committer’s verified signature. The key has expired.
volkm Matthias Volk
GPG key ID: C657893DD0882223
Expired
Learn about vigilant mode.
6653d57
This commit was signed with the committer’s verified signature. The key has expired.
volkm Matthias Volk
GPG key ID: C657893DD0882223
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v2.0.5

Requires CArL with branch master14

  • Added support for continuous integration with Github Actions
Assets 2
Loading

v2.0.4

14 Nov 18:26
@volkm volkm
2.0.4
ba2b11b
Compare
Choose a tag to compare
v2.0.4

Requires CArL with branch master14 or a carl version between 17.12 and 18.08

  • Extended conversion of number types to formulae
  • (minor) changed constant_part to function for Polynomial
  • (minor) added an additional operator on polynomials
  • Fix for compilation with Xcode 11
Assets 2
Loading

v2.0.3

02 Jan 16:51
@volkm volkm
2.0.3
317387b
Compare
Choose a tag to compare
v2.0.3

Requires CArL with branch master14 or a carl version between 17.12 and 18.08

  • Extended bindings for arithmetic operations
  • Fixed negation comparison
  • Improved error output in installation
  • Extended documentation
  • Improved and extended setup
Assets 2
Loading

v2.0.2

07 Dec 15:52
@volkm volkm
2.0.2
b53554d
Compare
Choose a tag to compare
v2.0.2

Requires CArL version >= 17.12

  • Adaptions to changes in carl
  • Extended bindings for rational functions and factorized rational functions
  • Variable constructor no longer returns an existing variable if a variable with that name exists
  • expand() allows to obtain the expanded polynomial and rational function
  • Added methods for getting information about pycarl configuration
  • Extended build script:
    • uses config file
    • support for disabling build of CLN and parser bindings
    • fixed debug build type
Assets 2
Loading

v2.0.1

11 Aug 12:40
@volkm volkm
2.0.1
b1a17ed
Compare
Choose a tag to compare
v2.0.1

Requires CArL version >= 17.08

  • Added conversions between CLN and GMP
  • Added variable and integer pickling support. Throw errors if pickling is not supported
  • Added hash functions
  • Hide factorization caches for user
  • Depend on CArL-parser for parsing routines
  • Check for CArL version
  • Fixed issues when CLN is not available
Assets 2
Loading