Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| news:release_4_0 [2020/01/29 14:05] – created news page for release 4.0 lkastner | news:release_4_0 [2020/02/19 10:05] (current) – r1 benmuell | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| Release dates: | Release dates: | ||
| - | * 4.0: Januar | + | * 4.0: January |
| + | * 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 -- | ||