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
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
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
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
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
17b53ee gchabert 27 May 2016, 16:02:52 UTC fix issue #198 27 May 2016, 16:02:52 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
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
43308e0 gchabert 04 April 2016, 11:52:09 UTC Kernel v2.2: Affine plugin: install all *.h_ in include dir 04 April 2016, 11:52:09 UTC
5fc668d gchabert 04 April 2016, 11:38:22 UTC Kernel v2.2: Add LinearRelaxAffine2 in affine (forgotten in previous commit) 04 April 2016, 11:38:22 UTC
621c156 gchabert 03 April 2016, 21:23:29 UTC Kernel v2.2: Add --with-affine in travis configuration 03 April 2016, 21:23:29 UTC
d680f69 gchabert 03 April 2016, 18:28:22 UTC Kernel v2.2: Restore ART in optim + LinearRelaxAffine2 in affine 03 April 2016, 18:28:22 UTC
b42cb46 gchabert 25 March 2016, 17:19:59 UTC Merge branch 'master' into develop 25 March 2016, 17:19:59 UTC
02527ca gchabert 25 March 2016, 17:01:30 UTC Merge branch 'ibex-2.2' 25 March 2016, 17:01:30 UTC
3d6cb0e gchabert 25 March 2016, 16:53:52 UTC Merge branch 'develop' 25 March 2016, 16:53:52 UTC
25807ba gchabert 25 March 2016, 16:44:06 UTC Merge branch 'master' into ibex-2.2 25 March 2016, 16:44:06 UTC
53168e7 gchabert 25 March 2016, 16:43:05 UTC Merge branch 'develop' into ibex-2.2 25 March 2016, 16:43:05 UTC
b0743cc gchabert 25 March 2016, 12:52:25 UTC Kernel v2.2: Fix memory bug in LinearRelaxXTaylor --> Non regression tests OK 25 March 2016, 12:52:25 UTC
4388a95 gchabert 25 March 2016, 08:08:49 UTC Kernel v2.2: Affine arithmetic plugin, templating Affine2Eval + tests now OK 25 March 2016, 08:08:49 UTC
574e3d2 gchabert 24 March 2016, 17:43:06 UTC Kernel v2.2: Adding Affine arithmetic plugin 24 March 2016, 17:43:06 UTC
a89f246 gchabert 23 March 2016, 14:15:18 UTC Kernel v2.2: Minor update 23 March 2016, 14:15:18 UTC
be8af32 gchabert 23 March 2016, 14:08:02 UTC Kernel v2.2: Minor update on Waf script 23 March 2016, 14:08:02 UTC
b6e8e5e gchabert 23 March 2016, 13:41:25 UTC Kernel v2.2: Update Travis script 23 March 2016, 13:41:25 UTC
3833acd gchabert 23 March 2016, 13:41:03 UTC Kernel v2.2: Update Travis script 23 March 2016, 13:41:03 UTC
b70775b gchabert 23 March 2016, 13:32:20 UTC Kernel v2.2: ENSTA robotics / Param estim tests ok 23 March 2016, 13:32:20 UTC
95b9399 gchabert 23 March 2016, 12:46:39 UTC Kernel v2.2: optim tests ok 23 March 2016, 12:46:39 UTC
aa23c3f gchabert 23 March 2016, 08:21:22 UTC Kernel v2.2: kernel tests OK! 23 March 2016, 08:21:22 UTC
efa0b97 gchabert 22 March 2016, 20:08:50 UTC Kernel v2.2: introducing ExprDataFactory + first bug fixes 22 March 2016, 20:08:50 UTC
c0d70b7 gchabert 22 March 2016, 14:17:03 UTC Kernel v2.2: reorganizing tests (main tests now compiling) 22 March 2016, 14:17:03 UTC
970f910 gchabert 21 March 2016, 22:20:32 UTC Kernel v2.2: reorganizing tests, changing cpptest to cppunit 21 March 2016, 22:20:32 UTC
4568843 gchabert 21 March 2016, 13:52:20 UTC Kernel v2.2: continued (fix remaining compiling issues) 21 March 2016, 13:52:20 UTC
65284c7 gchabert 21 March 2016, 12:34:36 UTC Kernel v2.2: continued (now compiling) 21 March 2016, 12:34:36 UTC
31bf168 gchabert 20 March 2016, 22:04:12 UTC Kernel v2.2: continued (not compiling yet) 20 March 2016, 22:04:12 UTC
8c4fdcb gchabert 20 March 2016, 18:19:53 UTC Kernel v2.2: started 20 March 2016, 18:19:53 UTC
48cc53a gchabert 20 March 2016, 18:19:34 UTC Kernel v2.2: started 20 March 2016, 18:19:34 UTC
1aa8530 gchabert 17 March 2016, 18:05:40 UTC Waf scripts refactoring: Param Estimation plugin 17 March 2016, 18:05:40 UTC
f2b3b69 gchabert 17 March 2016, 17:46:00 UTC Waf scripts refactoring: SLAM plugin 17 March 2016, 17:46:00 UTC
29a386b gchabert 17 March 2016, 17:26:51 UTC Waf scripts refactoring: AMPL plugin (cont'd) 17 March 2016, 17:26:51 UTC
a70f52d gchabert 17 March 2016, 15:59:15 UTC Waf scripts refactoring: AMPL plugin 17 March 2016, 15:59:15 UTC
23e1c54 gchabert 15 March 2016, 22:27:42 UTC Waf scripts refactoring: Java plugin 15 March 2016, 22:27:42 UTC
f2b9889 gchabert 09 March 2016, 14:10:20 UTC Waf scripts refactoring (cont'd) 09 March 2016, 14:10:20 UTC
e1bb54d gchabert 07 March 2016, 17:45:29 UTC Waf scripts refactoring 07 March 2016, 17:45:29 UTC
721d827 gchabert 06 March 2016, 09:59:34 UTC Plugins: new WAF scripts 06 March 2016, 09:59:34 UTC
3829d1f gchabert 06 March 2016, 09:58:50 UTC Optim plugin: Reorganizing files 06 March 2016, 09:58:50 UTC
6f6cfc4 gchabert 05 March 2016, 16:01:34 UTC Move sources in strategy folder to optim plugin 05 March 2016, 16:01:34 UTC
b8b469a gchabert 05 March 2016, 15:59:03 UTC Remove antic makefiles 05 March 2016, 15:59:03 UTC
cded5bb Gilles Chabert 03 March 2016, 11:46:09 UTC Merge pull request #174 from ibex-team/hotfix-173 fix min/max with empty set in filib: #173 03 March 2016, 11:46:09 UTC
bc509db Gilles Chabert 03 March 2016, 11:45:34 UTC Merge pull request #180 from ibex-team/hotfix-179 fix issue #179 03 March 2016, 11:45:34 UTC
2d4bb21 gchabert 03 March 2016, 10:44:37 UTC Removing cliquer/Qinter2/QInterProj 03 March 2016, 10:44:37 UTC
274da1e gchabert 03 March 2016, 10:15:38 UTC Merge remote-tracking branch 'origin/master' into develop 03 March 2016, 10:15:38 UTC
8ee2be4 gchabert 03 March 2016, 10:14:43 UTC Merge remote-tracking branch 'origin/master' into develop 03 March 2016, 10:14:43 UTC
410ef16 gchabert 03 March 2016, 10:14:17 UTC Merge remote-tracking branch 'origin/develop' 03 March 2016, 10:14:17 UTC
0b549b3 gchabert 03 March 2016, 10:11:53 UTC Merge branch 'master' of https://github.com/ibex-team/ibex-lib 03 March 2016, 10:11:53 UTC
back to top