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

sort by:
Revision Author Date Message Commit Date
75c1058 Creating release 2.1.4 14 May 2014, 15:37:31 UTC
c53e263 Uninlining set-membership operations 14 May 2014, 15:32:15 UTC
919a961 Bias/Profil: several fixes (Tan,ArSinh) LargestFirst: precision is 0 by default (old behavior) 14 May 2014, 14:28:14 UTC
8c0ee35 Tests: fix error in almost_eq and other udpates for Profil compatibility 14 May 2014, 14:07:50 UTC
77e4e96 Minor updates 14 May 2014, 09:05:30 UTC
03b7edb Set Membership operations: new implementation LargestFirst: fix bug r984 MatrixArray: add 14 May 2014, 08:41:33 UTC
1147264 Update java interface 10 May 2014, 12:07:59 UTC
4d9dbfc Doc update + add include "fstream" in robust_estim3 10 May 2014, 11:56:18 UTC
21b52c3 CtcExist: finalizing 07 May 2014, 13:48:12 UTC
f438d7f defaultoptimizer: restore r975 others: minor updates 06 May 2014, 16:02:51 UTC
be9e771 Optim Simplex: check that the returned point belongs to the box 06 May 2014, 12:43:59 UTC
7d1973f Doc update 06 May 2014, 12:41:50 UTC
8be5f1f doc-arithmetic: Minor update 06 May 2014, 09:49:32 UTC
f23dc4b Doc update CtcExist: add test 06 May 2014, 08:33:30 UTC
587a8f5 CtcExist: new version 05 May 2014, 21:40:43 UTC
e482e33 gaol nrooth: Add fpu_round_up. Others: minor modifications 02 May 2014, 20:36:43 UTC
8c93c3e Doc update 28 April 2014, 20:49:07 UTC
24cdd62 Reintegrate branch qinter 28 April 2014, 18:25:45 UTC
ab41706 Merging trunk with q-inter branch 28 April 2014, 17:26:15 UTC
e4f9b71 fixed a bug in Mohc 25 April 2014, 15:26:45 UTC
91295a8 Update examples (with newdoc) 25 April 2014, 10:22:54 UTC
2ccc7cc Add new Sphynx documentation 25 April 2014, 10:13:12 UTC
26c3e13 Solver: removing precision predicate 24 April 2014, 14:09:26 UTC
b728652 Bisectors: add precision vector in Bsc (allow specific precision for each variable) 24 April 2014, 13:52:41 UTC
041824b Add predicate PdcDiameterLT 24 April 2014, 12:55:17 UTC
186fc1a Ctc & Pdc : removing "nb_var" field PdcEmpty: now takes a predicate as argument gaol: cosh: minor fix for unbounded intervals 24 April 2014, 10:28:16 UTC
80a1719 Test: uncomment inner arith. TestInnerArith: bugr894 changed (had no sense) 22 April 2014, 15:47:16 UTC
8f982fc TestCtcFritzJohn->TestFritzJohn TestFunction: update with recent kernel changes 22 April 2014, 14:25:17 UTC
26bfc7a Function: introducing "zero" component for optimizing Jacobian FncConstant: removed 20 April 2014, 21:18:02 UTC
d67ef3f Function & CompiledFunction: avoid duplication of the subnodes structure. Only subnodes in CompiledFunction are used anymore ExprLabel: now memory release of domains are done in the destructor (not in ~Function) Affine2Eval: fix bug (ExprLabel were passed by copy) 20 April 2014, 20:36:49 UTC
8fb05a5 LU with partial pivoting: fix bug (singular exception was thrown for some full rank matrix in case m<n) 18 April 2014, 08:57:12 UTC
a9abfa2 TestUnconstrainedLocalSearch: add header 18 April 2014, 06:27:33 UTC
f9b6118 EpsLargestFirst and RelLargestFirst: update the comments 17 April 2014, 11:39:22 UTC
347adac new version of optimizer with different node selection criteria 10 April 2014, 11:10:15 UTC
1e79a0f Optimizer: re-initialization of counters, loup, etc. in optimize() + add initial bound on the objective as argument to optimize 09 April 2014, 19:45:16 UTC
a6df16e add of minimal report for benchmarking 09 April 2014, 14:21:18 UTC
ab2accc rename ibex_EpsiLargestFirst by ibex_EpsLargestFirst Add Ctc_EpsPrecision a precision contractor with a different precision on each variable 08 April 2014, 08:18:38 UTC
15fc1c9 Fixed some bugs in Mohc 07 April 2014, 18:17:53 UTC
d97dbbe Correct the RANDOM. now, we have random() and random(int seed) 04 April 2014, 14:44:42 UTC
745980f special shaving for objective in ibex_CtcOptimShaving (removed from comments in ibexCtc3Bcid) 04 April 2014, 10:22:47 UTC
7838eb2 InnerArith: check case where pow(x,p)\subset y 02 April 2014, 20:32:33 UTC
ebaae58 Fnc/Function: add print & print_expr functions NumConstraint: allow Fnc (but not for real, object cast to Function& immediately) 02 April 2014, 07:58:48 UTC
5193066 Gradient: fix bug for MUL_VM TestGradient: add tests VM01 et VM02 FncConstant: cst is now public 01 April 2014, 09:33:47 UTC
094f00e Eval/Gradient/HC4Revise/CtcMohc: now the case "all_symbols_scalar" wrapped into read/write_arg_domains functions in Function. 01 April 2014, 08:15:23 UTC
ec91a6a TestFunction: test used_var instead of is_used 31 March 2014, 15:59:05 UTC
4aaab37 FunctionBuild: create FncConstant comp when possible FncConstant: implem of generate_comp/used_var 31 March 2014, 15:53:43 UTC
001efbd Function: eval and eval_matrix override Fnc _FncConstant: add 31 March 2014, 15:16:00 UTC
e166c19 Function/Fnc: now nb_used_vars and used_var are in Fnc and calculated upon request Function: add functions write/read_domains_[af2]_args(...) TestUnconstrainedLocalSearch: first add 31 March 2014, 14:59:14 UTC
a788a72 Fnc/Function: move operator[] up to Fnc. Function: init and build_from_string take also the name as argument Optimizer: avoid call to [] using sys.ctrs[i] instead of sys.f[i] Others: minor changes (comments) 31 March 2014, 14:01:38 UTC
1ffc5be Paver: take into account "ctc_loop" flag 31 March 2014, 12:51:13 UTC
fa635f7 Add SIVIA example 31 March 2014, 12:50:33 UTC
23a06ef UnconstrainedLocalSearch : comment all the "cout" 26 March 2014, 14:18:15 UTC
b343b50 CompiledFunciton and Gradient :: add the case MUL_VM 26 March 2014, 14:15:23 UTC
76f410a UnconstrainedLocalSearch: replace mid by _mid (to check empty/unbounded intervals) 26 March 2014, 09:04:32 UTC
4cc7bb5 Gradient: fix bug transpose and add tests for matrix-vector ops 26 March 2014, 08:57:45 UTC
7d7c49b UnconstrainedLocalSearch : - add a condition in the update of the Hessien matrix - add nb_iter() to get the number of iteration - add a stopping condition is the radius of the trust region is smaller than the precision 23 March 2014, 22:41:11 UTC
883e57b Added some info in robust_estim4 23 March 2014, 17:35:25 UTC
6225423 Added more infos on instance generation, changed name of qinter2, some cleanup 23 March 2014, 17:31:00 UTC
3ba7d91 Added more infos on instance generation, changed name of qinter2, some cleanup 23 March 2014, 17:30:46 UTC
4194fd3 IntervalVector and IntervalMatrix : add random(int seed) 23 March 2014, 15:53:24 UTC
ea725b3 Line search: first import 21 March 2014, 20:23:44 UTC
db70e1f Unconstrained Local Search: first import 21 March 2014, 20:23:09 UTC
e6800ef Expr: remove operator with ExprNode+Interval/Vector/Matrix (redundant with cast to ExprNode operators). Add operator with ExprNode+double 21 March 2014, 20:19:26 UTC
731b314 hash-map: removes tr1/ in headers for new version of std under MacOS 20 March 2014, 13:31:15 UTC
8441022 NormalizedSystem: keep equations when eps=0 (useful for local optimizer) 20 March 2014, 13:29:14 UTC
f1e006b Function: components are now only generated on request. ExprCopy: index_copy: manage now the case of constant vectors/matrices 14 March 2014, 14:21:55 UTC
572da8d Interval : remove proj_atan2 11 March 2014, 15:11:41 UTC
8c4b8d1 Interval : correct the expression of atan2(y,x) (now it is well check) proj_atan2 is unable CtcNotIn : remove warning 10 March 2014, 17:00:21 UTC
4455ac8 EpsiLargestFirst : minor bug CtcNotIn : Major Bug 10 March 2014, 16:28:01 UTC
ad5b18d modification for an article on reliable Affine Arithmetics 10 March 2014, 10:44:01 UTC
5d6f9aa EpsiLargestFirst : minor bug 10 March 2014, 06:44:53 UTC
9556434 RelLargestFirst : relative largest first bisect strategy EpsiLargestFirst : bisect strategy level-headed by the precision on each variable (like in IBBA) 09 March 2014, 20:22:55 UTC
4c325d8 remove minor warnings 09 March 2014, 13:55:36 UTC
5ca6f2b NumConstraint : allow to construct NumConstraint with 20 ExprSymbol other : remove some minor warning which appear in QtCreator 09 March 2014, 13:21:32 UTC
fa8eb2e CtcForAll : add a max_iter to 1.e6 04 March 2014, 17:01:28 UTC
04f6029 CtcExist : better with a stack than a list 04 March 2014, 16:56:12 UTC
8de1174 Tube: remove because it is not ready CtcExist CtcForAll : better algorithm the time is divided by 5 CtcMohc : small correction in assert to compile --with-debug 04 March 2014, 15:57:39 UTC
37aa31d PdcHansenFeasibility: inflating variant makefiles: remove unused $(LDFLAGS) 03 March 2014, 11:02:41 UTC
2e4e6b9 Linear: updating inflating_newton + test 03 March 2014, 09:51:15 UTC
ee9b5ca Linear: updating inflating_gauss_seidel + tests 03 March 2014, 08:56:07 UTC
98d29ab fixed bug in CtcMohc 01 March 2014, 15:35:56 UTC
b85e961 bux fixed in ibex_CtcMohc.cpp 28 February 2014, 14:04:35 UTC
6be5326 InnerArith: fix bug in iproj_mul with z_sup=0 28 February 2014, 08:32:06 UTC
6254fbf added Mohc algorithm 27 February 2014, 18:23:51 UTC
dcb817f Gaol: add fpu_round_up for sin() 27 February 2014, 14:43:47 UTC
7ea9965 InnerArith: fix bug when min>max in iproj_cmp_mono_op 27 February 2014, 14:03:19 UTC
d35d8ca CtcExist and CtcForAll: correct a bug of the size the contractor 27 February 2014, 11:38:24 UTC
2cd6b48 ExprDiff: remove display + compactify apply diff in case of 1 scalar argument TestExprDiff: add tests 24 February 2014, 07:51:07 UTC
1a97699 ExprDiff: progress in differentiation with vector/matrix nodes. Add diff for apply (to be continued). Function: add "df" field. 23 February 2014, 21:00:18 UTC
5f56e16 Interval: Modifyed the value of POS_INFINITY and NEG_INFINITY to correct some problem with is_bisectable() Optimizer: add some check to eliminate some unbounded interval 21 February 2014, 17:25:22 UTC
11f1433 InnerArith: fix bug in x*y=z with z=0 21 February 2014, 16:38:34 UTC
2e9a4d6 InnerArith: set back fpu_round_up as default mode in iproj_cmp_mono_op 21 February 2014, 15:02:02 UTC
a634f52 benchmark fron coconut library in nl format 14 February 2014, 14:36:16 UTC
0a65ecc doc: add guide for configuration with QT creator 13 February 2014, 08:06:28 UTC
e72c8bd doc: update installation guide 13 February 2014, 08:02:19 UTC
66a3cb3 tests: small changes 13 February 2014, 07:54:46 UTC
68ee26c Newton: add inflating Newton (draft) 13 February 2014, 07:52:13 UTC
f687d81 Minor comment update 12 February 2014, 17:48:59 UTC
92604f3 Function: add constructor to build a function directly from a string 12 February 2014, 17:44:29 UTC
323a5a1 Conf: correct some conflicts in the configuration 12 February 2014, 15:07:42 UTC
back to top