checkpoint

1 files changed, 0 insertions, 70 deletions

diff --git a/src/haversine/libs/pcg/pcg-output-64.c b/src/haversine/libs/pcg/pcg-output-64.c
deleted file mode 100644
index 8c6b7e4..0000000
--- a/src/haversine/libs/pcg/pcg-output-64.c
+++ /dev/null
@@ -1,70 +0,0 @@
-/*
- * PCG Random Number Generation for C.
- *
- * Copyright 2014 Melissa O'Neill <oneill@pcg-random.org>
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- *
- * For additional information about the PCG random number generation scheme,
- * including its license and other licensing options, visit
- *
- *       http://www.pcg-random.org
- */
- 
-/* 
- * This code is derived from the canonical C++ PCG implementation, which
- * has many additional features and is preferable if you can use C++ in
- * your project.
- *
- * The contents of this file were mechanically derived from pcg_variants.h
- * (every inline function defined there gets an exern declaration here).
- */
-
-#include "pcg_variants.h"
-
-/*
- * Rotate helper functions.
- */
-
-extern inline uint64_t pcg_rotr_64(uint64_t value, unsigned int rot);
-
-/*
- * Output functions.  These are the core of the PCG generation scheme.
- */
-
-// XSH RS
-
-#if PCG_HAS_128BIT_OPS
-extern inline uint64_t pcg_output_xsh_rs_128_64(pcg128_t state);
-#endif
-
-// XSH RR
-
-#if PCG_HAS_128BIT_OPS
-extern inline uint64_t pcg_output_xsh_rr_128_64(pcg128_t state);
-#endif
-
-// RXS M XS
-
-extern inline uint64_t pcg_output_rxs_m_xs_64_64(uint64_t state);
-
-// XSL RR (only defined for >= 64 bits)
-
-#if PCG_HAS_128BIT_OPS
-extern inline uint64_t pcg_output_xsl_rr_128_64(pcg128_t state);
-#endif
-
-// XSL RR RR (only defined for >= 64 bits)
-
-extern inline uint64_t pcg_output_xsl_rr_rr_64_64(uint64_t state);
-