* Added flopoco.

434e7353 · Fabrizio Ferrandi · 966fd278 · 434e7353 · 434e7353 · 434e7353
Commit 434e7353 authored Dec 12, 2014 by Fabrizio Ferrandi
331 changed files
--- a/ext/flopoco/INSTALL
+++ b/ext/flopoco/INSTALL
+Installation Instructions
+*************************
+See doc/flopoco_user_manual.html
--- a/ext/flopoco/Makefile.am
+++ b/ext/flopoco/Makefile.am
+# Makefile for flopoco
+
+SUBDIRS = src
+DIST_SUBDIRS = src
+ACLOCAL_AMFLAGS = -I m4
+
+bin_PROGRAMS = flopoco longacc2fp fp2bin bin2fp fpadder_example
+
+
+
+
+flopoco_SOURCES = src/main.cpp
+flopoco_CPPFLAGS = $(CPPFLAGS) -I$(top_srcdir)/src/
+flopoco_CXXFLAGS = $(CXXFLAGS)
+flopoco_LDADD = $(LIBS) src/libflopoco.la
+
+
+
+
+bin2fp_SOURCES = \
+                 src/Tools/bin2fp.cpp \
+                 src/utils.cpp
+bin2fp_CPPFLAGS = $(CPPFLAGS)
+bin2fp_CXXFLAGS = $(CXXFLAGS)
+bin2fp_LDADD = $(LIBS)
+
+
+
+
+fp2bin_SOURCES = \
+                 src/Tools/fp2bin.cpp \
+                 src/utils.cpp
+fp2bin_CPPFLAGS = $(CPPFLAGS)
+fp2bin_CXXFLAGS = $(CXXFLAGS)
+fp2bin_LDADD = $(LIBS)
+
+
+
+longacc2fp_SOURCES = \
+                     src/Tools/longacc2fp.cpp \
+                     src/utils.cpp
+longacc2fp_CPPFLAGS = $(CPPFLAGS)
+longacc2fp_CXXFLAGS = $(CXXFLAGS)
+longacc2fp_LDADD = $(LIBS)
+
+
+
+
+fpadder_example_SOURCES = src/main_minimal.cpp
+fpadder_example_CPPFLAGS = $(CPPFLAGS) -I$(top_srcdir)/src/
+fpadder_example_CXXFLAGS = $(CXXFLAGS)
+fpadder_example_LDADD = $(LIBS) src/libflopoco.la
--- a/ext/flopoco/README
+++ b/ext/flopoco/README
+FloPoCo is a generator of Floating-Point (but not only) Cores for FPGAs (but not only).
+
+Copyright © ENS-Lyon, INRIA, CNRS, UCBL, 2008-2011		 
+All rights reserved
+Contact: Florent.de.Dinechin@ens-lyon.fr
+
+The intent of the authors is to distribute FloPoCo as free software (in the FSF AGPL sense), while imposing that the source code generated by FloPoCo is also free software (also AGPL-like). 
\ No newline at end of file
--- a/ext/flopoco/TODO
+++ b/ext/flopoco/TODO
+TODO file for FloPoCo
+Bug (ds FixRealKCM?) ./flopoco -verbose=3 FPExp 7 12 
+With Matei: see the nextCycles in FPExp and see if we can push them in IntMultiplier somehow
+
+Here and there, fix VHDL style issues needed for whimsical simulators or synthesizers. See doc/VHDLStyle.txt
+
+
+Clean up src/ file hierarchy:
+
+Add LUT-based integer comparators
+
+
+BitHeapization 
+(and provide a bitheap-only constructor for all the following):
+* all the KCMs
+* PolyEval
+* FixSinCos
+* FPExp
+* HOTBM
+* IntAddition/*
+* Rework Guillaume Sergent's operators around the bit heap
+* define a policy for enableSuperTile: default to false or true?
+* Push this option to FPMult and other users of IntMult.
+* Replace tiling exploration with cached/classical tilings
+* More debogdanization: Get rid of
+    IntAddition/IntCompressorTree
+    IntAddition/NewIntCompressorTree
+    IntAddition/PopCount
+    after checking the new bit heap compression is at least as good...
+* replace "Virtex4" tests in IntAddition  with Target calls
+
+
+Testbench
+* Bug on outputs that are bits with isBus false and  multiple-valued  
+	(see the P output of Collision in release 2.1.0)
+* Multiple valued outputs should always be intervals, shouldn't they?
+
+
+Pipeline framework, Operator and Targets:
+* global switch to ieee standard signed and unsigned libraries
+* add FPU object and remove all global variables, to enable library build
+* add semantic support of fixed-point to Signal
+* fix obvious memory leaks
+* fix the default getCycleFromSignal . 
+* define a Timing as a (Cycle, CriticalPath), and associate that cleanly to Signals with getTiming methods that set both cycle and critical path.
+* insert getNewUId and comb/freq info directly in setName(), and clean up
+
+
+Collision
+* manage infinities etc
+* decompose into FPSumOf3Squares and Collision
+* Sum of n squares
+
+Table and FunctionTable:
+* FunctionEvaluator with degree=0 should generate a FunctionTable
+* VHDL generation is broken when logicTable=0 (pipeline depth=1 but no register)
+
+FPLog:
+* Fix a few remaining last-bit accuracy problems, damn.
+* compare with polynomial-based version.
+
+FPExp:
+* Everybody wants less-than-single-precision
+
+HOTBM:
+* true FloPoCoization, pipeline
+* better (DSP-aware) architectural exploration
+
+ConstMult:
+* group KCM and shift-and-add in a single OO hierearchy (selecting the one with less hardware)
+* For FPConstMult, don't output the LSBs of the IntConstMult 
+   but only their sticky
+* Try left to right and right to left; try variations of the initial recoding
+* more clever, Lefevre-inspired algorithm
+* Use DSP: find the most interesting constant fitting on 18 bits
+* compare with Spiral.net and Gustafsson papers
+* Implement the continued fraction stuff for FPCRConstMult
+
+SumOfProducts, LongAcc
+* add test bench generation
+
+Shifters
+* provide finer spec, see the TODOs inside Shifter.cpp
+
+General
+* Doxygenize while it's not too late
+
+********************************************************************
+
+Tentative roadmap 
+(minor version number count, more or less, the number of working operators. 
+We have left  0.xx for 1.xx when all the basic operators have been backported with working pipeline):
+
+Version 0.1: IntConstMult, FPConstMult, FPCRConstMult
+Version 0.4: LongAccumulator, FPMultiplier
+Version 0.5 : HOTBM integration 
+Version 0.6 : FPLog
+Version 0.7 : FPExp
+Version 0.8 : DotProduct
+Version 0.9 : LNS operators, thanks to Sylvain Collange
+Version 0.11: FPDiv, IntSquarer, new pipeline framework
+Version 1.15: FPSqrt FPSquarer InputIEEE Fix2FP 
+Version 2.0 : FunctionEvaluator
+Version 2.2 : FPExp, FPPowr (experimental)
+Version 2.3 : IntConstDiv, FPConstDiv and FPConstDivExpert, FPConstMultRational, TaMaDi architecture
+-- we're here (faster than expected)
+Version 2.4   RNGs, BitHeap, revamped multipliers, FPSinCos, CORDIC
+              FPAddSub (for FFT butterfly structure)
+Version ???   Complex operators (in particular division)
+Version ???   FixToFPUniformDist (2008 ASAP paper by Thomas)
+Version ???   FPNorm2D
+Version ???   FPNorm3D -- Almost there, see Collision
+Version ??    FPBoxMuller
+Version ???   Interval operators
+(insert your wishlist here)
+
+
+
+If we were to redo the pipeline framework from scratch, here is the proper way to do it.
+
+The current situation has a history: we first added cycle management, then, as a refinement, critical-path based subcycle timing.
+So we have to manage explicitely the two components of a lexicographic time (cycle and delay within a cycle)
+But there is only one wallclock time, and the decomposition of this wallclock time into cycles and sub-cycles could be automatic. And should.
+ 
+The following version of declare() could remove the need for manageCriticalPath as well as all the explicit synchronization methods.
+declare(name, size, delay)
+declares a signal, and associates its computation delay to it.  This delay is what we currently pass to manageCriticalPath. Each signal now will have a delay associated to it (with a default of 0 for signals that do not add to the critical path).
+The semantics is: this signal will not be assigned its value before the instant delta + max(instants of the RHS signals) 
+This is all what the first pass, the one that populates the vhdl stream, needs to do. No explicit synchronization management needed. No need to setCycle to "come back in time", etc.
+
+Then we have a retiming procedure that must associate a cycle to each signal. 
+It will do both synchronization and cycle computation. According to Alain Darte there is an old retiming paper that shows that the retiming problem can be solved optimally in linear time for DAGs, which is not surprising.
+Example of simple procedure: 
+first build the DAG of signals (all it takes is the same RHS parsing, looking for signal names, as we do)
+Then sit on the existing scheduling literature...
+For instance  
+1/ build the operator's critical path
+2/ build the ASAP and ALAP instants for each signal
+3/ progress from output to input, allocating a cycle to each signal, with ALAP scheduling (should minimize register count for compressing operators)
+4/ possibly do a bit of Leiserson and Saxe retiming 
+
+We keep all the current advantages: 
+- still VHDL printing based
+- When developing an operator, we initially leave all the deltas to zero to debug the combinatorial version. Then we incrementally add deltas, just like we currently  add manageCriticalPath(). 
+- etc
+
+The difference is that the semantic is now much clearer. No more notion of a block following a manageCriticalPath(), etc
+
+The question is: don't we loose some control on the circuit with this approach, compared to what we currently do?
+
+Note that all this is so much closer to textbook literature, with simple DAGs labelled by delay...
\ No newline at end of file
--- a/ext/flopoco/aclocal.m4
+++ b/ext/flopoco/aclocal.m4
--- a/ext/flopoco/configure.ac
+++ b/ext/flopoco/configure.ac
+dnl Process this file with autoconf to produce a configure script.
+
+AC_INIT([FloPoCo], [svn-trunk], [BUG_REPORT_ADDRESS])
+AC_CONFIG_MACRO_DIR([m4])
+AM_INIT_AUTOMAKE([-Wall -Werror foreign subdir-objects])
+m4_ifdef([AM_SILENT_RULES], [AM_SILENT_RULES([yes])])
+m4_ifdef([AM_PROG_AR], [AM_PROG_AR])	
+
+dnl Check for programs.
+AC_PROG_CXX
+AC_PROG_CC
+AC_PROG_CPP
+AC_PROG_INSTALL
+AC_PROG_LIBTOOL
+AM_PROG_LEX
+AC_PROG_YACC
+
+# we need bison instead of yacc
+YACC_TRIMMED=`echo ${YACC}| sed 's/-y//;s/ //'`
+if test ${YACC_TRIMMED} != bison; then
+  AC_MSG_ERROR(bison is required)
+fi
+#and flex instead of lex
+if test "$LEX" != flex; then
+    AC_MSG_ERROR(flex is required)
+fi
+
+dnl Sets C++ as main language
+AC_LANG([C++])
+
+dnl Enable and Disable values
+enableval="yes"
+disableval="no"
+
+dnl Disable executable compilation
+AC_ARG_ENABLE(	[exec],
+		[AS_HELP_STRING([--disable-exec], [disable executable generation, building FloPoCo as a dynamic library only])],
+		[EXEC=$disableval],
+		[EXEC=$enableval])
+AM_CONDITIONAL(BUILD_FLOPOCO_EXEC, test "x$EXEC" = xyes)
+
+dnl Check for libraries.
+AC_CHECK_LIB([gmpxx], [main], [], [AC_MSG_ERROR(libgmpxx is missing.)])
+AC_CHECK_LIB([gmp], [main], [], [AC_MSG_ERROR(libgmp is missing.)])
+AC_CHECK_LIB([mpfr], [main], [], [AC_MSG_ERROR(libmpfr is missing.)])
+AC_CHECK_LIB([sollya], [main], [], [AC_MSG_ERROR(libsollya is missing.)])
+AC_DEFINE(HAVE_SOLLYA, 1, "Found Sollya")
+
+dnl Check for headers.
+AC_CHECK_HEADER([gmpxx.h], [], [AC_MSG_ERROR(gmpxx.h is missing.)])
+AC_CHECK_HEADER([gmp.h], [], [AC_MSG_ERROR(gmp.h is missing.)])
+AC_CHECK_HEADER([mpfr.h], [], [AC_MSG_ERROR(mpfr.h is missing.)])
+dnl need to fix the sollya header test
+dnl AC_CHECK_HEADER([sollya.h], [], [AC_MSG_ERROR(sollya.h is missing.)])
+
+dnl These defines do not seem to be used anywhere
+dnl AC_DEFINE(HAVE_HOTBM, 1, "HOTBM available")
+dnl AC_DEFINE(HAVE_LNS, 1, "LNS available")
+
+dnl Generate output
+AC_CONFIG_HEADERS([config.h])
+AC_CONFIG_FILES([src/Makefile Makefile])
+AC_OUTPUT
--- a/ext/flopoco/src/BitHeap.cpp
+++ b/ext/flopoco/src/BitHeap.cpp
--- a/ext/flopoco/src/BitHeap.hpp
+++ b/ext/flopoco/src/BitHeap.hpp
--- a/ext/flopoco/src/Complex/FixedComplexAdder.cpp
+++ b/ext/flopoco/src/Complex/FixedComplexAdder.cpp
+#include <fstream>
+#include <sstream>
+#include "FixedComplexAdder.hpp"
+
+
+using namespace std;
+
+namespace flopoco{
+
+	extern vector<Operator *> oplist;
+
+
+
+	FixedComplexAdder::FixedComplexAdder(Target* target, int wI_, int wF_, bool signedOperator_, map<string, double> inputDelays)
+		: Operator(target), wI(wI_), wF(wF_), signedOperator(signedOperator_)
+	{
+		signedOperator ? w = 1 + wI + wF : w = wI + wF;
+		
+		ostringstream name;
+
+		setCopyrightString ( "Istoan Matei, Florent de Dinechin (2008-2012)" );
+		if(target->isPipelined())
+			name << "FixedComplexAdder_" << w << "_f"<< target->frequencyMHz() << "_uid" << getNewUId();
+		else
+			name << "FixedComplexAdder_" << w << "_uid" << getNewUId();
+		setName( name.str() );
+
+		addInput( "Xi", 	w, true);
+		addInput( "Xr", 	w, true);
+		addInput( "Yi", 	w, true);
+		addInput( "Yr", 	w, true);
+		addInput( "Cinr", 	1		);
+		addInput( "Cini", 	1		);
+		addOutput("Zi", 	w, 2);
+		addOutput("Zr", 	w, 2);
+		
+		setCriticalPath(getMaxInputDelays(inputDelays));
+
+		IntAdder* addOperator =  new IntAdder(target, w, inDelayMap("X",getCriticalPath()));
+		oplist.push_back(addOperator);
+	
+		inPortMap (addOperator, "X", "Xi");
+		inPortMap (addOperator, "Y", "Yi");
+		inPortMap (addOperator, "Cin", "Cini");
+		outPortMap(addOperator, "R", "Zi", false);
+		vhdl << instance(addOperator, "ADD_I");
+		
+		inPortMap (addOperator, "X", "Xr");
+		inPortMap (addOperator, "Y", "Yr");
+		inPortMap (addOperator, "Cin", "Cinr");
+		outPortMap(addOperator, "R", "Zr", false);
+		vhdl << instance(addOperator, "ADD_R");
+		
+		syncCycleFromSignal("Zr");
+		setCriticalPath( addOperator->getOutputDelay("R") );
+	
+	}	
+
+
+	FixedComplexAdder::~FixedComplexAdder()
+	{
+	}
+	
+	
+	void FixedComplexAdder::emulate(TestCase * tc)
+	{
+		mpz_class svXi = tc->getInputValue ( "Xi" );
+		mpz_class svYi = tc->getInputValue ( "Yi" );
+		mpz_class svCi = tc->getInputValue ( "Cini" );
+		mpz_class svXr = tc->getInputValue ( "Xr" );
+		mpz_class svYr = tc->getInputValue ( "Yr" );
+		mpz_class svCr = tc->getInputValue ( "Cinr" );
+		
+		mpz_class svZi = svXi + svYi + svCi;
+		mpz_class svZr = svXr + svYr + svCr;
+		// Don't allow overflow
+		mpz_clrbit ( svZi.get_mpz_t(), w );
+		mpz_clrbit ( svZr.get_mpz_t(), w );
+		
+		tc->addExpectedOutput ( "Zi", svZi );
+		tc->addExpectedOutput ( "Zr", svZr );
+	}
+
+}
--- a/ext/flopoco/src/Complex/FixedComplexAdder.hpp
+++ b/ext/flopoco/src/Complex/FixedComplexAdder.hpp
+#ifndef FixedComplexAdder_HPP
+#define FixedComplexAdder_HPP
+#include <vector>
+#include <sstream>
+
+#include "../Operator.hpp"
+#include "../IntAdder.hpp"
+
+namespace flopoco{
+	
+	/**
+	 * Complex adder for fixed point numbers
+	 */
+	class FixedComplexAdder : public Operator
+	{
+	public:
+		FixedComplexAdder(Target* target, int wI, int wF, bool signedOperator = true, map<string, double> inputDelays = emptyDelayMap);
+		~FixedComplexAdder();
+		
+		void emulate(TestCase * tc);
+
+		int wI, wF, w;
+		bool signedOperator;
+
+	};
+}
+#endif
--- a/ext/flopoco/src/Complex/FixedComplexMultiplier.cpp
+++ b/ext/flopoco/src/Complex/FixedComplexMultiplier.cpp
--- a/ext/flopoco/src/Complex/FixedComplexMultiplier.hpp
+++ b/ext/flopoco/src/Complex/FixedComplexMultiplier.hpp
--- a/ext/flopoco/src/ConstMult/CRFPConstMult.cpp
+++ b/ext/flopoco/src/ConstMult/CRFPConstMult.cpp
--- a/ext/flopoco/src/ConstMult/CRFPConstMult.hpp
+++ b/ext/flopoco/src/ConstMult/CRFPConstMult.hpp
--- a/ext/flopoco/src/ConstMult/FPConstMult.cpp
+++ b/ext/flopoco/src/ConstMult/FPConstMult.cpp
--- a/ext/flopoco/src/ConstMult/FPConstMult.hpp
+++ b/ext/flopoco/src/ConstMult/FPConstMult.hpp
--- a/ext/flopoco/src/ConstMult/FPRealKCM.cpp
+++ b/ext/flopoco/src/ConstMult/FPRealKCM.cpp
--- a/ext/flopoco/src/ConstMult/FPRealKCM.hpp
+++ b/ext/flopoco/src/ConstMult/FPRealKCM.hpp
--- a/ext/flopoco/src/ConstMult/FixRealKCM.cpp
+++ b/ext/flopoco/src/ConstMult/FixRealKCM.cpp
--- a/ext/flopoco/src/ConstMult/FixRealKCM.hpp
+++ b/ext/flopoco/src/ConstMult/FixRealKCM.hpp
--- a/ext/flopoco/src/ConstMult/IntConstDiv3.cpp
+++ b/ext/flopoco/src/ConstMult/IntConstDiv3.cpp
--- a/ext/flopoco/src/ConstMult/IntConstDiv3.hpp
+++ b/ext/flopoco/src/ConstMult/IntConstDiv3.hpp
--- a/ext/flopoco/src/ConstMult/IntConstMult.cpp
+++ b/ext/flopoco/src/ConstMult/IntConstMult.cpp
--- a/ext/flopoco/src/ConstMult/IntConstMult.hpp
+++ b/ext/flopoco/src/ConstMult/IntConstMult.hpp
--- a/ext/flopoco/src/ConstMult/IntIntKCM.cpp
+++ b/ext/flopoco/src/ConstMult/IntIntKCM.cpp
--- a/ext/flopoco/src/ConstMult/IntIntKCM.hpp
+++ b/ext/flopoco/src/ConstMult/IntIntKCM.hpp
--- a/ext/flopoco/src/ConstMult/KCMTable.cpp
+++ b/ext/flopoco/src/ConstMult/KCMTable.cpp
--- a/ext/flopoco/src/ConstMult/KCMTable.hpp
+++ b/ext/flopoco/src/ConstMult/KCMTable.hpp
--- a/ext/flopoco/src/ConstMult/ShiftAddDag.cpp
+++ b/ext/flopoco/src/ConstMult/ShiftAddDag.cpp
--- a/ext/flopoco/src/ConstMult/ShiftAddDag.hpp
+++ b/ext/flopoco/src/ConstMult/ShiftAddDag.hpp
--- a/ext/flopoco/src/ConstMult/ShiftAddOp.cpp
+++ b/ext/flopoco/src/ConstMult/ShiftAddOp.cpp
--- a/ext/flopoco/src/ConstMult/ShiftAddOp.hpp
+++ b/ext/flopoco/src/ConstMult/ShiftAddOp.hpp
--- a/ext/flopoco/src/DotProduct.cpp
+++ b/ext/flopoco/src/DotProduct.cpp
--- a/ext/flopoco/src/DotProduct.hpp
+++ b/ext/flopoco/src/DotProduct.hpp
--- a/ext/flopoco/src/DualTable.cpp
+++ b/ext/flopoco/src/DualTable.cpp
--- a/ext/flopoco/src/DualTable.hpp
+++ b/ext/flopoco/src/DualTable.hpp
--- a/ext/flopoco/src/DualTable2.cpp
+++ b/ext/flopoco/src/DualTable2.cpp
--- a/ext/flopoco/src/DualTable2.hpp
+++ b/ext/flopoco/src/DualTable2.hpp
--- a/ext/flopoco/src/ExpressionParser.cpp
+++ b/ext/flopoco/src/ExpressionParser.cpp
--- a/ext/flopoco/src/ExpressionScanner.cpp
+++ b/ext/flopoco/src/ExpressionScanner.cpp
--- a/ext/flopoco/src/FP2Fix.cpp
+++ b/ext/flopoco/src/FP2Fix.cpp
--- a/ext/flopoco/src/FP2Fix.hpp
+++ b/ext/flopoco/src/FP2Fix.hpp
--- a/ext/flopoco/src/FPAddSub.cpp
+++ b/ext/flopoco/src/FPAddSub.cpp
--- a/ext/flopoco/src/FPAddSub.hpp
+++ b/ext/flopoco/src/FPAddSub.hpp
--- a/ext/flopoco/src/FPAdder3Input.cpp
+++ b/ext/flopoco/src/FPAdder3Input.cpp
--- a/ext/flopoco/src/FPAdder3Input.hpp
+++ b/ext/flopoco/src/FPAdder3Input.hpp
--- a/ext/flopoco/src/FPAdderDualPath.cpp
+++ b/ext/flopoco/src/FPAdderDualPath.cpp
--- a/ext/flopoco/src/FPAdderDualPath.hpp
+++ b/ext/flopoco/src/FPAdderDualPath.hpp
--- a/ext/flopoco/src/FPAdderSinglePath.cpp
+++ b/ext/flopoco/src/FPAdderSinglePath.cpp
--- a/ext/flopoco/src/FPAdderSinglePath.hpp
+++ b/ext/flopoco/src/FPAdderSinglePath.hpp
--- a/ext/flopoco/src/FPConstDiv.cpp
+++ b/ext/flopoco/src/FPConstDiv.cpp
--- a/ext/flopoco/src/FPConstDiv.hpp
+++ b/ext/flopoco/src/FPConstDiv.hpp
--- a/ext/flopoco/src/FPDiv.cpp
+++ b/ext/flopoco/src/FPDiv.cpp
--- a/ext/flopoco/src/FPDiv.hpp
+++ b/ext/flopoco/src/FPDiv.hpp
--- a/ext/flopoco/src/FPExp.cpp
+++ b/ext/flopoco/src/FPExp.cpp
--- a/ext/flopoco/src/FPExp.hpp
+++ b/ext/flopoco/src/FPExp.hpp
--- a/ext/flopoco/src/FPExpressions/ExpressionParser.h
+++ b/ext/flopoco/src/FPExpressions/ExpressionParser.h
--- a/ext/flopoco/src/FPExpressions/ExpressionParser.y
+++ b/ext/flopoco/src/FPExpressions/ExpressionParser.y
--- a/ext/flopoco/src/FPExpressions/ExpressionParserData.cpp
+++ b/ext/flopoco/src/FPExpressions/ExpressionParserData.cpp
--- a/ext/flopoco/src/FPExpressions/ExpressionParserData.h
+++ b/ext/flopoco/src/FPExpressions/ExpressionParserData.h
--- a/ext/flopoco/src/FPExpressions/ExpressionScanner.l
+++ b/ext/flopoco/src/FPExpressions/ExpressionScanner.l
--- a/ext/flopoco/src/FPExpressions/FlopocoScanner.h
+++ b/ext/flopoco/src/FPExpressions/FlopocoScanner.h
--- a/ext/flopoco/src/FPLog.cpp
+++ b/ext/flopoco/src/FPLog.cpp
--- a/ext/flopoco/src/FPLog.hpp
+++ b/ext/flopoco/src/FPLog.hpp
--- a/ext/flopoco/src/FPLog/FirstInvTable.cpp
+++ b/ext/flopoco/src/FPLog/FirstInvTable.cpp
--- a/ext/flopoco/src/FPLog/FirstInvTable.hpp
+++ b/ext/flopoco/src/FPLog/FirstInvTable.hpp
--- a/ext/flopoco/src/FPLog/FirstLogTable.cpp
+++ b/ext/flopoco/src/FPLog/FirstLogTable.cpp
--- a/ext/flopoco/src/FPLog/FirstLogTable.hpp
+++ b/ext/flopoco/src/FPLog/FirstLogTable.hpp
--- a/ext/flopoco/src/FPLog/OtherLogTable.cpp
+++ b/ext/flopoco/src/FPLog/OtherLogTable.cpp
--- a/ext/flopoco/src/FPLog/OtherLogTable.hpp
+++ b/ext/flopoco/src/FPLog/OtherLogTable.hpp
--- a/ext/flopoco/src/FPMultiplier.cpp
+++ b/ext/flopoco/src/FPMultiplier.cpp
--- a/ext/flopoco/src/FPMultiplier.hpp
+++ b/ext/flopoco/src/FPMultiplier.hpp
--- a/ext/flopoco/src/FPMultiplierKaratsuba.cpp
+++ b/ext/flopoco/src/FPMultiplierKaratsuba.cpp
--- a/ext/flopoco/src/FPMultiplierKaratsuba.hpp
+++ b/ext/flopoco/src/FPMultiplierKaratsuba.hpp
--- a/ext/flopoco/src/FPNumber.cpp
+++ b/ext/flopoco/src/FPNumber.cpp
--- a/ext/flopoco/src/FPNumber.hpp
+++ b/ext/flopoco/src/FPNumber.hpp
--- a/ext/flopoco/src/FPPipeline.cpp
+++ b/ext/flopoco/src/FPPipeline.cpp
--- a/ext/flopoco/src/FPPipeline.hpp
+++ b/ext/flopoco/src/FPPipeline.hpp
--- a/ext/flopoco/src/FPPow.cpp
+++ b/ext/flopoco/src/FPPow.cpp
--- a/ext/flopoco/src/FPPow.hpp
+++ b/ext/flopoco/src/FPPow.hpp
--- a/ext/flopoco/src/FPSqrt.cpp
+++ b/ext/flopoco/src/FPSqrt.cpp
--- a/ext/flopoco/src/FPSqrt.hpp
+++ b/ext/flopoco/src/FPSqrt.hpp
--- a/ext/flopoco/src/FPSqrtPoly.cpp
+++ b/ext/flopoco/src/FPSqrtPoly.cpp
--- a/ext/flopoco/src/FPSqrtPoly.hpp
+++ b/ext/flopoco/src/FPSqrtPoly.hpp
--- a/ext/flopoco/src/FPSquarer.cpp
+++ b/ext/flopoco/src/FPSquarer.cpp
--- a/ext/flopoco/src/FPSquarer.hpp
+++ b/ext/flopoco/src/FPSquarer.hpp
--- a/ext/flopoco/src/FPSumOfSquares.cpp
+++ b/ext/flopoco/src/FPSumOfSquares.cpp
--- a/ext/flopoco/src/FPSumOfSquares.hpp
+++ b/ext/flopoco/src/FPSumOfSquares.hpp
--- a/ext/flopoco/src/Fix2FP.cpp
+++ b/ext/flopoco/src/Fix2FP.cpp
--- a/ext/flopoco/src/Fix2FP.hpp
+++ b/ext/flopoco/src/Fix2FP.hpp
--- a/ext/flopoco/src/FixDCT.cpp
+++ b/ext/flopoco/src/FixDCT.cpp
--- a/ext/flopoco/src/FixDCT.hpp
+++ b/ext/flopoco/src/FixDCT.hpp
--- a/ext/flopoco/src/FixFIR.cpp
+++ b/ext/flopoco/src/FixFIR.cpp
--- a/ext/flopoco/src/FixFIR.hpp
+++ b/ext/flopoco/src/FixFIR.hpp
--- a/ext/flopoco/src/FixFunctions/Function.cpp
+++ b/ext/flopoco/src/FixFunctions/Function.cpp
--- a/ext/flopoco/src/FixFunctions/Function.hpp
+++ b/ext/flopoco/src/FixFunctions/Function.hpp
--- a/ext/flopoco/src/FixFunctions/FunctionEvaluator.cpp
+++ b/ext/flopoco/src/FixFunctions/FunctionEvaluator.cpp
--- a/ext/flopoco/src/FixFunctions/FunctionEvaluator.hpp
+++ b/ext/flopoco/src/FixFunctions/FunctionEvaluator.hpp
--- a/ext/flopoco/src/FixFunctions/FunctionTable.cpp
+++ b/ext/flopoco/src/FixFunctions/FunctionTable.cpp
--- a/ext/flopoco/src/FixFunctions/FunctionTable.hpp
+++ b/ext/flopoco/src/FixFunctions/FunctionTable.hpp
--- a/ext/flopoco/src/FixFunctions/GenericEvaluator.cpp
+++ b/ext/flopoco/src/FixFunctions/GenericEvaluator.cpp
--- a/ext/flopoco/src/FixFunctions/GenericEvaluator.hpp
+++ b/ext/flopoco/src/FixFunctions/GenericEvaluator.hpp
--- a/ext/flopoco/src/FixFunctions/HOTBM.cpp
+++ b/ext/flopoco/src/FixFunctions/HOTBM.cpp
--- a/ext/flopoco/src/FixFunctions/HOTBM.hpp
+++ b/ext/flopoco/src/FixFunctions/HOTBM.hpp
--- a/ext/flopoco/src/FixFunctions/HOTBM/Component.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Component.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Exhaustive.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Exhaustive.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Exhaustive.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Exhaustive.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/HOTBMInstance.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/HOTBMInstance.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/HOTBMInstance.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/HOTBMInstance.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/MPPolynomial.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/MPPolynomial.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/MPPolynomial.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/MPPolynomial.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Minimax.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Minimax.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Minimax.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Minimax.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/PWPolynomial.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/PWPolynomial.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/PWPolynomial.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/PWPolynomial.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Param.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Param.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Param.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Param.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Polynomial.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Polynomial.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Polynomial.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Polynomial.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Power.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Power.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Power.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Power.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/PowerAdHoc.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/PowerAdHoc.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/PowerAdHoc.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/PowerAdHoc.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/PowerROM.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/PowerROM.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/PowerROM.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/PowerROM.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Term.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Term.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Term.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Term.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/TermPowMult.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/TermPowMult.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/TermPowMult.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/TermPowMult.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/TermROM.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/TermROM.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/TermROM.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/TermROM.hh
--- a/ext/flopoco/src/FixFunctions/HOTBM/Util.cc
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Util.cc
--- a/ext/flopoco/src/FixFunctions/HOTBM/Util.hh
+++ b/ext/flopoco/src/FixFunctions/HOTBM/Util.hh
--- a/ext/flopoco/src/FixFunctions/PiecewiseFunction.cpp
+++ b/ext/flopoco/src/FixFunctions/PiecewiseFunction.cpp
--- a/ext/flopoco/src/FixFunctions/PiecewiseFunction.hpp
+++ b/ext/flopoco/src/FixFunctions/PiecewiseFunction.hpp
--- a/ext/flopoco/src/FixFunctions/PolyCoeffTable.cpp
+++ b/ext/flopoco/src/FixFunctions/PolyCoeffTable.cpp
--- a/ext/flopoco/src/FixFunctions/PolyCoeffTable.hpp
+++ b/ext/flopoco/src/FixFunctions/PolyCoeffTable.hpp
--- a/ext/flopoco/src/FixFunctions/PolynomialEvaluator.cpp
+++ b/ext/flopoco/src/FixFunctions/PolynomialEvaluator.cpp
--- a/ext/flopoco/src/FixFunctions/PolynomialEvaluator.hpp
+++ b/ext/flopoco/src/FixFunctions/PolynomialEvaluator.hpp
--- a/ext/flopoco/src/FixMultAdd.cpp
+++ b/ext/flopoco/src/FixMultAdd.cpp
--- a/ext/flopoco/src/FixMultAdd.hpp
+++ b/ext/flopoco/src/FixMultAdd.hpp
--- a/ext/flopoco/src/FixSinCos/CordicAtan2.cpp
+++ b/ext/flopoco/src/FixSinCos/CordicAtan2.cpp
--- a/ext/flopoco/src/FixSinCos/CordicAtan2.hpp
+++ b/ext/flopoco/src/FixSinCos/CordicAtan2.hpp
--- a/ext/flopoco/src/FixSinCos/CordicSinCos.cpp
+++ b/ext/flopoco/src/FixSinCos/CordicSinCos.cpp
--- a/ext/flopoco/src/FixSinCos/CordicSinCos.hpp
+++ b/ext/flopoco/src/FixSinCos/CordicSinCos.hpp
--- a/ext/flopoco/src/FixSinCos/FixSinCos.cpp
+++ b/ext/flopoco/src/FixSinCos/FixSinCos.cpp
--- a/ext/flopoco/src/FixSinCos/FixSinCos.hpp
+++ b/ext/flopoco/src/FixSinCos/FixSinCos.hpp
--- a/ext/flopoco/src/FixSinCos/FixSinOrCos.cpp
+++ b/ext/flopoco/src/FixSinCos/FixSinOrCos.cpp
--- a/ext/flopoco/src/FixSinCos/FixSinOrCos.hpp
+++ b/ext/flopoco/src/FixSinCos/FixSinOrCos.hpp
--- a/ext/flopoco/src/FloPoCo.hpp
+++ b/ext/flopoco/src/FloPoCo.hpp
--- a/ext/flopoco/src/FlopocoStream.cpp
+++ b/ext/flopoco/src/FlopocoStream.cpp
--- a/ext/flopoco/src/FlopocoStream.hpp
+++ b/ext/flopoco/src/FlopocoStream.hpp
--- a/ext/flopoco/src/IEEENumber.cpp
+++ b/ext/flopoco/src/IEEENumber.cpp
--- a/ext/flopoco/src/IEEENumber.hpp
+++ b/ext/flopoco/src/IEEENumber.hpp
--- a/ext/flopoco/src/InputIEEE.cpp
+++ b/ext/flopoco/src/InputIEEE.cpp
--- a/ext/flopoco/src/InputIEEE.hpp
+++ b/ext/flopoco/src/InputIEEE.hpp
--- a/ext/flopoco/src/IntAdder.cpp
+++ b/ext/flopoco/src/IntAdder.cpp
--- a/ext/flopoco/src/IntAdder.hpp
+++ b/ext/flopoco/src/IntAdder.hpp
--- a/ext/flopoco/src/IntAddition/BasicCompressor.cpp
+++ b/ext/flopoco/src/IntAddition/BasicCompressor.cpp
--- a/ext/flopoco/src/IntAddition/BasicCompressor.hpp
+++ b/ext/flopoco/src/IntAddition/BasicCompressor.hpp
--- a/ext/flopoco/src/IntAddition/CarryGenerationCircuit.cpp
+++ b/ext/flopoco/src/IntAddition/CarryGenerationCircuit.cpp
--- a/ext/flopoco/src/IntAddition/CarryGenerationCircuit.hpp
+++ b/ext/flopoco/src/IntAddition/CarryGenerationCircuit.hpp
--- a/ext/flopoco/src/IntAddition/IntAdderAlternative.cpp
+++ b/ext/flopoco/src/IntAddition/IntAdderAlternative.cpp
--- a/ext/flopoco/src/IntAddition/IntAdderAlternative.hpp
+++ b/ext/flopoco/src/IntAddition/IntAdderAlternative.hpp
--- a/ext/flopoco/src/IntAddition/IntAdderClassical.cpp
+++ b/ext/flopoco/src/IntAddition/IntAdderClassical.cpp
--- a/ext/flopoco/src/IntAddition/IntAdderClassical.hpp
+++ b/ext/flopoco/src/IntAddition/IntAdderClassical.hpp
--- a/ext/flopoco/src/IntAddition/IntAdderShortLatency.cpp
+++ b/ext/flopoco/src/IntAddition/IntAdderShortLatency.cpp
--- a/ext/flopoco/src/IntAddition/IntAdderShortLatency.hpp
+++ b/ext/flopoco/src/IntAddition/IntAdderShortLatency.hpp
--- a/ext/flopoco/src/IntAddition/IntAdderSpecific.cpp
+++ b/ext/flopoco/src/IntAddition/IntAdderSpecific.cpp
--- a/ext/flopoco/src/IntAddition/IntAdderSpecific.hpp
+++ b/ext/flopoco/src/IntAddition/IntAdderSpecific.hpp
--- a/ext/flopoco/src/IntAddition/IntComparatorSpecific.cpp
+++ b/ext/flopoco/src/IntAddition/IntComparatorSpecific.cpp
--- a/ext/flopoco/src/IntAddition/IntComparatorSpecific.hpp
+++ b/ext/flopoco/src/IntAddition/IntComparatorSpecific.hpp
--- a/ext/flopoco/src/IntAddition/IntCompressorTree.cpp
+++ b/ext/flopoco/src/IntAddition/IntCompressorTree.cpp
--- a/ext/flopoco/src/IntAddition/IntCompressorTree.hpp
+++ b/ext/flopoco/src/IntAddition/IntCompressorTree.hpp
--- a/ext/flopoco/src/IntAddition/IntNAdder.cpp
+++ b/ext/flopoco/src/IntAddition/IntNAdder.cpp
--- a/ext/flopoco/src/IntAddition/IntNAdder.hpp
+++ b/ext/flopoco/src/IntAddition/IntNAdder.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen1.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen1.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen1.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen1.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen2.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen2.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen2.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderAddAddMuxGen2.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen1.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen1.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen1.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen1.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen2.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen2.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen2.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpAddIncGen2.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen1.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen1.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen1.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen1.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen2.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen2.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen2.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderCmpCmpAddGen2.hpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderMuxNetwork.cpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderMuxNetwork.cpp
--- a/ext/flopoco/src/IntAddition/LongIntAdderMuxNetwork.hpp
+++ b/ext/flopoco/src/IntAddition/LongIntAdderMuxNetwork.hpp
--- a/ext/flopoco/src/IntAddition/NewCompressorTree.cpp
+++ b/ext/flopoco/src/IntAddition/NewCompressorTree.cpp
--- a/ext/flopoco/src/IntAddition/NewCompressorTree.hpp
+++ b/ext/flopoco/src/IntAddition/NewCompressorTree.hpp
--- a/ext/flopoco/src/IntAddition/PopCount.cpp
+++ b/ext/flopoco/src/IntAddition/PopCount.cpp
--- a/ext/flopoco/src/IntAddition/PopCount.hpp
+++ b/ext/flopoco/src/IntAddition/PopCount.hpp
--- a/ext/flopoco/src/IntComparator.cpp
+++ b/ext/flopoco/src/IntComparator.cpp
--- a/ext/flopoco/src/IntComparator.hpp
+++ b/ext/flopoco/src/IntComparator.hpp
--- a/ext/flopoco/src/IntConstDiv.cpp
+++ b/ext/flopoco/src/IntConstDiv.cpp
--- a/ext/flopoco/src/IntConstDiv.hpp
+++ b/ext/flopoco/src/IntConstDiv.hpp
--- a/ext/flopoco/src/IntDualSub.cpp
+++ b/ext/flopoco/src/IntDualSub.cpp
--- a/ext/flopoco/src/IntDualSub.hpp
+++ b/ext/flopoco/src/IntDualSub.hpp
--- a/ext/flopoco/src/IntMultiAdder.cpp
+++ b/ext/flopoco/src/IntMultiAdder.cpp
--- a/ext/flopoco/src/IntMultiAdder.hpp
+++ b/ext/flopoco/src/IntMultiAdder.hpp
--- a/ext/flopoco/src/IntMultiplier.cpp
+++ b/ext/flopoco/src/IntMultiplier.cpp
--- a/ext/flopoco/src/IntMultiplier.hpp
+++ b/ext/flopoco/src/IntMultiplier.hpp
--- a/ext/flopoco/src/IntMultipliers/FixSinPoly.cpp
+++ b/ext/flopoco/src/IntMultipliers/FixSinPoly.cpp
--- a/ext/flopoco/src/IntMultipliers/FixSinPoly.hpp
+++ b/ext/flopoco/src/IntMultipliers/FixSinPoly.hpp
--- a/ext/flopoco/src/IntMultipliers/FixXPow3Div6.cpp
+++ b/ext/flopoco/src/IntMultipliers/FixXPow3Div6.cpp
--- a/ext/flopoco/src/IntMultipliers/FixXPow3Div6.hpp
+++ b/ext/flopoco/src/IntMultipliers/FixXPow3Div6.hpp
--- a/ext/flopoco/src/IntMultipliers/FormalBinaryProduct.cpp
+++ b/ext/flopoco/src/IntMultipliers/FormalBinaryProduct.cpp
--- a/ext/flopoco/src/IntMultipliers/FormalBinaryProduct.hpp
+++ b/ext/flopoco/src/IntMultipliers/FormalBinaryProduct.hpp
--- a/ext/flopoco/src/IntMultipliers/GenericBinaryPolynomial.cpp
+++ b/ext/flopoco/src/IntMultipliers/GenericBinaryPolynomial.cpp
--- a/ext/flopoco/src/IntMultipliers/GenericBinaryPolynomial.hpp
+++ b/ext/flopoco/src/IntMultipliers/GenericBinaryPolynomial.hpp
--- a/ext/flopoco/src/IntMultipliers/IntKaratsuba.cpp
+++ b/ext/flopoco/src/IntMultipliers/IntKaratsuba.cpp
--- a/ext/flopoco/src/IntMultipliers/IntKaratsuba.hpp
+++ b/ext/flopoco/src/IntMultipliers/IntKaratsuba.hpp
--- a/ext/flopoco/src/IntMultipliers/IntPower.cpp
+++ b/ext/flopoco/src/IntMultipliers/IntPower.cpp
--- a/ext/flopoco/src/IntMultipliers/IntPower.hpp
+++ b/ext/flopoco/src/IntMultipliers/IntPower.hpp
--- a/ext/flopoco/src/IntMultipliers/MultiplierBlock.cpp
+++ b/ext/flopoco/src/IntMultipliers/MultiplierBlock.cpp
--- a/ext/flopoco/src/IntMultipliers/MultiplierBlock.hpp
+++ b/ext/flopoco/src/IntMultipliers/MultiplierBlock.hpp
--- a/ext/flopoco/src/IntSquarer.cpp
+++ b/ext/flopoco/src/IntSquarer.cpp
--- a/ext/flopoco/src/IntSquarer.hpp
+++ b/ext/flopoco/src/IntSquarer.hpp
--- a/ext/flopoco/src/LNS/AtanPow.cpp
+++ b/ext/flopoco/src/LNS/AtanPow.cpp
--- a/ext/flopoco/src/LNS/AtanPow.hpp
+++ b/ext/flopoco/src/LNS/AtanPow.hpp
--- a/ext/flopoco/src/LNS/Cotran.cpp
+++ b/ext/flopoco/src/LNS/Cotran.cpp
--- a/ext/flopoco/src/LNS/Cotran.hpp
+++ b/ext/flopoco/src/LNS/Cotran.hpp
--- a/ext/flopoco/src/LNS/CotranHybrid.cpp
+++ b/ext/flopoco/src/LNS/CotranHybrid.cpp
--- a/ext/flopoco/src/LNS/CotranHybrid.hpp
+++ b/ext/flopoco/src/LNS/CotranHybrid.hpp
--- a/ext/flopoco/src/LNS/CotranTables.cpp
+++ b/ext/flopoco/src/LNS/CotranTables.cpp
--- a/ext/flopoco/src/LNS/CotranTables.hpp
+++ b/ext/flopoco/src/LNS/CotranTables.hpp
--- a/ext/flopoco/src/LNS/LNSAdd.cpp
+++ b/ext/flopoco/src/LNS/LNSAdd.cpp
--- a/ext/flopoco/src/LNS/LNSAdd.hpp
+++ b/ext/flopoco/src/LNS/LNSAdd.hpp
--- a/ext/flopoco/src/LNS/LNSAddSub.cpp
+++ b/ext/flopoco/src/LNS/LNSAddSub.cpp
--- a/ext/flopoco/src/LNS/LNSAddSub.hpp
+++ b/ext/flopoco/src/LNS/LNSAddSub.hpp
--- a/ext/flopoco/src/LNS/LNSDiv.cpp
+++ b/ext/flopoco/src/LNS/LNSDiv.cpp
--- a/ext/flopoco/src/LNS/LNSDiv.hpp
+++ b/ext/flopoco/src/LNS/LNSDiv.hpp
--- a/ext/flopoco/src/LNS/LNSMul.cpp
+++ b/ext/flopoco/src/LNS/LNSMul.cpp
--- a/ext/flopoco/src/LNS/LNSMul.hpp
+++ b/ext/flopoco/src/LNS/LNSMul.hpp
--- a/ext/flopoco/src/LNS/LNSSqrt.cpp
+++ b/ext/flopoco/src/LNS/LNSSqrt.cpp
--- a/ext/flopoco/src/LNS/LNSSqrt.hpp
+++ b/ext/flopoco/src/LNS/LNSSqrt.hpp
--- a/ext/flopoco/src/LNS/LogSinCos.cpp
+++ b/ext/flopoco/src/LNS/LogSinCos.cpp
--- a/ext/flopoco/src/LNS/LogSinCos.hpp
+++ b/ext/flopoco/src/LNS/LogSinCos.hpp
--- a/ext/flopoco/src/LZOC.cpp
+++ b/ext/flopoco/src/LZOC.cpp
--- a/ext/flopoco/src/LZOC.hpp
+++ b/ext/flopoco/src/LZOC.hpp
--- a/ext/flopoco/src/LZOCShifterSticky.cpp
+++ b/ext/flopoco/src/LZOCShifterSticky.cpp
--- a/ext/flopoco/src/LZOCShifterSticky.hpp
+++ b/ext/flopoco/src/LZOCShifterSticky.hpp
--- a/ext/flopoco/src/LexerContext.hpp
+++ b/ext/flopoco/src/LexerContext.hpp
--- a/ext/flopoco/src/LongAcc.cpp
+++ b/ext/flopoco/src/LongAcc.cpp
--- a/ext/flopoco/src/LongAcc.hpp
+++ b/ext/flopoco/src/LongAcc.hpp
--- a/ext/flopoco/src/LongAcc2FP.cpp
+++ b/ext/flopoco/src/LongAcc2FP.cpp
--- a/ext/flopoco/src/LongAcc2FP.hpp
+++ b/ext/flopoco/src/LongAcc2FP.hpp
--- a/ext/flopoco/src/Makefile.am
+++ b/ext/flopoco/src/Makefile.am
--- a/ext/flopoco/src/Operator.cpp
+++ b/ext/flopoco/src/Operator.cpp
--- a/ext/flopoco/src/Operator.hpp
+++ b/ext/flopoco/src/Operator.hpp
--- a/ext/flopoco/src/OutputIEEE.cpp
+++ b/ext/flopoco/src/OutputIEEE.cpp
--- a/ext/flopoco/src/OutputIEEE.hpp
+++ b/ext/flopoco/src/OutputIEEE.hpp
--- a/ext/flopoco/src/Plotter.cpp
+++ b/ext/flopoco/src/Plotter.cpp
--- a/ext/flopoco/src/Plotter.hpp
+++ b/ext/flopoco/src/Plotter.hpp
--- a/ext/flopoco/src/Shifters.cpp
+++ b/ext/flopoco/src/Shifters.cpp
--- a/ext/flopoco/src/Shifters.hpp
+++ b/ext/flopoco/src/Shifters.hpp
--- a/ext/flopoco/src/Signal.cpp
+++ b/ext/flopoco/src/Signal.cpp
--- a/ext/flopoco/src/Signal.hpp
+++ b/ext/flopoco/src/Signal.hpp
--- a/ext/flopoco/src/Table.cpp
+++ b/ext/flopoco/src/Table.cpp
--- a/ext/flopoco/src/Table.hpp
+++ b/ext/flopoco/src/Table.hpp
--- a/ext/flopoco/src/Target.cpp
+++ b/ext/flopoco/src/Target.cpp
--- a/ext/flopoco/src/Target.hpp
+++ b/ext/flopoco/src/Target.hpp
--- a/ext/flopoco/src/Targets/CycloneII.cpp
+++ b/ext/flopoco/src/Targets/CycloneII.cpp
--- a/ext/flopoco/src/Targets/CycloneII.hpp
+++ b/ext/flopoco/src/Targets/CycloneII.hpp
--- a/ext/flopoco/src/Targets/CycloneIII.cpp
+++ b/ext/flopoco/src/Targets/CycloneIII.cpp
--- a/ext/flopoco/src/Targets/CycloneIII.hpp
+++ b/ext/flopoco/src/Targets/CycloneIII.hpp
--- a/ext/flopoco/src/Targets/CycloneIV.cpp
+++ b/ext/flopoco/src/Targets/CycloneIV.cpp
--- a/ext/flopoco/src/Targets/CycloneIV.hpp
+++ b/ext/flopoco/src/Targets/CycloneIV.hpp
--- a/ext/flopoco/src/Targets/CycloneV.cpp
+++ b/ext/flopoco/src/Targets/CycloneV.cpp
--- a/ext/flopoco/src/Targets/CycloneV.hpp
+++ b/ext/flopoco/src/Targets/CycloneV.hpp
--- a/ext/flopoco/src/Targets/DSP.cpp
+++ b/ext/flopoco/src/Targets/DSP.cpp
--- a/ext/flopoco/src/Targets/DSP.hpp
+++ b/ext/flopoco/src/Targets/DSP.hpp
--- a/ext/flopoco/src/Targets/Spartan3.cpp
+++ b/ext/flopoco/src/Targets/Spartan3.cpp
--- a/ext/flopoco/src/Targets/Spartan3.hpp
+++ b/ext/flopoco/src/Targets/Spartan3.hpp
--- a/ext/flopoco/src/Targets/StratixII.cpp
+++ b/ext/flopoco/src/Targets/StratixII.cpp
--- a/ext/flopoco/src/Targets/StratixII.hpp
+++ b/ext/flopoco/src/Targets/StratixII.hpp
--- a/ext/flopoco/src/Targets/StratixIII.cpp
+++ b/ext/flopoco/src/Targets/StratixIII.cpp
--- a/ext/flopoco/src/Targets/StratixIII.hpp
+++ b/ext/flopoco/src/Targets/StratixIII.hpp
--- a/ext/flopoco/src/Targets/StratixIV.cpp
+++ b/ext/flopoco/src/Targets/StratixIV.cpp
--- a/ext/flopoco/src/Targets/StratixIV.hpp
+++ b/ext/flopoco/src/Targets/StratixIV.hpp
--- a/ext/flopoco/src/Targets/StratixV.cpp
+++ b/ext/flopoco/src/Targets/StratixV.cpp
--- a/ext/flopoco/src/Targets/StratixV.hpp
+++ b/ext/flopoco/src/Targets/StratixV.hpp
--- a/ext/flopoco/src/Targets/Virtex4.cpp
+++ b/ext/flopoco/src/Targets/Virtex4.cpp
--- a/ext/flopoco/src/Targets/Virtex4.hpp
+++ b/ext/flopoco/src/Targets/Virtex4.hpp
--- a/ext/flopoco/src/Targets/Virtex5.cpp
+++ b/ext/flopoco/src/Targets/Virtex5.cpp
--- a/ext/flopoco/src/Targets/Virtex5.hpp
+++ b/ext/flopoco/src/Targets/Virtex5.hpp
--- a/ext/flopoco/src/Targets/Virtex6.cpp
+++ b/ext/flopoco/src/Targets/Virtex6.cpp
--- a/ext/flopoco/src/Targets/Virtex6.hpp
+++ b/ext/flopoco/src/Targets/Virtex6.hpp
--- a/ext/flopoco/src/TestBench.cpp
+++ b/ext/flopoco/src/TestBench.cpp
--- a/ext/flopoco/src/TestBench.hpp
+++ b/ext/flopoco/src/TestBench.hpp
--- a/ext/flopoco/src/TestCase.cpp
+++ b/ext/flopoco/src/TestCase.cpp
--- a/ext/flopoco/src/TestCase.hpp
+++ b/ext/flopoco/src/TestCase.hpp
--- a/ext/flopoco/src/Tools/FloorplanningHelper.cpp
+++ b/ext/flopoco/src/Tools/FloorplanningHelper.cpp
--- a/ext/flopoco/src/Tools/FloorplanningHelper.hpp
+++ b/ext/flopoco/src/Tools/FloorplanningHelper.hpp
--- a/ext/flopoco/src/Tools/ResourceEstimationHelper.cpp
+++ b/ext/flopoco/src/Tools/ResourceEstimationHelper.cpp
--- a/ext/flopoco/src/Tools/ResourceEstimationHelper.hpp
+++ b/ext/flopoco/src/Tools/ResourceEstimationHelper.hpp
--- a/ext/flopoco/src/Tools/bin2fp.cpp
+++ b/ext/flopoco/src/Tools/bin2fp.cpp
--- a/ext/flopoco/src/Tools/fp2bin.cpp
+++ b/ext/flopoco/src/Tools/fp2bin.cpp
--- a/ext/flopoco/src/Tools/longacc2fp.cpp
+++ b/ext/flopoco/src/Tools/longacc2fp.cpp
--- a/ext/flopoco/src/UserDefinedOperator.cpp
+++ b/ext/flopoco/src/UserDefinedOperator.cpp
--- a/ext/flopoco/src/UserDefinedOperator.hpp
+++ b/ext/flopoco/src/UserDefinedOperator.hpp
--- a/ext/flopoco/src/UtilSollya.cc
+++ b/ext/flopoco/src/UtilSollya.cc
--- a/ext/flopoco/src/UtilSollya.hh
+++ b/ext/flopoco/src/UtilSollya.hh
--- a/ext/flopoco/src/VHDLLexer.cpp
+++ b/ext/flopoco/src/VHDLLexer.cpp
--- a/ext/flopoco/src/VHDLLexerRule.l
+++ b/ext/flopoco/src/VHDLLexerRule.l
--- a/ext/flopoco/src/WeightedBit.cpp
+++ b/ext/flopoco/src/WeightedBit.cpp
--- a/ext/flopoco/src/WeightedBit.hpp
+++ b/ext/flopoco/src/WeightedBit.hpp
--- a/ext/flopoco/src/Wrapper.cpp
+++ b/ext/flopoco/src/Wrapper.cpp
--- a/ext/flopoco/src/Wrapper.hpp
+++ b/ext/flopoco/src/Wrapper.hpp
--- a/ext/flopoco/src/apps/Collision.cpp
+++ b/ext/flopoco/src/apps/Collision.cpp
--- a/ext/flopoco/src/apps/Collision.hpp
+++ b/ext/flopoco/src/apps/Collision.hpp
--- a/ext/flopoco/src/apps/FPFMAcc.cpp
+++ b/ext/flopoco/src/apps/FPFMAcc.cpp
--- a/ext/flopoco/src/apps/FPFMAcc.hpp
+++ b/ext/flopoco/src/apps/FPFMAcc.hpp
--- a/ext/flopoco/src/apps/FPJacobi.cpp
+++ b/ext/flopoco/src/apps/FPJacobi.cpp
--- a/ext/flopoco/src/apps/FPJacobi.hpp
+++ b/ext/flopoco/src/apps/FPJacobi.hpp
--- a/ext/flopoco/src/main.cpp
+++ b/ext/flopoco/src/main.cpp
--- a/ext/flopoco/src/main_minimal.cpp
+++ b/ext/flopoco/src/main_minimal.cpp
--- a/ext/flopoco/src/random/random_main.cpp
+++ b/ext/flopoco/src/random/random_main.cpp
--- a/ext/flopoco/src/random/urng/LutSrRng.cpp
+++ b/ext/flopoco/src/random/urng/LutSrRng.cpp
--- a/ext/flopoco/src/random/urng/LutSrRng.hpp
+++ b/ext/flopoco/src/random/urng/LutSrRng.hpp
--- a/ext/flopoco/src/sollya.h
+++ b/ext/flopoco/src/sollya.h
--- a/ext/flopoco/src/squareroot/PolynomialTable.cpp
+++ b/ext/flopoco/src/squareroot/PolynomialTable.cpp
--- a/ext/flopoco/src/squareroot/PolynomialTable.hpp
+++ b/ext/flopoco/src/squareroot/PolynomialTable.hpp
--- a/ext/flopoco/src/squareroot/PolynomialTableCorrectRounded.cpp
+++ b/ext/flopoco/src/squareroot/PolynomialTableCorrectRounded.cpp
--- a/ext/flopoco/src/squareroot/PolynomialTableCorrectRounded.hpp
+++ b/ext/flopoco/src/squareroot/PolynomialTableCorrectRounded.hpp
--- a/ext/flopoco/src/utils.cpp
+++ b/ext/flopoco/src/utils.cpp
--- a/ext/flopoco/src/utils.hpp
+++ b/ext/flopoco/src/utils.hpp
--- a/ext/libfplll-4.0.3/configure
+++ b/ext/libfplll-4.0.3/configure
--- a/ext/sollya/configure
+++ b/ext/sollya/configure