https://github.com/ibex-team/ibex-lib
Tip revision: 3ff4d26eb02b6364dddebabf8069df2f8ed2b354 authored by Gilles Chabert on 20 January 2015, 22:18:00 UTC
Restoring qinter2
Restoring qinter2
Tip revision: 3ff4d26
File | Mode | Size |
---|---|---|
quimper | ||
ExFunction.cpp | -rw-r--r-- | 2.3 KB |
ExFunction.h | -rw-r--r-- | 935 bytes |
Ponts30.cpp | -rw-r--r-- | 23.4 KB |
Ponts30.h | -rw-r--r-- | 946 bytes |
TestAffine2.cpp | -rw-r--r-- | 32.6 KB |
TestAffine2.h | -rw-r--r-- | 1.7 KB |
TestArith.cpp | -rw-r--r-- | 35.1 KB |
TestArith.h | -rw-r--r-- | 14.7 KB |
TestBitSet.cpp | -rw-r--r-- | 3.0 KB |
TestBitSet.h | -rw-r--r-- | 1.4 KB |
TestCtcExist.cpp | -rw-r--r-- | 1.5 KB |
TestCtcExist.h | -rw-r--r-- | 1000 bytes |
TestCtcForAll.cpp | -rw-r--r-- | 1.7 KB |
TestCtcForAll.h | -rw-r--r-- | 821 bytes |
TestCtcFwdBwd.cpp | -rw-r--r-- | 754 bytes |
TestCtcFwdBwd.h | -rw-r--r-- | 739 bytes |
TestCtcHC4.cpp | -rw-r--r-- | 1.4 KB |
TestCtcHC4.h | -rw-r--r-- | 732 bytes |
TestCtcInteger.cpp | -rw-r--r-- | 1.2 KB |
TestCtcInteger.h | -rw-r--r-- | 1018 bytes |
TestCtcNotIn.cpp | -rw-r--r-- | 1.2 KB |
TestCtcNotIn.h | -rw-r--r-- | 1.1 KB |
TestCtcPixelMap.cpp | -rw-r--r-- | 7.7 KB |
TestCtcPixelMap.h | -rw-r--r-- | 1.7 KB |
TestCtcPolytopeHull.cpp | -rw-r--r-- | 1.7 KB |
TestCtcPolytopeHull.h | -rw-r--r-- | 883 bytes |
TestCtcSegment.cpp | -rw-r--r-- | 2.3 KB |
TestCtcSegment.h | -rw-r--r-- | 1.3 KB |
TestDim.cpp | -rw-r--r-- | 2.0 KB |
TestDim.h | -rw-r--r-- | 929 bytes |
TestDomain.cpp | -rw-r--r-- | 5.4 KB |
TestDomain.h | -rw-r--r-- | 1.0 KB |
TestEval.cpp | -rw-r--r-- | 7.3 KB |
TestEval.h | -rw-r--r-- | 1.3 KB |
TestExpr.cpp | -rw-r--r-- | 14.3 KB |
TestExpr.h | -rw-r--r-- | 2.2 KB |
TestExprCopy.cpp | -rw-r--r-- | 1.1 KB |
TestExprCopy.h | -rw-r--r-- | 876 bytes |
TestExprDiff.cpp | -rw-r--r-- | 6.1 KB |
TestExprDiff.h | -rw-r--r-- | 2.0 KB |
TestExprSplitOcc.cpp | -rw-r--r-- | 5.6 KB |
TestExprSplitOcc.h | -rw-r--r-- | 1.4 KB |
TestFritzJohn.cpp | -rw-r--r-- | 1.9 KB |
TestFritzJohn.h | -rw-r--r-- | 821 bytes |
TestFunction.cpp | -rw-r--r-- | 5.5 KB |
TestFunction.h | -rw-r--r-- | 1.7 KB |
TestGradient.cpp | -rw-r--r-- | 29.0 KB |
TestGradient.h | -rw-r--r-- | 1.6 KB |
TestHC4Revise.cpp | -rw-r--r-- | 3.0 KB |
TestHC4Revise.h | -rw-r--r-- | 1.2 KB |
TestInHC4Revise.cpp | -rw-r--r-- | 4.4 KB |
TestInHC4Revise.h | -rw-r--r-- | 1.3 KB |
TestInnerArith.cpp | -rw-r--r-- | 17.1 KB |
TestInnerArith.h | -rw-r--r-- | 9.7 KB |
TestInterval.cpp | -rw-r--r-- | 17.7 KB |
TestInterval.h | -rw-r--r-- | 9.5 KB |
TestIntervalMatrix.cpp | -rw-r--r-- | 9.2 KB |
TestIntervalMatrix.h | -rw-r--r-- | 4.1 KB |
TestIntervalVector.cpp | -rw-r--r-- | 17.3 KB |
TestIntervalVector.h | -rw-r--r-- | 6.8 KB |
TestLinear.cpp | -rw-r--r-- | 2.7 KB |
TestLinear.h | -rw-r--r-- | 1.2 KB |
TestNewton.cpp | -rw-r--r-- | 4.2 KB |
TestNewton.h | -rw-r--r-- | 838 bytes |
TestNumConstraint.cpp | -rw-r--r-- | 2.0 KB |
TestNumConstraint.h | -rw-r--r-- | 1.1 KB |
TestOptimizer.cpp | -rw-r--r-- | 1.4 KB |
TestOptimizer.h | -rw-r--r-- | 1.4 KB |
TestParser.cpp | -rw-r--r-- | 7.7 KB |
TestParser.h | -rw-r--r-- | 1.5 KB |
TestPdcHansenFeasibility.cpp | -rw-r--r-- | 1.1 KB |
TestPdcHansenFeasibility.h | -rw-r--r-- | 883 bytes |
TestPixelMap.cpp | -rw-r--r-- | 4.0 KB |
TestPixelMap.h | -rw-r--r-- | 734 bytes |
TestSepPolygon.cpp | -rw-r--r-- | 2.4 KB |
TestSepPolygon.h | -rw-r--r-- | 1.2 KB |
TestSeparator.cpp | -rw-r--r-- | 2.3 KB |
TestSeparator.h | -rw-r--r-- | 1.3 KB |
TestSetInterval.cpp | -rw-r--r-- | 878 bytes |
TestSetInterval.h | -rw-r--r-- | 739 bytes |
TestString.cpp | -rw-r--r-- | 940 bytes |
TestString.h | -rw-r--r-- | 866 bytes |
TestSymbolMap.cpp | -rw-r--r-- | 1.5 KB |
TestSymbolMap.h | -rw-r--r-- | 896 bytes |
TestSystem.cpp | -rw-r--r-- | 9.6 KB |
TestSystem.h | -rw-r--r-- | 1.5 KB |
TestUnconstrainedLocalSearch.cpp | -rw-r--r-- | 1.7 KB |
TestUnconstrainedLocalSearch.h | -rw-r--r-- | 905 bytes |
makefile | -rw-r--r-- | 685 bytes |
nonreg-bertrand-soplex-gaol.res | -rw-r--r-- | 259 bytes |
nonreg-travis-soplex-filib.res | -rw-r--r-- | 311 bytes |
nonreg.cpp | -rw-r--r-- | 4.8 KB |
nonreg.dat | -rw-r--r-- | 3.0 KB |
utest.cpp | -rw-r--r-- | 4.5 KB |
utest.h | -rw-r--r-- | 598 bytes |
utils.cpp | -rw-r--r-- | 3.4 KB |
utils.h | -rw-r--r-- | 1.2 KB |