kupl · henrylee97 · Nov 9, 2023 · Nov 9, 2023 · Nov 9, 2023 · Nov 9, 2023
diff --git a/C/flint-1/.dockerignore b/C/flint-1/.dockerignore
@@ -0,0 +1,2 @@
+Dockerfile
+.dockerignore
diff --git a/C/flint-1/Dockerfile b/C/flint-1/Dockerfile
@@ -0,0 +1,23 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        build-essential \
+        jq \
+        libgmp-dev \
+        libmpfr-dev \
+        libtool \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+
+WORKDIR /workspace
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && cd $BUGGY_PATH \
+    && ./bootstrap.sh \
+    && ./configure
diff --git a/safety/C/projects/flint/.gitattributes → C/flint-1/buggy/.gitattributes b/safety/C/projects/flint/.gitattributes → C/flint-1/buggy/.gitattributes
diff --git a/safety/C/projects/flint/.gitignore → C/flint-1/buggy/.gitignore b/safety/C/projects/flint/.gitignore → C/flint-1/buggy/.gitignore
diff --git a/safety/C/projects/flint/AUTHORS → C/flint-1/buggy/AUTHORS b/safety/C/projects/flint/AUTHORS → C/flint-1/buggy/AUTHORS
diff --git a/...ty/C/projects/flint/CMake/FindCBLAS.cmake → C/flint-1/buggy/CMake/FindCBLAS.cmake b/...ty/C/projects/flint/CMake/FindCBLAS.cmake → C/flint-1/buggy/CMake/FindCBLAS.cmake
diff --git a/safety/C/projects/flint/CMake/FindGMP.cmake → C/flint-1/buggy/CMake/FindGMP.cmake b/safety/C/projects/flint/CMake/FindGMP.cmake → C/flint-1/buggy/CMake/FindGMP.cmake
diff --git a/safety/C/projects/flint/CMake/FindMPFR.cmake → C/flint-1/buggy/CMake/FindMPFR.cmake b/safety/C/projects/flint/CMake/FindMPFR.cmake → C/flint-1/buggy/CMake/FindMPFR.cmake
diff --git a/safety/C/projects/flint/CMake/FindNTL.cmake → C/flint-1/buggy/CMake/FindNTL.cmake b/safety/C/projects/flint/CMake/FindNTL.cmake → C/flint-1/buggy/CMake/FindNTL.cmake
diff --git a/...C/projects/flint/CMake/FindPThreads.cmake → C/flint-1/buggy/CMake/FindPThreads.cmake b/...C/projects/flint/CMake/FindPThreads.cmake → C/flint-1/buggy/CMake/FindPThreads.cmake
diff --git a/...y/C/projects/flint/CMake/FindSphinx.cmake → C/flint-1/buggy/CMake/FindSphinx.cmake b/...y/C/projects/flint/CMake/FindSphinx.cmake → C/flint-1/buggy/CMake/FindSphinx.cmake
diff --git a/safety/C/projects/flint/CMake/README → C/flint-1/buggy/CMake/README b/safety/C/projects/flint/CMake/README → C/flint-1/buggy/CMake/README
diff --git a/.../C/projects/flint/CMake/cmake_config.h.in → C/flint-1/buggy/CMake/cmake_config.h.in b/.../C/projects/flint/CMake/cmake_config.h.in → C/flint-1/buggy/CMake/cmake_config.h.in
diff --git a/safety/C/projects/flint/CMakeLists.txt → C/flint-1/buggy/CMakeLists.txt b/safety/C/projects/flint/CMakeLists.txt → C/flint-1/buggy/CMakeLists.txt
diff --git a/safety/C/projects/flint/INSTALL → C/flint-1/buggy/INSTALL b/safety/C/projects/flint/INSTALL → C/flint-1/buggy/INSTALL
diff --git a/safety/C/projects/flint/LICENSE → C/flint-1/buggy/LICENSE b/safety/C/projects/flint/LICENSE → C/flint-1/buggy/LICENSE
diff --git a/safety/C/projects/flint/Makefile.in → C/flint-1/buggy/Makefile.in b/safety/C/projects/flint/Makefile.in → C/flint-1/buggy/Makefile.in
diff --git a/safety/C/projects/flint/README.md → C/flint-1/buggy/README.md b/safety/C/projects/flint/README.md → C/flint-1/buggy/README.md
diff --git a/safety/C/projects/flint/VERSION → C/flint-1/buggy/VERSION b/safety/C/projects/flint/VERSION → C/flint-1/buggy/VERSION
diff --git a/safety/C/projects/flint/acinclude.m4 → C/flint-1/buggy/acinclude.m4 b/safety/C/projects/flint/acinclude.m4 → C/flint-1/buggy/acinclude.m4
diff --git a/safety/C/projects/flint/bootstrap.sh → C/flint-1/buggy/bootstrap.sh b/safety/C/projects/flint/bootstrap.sh → C/flint-1/buggy/bootstrap.sh
diff --git a/safety/C/projects/flint/code_conventions.txt → C/flint-1/buggy/code_conventions.txt b/safety/C/projects/flint/code_conventions.txt → C/flint-1/buggy/code_conventions.txt
diff --git a/safety/C/projects/flint/configure.ac → C/flint-1/buggy/configure.ac b/safety/C/projects/flint/configure.ac → C/flint-1/buggy/configure.ac
diff --git a/safety/C/projects/flint/deprecations.txt → C/flint-1/buggy/deprecations.txt b/safety/C/projects/flint/deprecations.txt → C/flint-1/buggy/deprecations.txt
diff --git a/safety/C/projects/flint/dev/find_gmp_mpfr.jl → C/flint-1/buggy/dev/find_gmp_mpfr.jl b/safety/C/projects/flint/dev/find_gmp_mpfr.jl → C/flint-1/buggy/dev/find_gmp_mpfr.jl
diff --git a/...y/C/projects/flint/dev/gather_coverage.sh → C/flint-1/buggy/dev/gather_coverage.sh b/...y/C/projects/flint/dev/gather_coverage.sh → C/flint-1/buggy/dev/gather_coverage.sh
diff --git a/safety/C/projects/flint/dev/make_dist.sh → C/flint-1/buggy/dev/make_dist.sh b/safety/C/projects/flint/dev/make_dist.sh → C/flint-1/buggy/dev/make_dist.sh
diff --git a/safety/C/projects/flint/doc/Makefile → C/flint-1/buggy/doc/Makefile b/safety/C/projects/flint/doc/Makefile → C/flint-1/buggy/doc/Makefile
diff --git a/safety/C/projects/flint/doc/entrypoint.sh → C/flint-1/buggy/doc/entrypoint.sh b/safety/C/projects/flint/doc/entrypoint.sh → C/flint-1/buggy/doc/entrypoint.sh
diff --git a/safety/C/projects/flint/doc/profiler.txt → C/flint-1/buggy/doc/profiler.txt b/safety/C/projects/flint/doc/profiler.txt → C/flint-1/buggy/doc/profiler.txt
diff --git a/...ects/flint/doc/source/_static/default.css → ...nt-1/buggy/doc/source/_static/default.css b/...ects/flint/doc/source/_static/default.css → ...nt-1/buggy/doc/source/_static/default.css
diff --git a/safety/C/projects/flint/doc/source/acb.rst → C/flint-1/buggy/doc/source/acb.rst b/safety/C/projects/flint/doc/source/acb.rst → C/flint-1/buggy/doc/source/acb.rst
diff --git a/.../C/projects/flint/doc/source/acb_calc.rst → C/flint-1/buggy/doc/source/acb_calc.rst b/.../C/projects/flint/doc/source/acb_calc.rst → C/flint-1/buggy/doc/source/acb_calc.rst
diff --git a/...y/C/projects/flint/doc/source/acb_dft.rst → C/flint-1/buggy/doc/source/acb_dft.rst b/...y/C/projects/flint/doc/source/acb_dft.rst → C/flint-1/buggy/doc/source/acb_dft.rst
diff --git a/...ojects/flint/doc/source/acb_dirichlet.rst → C/flint-1/buggy/doc/source/acb_dirichlet.rst b/...ojects/flint/doc/source/acb_dirichlet.rst → C/flint-1/buggy/doc/source/acb_dirichlet.rst
diff --git a/...rojects/flint/doc/source/acb_elliptic.rst → C/flint-1/buggy/doc/source/acb_elliptic.rst b/...rojects/flint/doc/source/acb_elliptic.rst → C/flint-1/buggy/doc/source/acb_elliptic.rst
diff --git a/...projects/flint/doc/source/acb_hypgeom.rst → C/flint-1/buggy/doc/source/acb_hypgeom.rst b/...projects/flint/doc/source/acb_hypgeom.rst → C/flint-1/buggy/doc/source/acb_hypgeom.rst
diff --git a/...y/C/projects/flint/doc/source/acb_mat.rst → C/flint-1/buggy/doc/source/acb_mat.rst b/...y/C/projects/flint/doc/source/acb_mat.rst → C/flint-1/buggy/doc/source/acb_mat.rst
diff --git a/...projects/flint/doc/source/acb_modular.rst → C/flint-1/buggy/doc/source/acb_modular.rst b/...projects/flint/doc/source/acb_modular.rst → C/flint-1/buggy/doc/source/acb_modular.rst
diff --git a/.../C/projects/flint/doc/source/acb_poly.rst → C/flint-1/buggy/doc/source/acb_poly.rst b/.../C/projects/flint/doc/source/acb_poly.rst → C/flint-1/buggy/doc/source/acb_poly.rst
diff --git a/safety/C/projects/flint/doc/source/acf.rst → C/flint-1/buggy/doc/source/acf.rst b/safety/C/projects/flint/doc/source/acf.rst → C/flint-1/buggy/doc/source/acf.rst
diff --git a/safety/C/projects/flint/doc/source/agm.rst → C/flint-1/buggy/doc/source/agm.rst b/safety/C/projects/flint/doc/source/agm.rst → C/flint-1/buggy/doc/source/agm.rst
diff --git a/safety/C/projects/flint/doc/source/aprcl.rst → C/flint-1/buggy/doc/source/aprcl.rst b/safety/C/projects/flint/doc/source/aprcl.rst → C/flint-1/buggy/doc/source/aprcl.rst
diff --git a/safety/C/projects/flint/doc/source/arb.rst → C/flint-1/buggy/doc/source/arb.rst b/safety/C/projects/flint/doc/source/arb.rst → C/flint-1/buggy/doc/source/arb.rst
diff --git a/.../C/projects/flint/doc/source/arb_calc.rst → C/flint-1/buggy/doc/source/arb_calc.rst b/.../C/projects/flint/doc/source/arb_calc.rst → C/flint-1/buggy/doc/source/arb_calc.rst
diff --git a/...ojects/flint/doc/source/arb_fmpz_poly.rst → C/flint-1/buggy/doc/source/arb_fmpz_poly.rst b/...ojects/flint/doc/source/arb_fmpz_poly.rst → C/flint-1/buggy/doc/source/arb_fmpz_poly.rst
diff --git a/.../projects/flint/doc/source/arb_fpwrap.rst → C/flint-1/buggy/doc/source/arb_fpwrap.rst b/.../projects/flint/doc/source/arb_fpwrap.rst → C/flint-1/buggy/doc/source/arb_fpwrap.rst
diff --git a/...projects/flint/doc/source/arb_hypgeom.rst → C/flint-1/buggy/doc/source/arb_hypgeom.rst b/...projects/flint/doc/source/arb_hypgeom.rst → C/flint-1/buggy/doc/source/arb_hypgeom.rst
diff --git a/...y/C/projects/flint/doc/source/arb_mat.rst → C/flint-1/buggy/doc/source/arb_mat.rst b/...y/C/projects/flint/doc/source/arb_mat.rst → C/flint-1/buggy/doc/source/arb_mat.rst
diff --git a/.../C/projects/flint/doc/source/arb_poly.rst → C/flint-1/buggy/doc/source/arb_poly.rst b/.../C/projects/flint/doc/source/arb_poly.rst → C/flint-1/buggy/doc/source/arb_poly.rst
diff --git a/safety/C/projects/flint/doc/source/arf.rst → C/flint-1/buggy/doc/source/arf.rst b/safety/C/projects/flint/doc/source/arf.rst → C/flint-1/buggy/doc/source/arf.rst
diff --git a/safety/C/projects/flint/doc/source/arith.rst → C/flint-1/buggy/doc/source/arith.rst b/safety/C/projects/flint/doc/source/arith.rst → C/flint-1/buggy/doc/source/arith.rst
diff --git a/...C/projects/flint/doc/source/bernoulli.rst → C/flint-1/buggy/doc/source/bernoulli.rst b/...C/projects/flint/doc/source/bernoulli.rst → C/flint-1/buggy/doc/source/bernoulli.rst
diff --git a/.../C/projects/flint/doc/source/bool_mat.rst → C/flint-1/buggy/doc/source/bool_mat.rst b/.../C/projects/flint/doc/source/bool_mat.rst → C/flint-1/buggy/doc/source/bool_mat.rst
diff --git a/...ojects/flint/doc/source/bug_reporting.rst → C/flint-1/buggy/doc/source/bug_reporting.rst b/...ojects/flint/doc/source/bug_reporting.rst → C/flint-1/buggy/doc/source/bug_reporting.rst
diff --git a/.../C/projects/flint/doc/source/building.rst → C/flint-1/buggy/doc/source/building.rst b/.../C/projects/flint/doc/source/building.rst → C/flint-1/buggy/doc/source/building.rst
diff --git a/safety/C/projects/flint/doc/source/ca.rst → C/flint-1/buggy/doc/source/ca.rst b/safety/C/projects/flint/doc/source/ca.rst → C/flint-1/buggy/doc/source/ca.rst
diff --git a/...ty/C/projects/flint/doc/source/ca_ext.rst → C/flint-1/buggy/doc/source/ca_ext.rst b/...ty/C/projects/flint/doc/source/ca_ext.rst → C/flint-1/buggy/doc/source/ca_ext.rst
diff --git a/.../C/projects/flint/doc/source/ca_field.rst → C/flint-1/buggy/doc/source/ca_field.rst b/.../C/projects/flint/doc/source/ca_field.rst → C/flint-1/buggy/doc/source/ca_field.rst
diff --git a/...ty/C/projects/flint/doc/source/ca_mat.rst → C/flint-1/buggy/doc/source/ca_mat.rst b/...ty/C/projects/flint/doc/source/ca_mat.rst → C/flint-1/buggy/doc/source/ca_mat.rst
diff --git a/...y/C/projects/flint/doc/source/ca_poly.rst → C/flint-1/buggy/doc/source/ca_poly.rst b/...y/C/projects/flint/doc/source/ca_poly.rst → C/flint-1/buggy/doc/source/ca_poly.rst
diff --git a/...ty/C/projects/flint/doc/source/ca_vec.rst → C/flint-1/buggy/doc/source/ca_vec.rst b/...ty/C/projects/flint/doc/source/ca_vec.rst → C/flint-1/buggy/doc/source/ca_vec.rst
diff --git a/...y/C/projects/flint/doc/source/calcium.rst → C/flint-1/buggy/doc/source/calcium.rst b/...y/C/projects/flint/doc/source/calcium.rst → C/flint-1/buggy/doc/source/calcium.rst
diff --git a/safety/C/projects/flint/doc/source/conf.py → C/flint-1/buggy/doc/source/conf.py b/safety/C/projects/flint/doc/source/conf.py → C/flint-1/buggy/doc/source/conf.py
diff --git a/...C/projects/flint/doc/source/constants.rst → C/flint-1/buggy/doc/source/constants.rst b/...C/projects/flint/doc/source/constants.rst → C/flint-1/buggy/doc/source/constants.rst
diff --git a/...rojects/flint/doc/source/contributing.rst → C/flint-1/buggy/doc/source/contributing.rst b/...rojects/flint/doc/source/contributing.rst → C/flint-1/buggy/doc/source/contributing.rst
diff --git a/...rojects/flint/doc/source/contributors.rst → C/flint-1/buggy/doc/source/contributors.rst b/...rojects/flint/doc/source/contributors.rst → C/flint-1/buggy/doc/source/contributors.rst
diff --git a/safety/C/projects/flint/doc/source/d_mat.rst → C/flint-1/buggy/doc/source/d_mat.rst b/safety/C/projects/flint/doc/source/d_mat.rst → C/flint-1/buggy/doc/source/d_mat.rst
diff --git a/safety/C/projects/flint/doc/source/d_vec.rst → C/flint-1/buggy/doc/source/d_vec.rst b/safety/C/projects/flint/doc/source/d_vec.rst → C/flint-1/buggy/doc/source/d_vec.rst
diff --git a/...C/projects/flint/doc/source/dirichlet.rst → C/flint-1/buggy/doc/source/dirichlet.rst b/...C/projects/flint/doc/source/dirichlet.rst → C/flint-1/buggy/doc/source/dirichlet.rst
diff --git a/safety/C/projects/flint/doc/source/dlog.rst → C/flint-1/buggy/doc/source/dlog.rst b/safety/C/projects/flint/doc/source/dlog.rst → C/flint-1/buggy/doc/source/dlog.rst
diff --git a/...ojects/flint/doc/source/double_extras.rst → C/flint-1/buggy/doc/source/double_extras.rst b/...ojects/flint/doc/source/double_extras.rst → C/flint-1/buggy/doc/source/double_extras.rst
diff --git a/...ects/flint/doc/source/double_interval.rst → ...nt-1/buggy/doc/source/double_interval.rst b/...ects/flint/doc/source/double_interval.rst → ...nt-1/buggy/doc/source/double_interval.rst
diff --git a/.../C/projects/flint/doc/source/examples.rst → C/flint-1/buggy/doc/source/examples.rst b/.../C/projects/flint/doc/source/examples.rst → C/flint-1/buggy/doc/source/examples.rst
diff --git a/...rojects/flint/doc/source/examples_arb.rst → C/flint-1/buggy/doc/source/examples_arb.rst b/...rojects/flint/doc/source/examples_arb.rst → C/flint-1/buggy/doc/source/examples_arb.rst
diff --git a/...cts/flint/doc/source/examples_calcium.rst → ...t-1/buggy/doc/source/examples_calcium.rst b/...cts/flint/doc/source/examples_calcium.rst → ...t-1/buggy/doc/source/examples_calcium.rst
diff --git a/safety/C/projects/flint/doc/source/fexpr.rst → C/flint-1/buggy/doc/source/fexpr.rst b/safety/C/projects/flint/doc/source/fexpr.rst → C/flint-1/buggy/doc/source/fexpr.rst
diff --git a/...ojects/flint/doc/source/fexpr_builtin.rst → C/flint-1/buggy/doc/source/fexpr_builtin.rst b/...ojects/flint/doc/source/fexpr_builtin.rst → C/flint-1/buggy/doc/source/fexpr_builtin.rst
diff --git a/safety/C/projects/flint/doc/source/fft.rst → C/flint-1/buggy/doc/source/fft.rst b/safety/C/projects/flint/doc/source/fft.rst → C/flint-1/buggy/doc/source/fft.rst
diff --git a/...C/projects/flint/doc/source/fft_small.rst → C/flint-1/buggy/doc/source/fft_small.rst b/...C/projects/flint/doc/source/fft_small.rst → C/flint-1/buggy/doc/source/fft_small.rst
diff --git a/safety/C/projects/flint/doc/source/flint.rst → C/flint-1/buggy/doc/source/flint.rst b/safety/C/projects/flint/doc/source/flint.rst → C/flint-1/buggy/doc/source/flint.rst
diff --git a/safety/C/projects/flint/doc/source/fmpq.rst → C/flint-1/buggy/doc/source/fmpq.rst b/safety/C/projects/flint/doc/source/fmpq.rst → C/flint-1/buggy/doc/source/fmpq.rst
diff --git a/.../C/projects/flint/doc/source/fmpq_mat.rst → C/flint-1/buggy/doc/source/fmpq_mat.rst b/.../C/projects/flint/doc/source/fmpq_mat.rst → C/flint-1/buggy/doc/source/fmpq_mat.rst
diff --git a/.../projects/flint/doc/source/fmpq_mpoly.rst → C/flint-1/buggy/doc/source/fmpq_mpoly.rst b/.../projects/flint/doc/source/fmpq_mpoly.rst → C/flint-1/buggy/doc/source/fmpq_mpoly.rst
diff --git a/...ts/flint/doc/source/fmpq_mpoly_factor.rst → ...-1/buggy/doc/source/fmpq_mpoly_factor.rst b/...ts/flint/doc/source/fmpq_mpoly_factor.rst → ...-1/buggy/doc/source/fmpq_mpoly_factor.rst
diff --git a/...C/projects/flint/doc/source/fmpq_poly.rst → C/flint-1/buggy/doc/source/fmpq_poly.rst b/...C/projects/flint/doc/source/fmpq_poly.rst → C/flint-1/buggy/doc/source/fmpq_poly.rst
diff --git a/.../C/projects/flint/doc/source/fmpq_vec.rst → C/flint-1/buggy/doc/source/fmpq_vec.rst b/.../C/projects/flint/doc/source/fmpq_vec.rst → C/flint-1/buggy/doc/source/fmpq_vec.rst
diff --git a/safety/C/projects/flint/doc/source/fmpz.rst → C/flint-1/buggy/doc/source/fmpz.rst b/safety/C/projects/flint/doc/source/fmpz.rst → C/flint-1/buggy/doc/source/fmpz.rst
diff --git a/...projects/flint/doc/source/fmpz_extras.rst → C/flint-1/buggy/doc/source/fmpz_extras.rst b/...projects/flint/doc/source/fmpz_extras.rst → C/flint-1/buggy/doc/source/fmpz_extras.rst
diff --git a/...projects/flint/doc/source/fmpz_factor.rst → C/flint-1/buggy/doc/source/fmpz_factor.rst b/...projects/flint/doc/source/fmpz_factor.rst → C/flint-1/buggy/doc/source/fmpz_factor.rst
diff --git a/.../C/projects/flint/doc/source/fmpz_lll.rst → C/flint-1/buggy/doc/source/fmpz_lll.rst b/.../C/projects/flint/doc/source/fmpz_lll.rst → C/flint-1/buggy/doc/source/fmpz_lll.rst
diff --git a/.../C/projects/flint/doc/source/fmpz_mat.rst → C/flint-1/buggy/doc/source/fmpz_mat.rst b/.../C/projects/flint/doc/source/fmpz_mat.rst → C/flint-1/buggy/doc/source/fmpz_mat.rst
diff --git a/.../C/projects/flint/doc/source/fmpz_mod.rst → C/flint-1/buggy/doc/source/fmpz_mod.rst b/.../C/projects/flint/doc/source/fmpz_mod.rst → C/flint-1/buggy/doc/source/fmpz_mod.rst
diff --git a/...rojects/flint/doc/source/fmpz_mod_mat.rst → C/flint-1/buggy/doc/source/fmpz_mod_mat.rst b/...rojects/flint/doc/source/fmpz_mod_mat.rst → C/flint-1/buggy/doc/source/fmpz_mod_mat.rst
diff --git a/...jects/flint/doc/source/fmpz_mod_mpoly.rst → ...int-1/buggy/doc/source/fmpz_mod_mpoly.rst b/...jects/flint/doc/source/fmpz_mod_mpoly.rst → ...int-1/buggy/doc/source/fmpz_mod_mpoly.rst
diff --git a/...lint/doc/source/fmpz_mod_mpoly_factor.rst → ...uggy/doc/source/fmpz_mod_mpoly_factor.rst b/...lint/doc/source/fmpz_mod_mpoly_factor.rst → ...uggy/doc/source/fmpz_mod_mpoly_factor.rst
diff --git a/...ojects/flint/doc/source/fmpz_mod_poly.rst → C/flint-1/buggy/doc/source/fmpz_mod_poly.rst b/...ojects/flint/doc/source/fmpz_mod_poly.rst → C/flint-1/buggy/doc/source/fmpz_mod_poly.rst
diff --git a/...flint/doc/source/fmpz_mod_poly_factor.rst → ...buggy/doc/source/fmpz_mod_poly_factor.rst b/...flint/doc/source/fmpz_mod_poly_factor.rst → ...buggy/doc/source/fmpz_mod_poly_factor.rst
diff --git a/...rojects/flint/doc/source/fmpz_mod_vec.rst → C/flint-1/buggy/doc/source/fmpz_mod_vec.rst b/...rojects/flint/doc/source/fmpz_mod_vec.rst → C/flint-1/buggy/doc/source/fmpz_mod_vec.rst
diff --git a/.../projects/flint/doc/source/fmpz_mpoly.rst → C/flint-1/buggy/doc/source/fmpz_mpoly.rst b/.../projects/flint/doc/source/fmpz_mpoly.rst → C/flint-1/buggy/doc/source/fmpz_mpoly.rst
diff --git a/...ts/flint/doc/source/fmpz_mpoly_factor.rst → ...-1/buggy/doc/source/fmpz_mpoly_factor.rst b/...ts/flint/doc/source/fmpz_mpoly_factor.rst → ...-1/buggy/doc/source/fmpz_mpoly_factor.rst
diff --git a/...rojects/flint/doc/source/fmpz_mpoly_q.rst → C/flint-1/buggy/doc/source/fmpz_mpoly_q.rst b/...rojects/flint/doc/source/fmpz_mpoly_q.rst → C/flint-1/buggy/doc/source/fmpz_mpoly_q.rst
diff --git a/...C/projects/flint/doc/source/fmpz_poly.rst → C/flint-1/buggy/doc/source/fmpz_poly.rst b/...C/projects/flint/doc/source/fmpz_poly.rst → C/flint-1/buggy/doc/source/fmpz_poly.rst
diff --git a/...cts/flint/doc/source/fmpz_poly_factor.rst → ...t-1/buggy/doc/source/fmpz_poly_factor.rst b/...cts/flint/doc/source/fmpz_poly_factor.rst → ...t-1/buggy/doc/source/fmpz_poly_factor.rst
diff --git a/...ojects/flint/doc/source/fmpz_poly_mat.rst → C/flint-1/buggy/doc/source/fmpz_poly_mat.rst b/...ojects/flint/doc/source/fmpz_poly_mat.rst → C/flint-1/buggy/doc/source/fmpz_poly_mat.rst
diff --git a/...projects/flint/doc/source/fmpz_poly_q.rst → C/flint-1/buggy/doc/source/fmpz_poly_q.rst b/...projects/flint/doc/source/fmpz_poly_q.rst → C/flint-1/buggy/doc/source/fmpz_poly_q.rst
diff --git a/.../C/projects/flint/doc/source/fmpz_vec.rst → C/flint-1/buggy/doc/source/fmpz_vec.rst b/.../C/projects/flint/doc/source/fmpz_vec.rst → C/flint-1/buggy/doc/source/fmpz_vec.rst
diff --git a/safety/C/projects/flint/doc/source/fmpzi.rst → C/flint-1/buggy/doc/source/fmpzi.rst b/safety/C/projects/flint/doc/source/fmpzi.rst → C/flint-1/buggy/doc/source/fmpzi.rst
diff --git a/.../C/projects/flint/doc/source/formulas.rst → C/flint-1/buggy/doc/source/formulas.rst b/.../C/projects/flint/doc/source/formulas.rst → C/flint-1/buggy/doc/source/formulas.rst
diff --git a/safety/C/projects/flint/doc/source/fq.rst → C/flint-1/buggy/doc/source/fq.rst b/safety/C/projects/flint/doc/source/fq.rst → C/flint-1/buggy/doc/source/fq.rst
diff --git a/.../projects/flint/doc/source/fq_default.rst → C/flint-1/buggy/doc/source/fq_default.rst b/.../projects/flint/doc/source/fq_default.rst → C/flint-1/buggy/doc/source/fq_default.rst
diff --git a/...jects/flint/doc/source/fq_default_mat.rst → ...int-1/buggy/doc/source/fq_default_mat.rst b/...jects/flint/doc/source/fq_default_mat.rst → ...int-1/buggy/doc/source/fq_default_mat.rst
diff --git a/...ects/flint/doc/source/fq_default_poly.rst → ...nt-1/buggy/doc/source/fq_default_poly.rst b/...ects/flint/doc/source/fq_default_poly.rst → ...nt-1/buggy/doc/source/fq_default_poly.rst
diff --git a/...int/doc/source/fq_default_poly_factor.rst → ...ggy/doc/source/fq_default_poly_factor.rst b/...int/doc/source/fq_default_poly_factor.rst → ...ggy/doc/source/fq_default_poly_factor.rst
diff --git a/.../C/projects/flint/doc/source/fq_embed.rst → C/flint-1/buggy/doc/source/fq_embed.rst b/.../C/projects/flint/doc/source/fq_embed.rst → C/flint-1/buggy/doc/source/fq_embed.rst
diff --git a/...ty/C/projects/flint/doc/source/fq_mat.rst → C/flint-1/buggy/doc/source/fq_mat.rst b/...ty/C/projects/flint/doc/source/fq_mat.rst → C/flint-1/buggy/doc/source/fq_mat.rst
diff --git a/...y/C/projects/flint/doc/source/fq_nmod.rst → C/flint-1/buggy/doc/source/fq_nmod.rst b/...y/C/projects/flint/doc/source/fq_nmod.rst → C/flint-1/buggy/doc/source/fq_nmod.rst
diff --git a/...ojects/flint/doc/source/fq_nmod_embed.rst → C/flint-1/buggy/doc/source/fq_nmod_embed.rst b/...ojects/flint/doc/source/fq_nmod_embed.rst → C/flint-1/buggy/doc/source/fq_nmod_embed.rst
diff --git a/...projects/flint/doc/source/fq_nmod_mat.rst → C/flint-1/buggy/doc/source/fq_nmod_mat.rst b/...projects/flint/doc/source/fq_nmod_mat.rst → C/flint-1/buggy/doc/source/fq_nmod_mat.rst
diff --git a/...ojects/flint/doc/source/fq_nmod_mpoly.rst → C/flint-1/buggy/doc/source/fq_nmod_mpoly.rst b/...ojects/flint/doc/source/fq_nmod_mpoly.rst → C/flint-1/buggy/doc/source/fq_nmod_mpoly.rst
diff --git a/...flint/doc/source/fq_nmod_mpoly_factor.rst → ...buggy/doc/source/fq_nmod_mpoly_factor.rst b/...flint/doc/source/fq_nmod_mpoly_factor.rst → ...buggy/doc/source/fq_nmod_mpoly_factor.rst
diff --git a/...rojects/flint/doc/source/fq_nmod_poly.rst → C/flint-1/buggy/doc/source/fq_nmod_poly.rst b/...rojects/flint/doc/source/fq_nmod_poly.rst → C/flint-1/buggy/doc/source/fq_nmod_poly.rst
diff --git a/.../flint/doc/source/fq_nmod_poly_factor.rst → .../buggy/doc/source/fq_nmod_poly_factor.rst b/.../flint/doc/source/fq_nmod_poly_factor.rst → .../buggy/doc/source/fq_nmod_poly_factor.rst
diff --git a/...projects/flint/doc/source/fq_nmod_vec.rst → C/flint-1/buggy/doc/source/fq_nmod_vec.rst b/...projects/flint/doc/source/fq_nmod_vec.rst → C/flint-1/buggy/doc/source/fq_nmod_vec.rst
diff --git a/...y/C/projects/flint/doc/source/fq_poly.rst → C/flint-1/buggy/doc/source/fq_poly.rst b/...y/C/projects/flint/doc/source/fq_poly.rst → C/flint-1/buggy/doc/source/fq_poly.rst
diff --git a/...jects/flint/doc/source/fq_poly_factor.rst → ...int-1/buggy/doc/source/fq_poly_factor.rst b/...jects/flint/doc/source/fq_poly_factor.rst → ...int-1/buggy/doc/source/fq_poly_factor.rst
diff --git a/...ty/C/projects/flint/doc/source/fq_vec.rst → C/flint-1/buggy/doc/source/fq_vec.rst b/...ty/C/projects/flint/doc/source/fq_vec.rst → C/flint-1/buggy/doc/source/fq_vec.rst
diff --git a/...y/C/projects/flint/doc/source/fq_zech.rst → C/flint-1/buggy/doc/source/fq_zech.rst b/...y/C/projects/flint/doc/source/fq_zech.rst → C/flint-1/buggy/doc/source/fq_zech.rst
diff --git a/...ojects/flint/doc/source/fq_zech_embed.rst → C/flint-1/buggy/doc/source/fq_zech_embed.rst b/...ojects/flint/doc/source/fq_zech_embed.rst → C/flint-1/buggy/doc/source/fq_zech_embed.rst
diff --git a/...projects/flint/doc/source/fq_zech_mat.rst → C/flint-1/buggy/doc/source/fq_zech_mat.rst b/...projects/flint/doc/source/fq_zech_mat.rst → C/flint-1/buggy/doc/source/fq_zech_mat.rst
diff --git a/...rojects/flint/doc/source/fq_zech_poly.rst → C/flint-1/buggy/doc/source/fq_zech_poly.rst b/...rojects/flint/doc/source/fq_zech_poly.rst → C/flint-1/buggy/doc/source/fq_zech_poly.rst
diff --git a/.../flint/doc/source/fq_zech_poly_factor.rst → .../buggy/doc/source/fq_zech_poly_factor.rst b/.../flint/doc/source/fq_zech_poly_factor.rst → .../buggy/doc/source/fq_zech_poly_factor.rst
diff --git a/...projects/flint/doc/source/fq_zech_vec.rst → C/flint-1/buggy/doc/source/fq_zech_vec.rst b/...projects/flint/doc/source/fq_zech_vec.rst → C/flint-1/buggy/doc/source/fq_zech_vec.rst
diff --git a/safety/C/projects/flint/doc/source/gamma.rst → C/flint-1/buggy/doc/source/gamma.rst b/safety/C/projects/flint/doc/source/gamma.rst → C/flint-1/buggy/doc/source/gamma.rst
diff --git a/safety/C/projects/flint/doc/source/gr.rst → C/flint-1/buggy/doc/source/gr.rst b/safety/C/projects/flint/doc/source/gr.rst → C/flint-1/buggy/doc/source/gr.rst
diff --git a/.../projects/flint/doc/source/gr_domains.rst → C/flint-1/buggy/doc/source/gr_domains.rst b/.../projects/flint/doc/source/gr_domains.rst → C/flint-1/buggy/doc/source/gr_domains.rst
diff --git a/.../projects/flint/doc/source/gr_generic.rst → C/flint-1/buggy/doc/source/gr_generic.rst b/.../projects/flint/doc/source/gr_generic.rst → C/flint-1/buggy/doc/source/gr_generic.rst
diff --git a/...ects/flint/doc/source/gr_implementing.rst → ...nt-1/buggy/doc/source/gr_implementing.rst b/...ects/flint/doc/source/gr_implementing.rst → ...nt-1/buggy/doc/source/gr_implementing.rst
diff --git a/...ty/C/projects/flint/doc/source/gr_mat.rst → C/flint-1/buggy/doc/source/gr_mat.rst b/...ty/C/projects/flint/doc/source/gr_mat.rst → C/flint-1/buggy/doc/source/gr_mat.rst
diff --git a/.../C/projects/flint/doc/source/gr_mpoly.rst → C/flint-1/buggy/doc/source/gr_mpoly.rst b/.../C/projects/flint/doc/source/gr_mpoly.rst → C/flint-1/buggy/doc/source/gr_mpoly.rst
diff --git a/...y/C/projects/flint/doc/source/gr_poly.rst → C/flint-1/buggy/doc/source/gr_poly.rst b/...y/C/projects/flint/doc/source/gr_poly.rst → C/flint-1/buggy/doc/source/gr_poly.rst
diff --git a/.../projects/flint/doc/source/gr_special.rst → C/flint-1/buggy/doc/source/gr_special.rst b/.../projects/flint/doc/source/gr_special.rst → C/flint-1/buggy/doc/source/gr_special.rst
diff --git a/...ty/C/projects/flint/doc/source/gr_vec.rst → C/flint-1/buggy/doc/source/gr_vec.rst b/...ty/C/projects/flint/doc/source/gr_vec.rst → C/flint-1/buggy/doc/source/gr_vec.rst
diff --git a/...y/C/projects/flint/doc/source/history.rst → C/flint-1/buggy/doc/source/history.rst b/...y/C/projects/flint/doc/source/history.rst → C/flint-1/buggy/doc/source/history.rst
diff --git a/...y/C/projects/flint/doc/source/hurwitz.rst → C/flint-1/buggy/doc/source/hurwitz.rst b/...y/C/projects/flint/doc/source/hurwitz.rst → C/flint-1/buggy/doc/source/hurwitz.rst
diff --git a/...jects/flint/doc/source/hypergeometric.rst → ...int-1/buggy/doc/source/hypergeometric.rst b/...jects/flint/doc/source/hypergeometric.rst → ...int-1/buggy/doc/source/hypergeometric.rst
diff --git a/...y/C/projects/flint/doc/source/hypgeom.rst → C/flint-1/buggy/doc/source/hypgeom.rst b/...y/C/projects/flint/doc/source/hypgeom.rst → C/flint-1/buggy/doc/source/hypgeom.rst
diff --git a/safety/C/projects/flint/doc/source/index.rst → C/flint-1/buggy/doc/source/index.rst b/safety/C/projects/flint/doc/source/index.rst → C/flint-1/buggy/doc/source/index.rst
diff --git a/...C/projects/flint/doc/source/index_arb.rst → C/flint-1/buggy/doc/source/index_arb.rst b/...C/projects/flint/doc/source/index_arb.rst → C/flint-1/buggy/doc/source/index_arb.rst
diff --git a/...ojects/flint/doc/source/index_generic.rst → C/flint-1/buggy/doc/source/index_generic.rst b/...ojects/flint/doc/source/index_generic.rst → C/flint-1/buggy/doc/source/index_generic.rst
diff --git a/...jects/flint/doc/source/index_integers.rst → ...int-1/buggy/doc/source/index_integers.rst b/...jects/flint/doc/source/index_integers.rst → ...int-1/buggy/doc/source/index_integers.rst
diff --git a/...s/flint/doc/source/index_integers_mod.rst → ...1/buggy/doc/source/index_integers_mod.rst b/...s/flint/doc/source/index_integers_mod.rst → ...1/buggy/doc/source/index_integers_mod.rst
diff --git a/...ects/flint/doc/source/index_rationals.rst → ...nt-1/buggy/doc/source/index_rationals.rst b/...ects/flint/doc/source/index_rationals.rst → ...nt-1/buggy/doc/source/index_rationals.rst
diff --git a/...rojects/flint/doc/source/introduction.rst → C/flint-1/buggy/doc/source/introduction.rst b/...rojects/flint/doc/source/introduction.rst → C/flint-1/buggy/doc/source/introduction.rst
diff --git a/...flint/doc/source/introduction_calcium.rst → ...buggy/doc/source/introduction_calcium.rst b/...flint/doc/source/introduction_calcium.rst → ...buggy/doc/source/introduction_calcium.rst
diff --git a/...ty/C/projects/flint/doc/source/issues.rst → C/flint-1/buggy/doc/source/issues.rst b/...ty/C/projects/flint/doc/source/issues.rst → C/flint-1/buggy/doc/source/issues.rst
diff --git a/...projects/flint/doc/source/long_extras.rst → C/flint-1/buggy/doc/source/long_extras.rst b/...projects/flint/doc/source/long_extras.rst → C/flint-1/buggy/doc/source/long_extras.rst
diff --git a/.../C/projects/flint/doc/source/longlong.rst → C/flint-1/buggy/doc/source/longlong.rst b/.../C/projects/flint/doc/source/longlong.rst → C/flint-1/buggy/doc/source/longlong.rst
diff --git a/...ects/flint/doc/source/machine_vectors.rst → ...nt-1/buggy/doc/source/machine_vectors.rst b/...ects/flint/doc/source/machine_vectors.rst → ...nt-1/buggy/doc/source/machine_vectors.rst
diff --git a/safety/C/projects/flint/doc/source/mag.rst → C/flint-1/buggy/doc/source/mag.rst b/safety/C/projects/flint/doc/source/mag.rst → C/flint-1/buggy/doc/source/mag.rst
diff --git a/...ty/C/projects/flint/doc/source/memory.rst → C/flint-1/buggy/doc/source/memory.rst b/...ty/C/projects/flint/doc/source/memory.rst → C/flint-1/buggy/doc/source/memory.rst
diff --git a/...y/C/projects/flint/doc/source/mpf_mat.rst → C/flint-1/buggy/doc/source/mpf_mat.rst b/...y/C/projects/flint/doc/source/mpf_mat.rst → C/flint-1/buggy/doc/source/mpf_mat.rst
diff --git a/...y/C/projects/flint/doc/source/mpf_vec.rst → C/flint-1/buggy/doc/source/mpf_vec.rst b/...y/C/projects/flint/doc/source/mpf_vec.rst → C/flint-1/buggy/doc/source/mpf_vec.rst
diff --git a/.../C/projects/flint/doc/source/mpfr_mat.rst → C/flint-1/buggy/doc/source/mpfr_mat.rst b/.../C/projects/flint/doc/source/mpfr_mat.rst → C/flint-1/buggy/doc/source/mpfr_mat.rst
diff --git a/.../C/projects/flint/doc/source/mpfr_vec.rst → C/flint-1/buggy/doc/source/mpfr_vec.rst b/.../C/projects/flint/doc/source/mpfr_vec.rst → C/flint-1/buggy/doc/source/mpfr_vec.rst
diff --git a/.../projects/flint/doc/source/mpn_extras.rst → C/flint-1/buggy/doc/source/mpn_extras.rst b/.../projects/flint/doc/source/mpn_extras.rst → C/flint-1/buggy/doc/source/mpn_extras.rst
diff --git a/safety/C/projects/flint/doc/source/mpoly.rst → C/flint-1/buggy/doc/source/mpoly.rst b/safety/C/projects/flint/doc/source/mpoly.rst → C/flint-1/buggy/doc/source/mpoly.rst
diff --git a/safety/C/projects/flint/doc/source/nf.rst → C/flint-1/buggy/doc/source/nf.rst b/safety/C/projects/flint/doc/source/nf.rst → C/flint-1/buggy/doc/source/nf.rst
diff --git a/...y/C/projects/flint/doc/source/nf_elem.rst → C/flint-1/buggy/doc/source/nf_elem.rst b/...y/C/projects/flint/doc/source/nf_elem.rst → C/flint-1/buggy/doc/source/nf_elem.rst
diff --git a/safety/C/projects/flint/doc/source/nmod.rst → C/flint-1/buggy/doc/source/nmod.rst b/safety/C/projects/flint/doc/source/nmod.rst → C/flint-1/buggy/doc/source/nmod.rst
diff --git a/.../C/projects/flint/doc/source/nmod_mat.rst → C/flint-1/buggy/doc/source/nmod_mat.rst b/.../C/projects/flint/doc/source/nmod_mat.rst → C/flint-1/buggy/doc/source/nmod_mat.rst
diff --git a/.../projects/flint/doc/source/nmod_mpoly.rst → C/flint-1/buggy/doc/source/nmod_mpoly.rst b/.../projects/flint/doc/source/nmod_mpoly.rst → C/flint-1/buggy/doc/source/nmod_mpoly.rst
diff --git a/...ts/flint/doc/source/nmod_mpoly_factor.rst → ...-1/buggy/doc/source/nmod_mpoly_factor.rst b/...ts/flint/doc/source/nmod_mpoly_factor.rst → ...-1/buggy/doc/source/nmod_mpoly_factor.rst
diff --git a/...C/projects/flint/doc/source/nmod_poly.rst → C/flint-1/buggy/doc/source/nmod_poly.rst b/...C/projects/flint/doc/source/nmod_poly.rst → C/flint-1/buggy/doc/source/nmod_poly.rst
diff --git a/...cts/flint/doc/source/nmod_poly_factor.rst → ...t-1/buggy/doc/source/nmod_poly_factor.rst b/...cts/flint/doc/source/nmod_poly_factor.rst → ...t-1/buggy/doc/source/nmod_poly_factor.rst
diff --git a/...ojects/flint/doc/source/nmod_poly_mat.rst → C/flint-1/buggy/doc/source/nmod_poly_mat.rst b/...ojects/flint/doc/source/nmod_poly_mat.rst → C/flint-1/buggy/doc/source/nmod_poly_mat.rst
diff --git a/.../C/projects/flint/doc/source/nmod_vec.rst → C/flint-1/buggy/doc/source/nmod_vec.rst b/.../C/projects/flint/doc/source/nmod_vec.rst → C/flint-1/buggy/doc/source/nmod_vec.rst
diff --git a/.../C/projects/flint/doc/source/overview.rst → C/flint-1/buggy/doc/source/overview.rst b/.../C/projects/flint/doc/source/overview.rst → C/flint-1/buggy/doc/source/overview.rst
diff --git a/safety/C/projects/flint/doc/source/padic.rst → C/flint-1/buggy/doc/source/padic.rst b/safety/C/projects/flint/doc/source/padic.rst → C/flint-1/buggy/doc/source/padic.rst
diff --git a/...C/projects/flint/doc/source/padic_mat.rst → C/flint-1/buggy/doc/source/padic_mat.rst b/...C/projects/flint/doc/source/padic_mat.rst → C/flint-1/buggy/doc/source/padic_mat.rst
diff --git a/.../projects/flint/doc/source/padic_poly.rst → C/flint-1/buggy/doc/source/padic_poly.rst b/.../projects/flint/doc/source/padic_poly.rst → C/flint-1/buggy/doc/source/padic_poly.rst
diff --git a/.../projects/flint/doc/source/partitions.rst → C/flint-1/buggy/doc/source/partitions.rst b/.../projects/flint/doc/source/partitions.rst → C/flint-1/buggy/doc/source/partitions.rst
diff --git a/safety/C/projects/flint/doc/source/perm.rst → C/flint-1/buggy/doc/source/perm.rst b/safety/C/projects/flint/doc/source/perm.rst → C/flint-1/buggy/doc/source/perm.rst
diff --git a/...jects/flint/doc/source/polylogarithms.rst → ...int-1/buggy/doc/source/polylogarithms.rst b/...jects/flint/doc/source/polylogarithms.rst → ...int-1/buggy/doc/source/polylogarithms.rst
diff --git a/...projects/flint/doc/source/portability.rst → C/flint-1/buggy/doc/source/portability.rst b/...projects/flint/doc/source/portability.rst → C/flint-1/buggy/doc/source/portability.rst
diff --git a/.../C/projects/flint/doc/source/profiler.rst → C/flint-1/buggy/doc/source/profiler.rst b/.../C/projects/flint/doc/source/profiler.rst → C/flint-1/buggy/doc/source/profiler.rst
diff --git a/...rojects/flint/doc/source/python_flint.rst → C/flint-1/buggy/doc/source/python_flint.rst b/...rojects/flint/doc/source/python_flint.rst → C/flint-1/buggy/doc/source/python_flint.rst
diff --git a/safety/C/projects/flint/doc/source/qadic.rst → C/flint-1/buggy/doc/source/qadic.rst b/safety/C/projects/flint/doc/source/qadic.rst → C/flint-1/buggy/doc/source/qadic.rst
diff --git a/safety/C/projects/flint/doc/source/qfb.rst → C/flint-1/buggy/doc/source/qfb.rst b/safety/C/projects/flint/doc/source/qfb.rst → C/flint-1/buggy/doc/source/qfb.rst
diff --git a/safety/C/projects/flint/doc/source/qqbar.rst → C/flint-1/buggy/doc/source/qqbar.rst b/safety/C/projects/flint/doc/source/qqbar.rst → C/flint-1/buggy/doc/source/qqbar.rst
diff --git a/...ty/C/projects/flint/doc/source/qsieve.rst → C/flint-1/buggy/doc/source/qsieve.rst b/...ty/C/projects/flint/doc/source/qsieve.rst → C/flint-1/buggy/doc/source/qsieve.rst
diff --git a/.../projects/flint/doc/source/references.rst → C/flint-1/buggy/doc/source/references.rst b/.../projects/flint/doc/source/references.rst → C/flint-1/buggy/doc/source/references.rst
diff --git a/...projects/flint/doc/source/thread_pool.rst → C/flint-1/buggy/doc/source/thread_pool.rst b/...projects/flint/doc/source/thread_pool.rst → C/flint-1/buggy/doc/source/thread_pool.rst
diff --git a/...C/projects/flint/doc/source/threading.rst → C/flint-1/buggy/doc/source/threading.rst b/...C/projects/flint/doc/source/threading.rst → C/flint-1/buggy/doc/source/threading.rst
diff --git a/...rojects/flint/doc/source/ulong_extras.rst → C/flint-1/buggy/doc/source/ulong_extras.rst b/...rojects/flint/doc/source/ulong_extras.rst → C/flint-1/buggy/doc/source/ulong_extras.rst
diff --git a/safety/C/projects/flint/doc/source/using.rst → C/flint-1/buggy/doc/source/using.rst b/safety/C/projects/flint/doc/source/using.rst → C/flint-1/buggy/doc/source/using.rst
diff --git a/safety/C/projects/flint/examples/bernoulli.c → C/flint-1/buggy/examples/bernoulli.c b/safety/C/projects/flint/examples/bernoulli.c → C/flint-1/buggy/examples/bernoulli.c
diff --git a/safety/C/projects/flint/examples/binet.c → C/flint-1/buggy/examples/binet.c b/safety/C/projects/flint/examples/binet.c → C/flint-1/buggy/examples/binet.c
diff --git a/...ty/C/projects/flint/examples/class_poly.c → C/flint-1/buggy/examples/class_poly.c b/...ty/C/projects/flint/examples/class_poly.c → C/flint-1/buggy/examples/class_poly.c
diff --git a/.../C/projects/flint/examples/complex_plot.c → C/flint-1/buggy/examples/complex_plot.c b/.../C/projects/flint/examples/complex_plot.c → C/flint-1/buggy/examples/complex_plot.c
diff --git a/safety/C/projects/flint/examples/crt.c → C/flint-1/buggy/examples/crt.c b/safety/C/projects/flint/examples/crt.c → C/flint-1/buggy/examples/crt.c
diff --git a/...ty/C/projects/flint/examples/delta_qexp.c → C/flint-1/buggy/examples/delta_qexp.c b/...ty/C/projects/flint/examples/delta_qexp.c → C/flint-1/buggy/examples/delta_qexp.c
diff --git a/safety/C/projects/flint/examples/dft.c → C/flint-1/buggy/examples/dft.c b/safety/C/projects/flint/examples/dft.c → C/flint-1/buggy/examples/dft.c
diff --git a/...ty/C/projects/flint/examples/elementary.c → C/flint-1/buggy/examples/elementary.c b/...ty/C/projects/flint/examples/elementary.c → C/flint-1/buggy/examples/elementary.c
diff --git a/.../projects/flint/examples/factor_integer.c → C/flint-1/buggy/examples/factor_integer.c b/.../projects/flint/examples/factor_integer.c → C/flint-1/buggy/examples/factor_integer.c
diff --git a/...ojects/flint/examples/factor_polynomial.c → C/flint-1/buggy/examples/factor_polynomial.c b/...ojects/flint/examples/factor_polynomial.c → C/flint-1/buggy/examples/factor_polynomial.c
diff --git a/safety/C/projects/flint/examples/fmpq_poly.c → C/flint-1/buggy/examples/fmpq_poly.c b/safety/C/projects/flint/examples/fmpq_poly.c → C/flint-1/buggy/examples/fmpq_poly.c
diff --git a/...C/projects/flint/examples/fmpz_mod_poly.c → C/flint-1/buggy/examples/fmpz_mod_poly.c b/...C/projects/flint/examples/fmpz_mod_poly.c → C/flint-1/buggy/examples/fmpz_mod_poly.c
diff --git a/...nt/examples/fmpz_poly_factor_zassenhaus.c → ...gy/examples/fmpz_poly_factor_zassenhaus.c b/...nt/examples/fmpz_poly_factor_zassenhaus.c → ...gy/examples/fmpz_poly_factor_zassenhaus.c
diff --git a/...ojects/flint/examples/fmpz_poly_hensel_P1 → C/flint-1/buggy/examples/fmpz_poly_hensel_P1 b/...ojects/flint/examples/fmpz_poly_hensel_P1 → C/flint-1/buggy/examples/fmpz_poly_hensel_P1
diff --git a/...y/C/projects/flint/examples/fmpz_poly_q.c → C/flint-1/buggy/examples/fmpz_poly_q.c b/...y/C/projects/flint/examples/fmpz_poly_q.c → C/flint-1/buggy/examples/fmpz_poly_q.c
diff --git a/safety/C/projects/flint/examples/fpwrap.c → C/flint-1/buggy/examples/fpwrap.c b/safety/C/projects/flint/examples/fpwrap.c → C/flint-1/buggy/examples/fpwrap.c
diff --git a/safety/C/projects/flint/examples/fq_poly.c → C/flint-1/buggy/examples/fq_poly.c b/safety/C/projects/flint/examples/fq_poly.c → C/flint-1/buggy/examples/fq_poly.c
diff --git a/...ects/flint/examples/functions_benchmark.c → ...nt-1/buggy/examples/functions_benchmark.c b/...ects/flint/examples/functions_benchmark.c → ...nt-1/buggy/examples/functions_benchmark.c
diff --git a/.../projects/flint/examples/hilbert_matrix.c → C/flint-1/buggy/examples/hilbert_matrix.c b/.../projects/flint/examples/hilbert_matrix.c → C/flint-1/buggy/examples/hilbert_matrix.c
diff --git a/...ojects/flint/examples/hilbert_matrix_ca.c → C/flint-1/buggy/examples/hilbert_matrix_ca.c b/...ojects/flint/examples/hilbert_matrix_ca.c → C/flint-1/buggy/examples/hilbert_matrix_ca.c
diff --git a/safety/C/projects/flint/examples/huge_expr.c → C/flint-1/buggy/examples/huge_expr.c b/safety/C/projects/flint/examples/huge_expr.c → C/flint-1/buggy/examples/huge_expr.c
diff --git a/safety/C/projects/flint/examples/integrals.c → C/flint-1/buggy/examples/integrals.c b/safety/C/projects/flint/examples/integrals.c → C/flint-1/buggy/examples/integrals.c
diff --git a/safety/C/projects/flint/examples/keiper_li.c → C/flint-1/buggy/examples/keiper_li.c b/safety/C/projects/flint/examples/keiper_li.c → C/flint-1/buggy/examples/keiper_li.c
diff --git a/safety/C/projects/flint/examples/lcentral.c → C/flint-1/buggy/examples/lcentral.c b/safety/C/projects/flint/examples/lcentral.c → C/flint-1/buggy/examples/lcentral.c
diff --git a/safety/C/projects/flint/examples/logistic.c → C/flint-1/buggy/examples/logistic.c b/safety/C/projects/flint/examples/logistic.c → C/flint-1/buggy/examples/logistic.c
diff --git a/safety/C/projects/flint/examples/lvalue.c → C/flint-1/buggy/examples/lvalue.c b/safety/C/projects/flint/examples/lvalue.c → C/flint-1/buggy/examples/lvalue.c
diff --git a/safety/C/projects/flint/examples/machin.c → C/flint-1/buggy/examples/machin.c b/safety/C/projects/flint/examples/machin.c → C/flint-1/buggy/examples/machin.c
diff --git a/safety/C/projects/flint/examples/multi_crt.c → C/flint-1/buggy/examples/multi_crt.c b/safety/C/projects/flint/examples/multi_crt.c → C/flint-1/buggy/examples/multi_crt.c
diff --git a/safety/C/projects/flint/examples/padic.c → C/flint-1/buggy/examples/padic.c b/safety/C/projects/flint/examples/padic.c → C/flint-1/buggy/examples/padic.c
diff --git a/...ty/C/projects/flint/examples/partitions.c → C/flint-1/buggy/examples/partitions.c b/...ty/C/projects/flint/examples/partitions.c → C/flint-1/buggy/examples/partitions.c
diff --git a/safety/C/projects/flint/examples/pi.c → C/flint-1/buggy/examples/pi.c b/safety/C/projects/flint/examples/pi.c → C/flint-1/buggy/examples/pi.c
diff --git a/...ty/C/projects/flint/examples/poly_roots.c → C/flint-1/buggy/examples/poly_roots.c b/...ty/C/projects/flint/examples/poly_roots.c → C/flint-1/buggy/examples/poly_roots.c
diff --git a/safety/C/projects/flint/examples/primegen.c → C/flint-1/buggy/examples/primegen.c b/safety/C/projects/flint/examples/primegen.c → C/flint-1/buggy/examples/primegen.c
diff --git a/safety/C/projects/flint/examples/qadic.c → C/flint-1/buggy/examples/qadic.c b/safety/C/projects/flint/examples/qadic.c → C/flint-1/buggy/examples/qadic.c
diff --git a/safety/C/projects/flint/examples/radix.c → C/flint-1/buggy/examples/radix.c b/safety/C/projects/flint/examples/radix.c → C/flint-1/buggy/examples/radix.c
diff --git a/...ty/C/projects/flint/examples/real_roots.c → C/flint-1/buggy/examples/real_roots.c b/...ty/C/projects/flint/examples/real_roots.c → C/flint-1/buggy/examples/real_roots.c
diff --git a/...projects/flint/examples/stirling_matrix.c → C/flint-1/buggy/examples/stirling_matrix.c b/...projects/flint/examples/stirling_matrix.c → C/flint-1/buggy/examples/stirling_matrix.c
diff --git a/...cts/flint/examples/swinnerton_dyer_poly.c → ...t-1/buggy/examples/swinnerton_dyer_poly.c b/...cts/flint/examples/swinnerton_dyer_poly.c → ...t-1/buggy/examples/swinnerton_dyer_poly.c
diff --git a/...rojects/flint/examples/taylor_integrals.c → C/flint-1/buggy/examples/taylor_integrals.c b/...rojects/flint/examples/taylor_integrals.c → C/flint-1/buggy/examples/taylor_integrals.c
diff --git a/...ty/C/projects/flint/examples/zeta_zeros.c → C/flint-1/buggy/examples/zeta_zeros.c b/...ty/C/projects/flint/examples/zeta_zeros.c → C/flint-1/buggy/examples/zeta_zeros.c
diff --git a/safety/C/projects/flint/flint.pc.in → C/flint-1/buggy/flint.pc.in b/safety/C/projects/flint/flint.pc.in → C/flint-1/buggy/flint.pc.in
@@ -8,4 +8,4 @@ Description: Fast Library for Number Theory
 Version: @PACKAGE_VERSION@
 URL: https://flintlib.org/
 Cflags: -I${includedir}
-Libs: -L${libdir} -lgmp -lmpfr
+Libs: -L${libdir} -lgmp -lmpfr
diff --git a/safety/C/projects/flint/gpl-2.0.txt → C/flint-1/buggy/gpl-2.0.txt b/safety/C/projects/flint/gpl-2.0.txt → C/flint-1/buggy/gpl-2.0.txt
diff --git a/safety/C/projects/flint/src/NTL-interface.h → C/flint-1/buggy/src/NTL-interface.h b/safety/C/projects/flint/src/NTL-interface.h → C/flint-1/buggy/src/NTL-interface.h
diff --git a/safety/C/projects/flint/src/acb.h → C/flint-1/buggy/src/acb.h b/safety/C/projects/flint/src/acb.h → C/flint-1/buggy/src/acb.h
diff --git a/safety/C/projects/flint/src/acb/acos.c → C/flint-1/buggy/src/acb/acos.c b/safety/C/projects/flint/src/acb/acos.c → C/flint-1/buggy/src/acb/acos.c
diff --git a/safety/C/projects/flint/src/acb/acosh.c → C/flint-1/buggy/src/acb/acosh.c b/safety/C/projects/flint/src/acb/acosh.c → C/flint-1/buggy/src/acb/acosh.c
diff --git a/safety/C/projects/flint/src/acb/addmul.c → C/flint-1/buggy/src/acb/addmul.c b/safety/C/projects/flint/src/acb/addmul.c → C/flint-1/buggy/src/acb/addmul.c
diff --git a/safety/C/projects/flint/src/acb/agm.c → C/flint-1/buggy/src/acb/agm.c b/safety/C/projects/flint/src/acb/agm.c → C/flint-1/buggy/src/acb/agm.c
diff --git a/safety/C/projects/flint/src/acb/agm1.c → C/flint-1/buggy/src/acb/agm1.c b/safety/C/projects/flint/src/acb/agm1.c → C/flint-1/buggy/src/acb/agm1.c
diff --git a/safety/C/projects/flint/src/acb/approx_dot.c → C/flint-1/buggy/src/acb/approx_dot.c b/safety/C/projects/flint/src/acb/approx_dot.c → C/flint-1/buggy/src/acb/approx_dot.c
diff --git a/safety/C/projects/flint/src/acb/arg.c → C/flint-1/buggy/src/acb/arg.c b/safety/C/projects/flint/src/acb/arg.c → C/flint-1/buggy/src/acb/arg.c
diff --git a/safety/C/projects/flint/src/acb/asin.c → C/flint-1/buggy/src/acb/asin.c b/safety/C/projects/flint/src/acb/asin.c → C/flint-1/buggy/src/acb/asin.c
diff --git a/safety/C/projects/flint/src/acb/asinh.c → C/flint-1/buggy/src/acb/asinh.c b/safety/C/projects/flint/src/acb/asinh.c → C/flint-1/buggy/src/acb/asinh.c
diff --git a/safety/C/projects/flint/src/acb/atan.c → C/flint-1/buggy/src/acb/atan.c b/safety/C/projects/flint/src/acb/atan.c → C/flint-1/buggy/src/acb/atan.c
diff --git a/safety/C/projects/flint/src/acb/atanh.c → C/flint-1/buggy/src/acb/atanh.c b/safety/C/projects/flint/src/acb/atanh.c → C/flint-1/buggy/src/acb/atanh.c
diff --git a/safety/C/projects/flint/src/acb/barnes_g.c → C/flint-1/buggy/src/acb/barnes_g.c b/safety/C/projects/flint/src/acb/barnes_g.c → C/flint-1/buggy/src/acb/barnes_g.c
diff --git a/...rojects/flint/src/acb/bernoulli_poly_ui.c → C/flint-1/buggy/src/acb/bernoulli_poly_ui.c b/...rojects/flint/src/acb/bernoulli_poly_ui.c → C/flint-1/buggy/src/acb/bernoulli_poly_ui.c
diff --git a/.../projects/flint/src/acb/chebyshev_t2_ui.c → C/flint-1/buggy/src/acb/chebyshev_t2_ui.c b/.../projects/flint/src/acb/chebyshev_t2_ui.c → C/flint-1/buggy/src/acb/chebyshev_t2_ui.c
diff --git a/...C/projects/flint/src/acb/chebyshev_t_ui.c → C/flint-1/buggy/src/acb/chebyshev_t_ui.c b/...C/projects/flint/src/acb/chebyshev_t_ui.c → C/flint-1/buggy/src/acb/chebyshev_t_ui.c
diff --git a/.../projects/flint/src/acb/chebyshev_u2_ui.c → C/flint-1/buggy/src/acb/chebyshev_u2_ui.c b/.../projects/flint/src/acb/chebyshev_u2_ui.c → C/flint-1/buggy/src/acb/chebyshev_u2_ui.c
diff --git a/...C/projects/flint/src/acb/chebyshev_u_ui.c → C/flint-1/buggy/src/acb/chebyshev_u_ui.c b/...C/projects/flint/src/acb/chebyshev_u_ui.c → C/flint-1/buggy/src/acb/chebyshev_u_ui.c
diff --git a/safety/C/projects/flint/src/acb/clear.c → C/flint-1/buggy/src/acb/clear.c b/safety/C/projects/flint/src/acb/clear.c → C/flint-1/buggy/src/acb/clear.c
diff --git a/...y/C/projects/flint/src/acb/contains_int.c → C/flint-1/buggy/src/acb/contains_int.c b/...y/C/projects/flint/src/acb/contains_int.c → C/flint-1/buggy/src/acb/contains_int.c
diff --git a/safety/C/projects/flint/src/acb/cos.c → C/flint-1/buggy/src/acb/cos.c b/safety/C/projects/flint/src/acb/cos.c → C/flint-1/buggy/src/acb/cos.c
diff --git a/safety/C/projects/flint/src/acb/cos_pi.c → C/flint-1/buggy/src/acb/cos_pi.c b/safety/C/projects/flint/src/acb/cos_pi.c → C/flint-1/buggy/src/acb/cos_pi.c
diff --git a/safety/C/projects/flint/src/acb/cot.c → C/flint-1/buggy/src/acb/cot.c b/safety/C/projects/flint/src/acb/cot.c → C/flint-1/buggy/src/acb/cot.c
diff --git a/safety/C/projects/flint/src/acb/cot_pi.c → C/flint-1/buggy/src/acb/cot_pi.c b/safety/C/projects/flint/src/acb/cot_pi.c → C/flint-1/buggy/src/acb/cot_pi.c
diff --git a/safety/C/projects/flint/src/acb/csc_pi.c → C/flint-1/buggy/src/acb/csc_pi.c b/safety/C/projects/flint/src/acb/csc_pi.c → C/flint-1/buggy/src/acb/csc_pi.c
diff --git a/safety/C/projects/flint/src/acb/csch.c → C/flint-1/buggy/src/acb/csch.c b/safety/C/projects/flint/src/acb/csch.c → C/flint-1/buggy/src/acb/csch.c
diff --git a/safety/C/projects/flint/src/acb/csgn.c → C/flint-1/buggy/src/acb/csgn.c b/safety/C/projects/flint/src/acb/csgn.c → C/flint-1/buggy/src/acb/csgn.c
diff --git a/safety/C/projects/flint/src/acb/cube.c → C/flint-1/buggy/src/acb/cube.c b/safety/C/projects/flint/src/acb/cube.c → C/flint-1/buggy/src/acb/cube.c
diff --git a/safety/C/projects/flint/src/acb/digamma.c → C/flint-1/buggy/src/acb/digamma.c b/safety/C/projects/flint/src/acb/digamma.c → C/flint-1/buggy/src/acb/digamma.c
diff --git a/safety/C/projects/flint/src/acb/div.c → C/flint-1/buggy/src/acb/div.c b/safety/C/projects/flint/src/acb/div.c → C/flint-1/buggy/src/acb/div.c
diff --git a/safety/C/projects/flint/src/acb/dot.c → C/flint-1/buggy/src/acb/dot.c b/safety/C/projects/flint/src/acb/dot.c → C/flint-1/buggy/src/acb/dot.c
diff --git a/safety/C/projects/flint/src/acb/dot_fmpz.c → C/flint-1/buggy/src/acb/dot_fmpz.c b/safety/C/projects/flint/src/acb/dot_fmpz.c → C/flint-1/buggy/src/acb/dot_fmpz.c
diff --git a/...ty/C/projects/flint/src/acb/dot_precise.c → C/flint-1/buggy/src/acb/dot_precise.c b/...ty/C/projects/flint/src/acb/dot_precise.c → C/flint-1/buggy/src/acb/dot_precise.c
diff --git a/safety/C/projects/flint/src/acb/dot_si.c → C/flint-1/buggy/src/acb/dot_si.c b/safety/C/projects/flint/src/acb/dot_si.c → C/flint-1/buggy/src/acb/dot_si.c
diff --git a/safety/C/projects/flint/src/acb/dot_simple.c → C/flint-1/buggy/src/acb/dot_simple.c b/safety/C/projects/flint/src/acb/dot_simple.c → C/flint-1/buggy/src/acb/dot_simple.c
diff --git a/safety/C/projects/flint/src/acb/dot_siui.c → C/flint-1/buggy/src/acb/dot_siui.c b/safety/C/projects/flint/src/acb/dot_siui.c → C/flint-1/buggy/src/acb/dot_siui.c
diff --git a/safety/C/projects/flint/src/acb/dot_ui.c → C/flint-1/buggy/src/acb/dot_ui.c b/safety/C/projects/flint/src/acb/dot_ui.c → C/flint-1/buggy/src/acb/dot_ui.c
diff --git a/safety/C/projects/flint/src/acb/dot_uiui.c → C/flint-1/buggy/src/acb/dot_uiui.c b/safety/C/projects/flint/src/acb/dot_uiui.c → C/flint-1/buggy/src/acb/dot_uiui.c
diff --git a/safety/C/projects/flint/src/acb/exp.c → C/flint-1/buggy/src/acb/exp.c b/safety/C/projects/flint/src/acb/exp.c → C/flint-1/buggy/src/acb/exp.c
diff --git a/safety/C/projects/flint/src/acb/exp_invexp.c → C/flint-1/buggy/src/acb/exp_invexp.c b/safety/C/projects/flint/src/acb/exp_invexp.c → C/flint-1/buggy/src/acb/exp_invexp.c
diff --git a/safety/C/projects/flint/src/acb/exp_pi_i.c → C/flint-1/buggy/src/acb/exp_pi_i.c b/safety/C/projects/flint/src/acb/exp_pi_i.c → C/flint-1/buggy/src/acb/exp_pi_i.c
diff --git a/safety/C/projects/flint/src/acb/expm1.c → C/flint-1/buggy/src/acb/expm1.c b/safety/C/projects/flint/src/acb/expm1.c → C/flint-1/buggy/src/acb/expm1.c
diff --git a/safety/C/projects/flint/src/acb/gamma.c → C/flint-1/buggy/src/acb/gamma.c b/safety/C/projects/flint/src/acb/gamma.c → C/flint-1/buggy/src/acb/gamma.c
diff --git a/...ojects/flint/src/acb/get_abs_lbound_arf.c → C/flint-1/buggy/src/acb/get_abs_lbound_arf.c b/...ojects/flint/src/acb/get_abs_lbound_arf.c → C/flint-1/buggy/src/acb/get_abs_lbound_arf.c
diff --git a/...ojects/flint/src/acb/get_abs_ubound_arf.c → C/flint-1/buggy/src/acb/get_abs_ubound_arf.c b/...ojects/flint/src/acb/get_abs_ubound_arf.c → C/flint-1/buggy/src/acb/get_abs_ubound_arf.c
diff --git a/safety/C/projects/flint/src/acb/get_mag.c → C/flint-1/buggy/src/acb/get_mag.c b/safety/C/projects/flint/src/acb/get_mag.c → C/flint-1/buggy/src/acb/get_mag.c
diff --git a/.../C/projects/flint/src/acb/get_mag_lower.c → C/flint-1/buggy/src/acb/get_mag_lower.c b/.../C/projects/flint/src/acb/get_mag_lower.c → C/flint-1/buggy/src/acb/get_mag_lower.c
diff --git a/...ojects/flint/src/acb/get_rad_ubound_arf.c → C/flint-1/buggy/src/acb/get_rad_ubound_arf.c b/...ojects/flint/src/acb/get_rad_ubound_arf.c → C/flint-1/buggy/src/acb/get_rad_ubound_arf.c
diff --git a/.../projects/flint/src/acb/get_unique_fmpz.c → C/flint-1/buggy/src/acb/get_unique_fmpz.c b/.../projects/flint/src/acb/get_unique_fmpz.c → C/flint-1/buggy/src/acb/get_unique_fmpz.c
diff --git a/safety/C/projects/flint/src/acb/inlines.c → C/flint-1/buggy/src/acb/inlines.c b/safety/C/projects/flint/src/acb/inlines.c → C/flint-1/buggy/src/acb/inlines.c
diff --git a/safety/C/projects/flint/src/acb/inv.c → C/flint-1/buggy/src/acb/inv.c b/safety/C/projects/flint/src/acb/inv.c → C/flint-1/buggy/src/acb/inv.c
diff --git a/safety/C/projects/flint/src/acb/io.c → C/flint-1/buggy/src/acb/io.c b/safety/C/projects/flint/src/acb/io.c → C/flint-1/buggy/src/acb/io.c
diff --git a/safety/C/projects/flint/src/acb/lambertw.c → C/flint-1/buggy/src/acb/lambertw.c b/safety/C/projects/flint/src/acb/lambertw.c → C/flint-1/buggy/src/acb/lambertw.c
diff --git a/...C/projects/flint/src/acb/lambertw_asymp.c → C/flint-1/buggy/src/acb/lambertw_asymp.c b/...C/projects/flint/src/acb/lambertw_asymp.c → C/flint-1/buggy/src/acb/lambertw_asymp.c
diff --git a/...ects/flint/src/acb/lambertw_bound_deriv.c → ...nt-1/buggy/src/acb/lambertw_bound_deriv.c b/...ects/flint/src/acb/lambertw_bound_deriv.c → ...nt-1/buggy/src/acb/lambertw_bound_deriv.c
diff --git a/...cts/flint/src/acb/lambertw_check_branch.c → ...t-1/buggy/src/acb/lambertw_check_branch.c b/...cts/flint/src/acb/lambertw_check_branch.c → ...t-1/buggy/src/acb/lambertw_check_branch.c
diff --git a/safety/C/projects/flint/src/acb/log.c → C/flint-1/buggy/src/acb/log.c b/safety/C/projects/flint/src/acb/log.c → C/flint-1/buggy/src/acb/log.c
diff --git a/safety/C/projects/flint/src/acb/log1p.c → C/flint-1/buggy/src/acb/log1p.c b/safety/C/projects/flint/src/acb/log1p.c → C/flint-1/buggy/src/acb/log1p.c
diff --git a/safety/C/projects/flint/src/acb/log_sin_pi.c → C/flint-1/buggy/src/acb/log_sin_pi.c b/safety/C/projects/flint/src/acb/log_sin_pi.c → C/flint-1/buggy/src/acb/log_sin_pi.c
diff --git a/safety/C/projects/flint/src/acb/mul.c → C/flint-1/buggy/src/acb/mul.c b/safety/C/projects/flint/src/acb/mul.c → C/flint-1/buggy/src/acb/mul.c
diff --git a/safety/C/projects/flint/src/acb/mul_naive.c → C/flint-1/buggy/src/acb/mul_naive.c b/safety/C/projects/flint/src/acb/mul_naive.c → C/flint-1/buggy/src/acb/mul_naive.c