Jose Calderon

Recompile check has faulty logic(?)

7

### Problem Description XMonad launches with terminal window warning that it must be recompiled, even when it does not need to be recompiled. The warning is as follows: ``` XMonad...

Any plans for `int_64` coefficients or, ideally, `mpz_t` coefficients?

5

Hello, Unless I'm misunderstanding ELINA currently supports 32-bit integers for its coefficients but no larger (i.e. there is no `elina_coeff_set_interval_int` that works with `long long int`). It seems that ELINA...

Docs inconsistent and contradictory

13

Hello, The docs (README and the Git.Tutorial) for the gitlib package, are inconsistent with each other and with the library itself. I'll gladly write some more up-to-date ones, but I'm...