cgd8d

Radius grows exponentially for long-running calculations

4

Consider the program: ```cpp #include "arb.h" #include int main() { arb_t x; arb_init(x); arb_add_error_2exp_si(x, -30); // Add 2^(-30) to radius of x. arb_t y; arb_init(y); // y = 0, exactly....

Quiver and Barbs plots require modification of set_UVC behavior

2

### Description Quiver.set_UVC and Barbs.set_UVC functions are provided by matplotlib for faster update of vector data. Cartopy redefines Quiver and Barbs for GeoAxes to correctly apply the axis projection; however,...

Memory leak in translate_enode_to_exprnode

2

There is a memory leak in translate_enode_to_exprnode. I believe it exhibits itself in many different ways, but to be concrete, imagine the expression (+ 1 2) is being processed. This...

False unsat in forall problem

3

The following problem reports unsat: ``` (set-logic QF_NRA) (set-info :precision 0.001) (declare-fun x () Real [-10, 10]) (declare-fun forall y () Real [-10, 10]) (assert ( forall ( (y Real)...