4 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	ecb70e7476	update copyright headers to switch from GPL to LGPL	2016-04-26 17:20:05 +02:00
Fredrik Johansson	b4ebc87a1d	use arb_test_multiplier to control number of test iterations	2016-04-10 17:24:58 +02:00
alex	1477bd2109	ENH: bool_mat	2016-02-28 21:24:27 -05:00