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

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