Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
news:release_4_0 [2020/01/29 14:06] – [Polymake 4.0] lkastner | news:release_4_0 [2020/02/19 10:05] (current) – r1 benmuell | ||
---|---|---|---|
Line 3: | Line 3: | ||
Release dates: | Release dates: | ||
* 4.0: January 29th, 2020 | * 4.0: January 29th, 2020 | ||
+ | * r1: February 19th, 2020 | ||
==== Changelog ==== | ==== Changelog ==== | ||
Line 13: | Line 14: | ||
-- distribution -- | -- distribution -- | ||
* support for clang 9 | * support for clang 9 | ||
+ | * [r1] compatibility with gmp 6.2 | ||
-- interfaces -- | -- interfaces -- | ||
Line 21: | Line 23: | ||
* porta: disable convex hull rules, can still be called via porta_primal and porta_dual | * porta: disable convex hull rules, can still be called via porta_primal and porta_dual | ||
* TOSimplex: various improvements | * TOSimplex: various improvements | ||
+ | |||
+ | -- core -- | ||
+ | * [r1] fix memory leak with pool allocator | ||
+ | * [r1] fix BigObject construct and cast from callable library | ||
+ | * [r1] fix --touch | ||
+ | * [r1] invalid TERMs will warn instead of die | ||
-- common -- | -- common -- | ||
Line 26: | Line 34: | ||
* PolyDB: using JSON schemas for collection definition | * PolyDB: using JSON schemas for collection definition | ||
* PolyDB: new object-oriented user interface | * PolyDB: new object-oriented user interface | ||
+ | * [r1] improve type compatibility for GF2 | ||
-- fan -- | -- fan -- |