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

sort by:
Revision Author Date Message Commit Date
b598ceb Fix issue #279 12 September 2017, 09:28:09 UTC
37ed80c ExprLineary: fix missing implementation for ExprChi 12 September 2017, 09:20:55 UTC
19e6b6a Fix issue #276 and minor change in LinearizerXTaylor (avoid computing twice active constraints) 29 July 2017, 12:13:57 UTC
d21fc5a Adapt java plugin to new release 28 July 2017, 17:14:30 UTC
196dd63 Adapt java plugin to new release 28 July 2017, 17:07:15 UTC
89a970d Reorganizing benchmarks 28 July 2017, 17:01:37 UTC
5497a15 Adapt param-estim/continuation plugins to new release 28 July 2017, 16:36:31 UTC
318fe79 Merge remote-tracking branch 'origin/develop' 28 July 2017, 16:00:11 UTC
c3c9e69 [optim refact] Revert commit #971dbd398c1371b941e4183522f9e70a84115c25. Add new "inHC4" flag in default optimizer 28 July 2017, 15:57:36 UTC
3eb4cd0 Merge remote-tracking branch 'origin/new_optim' 28 July 2017, 15:55:00 UTC
3313190 Merge remote-tracking branch 'origin/develop' 28 July 2017, 13:30:08 UTC
a025ffa Revert "[optim refact] Changing y=f(x) to y>=f(x) in ExtendedSystem and adapt CtcHC4 to force equality" This reverts commit 971dbd398c1371b941e4183522f9e70a84115c25. 28 July 2017, 12:56:29 UTC
c4c9eeb Gradient: Fix bug in bwd_abs 28 July 2017, 06:25:20 UTC
971dbd3 [optim refact] Changing y=f(x) to y>=f(x) in ExtendedSystem and adapt CtcHC4 to force equality 27 July 2017, 09:36:11 UTC
379f1af [optim refact] Minor fixes in defaultoptimizer 26 July 2017, 16:43:11 UTC
b1c21d7 [optim refact] Update Normalized/Extended system to handle vector constraints 26 July 2017, 16:32:47 UTC
6aaf99b [optim refact] Fix problems with set_optim_data. New option "initial-loup" for defaultoptimizer 26 July 2017, 15:23:44 UTC
167d261 [optim refact] Make LoupFinerCertify compatible with vector constraints 26 July 2017, 13:46:42 UTC
13a8e72 LinearizedInHC4: fix bug in case of all inactive. Move some benchs to others/ 26 July 2017, 10:04:54 UTC
2e04920 LinearizerXTyalor: manage definition domains 26 July 2017, 08:36:51 UTC
81f9a9f TemplateDomain: manage empty components in load(). ExprLinearity: fix bug in division 26 July 2017, 07:59:33 UTC
453745d Adapt benchmark_optim to new code 26 July 2017, 07:37:42 UTC
f64a520 Merge remote-tracking branch 'origin/new_optim' into benchmarks 25 July 2017, 10:17:58 UTC
e1ecd4b [optim refact] Minor changes 25 July 2017, 09:48:19 UTC
340daae [optim refact] Main Optimizer class refact (done) 25 July 2017, 09:34:41 UTC
02c3ac4 [optim refact] Main Optimizer class refact (in progress). DoubleHeap inherits now from a new CellBufferOptim interfance. Now the optimizer does not require a system! 24 July 2017, 17:19:19 UTC
9769238 [optim refact] Now the loup correction is just another loup finder and the "rigor" mode dissapears from Optimizer. 23 July 2017, 23:03:56 UTC
e174197 [optim refact] Main Optimizer class refact (in progress). New reports among other things 23 July 2017, 22:20:29 UTC
9da4510 [optim refact] New default optimizer with nice options 21 July 2017, 09:00:39 UTC
cfd5b44 Merge remote-tracking branch 'origin/develop' into new_optim 21 July 2017, 07:08:00 UTC
94b2e22 Gaol: disable verbose mode 21 July 2017, 07:04:38 UTC
727d4c3 [optim refact] New defaultoptimizer (started) 20 July 2017, 15:59:45 UTC
46b4eec [optim refact] Minor fix 20 July 2017, 15:15:59 UTC
7095ec2 [optim refact] Main Optimizer class refact (in progress). Now the loup correction is a separate class "LoupCorrection" 20 July 2017, 14:52:54 UTC
0d9615a [optim refact] Main Optimizer class refact (in progress). Fix bugs for unconstrained optimization. Update comments in CtcKhunTucker 20 July 2017, 13:49:08 UTC
e937ab4 minor fix in benchmark_optim.cpp 20 July 2017, 08:13:11 UTC
bb9a79e [optim refact] Main Optimizer class refact (in progress). CtcKhunTucker: new contractor 19 July 2017, 17:30:43 UTC
7c06347 Fnc: forcing jacobian implementation to exist (if called) 19 July 2017, 15:25:00 UTC
2a06ef3 tools: wrapping the BitSet Mistral class in an Ibex class 19 July 2017, 15:23:38 UTC
ba9ca16 [optim refact] Main Optimizer class refact (start'd) 19 July 2017, 12:11:15 UTC
323d166 [optim refact] Main Optimizer class refact (start'd) 19 July 2017, 12:10:36 UTC
666e134 Improve benchmarks. Add scatter plot graph for comparison. 19 July 2017, 11:53:32 UTC
f63f2f9 Merge remote-tracking branch 'origin/newton_kkt' into new_optim 19 July 2017, 11:28:13 UTC
62a0880 [optim refact] Comments update 19 July 2017, 10:56:10 UTC
f484b41 [optim refact] Update all comments in src/loup/* 19 July 2017, 10:09:23 UTC
f517f13 [optim refact] Update "affine" plugin with new release 18 July 2017, 12:33:00 UTC
e27663d [optim refact] Add Hansen matrix computation for specific components and update LinearizerXTaylor 18 July 2017, 11:56:19 UTC
7ae7974 [optim refact] LinearizerXTaylor: final (?) refactoring 18 July 2017, 11:44:17 UTC
48a80d0 Fnc: fixing bug in Hansen matrix 18 July 2017, 11:23:30 UTC
a3e0355 Merge branch 'master' into new_optim 17 July 2017, 14:07:53 UTC
1b3d7a6 Function/Fnc: reorganizing "jacobian" functions. ExprLinearity/Gradient: allow row-vector-valued functions 17 July 2017, 14:06:38 UTC
3b817b4 Merge remote-tracking branch 'origin/master' into new_optim 17 July 2017, 12:31:34 UTC
70d8cb5 Tests are now always compiled, linked and run for ./waf utest 17 July 2017, 12:08:56 UTC
42c3fd1 [optim refact] Cosmetic changes 17 July 2017, 08:53:20 UTC
59f6b66 Merge remote-tracking branch 'origin/develop' into new_optim 16 July 2017, 14:30:01 UTC
e77276d [optim refact] Simplifying again the hierarchy LinearRelax/Restrict with the new Linearizer interface 13 July 2017, 14:13:47 UTC
1947db4 Merge branch 'benchmarks' of https://github.com/ibex-team/ibex-lib into benchmarks 10 July 2017, 16:17:30 UTC
ed239d2 Create new benchmark hierarchy (easy/medium/hard/blowup/unsolved) 10 July 2017, 16:17:18 UTC
c16e6af [optim refact] LinearRelaxXTaylor: fix minor problem 10 July 2017, 15:42:00 UTC
89ca581 Expression Linearity Detection: fix bug 10 July 2017, 14:21:34 UTC
b8ff2f4 [optim refact] LoupFinderXTaylor, LinearRelaxXTaylor and LoupFinderInHC4: fix bugs 10 July 2017, 13:11:41 UTC
5ee5fc9 [optim refact] LinearRelax/RestrictXTaylor homogenized. Now LP solve is handled in LoupFinderXTaylor. Fix bug in LoupFinderProbing. LoupFinerDefault: InHC4 is activated by default 10 July 2017, 11:11:16 UTC
207652e [optim refact] New architecture "LoupFinder" and new implementation for INHC4-based upperbounding 08 July 2017, 22:18:54 UTC
0669c7b Fnc: optimize Hansen matrix. ActiveConstraintsFnc: code simplification+handle vector constraints 07 July 2017, 17:30:50 UTC
172f792 [optim refact] a new implementation for LinearRelaxXTaylor 07 July 2017, 17:29:24 UTC
917e415 Expression Linearity Detection: usage in Gradient 06 July 2017, 22:30:48 UTC
fa481a4 Add uplo, loup, number of cells and status to output of benchmarks 06 July 2017, 14:30:41 UTC
cefc477 add total time to output of benchmark_optim 06 July 2017, 09:54:07 UTC
34261e8 Change the order of benchmarked values of epsilon to reduce time 06 July 2017, 09:51:02 UTC
68fce20 Reduce max prec possible from 10^-10 to 10^-8 and default from 10^-8 to 10^-6 06 July 2017, 09:16:34 UTC
f2e24ab fix error on how DefaultOptimizer was called 06 July 2017, 09:15:57 UTC
7405435 Expression Linearity Detection: bug fix and new test 06 July 2017, 08:45:14 UTC
d8e6088 Expression Linearity Detection: bug fix and new test 06 July 2017, 08:43:58 UTC
ee25454 Expression Linearity Detection: new version (not tested at all yet) 05 July 2017, 21:46:29 UTC
fcfeac7 Matrix: add is_unbounded() + minor change to remove warnings in DEBUG mode 05 July 2017, 21:46:05 UTC
2ec85b8 Expression Linearity Detection: minor update 04 July 2017, 22:14:10 UTC
f9e0f08 Expression Linearity Detection: bug fix + new tests 04 July 2017, 22:08:37 UTC
cf0f752 Expression Linearity Detection: first code and tests (still buggy) 04 July 2017, 15:29:23 UTC
eb263e5 SystemBox unit tests 03 July 2017, 13:47:31 UTC
786b1f9 Function: create symbol_index function 03 July 2017, 13:46:47 UTC
f5e9e2e [optim refact] Cleaning up XTaylor Relax/Restrict and fix issue #254 30 June 2017, 14:31:52 UTC
2c20838 Comment updates (System and SystemBox) 30 June 2017, 12:49:24 UTC
6c6cfb1 SystemBox & Gradient: fix bugs 30 June 2017, 12:14:21 UTC
ea69277 [optim refact] Diff components: add tests 30 June 2017, 09:45:40 UTC
37d0877 [optim refact] Eval components: update for heterogeneous vectors 30 June 2017, 09:25:41 UTC
1ca191c Try to fix CI fail with gaol on Travis for hyperbolic func 30 June 2017, 08:07:02 UTC
5651ef0 [optim refact] SystemFactory: fix memory bug 29 June 2017, 22:51:54 UTC
b9a7ee3 [optim refact] System Box: bug fix 29 June 2017, 22:13:11 UTC
9457813 Fix several bugs in Eval::eval_vector with components(and Agenda::push) (cont'd) 29 June 2017, 22:10:13 UTC
cb9d5c4 Fix several bugs in Eval::eval_vector with components(and Agenda::push) 29 June 2017, 22:02:53 UTC
4c34016 [optim refact] Eval specific components: fix bug 27 June 2017, 08:39:58 UTC
dee31cc [optim refact] Very first usage of new System functionalities (goal_ub) inside optim plugin 26 June 2017, 15:36:41 UTC
f113bde [optim refact] Add the new SystemBox class, allowing to cache costly interval computations 26 June 2017, 15:34:37 UTC
ba49048 [optim refact] Add possibility to evaluate/differentiate only a selected number of components (bitset) for a vector-valued function 26 June 2017, 15:32:47 UTC
4de6e7e [optim refact] new LinearProbing class: refactoring old OptimProbing code (to be cont'd) 23 June 2017, 15:09:39 UTC
8569630 [optim refact] LinearRelaxXTaylor: remove "nonlinear_var" arg 23 June 2017, 13:15:39 UTC
23c67e4 [optim refact] FeasiblePointFinder (cont'd) 23 June 2017, 13:09:19 UTC
ed3de18 [optim refact] Create FeasiblePointFinder and refactor the old OptimSimplex code (now the variable of LP is not (x-corner) but x) 23 June 2017, 12:54:51 UTC
c9609ea [optim refact] Create new LinearFactory class hierarchy 22 June 2017, 08:51:58 UTC
99fbd91 Update appveyor.yml 21 June 2017, 17:41:01 UTC
back to top