d8475ac | Gilles Chabert | 27 August 2013, 08:10:09 UTC | Creating release 2.0.8 | 27 August 2013, 08:10:09 UTC |
c44580c | Bertrand Neveu | 21 August 2013, 15:22:45 UTC | updating solver.h for documention | 21 August 2013, 15:22:45 UTC |
73e137d | Bertrand Neveu | 21 August 2013, 10:26:54 UTC | update of optimizer04 and solver04 | 21 August 2013, 10:26:54 UTC |
5d4a4f0 | Bertrand Neveu | 21 August 2013, 10:01:16 UTC | exit of simplex call loop in case of MAX_ITER (efficiency reason) | 21 August 2013, 10:01:16 UTC |
0ea6c68 | Jordan Ninin | 05 August 2013, 09:54:17 UTC | ibex_filib_Interval: add atan2 based on ibex_bias_interval Affine2 : cosmetic changes | 05 August 2013, 09:54:17 UTC |
70013ad | Gilles Chabert | 26 July 2013, 07:37:09 UTC | Update doxyfile | 26 July 2013, 07:37:09 UTC |
5be7e31 | Gilles Chabert | 26 July 2013, 07:36:34 UTC | Doc: uploading some files | 26 July 2013, 07:36:34 UTC |
f7a1da4 | Gilles Chabert | 26 July 2013, 07:26:46 UTC | SetImage: add constructor with a function + box TestCtcSubBox: removed P_Expr: minor comment update | 26 July 2013, 07:26:46 UTC |
1cd6586 | Jordan Ninin | 25 July 2013, 10:34:59 UTC | Now 5 versions of Affine arithmetic is avalaible. The best one is fAF2 and it is activate by default. By Default, CtcLR mode COMPO is activated. | 25 July 2013, 10:34:59 UTC |
4a85d71 | Jordan Ninin | 24 July 2013, 14:31:25 UTC | ibex_CtcART.cpp : find and correect a BIG bug ibex_Affine2* : change the rounding mode strategy | 24 July 2013, 14:31:25 UTC |
c9ca1c9 | Gilles Chabert | 24 July 2013, 13:16:07 UTC | ExprDiff: replace ExprVector for cleaning by NodeMap (because the leaves' gradients may be of heterogenous dimensions) | 24 July 2013, 13:16:07 UTC |
7437322 | Gilles Chabert | 23 July 2013, 14:26:11 UTC | ExtendedSystem: no more original_goal | 23 July 2013, 14:26:11 UTC |
8c18891 | Gilles Chabert | 23 July 2013, 14:22:17 UTC | Xnewton: optimization attempt (using symbolic partial derivatives instead of num gradient) | 23 July 2013, 14:22:17 UTC |
3903a53 | Bertrand Neveu | 23 July 2013, 14:19:28 UTC | LEQ for objective in Xnewton | 23 July 2013, 14:19:28 UTC |
d9c8471 | Gilles Chabert | 23 July 2013, 12:02:12 UTC | Simplify XNewton by replacing the goal_ctr y-f(x)=0 by f(x)-y=0. | 23 July 2013, 12:02:12 UTC |
c09ecd4 | Jordan Ninin | 22 July 2013, 13:41:59 UTC | minor bug | 22 July 2013, 13:41:59 UTC |
c675e7d | Jordan Ninin | 17 July 2013, 16:37:48 UTC | Correct Bug in the power Now "I5.bch" work but "BroydenBanded-100.bch" loses the solution....... | 17 July 2013, 16:37:48 UTC |
0651c77 | Jordan Ninin | 17 July 2013, 12:04:57 UTC | New Linear Solver Interface. Now IBEX can be use with CPLEX. Use --with-cplex in place of --with-soplex | 17 July 2013, 12:04:57 UTC |
99b2edc | Gilles Chabert | 16 July 2013, 15:23:34 UTC | Comments update for doxygen | 16 July 2013, 15:23:34 UTC |
4dbb8a8 | Gilles Chabert | 15 July 2013, 13:16:06 UTC | Doc update | 15 July 2013, 13:16:06 UTC |
2d94995 | Gilles Chabert | 15 July 2013, 13:13:06 UTC | Add SLAM example | 15 July 2013, 13:13:06 UTC |
7edb0b7 | Jordan Ninin | 11 July 2013, 16:11:48 UTC | small correction in CtcLinearRelaxationIter::NeumaierShcherbina_infeasibilitytest and LinearSolver::getB | 11 July 2013, 16:11:48 UTC |
b153ef2 | Jordan Ninin | 11 July 2013, 13:51:00 UTC | Intruduice a limit of the minimum diam of a box to apply the linearization technique. The default value is 1.e-12 | 11 July 2013, 13:51:00 UTC |
8abdc91 | Jordan Ninin | 10 July 2013, 14:45:49 UTC | small bug in CtcLinearRelaxationIter | 10 July 2013, 14:45:49 UTC |
9d52e43 | Bertrand Neveu | 10 July 2013, 13:07:40 UTC | code simplication in XNewton | 10 July 2013, 13:07:40 UTC |
c4554a3 | Jordan Ninin | 10 July 2013, 12:43:39 UTC | correct the bug in the last change of XNewton | 10 July 2013, 12:43:39 UTC |
729ae7d | Bertrand Neveu | 09 July 2013, 09:55:54 UTC | bug correction in ctc_mode ONLY_Y in CtcLinearRelaxationIter | 09 July 2013, 09:55:54 UTC |
746e707 | Bertrand Neveu | 09 July 2013, 07:59:50 UTC | extended system reused in the examples | 09 July 2013, 07:59:50 UTC |
fc720f9 | Jordan Ninin | 08 July 2013, 13:15:35 UTC | Simplify the generation of CtcLR without create several "LinearSolver" objects | 08 July 2013, 13:15:35 UTC |
de8ba08 | Jordan Ninin | 08 July 2013, 12:20:19 UTC | Correction small bug in CtcART In Affine2: correct the size of "val" in "operator=" In optimizerxx, remove "EXTEND" | 08 July 2013, 12:20:19 UTC |
7c681e5 | Gilles Chabert | 03 July 2013, 15:33:23 UTC | ExtendedSystem: initialization of original_goal | 03 July 2013, 15:33:23 UTC |
be2035b | Gilles Chabert | 03 July 2013, 14:28:00 UTC | XNewton: in X_Linearization when ctr=goal_ctr, the call to backward is replaced by original_goal.eval to avoid EmptyBoxException (ex:ex6_2_9.bch) | 03 July 2013, 14:28:00 UTC |
ecb6c5f | Gilles Chabert | 03 July 2013, 07:16:01 UTC | LinearRelaxationIter: fix bug in constructor: nb_var --> sys.nb_var Agenda: add operator<< | 03 July 2013, 07:16:01 UTC |
81ce1e0 | Gilles Chabert | 02 July 2013, 07:29:29 UTC | System, DefaultOptimizer, Optimizer, SytemExtend_: Replace EXTEND mode by the class ExtendedSystem Function FunctionBuild: comment field id2info (useless) CtcArt CtcLinearRelaxationIter CtcLR CtcXNewton: cleanup. | 02 July 2013, 07:29:29 UTC |
403db92 | Gilles Chabert | 26 June 2013, 14:49:00 UTC | JNI interface contract: Discard negation in case of equality constraint (replaced by CtcIdentity) | 26 June 2013, 14:49:00 UTC |
0c8d7d0 | Gilles Chabert | 26 June 2013, 13:27:50 UTC | Ctc: initialization of _output_flags to NULL in constructor | 26 June 2013, 13:27:50 UTC |
f254e44 | Jordan Ninin | 25 June 2013, 13:58:08 UTC | I forgot this files | 25 June 2013, 13:58:08 UTC |
e2d61c1 | Jordan Ninin | 25 June 2013, 13:55:55 UTC | Change the architecture of the linear relaxation technique. Now, each technique is abstract of CtcLinearRelaxationIter it implements only "linearization" ex: CtcLR ctclr(sys, CtcLR::ALL_BOX,CtcLR::COMPO); CtcLinearRelaxation ca(ctclr, hc4); | 25 June 2013, 13:55:55 UTC |
048fdd6 | Bertrand Neveu | 24 June 2013, 09:40:08 UTC | minor modif in time limit messages | 24 June 2013, 09:40:08 UTC |
74ac8ce | Gilles Chabert | 23 June 2013, 09:43:05 UTC | Solver: return after NoBisectableVariableException | 23 June 2013, 09:43:05 UTC |
5e76525 | Gilles Chabert | 20 June 2013, 10:51:54 UTC | Add examples of the documentation | 20 June 2013, 10:51:54 UTC |
43df7e4 | Gilles Chabert | 20 June 2013, 10:50:44 UTC | Doc update | 20 June 2013, 10:50:44 UTC |
b99dee7 | Gilles Chabert | 12 June 2013, 08:45:13 UTC | Restore optimizer04 from branches/linsolve | 12 June 2013, 08:45:13 UTC |
07f5c35 | Gilles Chabert | 12 June 2013, 08:31:06 UTC | Merge branches/linsolve back into trunk | 12 June 2013, 08:31:06 UTC |
f0eab58 | Gilles Chabert | 11 June 2013, 16:38:45 UTC | Removing impact in Compo | 11 June 2013, 16:38:45 UTC |
462519c | Gilles Chabert | 10 June 2013, 15:23:55 UTC | Ctc: changing input / output masks by pointers that may be NULL for saving memory | 10 June 2013, 15:23:55 UTC |
a71dc3e | Gilles Chabert | 10 June 2013, 13:15:35 UTC | Expr: add operator= for Variable (for constraints like x=y) CtcSubBox: removed CtcInverse: add | 10 June 2013, 13:15:35 UTC |
1652309 | Gilles Chabert | 10 June 2013, 12:29:35 UTC | Add SystemMerge.cpp_ | 10 June 2013, 12:29:35 UTC |
af69ed1 | Gilles Chabert | 09 June 2013, 20:17:12 UTC | SystemCopy System: add INEQ mode SystemNormalize: accept equalities now | 09 June 2013, 20:17:12 UTC |
ba231f6 | Gilles Chabert | 09 June 2013, 19:51:51 UTC | SystemMerge System: add system merge ParseSource: fix memory leak for goal Extend & Normalize: add enclosing anonymous namespace | 09 June 2013, 19:51:51 UTC |
a389ac5 | Gilles Chabert | 04 June 2013, 14:31:19 UTC | wscript: patch for linking with JNI under windows (Borland convention for DLL) | 04 June 2013, 14:31:19 UTC |
6f825ac | Gilles Chabert | 31 May 2013, 09:34:16 UTC | SubNodes: extended for several expressions Expr: cleanup: idem Diff: fix bugs on "leaves" with no associated grad and on matrix nodes. FritzJohnCond FritzJohnFactory: add | 31 May 2013, 09:34:16 UTC |
b5a10e3 | Gilles Chabert | 30 May 2013, 10:26:35 UTC | Updating tests wrt ExprSubNodes and new system factories | 30 May 2013, 10:26:35 UTC |
42b679d | Gilles Chabert | 30 May 2013, 10:25:10 UTC | ExprCopy: add varequals | 30 May 2013, 10:25:10 UTC |
a4f2453 | Gilles Chabert | 30 May 2013, 10:20:24 UTC | Creating package system with factories for COPY/EXTEND/NORMALIZE modes | 30 May 2013, 10:20:24 UTC |
f5f4ff5 | Gilles Chabert | 30 May 2013, 09:20:47 UTC | Nodes->ExprSubNodes removing "BuildVectorOfNodes" in FunctionBuild.cpp_, replaced by a ExprSubNodes object. | 30 May 2013, 09:20:47 UTC |
388ae45 | Gilles Chabert | 29 May 2013, 15:35:05 UTC | (removing) | 29 May 2013, 15:35:05 UTC |
bef1e0d | Gilles Chabert | 29 May 2013, 15:17:33 UTC | Renaming ibex_ExprNodes.h/cpp -> ibex_ExprSubNodes.h/cpp | 29 May 2013, 15:17:33 UTC |
ea6bfcb | Gilles Chabert | 29 May 2013, 15:06:24 UTC | Nodes: introduction of a more deterministic sorting technique for nodes: using the "id" was giving sometimes a different order between two equivalent expressions (that is, with exactly the same DAGs). We use now DFS. | 29 May 2013, 15:06:24 UTC |
ebfcb65 | Gilles Chabert | 27 May 2013, 11:02:48 UTC | Fix bug Ctc set_flag | 27 May 2013, 11:02:48 UTC |
449ec45 | Gilles Chabert | 27 May 2013, 06:28:46 UTC | Ctc CtcPropag CtcFwdBwd: Add output flags (INACTIVE+FIXPOINT) HC4Revise: proj return true the box is inner (INACTIVE set to true) | 27 May 2013, 06:28:46 UTC |
d91dc51 | Gilles Chabert | 23 May 2013, 06:22:25 UTC | Ctc: remove everything concerning Cell & backtrackable data and indempotent(). Add output flags instead. CtcCompo: remove impact management (semed wrong) CtcPropag: call to indempotent() replaced by "flags[FIXPOINT]" tutorial: tags for doxygen -> see tutorial.h Multipliers: in constructor, size is explicitly given in terms of with m,k,r EntailedCtr: display operator | 23 May 2013, 06:22:25 UTC |
4035b37 | Gilles Chabert | 17 May 2013, 13:14:14 UTC | tutorial doxygenized | 17 May 2013, 13:14:14 UTC |
c110abc | Gilles Chabert | 14 May 2013, 15:57:08 UTC | ExprDiff: Implementation of differentiation for expression with vector/matrix symbols | 14 May 2013, 15:57:08 UTC |
ed7c544 | Bertrand Neveu | 07 May 2013, 14:23:29 UTC | bug correction in ibex_OptimSimplex.cpp_ | 07 May 2013, 14:23:29 UTC |
9f991c5 | Gilles Chabert | 07 May 2013, 11:00:30 UTC | FritzJohn: refactoring + introduction of equality constraints + Newton | 07 May 2013, 11:00:30 UTC |
ddbe0e7 | Bertrand Neveu | 07 May 2013, 08:56:34 UTC | random corner linearization in upate_loup_simplex | 07 May 2013, 08:56:34 UTC |
f58384d | Gilles Chabert | 07 May 2013, 08:15:52 UTC | FritzJohn: continuing main development (add bound constraints, backtrackable multipliers, etc.) Multipliers: add TestCtcFritzJohn: add | 07 May 2013, 08:15:52 UTC |
ebeb4a6 | Anthony Baire | 06 May 2013, 09:32:25 UTC | switch to 32-bit build before all configuration tests | 06 May 2013, 09:32:25 UTC |
8a69879 | Gilles Chabert | 06 May 2013, 09:01:19 UTC | add -m32 options for GAOL | 06 May 2013, 09:01:19 UTC |
2133b94 | Gilles Chabert | 03 May 2013, 06:07:18 UTC | Ctc CtcPropag: introduction of the current cell/impact (_cell and _impact). Functions contract(...) with impact or cell are no longer virtual. | 03 May 2013, 06:07:18 UTC |
c9baf25 | Bertrand Neveu | 02 May 2013, 12:27:15 UTC | xnewton code cleaning : Neumaier Shcherbina postprocessing indepedent from soplex | 02 May 2013, 12:27:15 UTC |
efe02d9 | Gilles Chabert | 01 May 2013, 21:24:31 UTC | comment #include Multipliers | 01 May 2013, 21:24:31 UTC |
f06d623 | Bertrand Neveu | 30 April 2013, 14:04:11 UTC | XNewton code cleaning again | 30 April 2013, 14:04:11 UTC |
0e5eeeb | Bertrand Neveu | 30 April 2013, 13:44:00 UTC | XNewton code cleaning | 30 April 2013, 13:44:00 UTC |
f96a4e1 | Bertrand Neveu | 30 April 2013, 10:37:02 UTC | Achterberg heuristic for choosing the next variable is made independent from soplex | 30 April 2013, 10:37:02 UTC |
669d7b6 | Gilles Chabert | 26 April 2013, 08:07:10 UTC | Vector: add norm() Bsc Solver Optimizer Paver RoundRobin: init_root renamed --> add_backtrackable Ctc: add add_backtrackable | 26 April 2013, 08:07:10 UTC |
13b80e3 | Bertrand Neveu | 23 April 2013, 12:23:49 UTC | implementation of Neumaier Shcherbina infeasibility test when soplex returns INFEASIBLE | 23 April 2013, 12:23:49 UTC |
a0debfa | Bertrand Neveu | 16 April 2013, 13:28:57 UTC | non reliable infeasibility return by Soplex no more taken into account in satisfaction ; default ceil values for soplex set to 1.e6 ; default ctcratio in Acid set to 0.002 | 16 April 2013, 13:28:57 UTC |
de21033 | Gilles Chabert | 16 April 2013, 12:26:31 UTC | Add EntailedCtr | 16 April 2013, 12:26:31 UTC |
6c5b7a4 | Gilles Chabert | 16 April 2013, 12:21:53 UTC | Optimizer: Add constraint entailment in the backtrackable structure | 16 April 2013, 12:21:53 UTC |
e66a936 | Gilles Chabert | 16 April 2013, 11:05:16 UTC | Fix bug infinite loop dichotomic search with ex6_2_11.bch | 16 April 2013, 11:05:16 UTC |
affa599 | Jordan Ninin | 15 April 2013, 13:02:42 UTC | Correction of a bug in the function cosh of Profil/Bias | 15 April 2013, 13:02:42 UTC |
6041d26 | Gilles Chabert | 13 April 2013, 21:23:48 UTC | CtcFritzJohn: first implementation ExprDiff: fix bug operator- | 13 April 2013, 21:23:48 UTC |
b04f5d6 | Gilles Chabert | 13 April 2013, 13:49:32 UTC | Diff: add diff for vector-valued expression Affine2Domain: remove warnings | 13 April 2013, 13:49:32 UTC |
928e8a8 | Gilles Chabert | 13 April 2013, 13:02:13 UTC | SystemFactory: Add constructor with array of variables OptimProbing: fix small pb with assert | 13 April 2013, 13:02:13 UTC |
403268c | Gilles Chabert | 12 April 2013, 16:12:41 UTC | OptimProbing: - add dichotomic_line_search - Hansen's dichotomy between the candidate and the loup-point (even outside of the box) - line probing simplified (no more recursive mode and use of dichotomy instead of sample points) Both are currently inactivated (in comments) | 12 April 2013, 16:12:41 UTC |
dd2f3b8 | Gilles Chabert | 12 April 2013, 14:44:29 UTC | Fix bug sinh for Profil | 12 April 2013, 14:44:29 UTC |
979edfe | Gilles Chabert | 12 April 2013, 14:42:43 UTC | Fix bug sinh and asinh with gaol | 12 April 2013, 14:42:43 UTC |
3b1694a | Gilles Chabert | 12 April 2013, 13:11:21 UTC | Add #include "ibex_Exception.h" | 12 April 2013, 13:11:21 UTC |
deb6a21 | Gilles Chabert | 11 April 2013, 13:40:33 UTC | Merge affine arithmetic back into the trunk | 11 April 2013, 13:40:33 UTC |
f1d7a26 | Gilles Chabert | 11 April 2013, 13:17:25 UTC | Minor update: assert(false)->not_implemented | 11 April 2013, 13:17:25 UTC |
2567752 | Jordan Ninin | 11 April 2013, 11:25:14 UTC | Add forbidden fonction in Affine2Domain (atan2, acosh, asinh, atanh ) | 11 April 2013, 11:25:14 UTC |
1d388bd | Gilles Chabert | 11 April 2013, 10:01:04 UTC | Synchronization with trunk | 11 April 2013, 10:01:04 UTC |
9a85aa6 | Gilles Chabert | 11 April 2013, 09:16:09 UTC | Removal of documentation (doxygen) comments before implementation | 11 April 2013, 09:16:09 UTC |
ef18077 | Gilles Chabert | 11 April 2013, 09:10:32 UTC | Domain and Affine2Domain have now common template implementation TemplateDomain | 11 April 2013, 09:10:32 UTC |
616c40f | Gilles Chabert | 10 April 2013, 06:02:00 UTC | Minor syntax changes and comment updates | 10 April 2013, 06:02:00 UTC |
5918df1 | Gilles Chabert | 09 April 2013, 16:35:40 UTC | Small refactoring of the eval_affine2XXX functions --This line, and those below, will be ignored-- M examples/arith03.cpp M tests/TestAffine2.cpp M src/function/ibex_Function.cpp M src/function/ibex_Function.h | 09 April 2013, 16:35:40 UTC |
894d37f | Gilles Chabert | 09 April 2013, 14:43:44 UTC | Affine2Vector.h LinearArith.cpp : Move implem of operator+ and operator- from Affine2Vector.h to LinearArith.cpp Others: minor modifs | 09 April 2013, 14:43:44 UTC |
145520b | Jordan Ninin | 09 April 2013, 09:54:35 UTC | Change the constructor Affine2( Affine2 x, boolb) to Affine2(Affine2 x). The negative case is put in operator-() | 09 April 2013, 09:54:35 UTC |