91728b3 | domensta | 15 December 2018, 09:35:11 UTC | remove unecessary terminal outputs | 15 December 2018, 09:35:11 UTC |
c05386f | domensta | 31 October 2018, 09:37:39 UTC | Update ibex_LightLocalSolver.h | 31 October 2018, 09:37:39 UTC |
1e72ef5 | domensta | 31 October 2018, 09:37:01 UTC | Update ibex_LightLocalSolver.cpp | 31 October 2018, 09:37:01 UTC |
cc96739 | domensta | 31 October 2018, 09:35:49 UTC | Update ibex_OptimMinMax.h | 31 October 2018, 09:35:49 UTC |
1af3ee7 | domensta | 31 October 2018, 09:35:18 UTC | Update ibex_OptimMinMax.cpp | 31 October 2018, 09:35:18 UTC |
d6b9188 | domensta | 31 October 2018, 09:33:44 UTC | Update ibex_LightOptimMinMax.h | 31 October 2018, 09:33:44 UTC |
a569eb0 | domensta | 31 October 2018, 09:33:14 UTC | Update ibex_LightOptimMinMax.cpp | 31 October 2018, 09:33:14 UTC |
d624f63 | domensta | 31 October 2018, 09:32:08 UTC | Update ibex_DataMinMax.h | 31 October 2018, 09:32:08 UTC |
cb6a9ca | domensta | 31 October 2018, 09:31:21 UTC | Update ibex_DataMinMax.cpp | 31 October 2018, 09:31:21 UTC |
a42d115 | domensta | 19 November 2017, 20:17:11 UTC | fix bug | 19 November 2017, 20:17:11 UTC |
103f63c | domensta | 19 November 2017, 20:06:09 UTC | memory leak fixed bad deletion of x_copy used for midpoint evaluation. | 19 November 2017, 20:06:09 UTC |
2d815e8 | domensta | 19 October 2017, 13:18:41 UTC | Update ibex_OptimMinMax.cpp disable lightlocal if nb_optim_iter and nb_sivia_iter = 0 | 19 October 2017, 13:18:41 UTC |
0a32c64 | domensta | 11 October 2017, 14:24:09 UTC | bug corrected in LightLocalSolver | 11 October 2017, 14:24:09 UTC |
e077af0 | domensta | 10 October 2017, 15:07:06 UTC | Search for several y or y regression intead of only one, min x fy(x) stop criterion based on derivative of uplo | 10 October 2017, 15:07:06 UTC |
1f68e37 | domensta | 09 October 2017, 13:21:34 UTC | Function eval baumann and centered form added | 09 October 2017, 13:21:34 UTC |
5a2f1e3 | domensta | 05 October 2017, 10:43:06 UTC | Spawn function added. /!\ bug in lightLocalSolver that increase the uplo | 05 October 2017, 10:43:06 UTC |
0bdcf58 | domensta | 03 October 2017, 08:46:31 UTC | -New light local solver added -LightOptimMinMax: visit all element of y_heap can be enable -OptimMinMax: mid point eval become random point eval, number of random point can be chosen | 03 October 2017, 08:46:31 UTC |
9d3eea6 | domensta | 29 March 2017, 15:26:14 UTC | Add an option to solve the csp "find x| forall y g(x,y)<0" only. add an option to export the boxes and whether or not the csp is respected. Add min_prec_computation for fa_lsolve. | 29 March 2017, 15:26:14 UTC |
76a7512 | domensta | 21 March 2017, 17:17:33 UTC | Local searches added for Light solver, solve maximization problems to get a good lower bound. | 21 March 2017, 17:17:33 UTC |
24c89b4 | domensta | 28 February 2017, 13:36:40 UTC | Bug corrected in check_fa_ctr() function | 28 February 2017, 13:36:40 UTC |
3b1bddb | domensta | 27 February 2017, 14:44:44 UTC | Bug corrected: /!\ if fa constraints not respected, x_cell is deleted in light_optim for fa constraints. x_cell must be deleted in Optim_MinMax if regular constraints are not respected. | 27 February 2017, 14:44:44 UTC |
42194e5 | domensta | 27 February 2017, 13:00:35 UTC | MinMax algo with for all y constraints tested: ok. | 27 February 2017, 13:00:35 UTC |
d51ccbb | domensta | 24 February 2017, 14:38:04 UTC | Constraints of type "c(x,y)<0 for all y" are solved as maximization problem. DataMinMax cost functions defined for DataMinMaxOpti and DataMinMaxCsp. /!\ Code not tested, still work for minmax problems without for all cst though. | 24 February 2017, 14:38:04 UTC |
767c9bf | domensta | 22 February 2017, 14:33:15 UTC | Algo monitoring option available. If OptimMinMax monitor variable is set to true, a log file is created. The log file contains: uplo, loup, number of x elements, total number of y elements | 22 February 2017, 14:33:15 UTC |
469bdc2 | Jordan08 | 21 February 2017, 14:30:46 UTC | DoubleHeap: add rand of "current_head_id_" after pop | 21 February 2017, 14:30:46 UTC |
cceeefe | Jordan08 | 17 February 2017, 14:28:14 UTC | correct bug | 17 February 2017, 14:28:14 UTC |
6cde2de | domensta | 16 February 2017, 13:43:59 UTC | In Light Solver: If no cst or cst satisfied: Contraction on x, delete x if contraction on y Issue: new_loup<uplo, issue appears on example Segundo 1 (constrained). midpoint eval is false (maximum over y at x point not returned)... | 16 February 2017, 13:43:59 UTC |
36256c1 | jninin | 15 February 2017, 12:12:35 UTC | Big Bug | 15 February 2017, 12:12:35 UTC |
dd493d4 | Jordan08 | 10 February 2017, 10:14:48 UTC | indent | 10 February 2017, 10:14:48 UTC |
3a91f2a | jninin | 10 February 2017, 10:14:18 UTC | Merge remote-tracking branch 'origin/master' into optim_MinMax | 10 February 2017, 10:14:18 UTC |
f5cc789 | domensta | 09 February 2017, 13:27:05 UTC | Light solver contract x w.r.t best max if cst respected Algo options added: -Max elem in y_heap -iteration number in light solver -growth rate of list (max elem in y_heap per x bisection) | 09 February 2017, 13:27:05 UTC |
fcb6342 | Gilles Chabert | 08 February 2017, 09:37:59 UTC | Filib: fix the operator priority warning with clang | 08 February 2017, 09:37:59 UTC |
081991e | Gilles Chabert | 06 February 2017, 15:24:13 UTC | Merge branch 'develop' | 06 February 2017, 15:24:13 UTC |
80b9160 | Gilles Chabert | 03 February 2017, 19:31:52 UTC | Java plugin: CHOCO-IBEX v2 (cont'd) | 03 February 2017, 19:31:52 UTC |
dbd62ac | Gilles Chabert | 03 February 2017, 19:31:28 UTC | Java plugin: CHOCO-IBEX v2 (cont'd) | 03 February 2017, 19:31:28 UTC |
adbce7c | Gilles Chabert | 03 February 2017, 19:27:03 UTC | Java plugin: CHOCO-IBEX v2! | 03 February 2017, 19:27:03 UTC |
8254fd1 | Gilles Chabert | 03 February 2017, 19:23:56 UTC | Solver: minor update | 03 February 2017, 19:23:56 UTC |
bafef1e | Gilles Chabert | 03 February 2017, 16:56:02 UTC | Solver: add tests | 03 February 2017, 16:56:02 UTC |
cdc9ffb | gchabert | 03 February 2017, 14:47:49 UTC | Solver: improve the new framework | 03 February 2017, 14:47:49 UTC |
52f764d | Gilles Chabert | 02 February 2017, 23:14:26 UTC | Solver: new framework with certification (comprising inequalities & under-constrained systems) | 02 February 2017, 23:14:26 UTC |
40cb02b | gchabert | 02 February 2017, 21:07:12 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 02 February 2017, 21:07:12 UTC |
4b2940d | gchabert | 02 February 2017, 08:56:53 UTC | NumConstraint: add right_hand_side function | 02 February 2017, 08:56:53 UTC |
e83aa80 | Gilles Chabert | 01 February 2017, 07:30:36 UTC | Merge pull request #249 from ibex-team/hotfix-248 fix #248 now if itv is not empty, tan(itv) must not be empt and return | 01 February 2017, 07:30:36 UTC |
1f8b951 | Jordan | 31 January 2017, 20:47:03 UTC | Update TestArith.h | 31 January 2017, 20:47:03 UTC |
bda2c1d | jordan08 | 31 January 2017, 20:43:30 UTC | fix #248 now if itv is not empty, tan(itv) must not be empt and return ALL_REAL | 31 January 2017, 20:43:30 UTC |
db905f3 | gchabert | 27 January 2017, 18:23:12 UTC | Kernel improvement: forward/backward algorithm can now be applied on subexpressions. Gradient: the Jacobian matrix does not necessarily need now to generate components | 27 January 2017, 18:23:12 UTC |
8cb8fa4 | gchabert | 27 January 2017, 14:37:23 UTC | Agenda: enhanced features | 27 January 2017, 14:37:23 UTC |
76bc910 | gchabert | 27 January 2017, 10:46:50 UTC | Gradient: fix several bugs in vec_bwd | 27 January 2017, 10:46:50 UTC |
f49596b | gchabert | 27 January 2017, 08:58:36 UTC | Fix issue #247 | 27 January 2017, 08:58:36 UTC |
a729487 | gchabert | 27 January 2017, 08:04:11 UTC | Optim: manage infinite bounds for monotonicity analysis | 27 January 2017, 08:04:11 UTC |
3ea0d61 | gchabert | 25 January 2017, 22:40:56 UTC | Fix issue #246 | 25 January 2017, 22:40:56 UTC |
46508b0 | domensta | 25 January 2017, 16:01:50 UTC | Monotonicity contractor in LightOptim | 25 January 2017, 16:01:50 UTC |
b3286b7 | gchabert | 25 January 2017, 10:46:51 UTC | Function: add expansion point as argument for Hansen matrice (cont'd) | 25 January 2017, 10:46:51 UTC |
405621a | gchabert | 25 January 2017, 10:29:09 UTC | Function: add expansion point as argument for Hansen matrices | 25 January 2017, 10:29:09 UTC |
e338904 | domensta | 17 January 2017, 15:50:09 UTC | New options available: -Iteration number -y_heap growth rate -min prec of light optim -max size of y heap | 17 January 2017, 15:50:09 UTC |
d459dcb | gchabert | 17 January 2017, 09:22:56 UTC | Linear: fix bug in det | 17 January 2017, 09:22:56 UTC |
f3c9e45 | domensta | 17 January 2017, 08:57:04 UTC | Comilation ok | 17 January 2017, 08:57:04 UTC |
3502237 | domensta | 16 January 2017, 15:52:08 UTC | Handle constraints in light optim | 16 January 2017, 15:52:08 UTC |
922815b | domensta | 16 January 2017, 09:56:33 UTC | Merge branch 'optim_MinMax' of https://github.com/ibex-team/ibex-lib into optim_MinMax retrieve optim_MinMax branch | 16 January 2017, 09:56:33 UTC |
aa06f7e | Jordan08 | 13 January 2017, 09:28:09 UTC | Merge remote-tracking branch 'origin/develop' into optim_MinMax Conflicts: plugins/optim/tests/TestDoubleHeap.cpp plugins/optim/tests/TestDoubleHeap.h plugins/wscript src/system/ibex_SystemFactory.cpp src/system/ibex_SystemFactory.h tests/TestExpr.cpp | 13 January 2017, 09:28:09 UTC |
6d8f6aa | gchabert | 04 January 2017, 13:07:14 UTC | ExprDiff: add new tests | 04 January 2017, 13:07:14 UTC |
02deb1b | gchabert | 04 January 2017, 13:06:28 UTC | ExprDiff: fix bug in row-vec/matrix multiplication | 04 January 2017, 13:06:28 UTC |
d9d1cf2 | gchabert | 04 January 2017, 09:13:44 UTC | No more EmptySystemException | 04 January 2017, 09:13:44 UTC |
4a97f66 | Gilles Chabert | 20 December 2016, 11:11:42 UTC | Merge pull request #240 from ibex-team/hotfix-AffinePower Hotfix affine power | 20 December 2016, 11:11:42 UTC |
019bc2a | Jordan08 | 09 December 2016, 15:32:36 UTC | test Macro in Affine to factorize the code | 09 December 2016, 15:32:36 UTC |
7a5a01a | gchabert | 07 December 2016, 23:25:04 UTC | Remove hack in plugins/wscript (see issue #243) | 07 December 2016, 23:25:04 UTC |
f0e033d | gchabert | 07 December 2016, 22:38:27 UTC | Affine, update following issue #242 | 07 December 2016, 22:38:27 UTC |
0aa9755 | gchabert | 07 December 2016, 21:47:06 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib | 07 December 2016, 21:47:06 UTC |
abe618f | gchabert | 07 December 2016, 21:24:02 UTC | Fix issue #242 (minusV and minusM) | 07 December 2016, 21:24:02 UTC |
8c35a8b | gchabert | 07 December 2016, 19:53:38 UTC | Fix issue #242 (CR/LF/CRLF line endings) | 07 December 2016, 19:53:38 UTC |
51d77b5 | gchabert | 29 November 2016, 16:16:16 UTC | Continuation: fix some problems with the new strategy (due to the domain in particular) | 29 November 2016, 16:16:16 UTC |
b8cfa87 | Jordan08 | 29 November 2016, 12:46:35 UTC | AF2: improve the computation of power | 29 November 2016, 12:46:35 UTC |
ed1b461 | gchabert | 23 November 2016, 22:04:26 UTC | Continuation: integrate new strategy without DIFF | 23 November 2016, 22:04:26 UTC |
648a587 | gchabert | 19 November 2016, 16:06:42 UTC | ExprSimplify: minor fix (misplaced assertion) | 19 November 2016, 16:06:42 UTC |
d317ccf | gchabert | 19 November 2016, 16:05:44 UTC | Newton: fix minor bug (inflation must allow flat boxes) | 19 November 2016, 16:05:44 UTC |
be7f671 | gchabert | 19 November 2016, 16:01:24 UTC | Linear: Sylvester's test: case of singular matrix | 19 November 2016, 16:01:24 UTC |
d02f126 | Gilles Chabert | 16 November 2016, 18:18:23 UTC | Merge pull request #237 from SimonRohou/hotfix-179 Fix issue 179 | 16 November 2016, 18:18:23 UTC |
de50a1a | SimonRohou | 16 November 2016, 18:44:18 UTC | fix issue 179 | 16 November 2016, 18:44:18 UTC |
fcd541d | Gilles Chabert | 16 November 2016, 15:37:30 UTC | Merge pull request #236 from SimonRohou/atan2_definition atan2(y,x) : parameters order confusion | 16 November 2016, 15:37:30 UTC |
39107aa | SimonRohou | 14 November 2016, 15:12:22 UTC | Correction of the atan2 function prototype | 14 November 2016, 15:12:22 UTC |
1a0d38b | gchabert | 08 November 2016, 17:19:36 UTC | Linear: add Neumaier/Rohn matrix inverses. Arithmetic: add infinite_norm. IntervalMatrix: remove random implem from template; (Interval)Vector: add iterators. | 08 November 2016, 17:19:36 UTC |
6095df3 | gchabert | 08 November 2016, 12:21:02 UTC | Remove spurious .DS_Store file | 08 November 2016, 12:21:02 UTC |
d19fb41 | gchabert | 08 November 2016, 12:17:38 UTC | Merge remote-tracking branch 'origin/develop' into continuation | 08 November 2016, 12:17:38 UTC |
26c35ab | gchabert | 08 November 2016, 12:04:29 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 08 November 2016, 12:04:29 UTC |
8134ad8 | gchabert | 08 November 2016, 12:03:09 UTC | IntervalMatrix: add some tests | 08 November 2016, 12:03:09 UTC |
981eae3 | gchabert | 08 November 2016, 09:55:58 UTC | Linear: add Rohn's test for positive definiteness. Matrix: add rand() and diag() functions. IntervalMatrix: add rad() and diam() functions. | 08 November 2016, 09:55:58 UTC |
6f0bb73 | gchabert | 08 November 2016, 08:12:47 UTC | Linear: add diagonal dominance test | 08 November 2016, 08:12:47 UTC |
1828512 | gchabert | 08 November 2016, 07:55:14 UTC | Linear: add determinant+Sylverster's criterion for checking positive definiteness | 08 November 2016, 07:55:14 UTC |
ae89a67 | Gilles Chabert | 27 October 2016, 15:37:26 UTC | Merge pull request #235 from ThomasLeMezo/patch-1 Correction of bug #233 | 27 October 2016, 15:37:26 UTC |
f764763 | Thomas Le Mézo | 27 October 2016, 12:38:40 UTC | Correction of bug #233 Correction of the computation of atan2 when dealing with infinite boundaries | 27 October 2016, 12:38:40 UTC |
e5104ec | gchabert | 27 October 2016, 08:21:12 UTC | Continuation: add all combinations of signs in the linearization test | 27 October 2016, 08:21:12 UTC |
1925e98 | gchabert | 27 October 2016, 07:52:32 UTC | Continuation: fix sign in implicit function jacobian. Kernel: add new functionalities in VarSet. | 27 October 2016, 07:52:32 UTC |
9307443 | gchabert | 26 October 2016, 14:56:53 UTC | Continuation: fix bug in implicit function (shift with bound value) | 26 October 2016, 14:56:53 UTC |
45949de | Goldsztejn | 26 October 2016, 13:39:40 UTC | Continuation: fix implicit function bug | 26 October 2016, 13:39:40 UTC |
2b715a6 | jordan08 | 22 October 2016, 21:56:37 UTC | fix Timer and checkout | 22 October 2016, 21:56:37 UTC |
d615008 | Jordan08 | 21 October 2016, 14:50:23 UTC | now it is ok | 21 October 2016, 14:50:23 UTC |
d19b419 | Jordan08 | 21 October 2016, 14:43:33 UTC | Optim-MinMax: fix bug in "trace" | 21 October 2016, 14:43:33 UTC |
e079f08 | Jordan08 | 21 October 2016, 13:22:58 UTC | optim-MinMax : add tests and corect some bugs | 21 October 2016, 13:22:58 UTC |
5736700 | gchabert | 20 October 2016, 19:12:02 UTC | Continuation: add test for is_homeomorph_half_ball in 2D. | 20 October 2016, 19:12:02 UTC |
456170e | gchabert | 20 October 2016, 18:56:11 UTC | Continuation: fix bugs in "check linearization", rename it "is_homeomorph_half_ball" and moves it to ParametricProof. Add first test | 20 October 2016, 18:56:11 UTC |