Skip to main content

Browse the archive

https://github.com/ibex-team/ibex-lib
06 April 2024, 03:28:44 UTC
sort by:
Revision Author Date Message Commit Date
7a2ce22 gchabert 18 June 2016, 21:33:52 UTC add simplify for matrix components 18 June 2016, 21:33:52 UTC
ea8c0e3 gchabert 18 June 2016, 17:09:25 UTC Merge remote-tracking branch 'origin/develop' 18 June 2016, 17:09:25 UTC
68fa1d4 gchabert 17 June 2016, 14:13:22 UTC fix issue #42 17 June 2016, 14:13:22 UTC
f1f1e3d gchabert 17 June 2016, 09:57:39 UTC Fixing other memory leaks 17 June 2016, 09:57:39 UTC
dd25f8c gchabert 17 June 2016, 06:50:01 UTC Merge branch 'ibex-2.2' of https://github.com/ibex-team/ibex-lib into ibex-2.2 17 June 2016, 06:50:01 UTC
fd49da3 gchabert 17 June 2016, 06:48:29 UTC Merge https://github.com/ibex-team/ibex-lib into ibex-2.2 17 June 2016, 06:48:29 UTC
05241f6 Gilles Chabert 17 June 2016, 05:54:00 UTC Merge pull request #202 from dreal-deps/pr-simplify-chi feat(symbolic/ibex_ExprSimplify.cpp): implement ExprSimplify::visit(const ExprChi& e) 17 June 2016, 05:54:00 UTC
5ede6e7 Soonho Kong 17 June 2016, 04:39:48 UTC feat(symbolic/ibex_ExprSimplify.cpp): implement ExprSimplify::visit(const ExprChi& e) 17 June 2016, 04:42:06 UTC
75e6a57 gchabert 16 June 2016, 20:54:48 UTC Fixing other memory problems 16 June 2016, 20:54:48 UTC
41c7ab4 gchabert 16 June 2016, 20:47:34 UTC Merge remote-tracking branch 'origin/develop' into ibex-2.2 16 June 2016, 20:47:34 UTC
8405207 gchabert 16 June 2016, 20:44:20 UTC Adpating Affine plugin to new index system 16 June 2016, 20:44:20 UTC
85d9987 gchabert 16 June 2016, 20:31:36 UTC Fix memory leaks 16 June 2016, 20:31:36 UTC
33d1a07 gchabert 14 June 2016, 19:47:32 UTC Fix some memory leaks 14 June 2016, 19:47:32 UTC
712a5db gchabert 14 June 2016, 16:02:17 UTC tests update+minor fix in ExprDiff 14 June 2016, 16:02:17 UTC
b76d73b gchabert 14 June 2016, 14:38:37 UTC Merge remote-tracking branch 'origin/develop' 14 June 2016, 14:38:37 UTC
67d8604 gchabert 14 June 2016, 14:24:55 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 14 June 2016, 14:24:55 UTC
154b244 gchabert 14 June 2016, 14:24:33 UTC Fix issue #201. Now all components of an empty vector/matrix are empty 14 June 2016, 14:24:33 UTC
e88a9c7 gchabert 14 June 2016, 12:54:12 UTC tests update 14 June 2016, 12:54:12 UTC
7e5f6db gchabert 14 June 2016, 12:51:45 UTC test ExprDiff update 14 June 2016, 12:51:45 UTC
5dd6cef gchabert 13 June 2016, 15:33:02 UTC Fix bug in ExprDiff 13 June 2016, 15:33:02 UTC
a088838 gchabert 10 June 2016, 21:42:11 UTC Fix issue in temporary symbol in Minibex function. Bug fix in ExprDiff and ExprSimlify 10 June 2016, 21:42:11 UTC
eaaf60d gchabert 10 June 2016, 17:47:59 UTC Implement ExprPower simplify 10 June 2016, 17:47:59 UTC
301f083 gchabert 10 June 2016, 16:32:46 UTC Fix bug simplify with transpose 10 June 2016, 16:32:46 UTC
5663704 Gilles Chabert 10 June 2016, 12:33:10 UTC Merge pull request #200 from dreal-deps/pr-hansen-fix fix(function/ibex_Function.cpp): when Jacobian is empty, set its Hansen matrix to be empty 10 June 2016, 12:33:10 UTC
03e265a gchabert 10 June 2016, 09:39:27 UTC Parser loop: bug fix+test update. Function: ExprApply --> composition 10 June 2016, 09:39:27 UTC
59642a0 Soonho Kong 10 June 2016, 08:36:16 UTC fix(function/ibex_Function.cpp): when Jacobian is empty, set its Hansen matrix to be empty 10 June 2016, 08:37:22 UTC
49e8ec0 gchabert 07 June 2016, 14:59:20 UTC Bug fix + first ExprSimplify tests (in progress). 07 June 2016, 14:59:20 UTC
18d4c51 Jordan 04 June 2016, 11:14:32 UTC remove Affine2MAtrixArray 04 June 2016, 11:14:32 UTC
850f147 Jordan08 03 June 2016, 22:02:35 UTC correct path to install with external library for interval 03 June 2016, 22:02:35 UTC
0489643 gchabert 01 June 2016, 16:08:49 UTC Bug fixes (in progress). 01 June 2016, 16:08:49 UTC
5adfba4 gchabert 01 June 2016, 14:39:11 UTC First bug fixes (in progress). 01 June 2016, 14:39:11 UTC
d8ecaf8 gchabert 01 June 2016, 06:33:19 UTC tests : update (in progress). 01 June 2016, 06:33:19 UTC
78099cf gchabert 29 May 2016, 16:02:50 UTC parser/tests : update (in progress). 29 May 2016, 16:02:50 UTC
17b53ee gchabert 27 May 2016, 16:02:52 UTC fix issue #198 27 May 2016, 16:02:52 UTC
247efa9 gchabert 27 May 2016, 15:50:31 UTC tests : update (in progress). 27 May 2016, 15:50:31 UTC
8ed2502 gchabert 25 May 2016, 20:56:28 UTC parser : update (in progress). Now compiles 25 May 2016, 20:56:28 UTC
dcfaa82 gchabert 24 May 2016, 09:23:33 UTC Function/parser : update (in progress) 24 May 2016, 09:23:33 UTC
1fa5462 gchabert 22 May 2016, 13:05:19 UTC Parser : update (in progress) 22 May 2016, 13:05:19 UTC
d81b443 gchabert 22 May 2016, 10:11:26 UTC Function : update (in progress) 22 May 2016, 10:11:26 UTC
2a1c2a1 gchabert 22 May 2016, 10:11:17 UTC Parser : update (in progress) 22 May 2016, 10:11:17 UTC
7fd769f gchabert 20 May 2016, 21:22:35 UTC Symbolic : update (in progress) 20 May 2016, 21:22:35 UTC
a776680 gchabert 20 May 2016, 21:07:26 UTC Dim & DoubleIndex: udpate (in progress) 20 May 2016, 21:07:26 UTC
92911d2 gchabert 20 May 2016, 21:06:37 UTC Parser: update (in progress) 20 May 2016, 21:06:37 UTC
45365e0 gchabert 20 May 2016, 21:06:21 UTC Symbolic: update (in progress). Mohc & ExprSplitOcc removed (temporarily?) 20 May 2016, 21:06:21 UTC
4530ad5 gchabert 20 May 2016, 19:47:49 UTC Symbolic: ExprSimplify (in progress) 20 May 2016, 19:47:49 UTC
ddebfdd gchabert 19 May 2016, 11:30:00 UTC Symbolic Diff: new code (not compiling yet) 19 May 2016, 11:30:00 UTC
1d0eccb gchabert 16 May 2016, 10:49:29 UTC Parser refactoring (continued) 16 May 2016, 10:49:29 UTC
38f2b68 gchabert 08 May 2016, 09:00:11 UTC Parser refactoring (continued) 08 May 2016, 09:00:11 UTC
a526766 gchabert 08 May 2016, 08:59:00 UTC Parser: entirely refactored with a more clean expression generation. Manages now double indices 08 May 2016, 08:59:00 UTC
e235e76 gchabert 08 May 2016, 08:57:06 UTC Arithmetic: replacing old indices with DoubleIndex system 08 May 2016, 08:57:06 UTC
86d3593 gchabert 30 April 2016, 09:57:41 UTC ExprIndexCopy: first and temporary implementation. 30 April 2016, 09:57:41 UTC
26be407 gchabert 28 April 2016, 10:30:24 UTC Merge branch 'develop' into ibex-2.2 28 April 2016, 10:30:24 UTC
dd62444 gchabert 28 April 2016, 10:08:41 UTC Optim: first order contraction now disabled if symbolic differentiation fails. Replacing temporarily ExprDiffException with Exception because ExprDiff unstable with vector/matrix op 28 April 2016, 10:08:41 UTC
f90714c gchabert 28 April 2016, 10:07:22 UTC Function: display now dimension of variables 28 April 2016, 10:07:22 UTC
f852ce5 gchabert 28 April 2016, 09:42:38 UTC Eval: fix wrong assertion. System: display now dimension of variables 28 April 2016, 09:42:38 UTC
2bd83c4 gchabert 28 April 2016, 08:45:03 UTC ExprIndexCopy: first draft 28 April 2016, 08:45:03 UTC
f784297 gchabert 27 April 2016, 11:39:07 UTC Travis: temporarily remove optimizer tests 27 April 2016, 11:39:07 UTC
b1213be gchabert 27 April 2016, 11:37:58 UTC Affine: removing Matrix arrays 27 April 2016, 11:37:58 UTC
f5d3570 gchabert 25 April 2016, 17:17:11 UTC Merge branch 'master' into ibex-2.2 25 April 2016, 17:17:11 UTC
cdff9f6 gchabert 25 April 2016, 17:11:08 UTC tests update 25 April 2016, 17:11:08 UTC
58caeaf gchabert 25 April 2016, 14:14:30 UTC TestAffine: update 25 April 2016, 14:14:30 UTC
0e2f1c5 gchabert 25 April 2016, 13:05:21 UTC Tests update 25 April 2016, 13:05:21 UTC
3c8c444 gchabert 25 April 2016, 13:04:52 UTC ExprCopy: recursive components calc. (to be cont'd) 25 April 2016, 13:04:52 UTC
221cc1f gchabert 25 April 2016, 13:04:30 UTC HC4/Gradient: handling heterogenous vectors 25 April 2016, 13:04:30 UTC
bd1a2f8 gchabert 22 April 2016, 20:46:35 UTC Eval: vector_fwd works now with heterogenous components 22 April 2016, 20:46:35 UTC
22026d5 gchabert 22 April 2016, 20:45:28 UTC Comment update 22 April 2016, 20:45:28 UTC
43cb329 gchabert 22 April 2016, 18:18:44 UTC No more IntervalMatrixArray (done) 22 April 2016, 18:18:44 UTC
fbc93b2 Gilles Chabert 21 April 2016, 21:46:12 UTC Merge pull request #192 from dvinc/dvinc-param-estim-wscript [param-estim] Plugin compilation fix + Prevent cliquer.h inclusion in ibex.h 21 April 2016, 21:46:12 UTC
91c381e Gilles Chabert 21 April 2016, 21:42:13 UTC Merge pull request #194 from dvinc/dvinc-affine-wscript [affine] wscript: Do not build LinearRelaxAfine2 without --with-optim option 21 April 2016, 21:42:13 UTC
343da75 Vincent Drevelle 21 April 2016, 13:38:34 UTC [affine] wscript: do not build LinearRelaxAfine2 if optim plugin is not enabled 21 April 2016, 14:49:37 UTC
157adae gchabert 21 April 2016, 14:15:51 UTC No more IntervalMatrixArray (in progress) 21 April 2016, 14:15:51 UTC
67ee5bf Vincent Drevelle 21 April 2016, 10:08:27 UTC [param-estim] Removed cliquer.h include from KCoreGraph.h and ibex.h cliquer is C code containing a lot of defines, wich may interfere badly with the user C++ code when included 21 April 2016, 10:08:27 UTC
9701266 Vincent Drevelle 21 April 2016, 10:06:02 UTC Add cliquer sources in param-estim wfile 21 April 2016, 10:06:02 UTC
c3ffddf gchabert 20 April 2016, 17:03:29 UTC Dim: dim2 and dim3 fields now private (replaced by nb_rows() and nb_cols()) 20 April 2016, 17:03:29 UTC
c16bd4d gchabert 20 April 2016, 16:37:20 UTC Dim: allow building vector of heterogenous expressions + test for Dim 20 April 2016, 16:37:20 UTC
f238eea Gilles Chabert 20 April 2016, 09:29:36 UTC Merge pull request #191 from dvinc/dvinc-patch-qinter-cout Remove spurious cout in qinter. 20 April 2016, 09:29:36 UTC
72263f7 Vincent Drevelle 20 April 2016, 09:13:37 UTC Remove spurious cout in qinter. 20 April 2016, 09:13:37 UTC
c88dd24 gchabert 16 April 2016, 13:52:10 UTC update README.md 16 April 2016, 13:52:10 UTC
2e95703 gchabert 16 April 2016, 13:50:29 UTC Merge branch 'master' into develop 16 April 2016, 13:50:29 UTC
62a3b82 gchabert 16 April 2016, 13:48:40 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 16 April 2016, 13:48:40 UTC
f4a7b21 gchabert 16 April 2016, 13:48:05 UTC doc update 16 April 2016, 13:48:05 UTC
9d8d2a0 gchabert 16 April 2016, 13:45:55 UTC doc update 16 April 2016, 13:45:55 UTC
950de66 gchabert 11 April 2016, 15:24:43 UTC VarSet: fix issue #187 11 April 2016, 15:24:43 UTC
a6c840d gchabert 10 April 2016, 09:07:36 UTC Waf script: java compiler flags LINKFLAGS_IBEX --> LINKFLAGS_JAVA 10 April 2016, 09:07:36 UTC
34b4b14 gchabert 09 April 2016, 23:51:17 UTC Waf script: moving the ibex-java lib task in src/wscript directly (temp. fix) 09 April 2016, 23:51:17 UTC
f868291 gchabert 09 April 2016, 22:06:44 UTC Waf script: restoring old Java plugin scripts (was impossible under Win32 to link to the ibex library when ibex_Java.o is inside, even when removing the --kill-at flag) 09 April 2016, 22:06:44 UTC
f9fcfd1 gchabert 09 April 2016, 20:04:55 UTC Waf script: add soplex in IBEX_DEPS 09 April 2016, 20:04:55 UTC
7ded6bd gchabert 09 April 2016, 19:42:39 UTC Waf script: removing spurious include folders in pkg-config file 09 April 2016, 19:42:39 UTC
ae1cf5f gchabert 08 April 2016, 14:19:31 UTC Java plugin waf script: fixing some problems to find JNI headers under Windows, by introducing the GLOBAL_DEPS variable 08 April 2016, 14:19:31 UTC
732fbd3 gchabert 08 April 2016, 11:08:41 UTC Java plugin waf script: impossible to link properly ibex-java with ibex. Now only the ibex library is generated, and contains the java glue. Generation of the ibex_Java.cpp file could not also be scheduled before libibex.so so it is done now at configuration time and the header file (with extern "C" directives) has been inserted directly in the file. 08 April 2016, 11:08:41 UTC
c11dc74 gchabert 08 April 2016, 08:13:38 UTC Main wscript: add "no-undefined" option to compiler flags to broken link between libibex-java.so and libibex.so 08 April 2016, 08:13:38 UTC
f2ebae9 gchabert 07 April 2016, 21:20:15 UTC Waf scripts: fix various issues: Filib relative paths, appending lines in ibex_Setting.h does not work under Windows, cliquer header files were missing, ... 07 April 2016, 21:20:15 UTC
b9a648a gchabert 07 April 2016, 08:15:37 UTC Optim wscript: fix small issue 07 April 2016, 08:15:37 UTC
bb588aa gchabert 06 April 2016, 18:50:29 UTC src/wscript: change include relative path to absolute 06 April 2016, 18:50:29 UTC
8a60dc1 gchabert 06 April 2016, 11:31:00 UTC NumConstraint: add constructor with file name 06 April 2016, 11:31:00 UTC
cd0eaac gchabert 06 April 2016, 11:30:20 UTC doc update 06 April 2016, 11:30:20 UTC
17bf3f9 Gilles Chabert 04 April 2016, 17:37:47 UTC Merge pull request #186 from dreal-deps/pr1 compiler warnings 04 April 2016, 17:37:47 UTC
732d010 Soonho Kong 26 March 2016, 04:54:31 UTC refactor(function/ibex_CompiledFunction.h): suppress overloaded-virtual warning See http://stackoverflow.com/questions/18515183/c-overloaded-virtual-function-warning-by-clang 04 April 2016, 14:13:11 UTC
7c209c3 Soonho Kong 26 March 2016, 04:54:12 UTC refactor: remove unused param warnings 04 April 2016, 14:13:11 UTC
880b071 Soonho Kong 26 March 2016, 04:18:05 UTC refactor(function/ibex_Function.h): remove const on return type ibex_Function.h:1118:19: warning: 'const' type qualifier on return type has no effect [-Wignored-qualifiers] inline const int* const Function::used_vars() const { ^~~~~~ 04 April 2016, 14:13:11 UTC
back to top