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 |
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 |
d459dcb | gchabert | 17 January 2017, 09:22:56 UTC | Linear: fix bug in det | 17 January 2017, 09:22:56 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 |
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 |
0d217e0 | gchabert | 20 October 2016, 17:53:57 UTC | Continuation: update tests | 20 October 2016, 17:53:57 UTC |
b1851cd | gchabert | 20 October 2016, 17:32:00 UTC | Function: jacobian/hessian with parameters now calculate also the matrix wrt to parameters. Continuation: reorganize cell validity tests and continue test n°1 | 20 October 2016, 17:32:00 UTC |
d9faa6e | Goldsztejn | 19 October 2016, 10:01:02 UTC | Continuation: definition J_implicit_wrong (update) | 19 October 2016, 10:01:02 UTC |
84cb07a | Goldsztejn | 19 October 2016, 09:55:02 UTC | Continuation: definition J_implicit_wrong | 19 October 2016, 09:55:02 UTC |
390c10c | Cyril Bouvier | 18 October 2016, 08:59:32 UTC | Fix the use of soplex for optim plugin when --with-debug is used | 18 October 2016, 08:59:32 UTC |
0899fb5 | gchabert | 17 October 2016, 11:24:21 UTC | Continuation: fix issue in 2nd test when a new variable crosses a previously (non-violated) inequality | 17 October 2016, 11:24:21 UTC |
f5510a6 | gchabert | 16 October 2016, 14:47:25 UTC | Continuation: minor change | 16 October 2016, 14:47:25 UTC |
3d3ab34 | gchabert | 16 October 2016, 14:45:55 UTC | Continuation: minor change | 16 October 2016, 14:45:55 UTC |
7f29710 | gchabert | 15 October 2016, 15:54:41 UTC | Continuation: improve 2nd test for valid cell crossing inequalities (but this time, fixing one variable to the extremity of the domain in turn) | 15 October 2016, 15:54:41 UTC |
895e3ff | gchabert | 14 October 2016, 14:26:52 UTC | Continuation: cancel previous commit (wrong) | 14 October 2016, 14:26:52 UTC |
93fe330 | gchabert | 14 October 2016, 13:21:23 UTC | Continuation: improve 2nd test for valid cell crossing inequalities | 14 October 2016, 13:21:23 UTC |
6df5799 | gchabert | 13 October 2016, 16:27:41 UTC | Continuation: fix memory leak | 13 October 2016, 16:27:41 UTC |
05a0859 | gchabert | 11 October 2016, 21:53:20 UTC | Continuation: add test for cell validity based on jacobian of the implicit function | 11 October 2016, 21:53:20 UTC |
f3a675b | gchabert | 11 October 2016, 12:15:50 UTC | Continuation: try to fix boundary crossing preserving natural parameters | 11 October 2016, 12:15:50 UTC |
5d47afa | gchabert | 06 October 2016, 06:10:21 UTC | Continuation: try optimization idea in diff (contn'd) | 06 October 2016, 06:10:21 UTC |
758841a | gchabert | 05 October 2016, 21:50:36 UTC | Continuation: try optimization idea in diff! | 05 October 2016, 21:50:36 UTC |
c9274b6 | gchabert | 05 October 2016, 16:14:55 UTC | Continuation: fix bug in list management | 05 October 2016, 16:14:55 UTC |
bb4b2a6 | gchabert | 05 October 2016, 14:34:52 UTC | Continuation: use neighborhoods in "diff" | 05 October 2016, 14:34:52 UTC |
76e3b26 | gchabert | 05 October 2016, 11:20:14 UTC | Continuation: deterministic hashing for cells | 05 October 2016, 11:20:14 UTC |
18a3706 | gchabert | 05 October 2016, 08:40:11 UTC | Continuation: initialize random seed | 05 October 2016, 08:40:11 UTC |
a283db3 | gchabert | 05 October 2016, 08:24:26 UTC | Continuation: fix platform pb with unorder maps (cont'd) | 05 October 2016, 08:24:26 UTC |
9c0190e | gchabert | 05 October 2016, 08:22:10 UTC | Continuation: fix platform pb with unorder maps | 05 October 2016, 08:22:10 UTC |
1a6d094 | gchabert | 05 October 2016, 08:16:14 UTC | Continuation: introducing list of pointers+neighborhood computation | 05 October 2016, 08:16:14 UTC |
f862b6e | Goldsztejn | 05 October 2016, 07:14:09 UTC | neighborhood map added | 05 October 2016, 07:14:09 UTC |
4fc523b | Goldsztejn | 04 October 2016, 14:08:10 UTC | Newton no more inflation & one more inequality | 04 October 2016, 14:08:10 UTC |
62fa4c9 | gchabert | 04 October 2016, 13:58:20 UTC | Continuation: tmp modif | 04 October 2016, 13:58:20 UTC |
5b587d0 | Goldsztejn | 04 October 2016, 12:30:40 UTC | continuation: affichage | 04 October 2016, 12:30:40 UTC |
cd93471 | gchabert | 04 October 2016, 12:17:37 UTC | Continuation: add information about the facets. Try to shift boxes in "Choose" wrt to the facet | 04 October 2016, 12:17:37 UTC |
ef26e61 | gchabert | 04 October 2016, 10:49:43 UTC | Continuation: minor changes (add DFS/BFS) | 04 October 2016, 10:49:43 UTC |
b26c602 | gchabert | 04 October 2016, 08:27:45 UTC | Continuation: minor change | 04 October 2016, 08:27:45 UTC |
d5df04e | gchabert | 04 October 2016, 07:55:26 UTC | Continuation: import | 04 October 2016, 07:55:26 UTC |
99f2e23 | gchabert | 03 October 2016, 16:21:54 UTC | inflating Newton: try to enlarge unicity box (code left in comments) | 03 October 2016, 16:21:54 UTC |
987e01b | gchabert | 28 September 2016, 21:31:03 UTC | Minor changes (VarSet: operator=; Array: add with Array argument) | 28 September 2016, 21:31:03 UTC |
674b314 | gchabert | 13 September 2016, 14:51:04 UTC | Inflating Newton: add emptiness test | 13 September 2016, 14:51:04 UTC |
3d06cb2 | gchabert | 12 September 2016, 13:26:53 UTC | Still fixing a bug in diff (cases of tangency) | 12 September 2016, 13:26:53 UTC |
765b2dc | gchabert | 09 September 2016, 14:50:14 UTC | Newton: Fix bugs in contracting/inflating parametric Newton and add new parameter boxes (unicity and existence boxes) | 09 September 2016, 14:50:14 UTC |
c0ad6b1 | gchabert | 09 September 2016, 14:49:15 UTC | VarSet: add output operator and copy constructor | 09 September 2016, 14:49:15 UTC |
287eb44 | gchabert | 09 September 2016, 14:48:45 UTC | Add relative/absolute inflation in Interval(Vector) | 09 September 2016, 14:48:45 UTC |
4ffa228 | gchabert | 08 September 2016, 09:10:59 UTC | Merge remote-tracking branch 'origin/develop' | 08 September 2016, 09:10:59 UTC |
84710a9 | gchabert | 08 September 2016, 09:06:12 UTC | Still fixing issues with diff and add many tests | 08 September 2016, 09:06:12 UTC |
f87af41 | gchabert | 07 September 2016, 06:20:47 UTC | Fix another issue with IntervalVector::diff | 07 September 2016, 06:20:47 UTC |
2ef44ad | gchabert | 06 September 2016, 17:31:37 UTC | Fix issue #228 | 06 September 2016, 17:31:37 UTC |