hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-04 17:01:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
2575 commits 21 branches 39 tags 11 MiB
Commit graph

2 commits

Author SHA1 Message Date
Tommy Hofmann
6bf072eb59 Replace abort with flint_abort. 
This will allow us to not loose the julia session on error.
See also https://github.com/wbhart/flint2/pull/243
 2017-02-28 16:52:57 +01:00
Fredrik Johansson
536ec0faaf faster dilog implementation 2017-02-24 21:58:23 +01:00