flint/dev at main · flintlib/flint · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
conway		conway
bench.py		bench.py
check_examples.sh		check_examples.sh
check_prototypes		check_prototypes
exp_series_hand.inc		exp_series_hand.inc
find_gmp_mpfr.jl		find_gmp_mpfr.jl
gen_fixed_atan_bitwise_small.py		gen_fixed_atan_bitwise_small.py
gen_fixed_exp_bitwise_small.py		gen_fixed_exp_bitwise_small.py
gen_fixed_exp_hand_mixed.py		gen_fixed_exp_hand_mixed.py
gen_fixed_exp_rs_hard.py		gen_fixed_exp_rs_hard.py
gen_fixed_log1p_bitwise_small.py		gen_fixed_log1p_bitwise_small.py
gen_fixed_tan_halfangle_small.py		gen_fixed_tan_halfangle_small.py
gen_fixed_tan_rotate.py		gen_fixed_tan_rotate.py
gen_fixed_trig_hand_mixed.py		gen_fixed_trig_hand_mixed.py
gen_fixed_trig_rs_hard.py		gen_fixed_trig_rs_hard.py
gen_mul_basecase.jl		gen_mul_basecase.jl
gen_mul_basecase.py		gen_mul_basecase.py
gen_mulhigh_basecase.jl		gen_mulhigh_basecase.jl
log1p_hand.inc		log1p_hand.inc
make_dist.sh		make_dist.sh
trig_hand.inc		trig_hand.inc
tune_fixed.py		tune_fixed.py

Expand file tree