https://github.com/ibex-team/ibex-lib

sort by:
Revision Author Date Message Commit Date
7a5a01a Remove hack in plugins/wscript (see issue #243) 07 December 2016, 23:25:04 UTC
f0e033d Affine, update following issue #242 07 December 2016, 22:38:27 UTC
0aa9755 Merge branch 'master' of https://github.com/ibex-team/ibex-lib 07 December 2016, 21:47:06 UTC
abe618f Fix issue #242 (minusV and minusM) 07 December 2016, 21:24:02 UTC
8c35a8b Fix issue #242 (CR/LF/CRLF line endings) 07 December 2016, 19:53:38 UTC
51d77b5 Continuation: fix some problems with the new strategy (due to the domain in particular) 29 November 2016, 16:16:16 UTC
ed1b461 Continuation: integrate new strategy without DIFF 23 November 2016, 22:04:26 UTC
648a587 ExprSimplify: minor fix (misplaced assertion) 19 November 2016, 16:06:42 UTC
d317ccf Newton: fix minor bug (inflation must allow flat boxes) 19 November 2016, 16:05:44 UTC
be7f671 Linear: Sylvester's test: case of singular matrix 19 November 2016, 16:01:24 UTC
d02f126 Merge pull request #237 from SimonRohou/hotfix-179 Fix issue 179 16 November 2016, 18:18:23 UTC
de50a1a fix issue 179 16 November 2016, 18:44:18 UTC
fcd541d Merge pull request #236 from SimonRohou/atan2_definition atan2(y,x) : parameters order confusion 16 November 2016, 15:37:30 UTC
39107aa Correction of the atan2 function prototype 14 November 2016, 15:12:22 UTC
1a0d38b 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 Remove spurious .DS_Store file 08 November 2016, 12:21:02 UTC
d19fb41 Merge remote-tracking branch 'origin/develop' into continuation 08 November 2016, 12:17:38 UTC
26c35ab Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 08 November 2016, 12:04:29 UTC
8134ad8 IntervalMatrix: add some tests 08 November 2016, 12:03:09 UTC
981eae3 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 Linear: add diagonal dominance test 08 November 2016, 08:12:47 UTC
1828512 Linear: add determinant+Sylverster's criterion for checking positive definiteness 08 November 2016, 07:55:14 UTC
ae89a67 Merge pull request #235 from ThomasLeMezo/patch-1 Correction of bug #233 27 October 2016, 15:37:26 UTC
f764763 Correction of bug #233 Correction of the computation of atan2 when dealing with infinite boundaries 27 October 2016, 12:38:40 UTC
e5104ec Continuation: add all combinations of signs in the linearization test 27 October 2016, 08:21:12 UTC
1925e98 Continuation: fix sign in implicit function jacobian. Kernel: add new functionalities in VarSet. 27 October 2016, 07:52:32 UTC
9307443 Continuation: fix bug in implicit function (shift with bound value) 26 October 2016, 14:56:53 UTC
45949de Continuation: fix implicit function bug 26 October 2016, 13:39:40 UTC
5736700 Continuation: add test for is_homeomorph_half_ball in 2D. 20 October 2016, 19:12:02 UTC
456170e 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 Continuation: update tests 20 October 2016, 17:53:57 UTC
b1851cd 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 Continuation: definition J_implicit_wrong (update) 19 October 2016, 10:01:02 UTC
84cb07a Continuation: definition J_implicit_wrong 19 October 2016, 09:55:02 UTC
390c10c Fix the use of soplex for optim plugin when --with-debug is used 18 October 2016, 08:59:32 UTC
0899fb5 Continuation: fix issue in 2nd test when a new variable crosses a previously (non-violated) inequality 17 October 2016, 11:24:21 UTC
f5510a6 Continuation: minor change 16 October 2016, 14:47:25 UTC
3d3ab34 Continuation: minor change 16 October 2016, 14:45:55 UTC
7f29710 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 Continuation: cancel previous commit (wrong) 14 October 2016, 14:26:52 UTC
93fe330 Continuation: improve 2nd test for valid cell crossing inequalities 14 October 2016, 13:21:23 UTC
6df5799 Continuation: fix memory leak 13 October 2016, 16:27:41 UTC
05a0859 Continuation: add test for cell validity based on jacobian of the implicit function 11 October 2016, 21:53:20 UTC
f3a675b Continuation: try to fix boundary crossing preserving natural parameters 11 October 2016, 12:15:50 UTC
5d47afa Continuation: try optimization idea in diff (contn'd) 06 October 2016, 06:10:21 UTC
758841a Continuation: try optimization idea in diff! 05 October 2016, 21:50:36 UTC
c9274b6 Continuation: fix bug in list management 05 October 2016, 16:14:55 UTC
bb4b2a6 Continuation: use neighborhoods in "diff" 05 October 2016, 14:34:52 UTC
76e3b26 Continuation: deterministic hashing for cells 05 October 2016, 11:20:14 UTC
18a3706 Continuation: initialize random seed 05 October 2016, 08:40:11 UTC
a283db3 Continuation: fix platform pb with unorder maps (cont'd) 05 October 2016, 08:24:26 UTC
9c0190e Continuation: fix platform pb with unorder maps 05 October 2016, 08:22:10 UTC
1a6d094 Continuation: introducing list of pointers+neighborhood computation 05 October 2016, 08:16:14 UTC
f862b6e neighborhood map added 05 October 2016, 07:14:09 UTC
4fc523b Newton no more inflation & one more inequality 04 October 2016, 14:08:10 UTC
62fa4c9 Continuation: tmp modif 04 October 2016, 13:58:20 UTC
5b587d0 continuation: affichage 04 October 2016, 12:30:40 UTC
cd93471 Continuation: add information about the facets. Try to shift boxes in "Choose" wrt to the facet 04 October 2016, 12:17:37 UTC
ef26e61 Continuation: minor changes (add DFS/BFS) 04 October 2016, 10:49:43 UTC
b26c602 Continuation: minor change 04 October 2016, 08:27:45 UTC
d5df04e Continuation: import 04 October 2016, 07:55:26 UTC
99f2e23 inflating Newton: try to enlarge unicity box (code left in comments) 03 October 2016, 16:21:54 UTC
987e01b Minor changes (VarSet: operator=; Array: add with Array argument) 28 September 2016, 21:31:03 UTC
674b314 Inflating Newton: add emptiness test 13 September 2016, 14:51:04 UTC
3d06cb2 Still fixing a bug in diff (cases of tangency) 12 September 2016, 13:26:53 UTC
765b2dc 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 VarSet: add output operator and copy constructor 09 September 2016, 14:49:15 UTC
287eb44 Add relative/absolute inflation in Interval(Vector) 09 September 2016, 14:48:45 UTC
4ffa228 Merge remote-tracking branch 'origin/develop' 08 September 2016, 09:10:59 UTC
84710a9 Still fixing issues with diff and add many tests 08 September 2016, 09:06:12 UTC
f87af41 Fix another issue with IntervalVector::diff 07 September 2016, 06:20:47 UTC
2ef44ad Fix issue #228 06 September 2016, 17:31:37 UTC
3f60d26 Merge pull request #225 from ibex-team/hotfix-219 fix #219 30 August 2016, 15:59:19 UTC
cb32ef3 Merge pull request #227 from ibex-team/hotfix-218 fix #218 30 August 2016, 15:45:18 UTC
be1d21c Merge pull request #224 from ibex-team/hotfix-222 fix #222 30 August 2016, 15:13:54 UTC
241f477 fix #218 Bug happen when compiling with gcc and the following option " -DNo_dtoa -m32 " 30 August 2016, 14:54:04 UTC
503e0a2 fix #219 30 August 2016, 12:36:06 UTC
14223d2 fix #222 fix bug in operator+=(Interval& x) when x is unbounded 30 August 2016, 12:06:17 UTC
0e3231c Update .travis.yml 12 August 2016, 11:55:19 UTC
656a624 SystemFactory: now we can add a variable will an initial box AmplInterface heritage SystemFactory 10 August 2016, 14:49:25 UTC
ba7f776 Merge pull request #209 from benEnsta/hotfix-208 Hotfix #208 28 July 2016, 09:06:53 UTC
7bdc9a0 Merge branch 'master' of https://github.com/ibex-team/ibex-lib 18 July 2016, 15:35:28 UTC
10cb1e9 Tests makefile: remove some warnings with clang 18 July 2016, 15:33:48 UTC
9cfa953 previous commit broke the OS X build in travis, try to fix it 18 July 2016, 14:21:11 UTC
baed163 Travis with OS X: try another version of Xcode to compile soplex 18 July 2016, 14:09:39 UTC
16abafb First try at using OS X tests with travis 18 July 2016, 13:56:06 UTC
3547e3c waf: force ibex_Setting.h to be generated 12 July 2016, 14:21:42 UTC
d0fd799 Fix bug with nth_root with gaol 4 10 July 2016, 09:53:01 UTC
d6ecd84 Restore README.md 07 July 2016, 12:56:18 UTC
4c22f68 Restoring some changes of pr #212 07 July 2016, 09:48:33 UTC
48aedc3 Merge remote-tracking branch 'origin/plugin_affine' into develop 07 July 2016, 08:03:45 UTC
b35ab7e Merge remote-tracking branch 'origin/develop' into develop 07 July 2016, 07:48:48 UTC
5498e23 Merge remote-tracking branch 'origin/master' into develop 07 July 2016, 07:48:33 UTC
d1993f7 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 fix #189 now --enable-shared and --with-ampl are compatible. ampl is compiling in dynamic librairy 06 July 2016, 22:35:19 UTC
74ae648 Update .travis.yml 06 July 2016, 20:45:36 UTC
020cc7f you can merge in "develop" 06 July 2016, 16:06:35 UTC
18dfc92 fix wscript after the merge with hotfix-199 06 July 2016, 15:45:52 UTC
4e5d62d correct 3rd/wscript 06 July 2016, 15:28:36 UTC
bc30ebe Merge branch 'hotfix-199' into plugin_affine 06 July 2016, 15:24:59 UTC
back to top