3aa739d | Gilles Chabert | 04 September 2019, 09:59:48 UTC | optim: fix wrong computation in anticipated filtering | 04 September 2019, 09:59:48 UTC |
98538fe | Gilles Chabert | 04 September 2019, 09:23:15 UTC | Doc update and remove -Wno-unused-function in non-debug mode (option does not exist for Clang) | 04 September 2019, 09:23:15 UTC |
57fec9f | Gilles Chabert | 04 September 2019, 09:14:57 UTC | Temporary test update | 04 September 2019, 09:14:57 UTC |
8c73b42 | Gilles Chabert | 04 September 2019, 09:11:05 UTC | Bitset: fix small bug in compose | 04 September 2019, 09:11:05 UTC |
613f93a | Gilles Chabert | 04 September 2019, 08:42:13 UTC | Merge remote-tracking branch 'origin/develop' | 04 September 2019, 08:42:13 UTC |
3856fa9 | Cyril Bouvier | 04 September 2019, 08:28:41 UTC | Fix patches applied on gaol 4.2.0 | 04 September 2019, 08:28:41 UTC |
9f72d1d | Gilles Chabert | 02 September 2019, 16:41:27 UTC | update wscript | 02 September 2019, 16:41:27 UTC |
94856ca | Gilles Chabert | 02 September 2019, 16:40:22 UTC | Merge remote-tracking branch 'origin/develop' | 02 September 2019, 16:40:22 UTC |
0ef9ce8 | Gilles Chabert | 28 August 2019, 07:08:36 UTC | test update | 28 August 2019, 07:08:36 UTC |
2c356e7 | Antoine Marendet | 14 August 2019, 16:45:43 UTC | [sip] remove useless Timer timeout check | 14 August 2019, 16:45:43 UTC |
6d6f061 | Antoine Marendet | 14 August 2019, 16:41:52 UTC | [sip] add meaningfull error message when using a quantified parameter in objective function | 14 August 2019, 16:41:52 UTC |
08a0c17 | Antoine Marendet | 14 August 2019, 16:31:01 UTC | [sip] fix bug with unused variables in unconstrained optimization problems | 14 August 2019, 16:31:01 UTC |
19a8b33 | Gilles Chabert | 02 August 2019, 15:00:42 UTC | DefaultOptimizer: restore previous KKT contractor | 02 August 2019, 15:00:42 UTC |
199a227 | Gilles Chabert | 31 July 2019, 16:50:59 UTC | Add new Contractor based on KKT conditions (CtcKhunTuckerLP) which resorts to LP (instead of Newton) | 31 July 2019, 16:50:59 UTC |
48606d0 | Gilles Chabert | 31 July 2019, 16:38:30 UTC | LoupFinderCertify: improvement: starts from midpoint when no is loup is found with relaxed inequalities | 31 July 2019, 16:38:30 UTC |
56e8d3a | Gilles Chabert | 31 July 2019, 16:36:56 UTC | FritzJohnCond: fix memory problems. Add possibility to integrate inequalities | 31 July 2019, 16:36:56 UTC |
63195c7 | Gilles Chabert | 31 July 2019, 09:50:40 UTC | Fix issue #366 + new test | 31 July 2019, 09:50:40 UTC |
c0bb42b | Gilles Chabert | 31 July 2019, 08:03:23 UTC | Add comment about constraint activity + change test | 31 July 2019, 08:03:23 UTC |
ecb7e20 | Gilles Chabert | 31 July 2019, 07:47:16 UTC | Add comment about constraint activity | 31 July 2019, 07:47:16 UTC |
1eaef1e | Gilles Chabert | 31 July 2019, 07:33:39 UTC | Fix #396 | 31 July 2019, 07:33:39 UTC |
2137bcb | Gilles Chabert | 30 July 2019, 12:27:16 UTC | Add KKT contractor to IbexOpt options. Now #356 done. | 30 July 2019, 12:27:16 UTC |
d0b550c | Gilles Chabert | 26 July 2019, 07:37:28 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 26 July 2019, 07:37:28 UTC |
8830a78 | Gilles Chabert | 26 July 2019, 07:37:11 UTC | System: change inactive() so that it matches the right definition (important for optimization problems) | 26 July 2019, 07:37:11 UTC |
fb6f7d7 | Cyril Bouvier | 19 July 2019, 12:48:01 UTC | CMake: automatic installation of soplex (if needed) | 19 July 2019, 12:48:37 UTC |
e8d035f | Gilles Chabert | 18 July 2019, 08:34:53 UTC | ExprSimplify: fix implementation issue and simplify it (using lambda). Trace: fix bugs | 18 July 2019, 08:34:53 UTC |
b1894d0 | Gilles Chabert | 15 July 2019, 07:50:28 UTC | FncActiveCtrs: fix bug | 15 July 2019, 07:50:28 UTC |
c536d60 | Gilles Chabert | 12 July 2019, 15:31:45 UTC | Fix bug in CtcKhunTucker | 12 July 2019, 15:31:45 UTC |
78bad83 | Gilles Chabert | 12 July 2019, 09:25:26 UTC | Add KKT-based contraction in default optimizer | 12 July 2019, 09:25:26 UTC |
01ed78c | Gilles Chabert | 12 July 2019, 09:24:56 UTC | Fix bug in FncActiveCtrs | 12 July 2019, 09:24:56 UTC |
e5ef655 | Gilles Chabert | 12 July 2019, 09:18:41 UTC | Fix dimensin problem with eval_vector and eval_matrix | 12 July 2019, 09:18:41 UTC |
19d0a00 | Gilles Chabert | 12 July 2019, 08:39:16 UTC | FncActiveCtrs,FncKhunTucker and CtcKhunTucker: final implementation -->OK | 12 July 2019, 08:39:16 UTC |
ec9c7d5 | Gilles Chabert | 12 July 2019, 08:05:45 UTC | FncActiveCtrs,FncKhunTucker and CtcKhunTucker: final implementation (NOT TESTED) | 12 July 2019, 08:05:45 UTC |
08cb750 | Gilles Chabert | 11 July 2019, 07:36:12 UTC | Fix issue #393 | 11 July 2019, 07:36:12 UTC |
140430a | Gilles Chabert | 10 July 2019, 16:38:08 UTC | Eval: we can now evaluate a submatrix -> FncProj can delegate jacobian computation | 10 July 2019, 16:38:08 UTC |
872c803 | Gilles Chabert | 10 July 2019, 12:23:09 UTC | BitSet: capacity() + fix capacity problems with union operators | 10 July 2019, 12:23:09 UTC |
6de8aed | Gilles Chabert | 10 July 2019, 10:36:28 UTC | Improve Eval with selected components and fix issues with matrix-valued functions | 10 July 2019, 10:36:28 UTC |
f043541 | Antoine Marendet | 09 July 2019, 09:57:07 UTC | [sip] fix bug in CtcFirstOrderTest: contractors should be applied only on strictly interior box | 09 July 2019, 09:57:07 UTC |
e955860 | Gilles Chabert | 28 June 2019, 13:26:57 UTC | Homogenize FncKhunTucker and FncActivation (renamed FncActiveCtrs) and fix issue #324 (started, tests missing) | 28 June 2019, 13:26:57 UTC |
360e1ec | Gilles Chabert | 21 June 2019, 10:30:42 UTC | Fix issue #390 | 21 June 2019, 10:30:42 UTC |
e26526a | Gilles Chabert | 21 June 2019, 10:06:22 UTC | Fix issue #384 (remove warnings from Gaol) | 21 June 2019, 10:06:22 UTC |
5e81eff | Cyril Bouvier | 19 June 2019, 14:57:54 UTC | CMake: add automatic installation of Filib (if necessary) #368 | 19 June 2019, 14:57:54 UTC |
3c6ab2f | Cyril Bouvier | 19 June 2019, 14:56:45 UTC | CMake: fix bug in generation of ibex.pc #368 | 19 June 2019, 14:57:02 UTC |
ac7b9ec | Cyril Bouvier | 19 June 2019, 13:53:42 UTC | Cmake: automatic install of Gaol (if necessary) + changes in ibex.pc generation #368 | 19 June 2019, 13:55:17 UTC |
4fdff07 | Cyril Bouvier | 07 June 2019, 09:47:02 UTC | CMake: add option to generate shared or static library #368 | 19 June 2019, 13:55:17 UTC |
a895996 | Cyril Bouvier | 06 June 2019, 12:29:34 UTC | CMake: add package generation (tar.gz, zip and deb for now) WIP #368 | 19 June 2019, 13:55:17 UTC |
c64408b | Cyril Bouvier | 06 June 2019, 08:50:37 UTC | CMake: fix problem in ibex.pc generation #368 | 19 June 2019, 13:55:17 UTC |
5cf4bcf | Gilles Chabert | 17 June 2019, 11:34:38 UTC | Fix issue #389 (disable inHC4 with generic ops) | 17 June 2019, 11:34:38 UTC |
7ca3ce1 | Gilles Chabert | 16 June 2019, 18:28:20 UTC | System: removing antic 'func' field. Fix bug in TestLinear | 16 June 2019, 18:28:20 UTC |
19c6d7a | Gilles Chabert | 16 June 2019, 17:42:51 UTC | Merge branch 'v2.8.2' into develop | 16 June 2019, 17:42:51 UTC |
8548e7e | Gilles Chabert | 16 June 2019, 17:42:12 UTC | Fix bug in Function destructor introduced with issue #220 fix | 16 June 2019, 17:42:12 UTC |
9dc5c59 | Gilles Chabert | 16 June 2019, 17:13:15 UTC | Merge remote-tracking branch 'origin/develop' into v2.8.2 | 16 June 2019, 17:13:15 UTC |
145b2e4 | Gilles Chabert | 12 June 2019, 08:52:31 UTC | CtcKhunTucker: skip Newton if LU/preconditionning fails | 12 June 2019, 08:52:31 UTC |
aa0dc2d | Gilles Chabert | 11 June 2019, 07:33:02 UTC | CtcKhunTucker: fix bug and now contract expects extended box | 11 June 2019, 07:33:02 UTC |
f70e5a1 | Gilles Chabert | 06 June 2019, 15:56:45 UTC | PdcFirstOrder: simplification | 06 June 2019, 15:56:45 UTC |
d4be2ff | Gilles Chabert | 06 June 2019, 15:55:41 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 06 June 2019, 15:55:41 UTC |
2b95251 | Gilles Chabert | 06 June 2019, 15:55:18 UTC | Fnc/CtcKhunTucker: implem of contractor (in progress) | 06 June 2019, 15:55:18 UTC |
7de8117 | Gilles Chabert | 06 June 2019, 10:15:24 UTC | Merge pull request #388 from ibex-team/develop2.8 bug 384 fixed | 06 June 2019, 10:15:24 UTC |
8b14e2d | bneveu | 06 June 2019, 09:48:40 UTC | bug 384 fixed | 06 June 2019, 09:48:40 UTC |
c3f3751 | Cyril Bouvier | 06 June 2019, 08:14:10 UTC | CMake: generate and install ibex.pc #368 | 06 June 2019, 08:14:52 UTC |
7cf9232 | Cyril Bouvier | 06 June 2019, 07:40:43 UTC | CMake: write gaol/gdtoa/ultim libraries in correct order #368 | 06 June 2019, 08:14:52 UTC |
dd32536 | Gilles Chabert | 05 June 2019, 15:13:18 UTC | FncKhunTucker: code improvement and final test | 05 June 2019, 15:13:18 UTC |
4720b5f | Gilles Chabert | 05 June 2019, 12:37:56 UTC | Fnc/CtcKhunTucker: fix bug in jacobian + new test | 05 June 2019, 12:37:56 UTC |
7716596 | Gilles Chabert | 05 June 2019, 09:38:21 UTC | Merge pull request #387 from ibex-team/hotfix_350 fix #350 | 05 June 2019, 09:38:21 UTC |
4cbe9af | Jordan | 05 June 2019, 08:29:26 UTC | fix #350 | 05 June 2019, 08:29:26 UTC |
2880b55 | Gilles Chabert | 04 June 2019, 15:30:37 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 04 June 2019, 15:30:37 UTC |
8fe755f | Gilles Chabert | 04 June 2019, 15:29:45 UTC | Fix issue #383 | 04 June 2019, 15:29:45 UTC |
e078785 | Cyril Bouvier | 03 June 2019, 14:14:16 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 03 June 2019, 14:14:16 UTC |
237734e | Cyril Bouvier | 03 June 2019, 14:12:38 UTC | CMake/waf: move solver to kernel #368 Ibexsolve source code is in src/bin benchs are in benchs/solver | 03 June 2019, 14:13:47 UTC |
f0ae205 | Gilles Chabert | 27 May 2019, 07:22:13 UTC | Merge remote-tracking branch 'origin/master' into develop | 27 May 2019, 07:22:13 UTC |
cd785c4 | Cyril Bouvier | 24 May 2019, 15:40:39 UTC | CMake: add detection of filib #368 | 24 May 2019, 15:40:39 UTC |
0a3655d | Cyril Bouvier | 24 May 2019, 15:11:16 UTC | CMake: add detection of soplex (no automatic installation yet) #368 | 24 May 2019, 15:11:16 UTC |
217c7df | Cyril Bouvier | 24 May 2019, 15:08:53 UTC | CMake,waf: remove cpp_ file in Linear programming wrapper (#368) | 24 May 2019, 15:08:53 UTC |
1a9a3e7 | Cyril Bouvier | 24 May 2019, 12:19:28 UTC | CMake: cleaner way to deal with wrappers for interval and lp libs (#368) | 24 May 2019, 12:23:53 UTC |
26abb98 | Cyril Bouvier | 24 May 2019, 08:12:41 UTC | CMake: bump required version to 3.0.2 | 24 May 2019, 08:12:41 UTC |
81a0c0e | Gilles Chabert | 24 May 2019, 06:49:05 UTC | fix pb in affin wscript | 24 May 2019, 06:49:05 UTC |
e9cc9d5 | Gilles Chabert | 22 May 2019, 12:31:21 UTC | fix issue #380 | 24 May 2019, 06:37:35 UTC |
d0644c6 | Cyril Bouvier | 21 May 2019, 08:30:22 UTC | Fix bug due to changes in LPSolver interface (done when soplex version was changed) | 24 May 2019, 06:36:54 UTC |
718e29c | Cyril Bouvier | 23 May 2019, 13:28:13 UTC | CMake: less verbose 'make check' (#368) | 23 May 2019, 13:28:13 UTC |
53167db | Cyril Bouvier | 23 May 2019, 13:26:08 UTC | CMake & waf: move plugins interval_lib_* and lp_lib_* into their own (#368) | 23 May 2019, 13:26:08 UTC |
243eb8d | Cyril Bouvier | 23 May 2019, 12:40:05 UTC | CMake: add forgotten CMakeLists.txt file in tests (#368) | 23 May 2019, 12:40:05 UTC |
201f19c | Cyril Bouvier | 23 May 2019, 12:36:04 UTC | Revert "CMake: more search path for gdtoa when gaol is used (#368)" This reverts commit 9c0b2420b59de4c46b6cd847db0e7019b2ced554. | 23 May 2019, 12:36:04 UTC |
d81f8d7 | Cyril Bouvier | 23 May 2019, 11:40:59 UTC | Cmake: add more options to control install directories (#368) | 23 May 2019, 11:40:59 UTC |
9c0b242 | Cyril Bouvier | 23 May 2019, 09:11:57 UTC | CMake: more search path for gdtoa when gaol is used (#368) | 23 May 2019, 09:11:57 UTC |
98aedf2 | Cyril Bouvier | 22 May 2019, 13:48:45 UTC | CMake: .inl files should not be added in ibex.h | 22 May 2019, 14:23:37 UTC |
3f0b1f0 | Cyril Bouvier | 22 May 2019, 13:30:57 UTC | CMake: add some missing sources and headers + enable almost all tests | 22 May 2019, 14:23:37 UTC |
22a1bcc | Gilles Chabert | 22 May 2019, 12:31:21 UTC | fix issue #380 | 22 May 2019, 12:31:21 UTC |
4177f50 | Cyril Bouvier | 21 May 2019, 15:21:14 UTC | First draft for using CMake for compilation (#368) | 21 May 2019, 15:21:14 UTC |
b996861 | Cyril Bouvier | 21 May 2019, 08:30:22 UTC | Fix bug due to changes in LPSolver interface (done when soplex version was changed) | 21 May 2019, 08:30:22 UTC |
c47e430 | Cyril Bouvier | 21 May 2019, 07:53:56 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 21 May 2019, 07:53:56 UTC |
542802c | Cyril Bouvier | 21 May 2019, 07:51:29 UTC | Change how the interval libraries are wrapped (will help with #368) | 21 May 2019, 07:51:29 UTC |
e6dbc4b | Gilles Chabert | 19 May 2019, 21:23:47 UTC | fix minor warnings | 19 May 2019, 21:23:47 UTC |
9629921 | Gilles Chabert | 19 May 2019, 17:09:53 UTC | [Eval/Function]: now eval_matrix can be for selected rows. Fix issue #220 | 19 May 2019, 17:09:53 UTC |
9f0e763 | Gilles Chabert | 17 May 2019, 16:54:45 UTC | Fnc/CtcKhunTucker: continuing implementation and first tests (in progress) | 17 May 2019, 16:54:45 UTC |
318587a | Gilles Chabert | 17 May 2019, 08:59:57 UTC | Merge branch 'develop2.8' into develop | 17 May 2019, 08:59:57 UTC |
87106aa | bneveu | 14 May 2019, 09:53:30 UTC | adding benchmark hs092.nl | 14 May 2019, 09:53:30 UTC |
f9ff1ae | bneveu | 14 May 2019, 09:15:51 UTC | updating ibex_DefaultOptimizer.cpp to LSmear changes; feasible diving becomes default strategy | 14 May 2019, 09:15:51 UTC |
25e41d2 | bneveu | 13 May 2019, 14:39:46 UTC | cleaning ibex_LSmear.cpp | 13 May 2019, 14:39:46 UTC |
cf6ea44 | bneveu | 13 May 2019, 14:33:01 UTC | removing goal constraint in case of goal equal to a single variable ; updating benchs | 13 May 2019, 14:33:01 UTC |
91d01bb | bneveu | 13 May 2019, 09:10:54 UTC | making SmearFunction and LSmear robust | 13 May 2019, 09:10:54 UTC |
58853a0 | Gilles Chabert | 09 May 2019, 10:14:26 UTC | MitsosSIP: minor stuff | 09 May 2019, 10:14:26 UTC |