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 |
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 |
3f60d26 | Gilles Chabert | 30 August 2016, 15:59:19 UTC | Merge pull request #225 from ibex-team/hotfix-219 fix #219 | 30 August 2016, 15:59:19 UTC |
cb32ef3 | Gilles Chabert | 30 August 2016, 15:45:18 UTC | Merge pull request #227 from ibex-team/hotfix-218 fix #218 | 30 August 2016, 15:45:18 UTC |
be1d21c | Gilles Chabert | 30 August 2016, 15:13:54 UTC | Merge pull request #224 from ibex-team/hotfix-222 fix #222 | 30 August 2016, 15:13:54 UTC |
241f477 | Jordan08 | 30 August 2016, 14:54:04 UTC | fix #218 Bug happen when compiling with gcc and the following option " -DNo_dtoa -m32 " | 30 August 2016, 14:54:04 UTC |
503e0a2 | Jordan08 | 30 August 2016, 12:36:06 UTC | fix #219 | 30 August 2016, 12:36:06 UTC |
14223d2 | Jordan08 | 30 August 2016, 12:06:17 UTC | fix #222 fix bug in operator+=(Interval& x) when x is unbounded | 30 August 2016, 12:06:17 UTC |
0e3231c | Jordan | 12 August 2016, 11:55:19 UTC | Update .travis.yml | 12 August 2016, 11:55:19 UTC |
656a624 | jordan08 | 10 August 2016, 14:49:25 UTC | SystemFactory: now we can add a variable will an initial box AmplInterface heritage SystemFactory | 10 August 2016, 14:49:25 UTC |
ba7f776 | Gilles Chabert | 28 July 2016, 09:06:53 UTC | Merge pull request #209 from benEnsta/hotfix-208 Hotfix #208 | 28 July 2016, 09:06:53 UTC |
7bdc9a0 | gchabert | 18 July 2016, 15:35:28 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib | 18 July 2016, 15:35:28 UTC |
10cb1e9 | gchabert | 18 July 2016, 15:33:48 UTC | Tests makefile: remove some warnings with clang | 18 July 2016, 15:33:48 UTC |
9cfa953 | Cyril Bouvier | 18 July 2016, 14:21:11 UTC | previous commit broke the OS X build in travis, try to fix it | 18 July 2016, 14:21:11 UTC |
baed163 | Cyril Bouvier | 18 July 2016, 14:09:39 UTC | Travis with OS X: try another version of Xcode to compile soplex | 18 July 2016, 14:09:39 UTC |
16abafb | Cyril Bouvier | 18 July 2016, 13:56:06 UTC | First try at using OS X tests with travis | 18 July 2016, 13:56:06 UTC |
3547e3c | gchabert | 12 July 2016, 14:21:42 UTC | waf: force ibex_Setting.h to be generated | 12 July 2016, 14:21:42 UTC |
d0fd799 | gchabert | 10 July 2016, 09:53:01 UTC | Fix bug with nth_root with gaol 4 | 10 July 2016, 09:53:01 UTC |
d6ecd84 | gchabert | 07 July 2016, 12:56:18 UTC | Restore README.md | 07 July 2016, 12:56:18 UTC |
4c22f68 | gchabert | 07 July 2016, 09:48:33 UTC | Restoring some changes of pr #212 | 07 July 2016, 09:48:33 UTC |
48aedc3 | gchabert | 07 July 2016, 08:03:45 UTC | Merge remote-tracking branch 'origin/plugin_affine' into develop | 07 July 2016, 08:03:45 UTC |
b35ab7e | gchabert | 07 July 2016, 07:48:48 UTC | Merge remote-tracking branch 'origin/develop' into develop | 07 July 2016, 07:48:48 UTC |
5498e23 | gchabert | 07 July 2016, 07:48:33 UTC | Merge remote-tracking branch 'origin/master' into develop | 07 July 2016, 07:48:33 UTC |
d1993f7 | Gilles Chabert | 07 July 2016, 07:16:04 UTC | Merge pull request #213 from ibex-team/hotfix-189 fix #189 now --enable-shared and --with-ampl are compatible. | 07 July 2016, 07:16:04 UTC |
a5b2b33 | jordan08 | 06 July 2016, 22:35:19 UTC | fix #189 now --enable-shared and --with-ampl are compatible. ampl is compiling in dynamic librairy | 06 July 2016, 22:35:19 UTC |
74ae648 | Jordan | 06 July 2016, 20:45:36 UTC | Update .travis.yml | 06 July 2016, 20:45:36 UTC |
020cc7f | jordan08 | 06 July 2016, 16:06:35 UTC | you can merge in "develop" | 06 July 2016, 16:06:35 UTC |
18dfc92 | jordan08 | 06 July 2016, 15:45:52 UTC | fix wscript after the merge with hotfix-199 | 06 July 2016, 15:45:52 UTC |
4e5d62d | jordan08 | 06 July 2016, 15:28:36 UTC | correct 3rd/wscript | 06 July 2016, 15:28:36 UTC |
bc30ebe | jordan08 | 06 July 2016, 15:24:59 UTC | Merge branch 'hotfix-199' into plugin_affine | 06 July 2016, 15:24:59 UTC |