https://github.com/ibex-team/ibex-lib
Tip revision: baa3a94b2765b71dd8cdb809b105b13fa0172dbe authored by Gilles Chabert on 27 August 2015, 11:13:04 UTC
Fix issue #127
Fix issue #127
Tip revision: baa3a94
| 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 |
| TestAffine.h | -rw-r--r-- | 6.0 KB |
| TestAffine.h_ | -rw-r--r-- | 19.1 KB |
| TestAffine2.h | -rw-r--r-- | 1.8 KB |
| TestAffine2.h_ | -rw-r--r-- | 32.9 KB |
| TestArith.cpp | -rw-r--r-- | 41.6 KB |
| TestArith.h | -rw-r--r-- | 17.0 KB |
| TestBitSet.cpp | -rw-r--r-- | 3.0 KB |
| TestBitSet.h | -rw-r--r-- | 1.4 KB |
| TestCellHeap.cpp | -rw-r--r-- | 6.0 KB |
| TestCellHeap.h | -rw-r--r-- | 1.3 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-- | 1.0 KB |
| TestCtcFwdBwd.h | -rw-r--r-- | 807 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.8 KB |
| TestCtcNotIn.h | -rw-r--r-- | 1.3 KB |
| TestCtcPixelMap.cpp | -rw-r--r-- | 7.9 KB |
| TestCtcPixelMap.h | -rw-r--r-- | 1.7 KB |
| TestCtcPolytopeHull.cpp | -rw-r--r-- | 1.8 KB |
| TestCtcPolytopeHull.h | -rw-r--r-- | 883 bytes |
| TestCtcQInter.cpp | -rw-r--r-- | 1.2 KB |
| TestCtcQInter.h | -rw-r--r-- | 798 bytes |
| TestCtcSegment.cpp | -rw-r--r-- | 2.2 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.5 KB |
| TestDomain.h | -rw-r--r-- | 1.0 KB |
| TestDoubleHeap.cpp | -rw-r--r-- | 3.4 KB |
| TestDoubleHeap.h | -rw-r--r-- | 917 bytes |
| TestEval.cpp | -rw-r--r-- | 7.8 KB |
| TestEval.h | -rw-r--r-- | 1.3 KB |
| TestExpr.cpp | -rw-r--r-- | 15.9 KB |
| TestExpr.h | -rw-r--r-- | 2.5 KB |
| TestExpr2DAG.cpp | -rw-r--r-- | 1.5 KB |
| TestExpr2DAG.h | -rw-r--r-- | 879 bytes |
| TestExprCmp.cpp | -rw-r--r-- | 1.5 KB |
| TestExprCmp.h | -rw-r--r-- | 916 bytes |
| TestExprCopy.cpp | -rw-r--r-- | 1.1 KB |
| TestExprCopy.h | -rw-r--r-- | 876 bytes |
| TestExprDiff.cpp | -rw-r--r-- | 6.8 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.8 KB |
| TestGradient.h | -rw-r--r-- | 1.6 KB |
| TestHC4Revise.cpp | -rw-r--r-- | 3.1 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-- | 20.8 KB |
| TestInnerArith.h | -rw-r--r-- | 10.9 KB |
| TestInterval.cpp | -rw-r--r-- | 18.3 KB |
| TestInterval.h | -rw-r--r-- | 9.8 KB |
| TestIntervalMatrix.cpp | -rw-r--r-- | 9.2 KB |
| TestIntervalMatrix.h | -rw-r--r-- | 4.1 KB |
| TestIntervalVector.cpp | -rw-r--r-- | 17.5 KB |
| TestIntervalVector.h | -rw-r--r-- | 6.9 KB |
| TestLinear.cpp | -rw-r--r-- | 2.7 KB |
| TestLinear.h | -rw-r--r-- | 1.2 KB |
| TestNewton.cpp | -rw-r--r-- | 4.1 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-- | 8.0 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 |
| TestQInter.cpp | -rw-r--r-- | 3.0 KB |
| TestQInter.h | -rw-r--r-- | 916 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 |
| TestSet.cpp | -rw-r--r-- | 9.6 KB |
| TestSet.h | -rw-r--r-- | 1.3 KB |
| 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-- | 1.2 KB |
| nonreg-bertrand-soplex-gaol.res | -rw-r--r-- | 259 bytes |
| nonreg-travis-soplex-filib.res | -rw-r--r-- | 309 bytes |
| nonreg.cpp | -rw-r--r-- | 5.6 KB |
| nonreg.dat | -rw-r--r-- | 3.0 KB |
| utest.cpp | -rw-r--r-- | 5.2 KB |
| utest.h | -rw-r--r-- | 598 bytes |
| utils.cpp | -rw-r--r-- | 3.4 KB |
| utils.h | -rw-r--r-- | 1.2 KB |
