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

sort by:
Revision Author Date Message Commit Date
d0fd799 Fix bug with nth_root with gaol 4 10 July 2016, 09:53:01 UTC
d6ecd84 Restore README.md 07 July 2016, 12:56:18 UTC
4c22f68 Restoring some changes of pr #212 07 July 2016, 09:48:33 UTC
48aedc3 Merge remote-tracking branch 'origin/plugin_affine' into develop 07 July 2016, 08:03:45 UTC
b35ab7e Merge remote-tracking branch 'origin/develop' into develop 07 July 2016, 07:48:48 UTC
5498e23 Merge remote-tracking branch 'origin/master' into develop 07 July 2016, 07:48:33 UTC
d1993f7 Merge pull request #213 from ibex-team/hotfix-189 fix #189 now --enable-shared and --with-ampl are compatible. 07 July 2016, 07:16:04 UTC
a5b2b33 fix #189 now --enable-shared and --with-ampl are compatible. ampl is compiling in dynamic librairy 06 July 2016, 22:35:19 UTC
74ae648 Update .travis.yml 06 July 2016, 20:45:36 UTC
020cc7f you can merge in "develop" 06 July 2016, 16:06:35 UTC
18dfc92 fix wscript after the merge with hotfix-199 06 July 2016, 15:45:52 UTC
4e5d62d correct 3rd/wscript 06 July 2016, 15:28:36 UTC
bc30ebe Merge branch 'hotfix-199' into plugin_affine 06 July 2016, 15:24:59 UTC
8e284f9 change the number of version 06 July 2016, 15:24:12 UTC
a2a8133 Change TestQInter to TestQInter2 06 July 2016, 14:32:27 UTC
6ef4959 Merge branch 'master' of https://github.com/ibex-team/ibex-lib 06 July 2016, 14:02:41 UTC
2e1086f Merge pull request #210 from benEnsta/additional_separators Additional separators 06 July 2016, 14:00:02 UTC
09d0dc9 avoid conflict with the branch hotfix-199 06 July 2016, 12:49:53 UTC
c380253 Merge remote-tracking branch 'origin/master' into develop 06 July 2016, 12:06:55 UTC
a8ff777 Merge remote-tracking branch 'origin/master' 06 July 2016, 12:06:46 UTC
5c82458 Doc update 06 July 2016, 12:06:06 UTC
a217780 now nothing is bigger than POS_INFINITY restor ibex_Dim.cpp 06 July 2016, 07:19:50 UTC
50ec3cd [additional_separators] add tests for new separators 05 July 2016, 09:51:45 UTC
1f44b00 [additional_separators] add SepQinter and SepInverse 05 July 2016, 09:51:05 UTC
a936bf5 #199 fix previous of POS_INFINITY 05 July 2016, 07:46:05 UTC
808d7b1 #199 reset: now nothing is bigger than POS_INFINITY 05 July 2016, 07:37:30 UTC
a5c91b2 test OK (except for AF_No, but it is normal) 05 July 2016, 07:31:14 UTC
fc9b7c4 remove implicite conversion Affine -> Interval remve saxpy from all the affine form fix lack of "idx_cp_fwd" in AffineEval start to test 04 July 2016, 23:14:07 UTC
01d7cd7 integrate all the version of Affine arithmetics 04 July 2016, 16:25:49 UTC
d7845e7 start AF1 change flag FMA 04 July 2016, 09:25:38 UTC
f0c14c0 #199 update Test and correct log, exp, previousand next in FILIB, PROFIL and DIRECT 03 July 2016, 23:09:26 UTC
2c9ae5d Merge pull request #207 from benEnsta/hotfix-163 [hotfix-163] add nb_var field in separator 03 July 2016, 18:44:57 UTC
5346215 [hotfix-163] add nb_var field in separator 03 July 2016, 15:49:41 UTC
e1b3830 Tests update 30 June 2016, 14:31:38 UTC
df93d67 ExprSimplify: OK. Was due to the tested problem ("launch"), actually very instable 29 June 2016, 17:11:47 UTC
2b958dd ExprSimplify: try to simplify addition/subtraction/multiplication in cascade (cont'd) 29 June 2016, 13:46:21 UTC
8961375 ExprSimplify: try to simplify addition/subtraction/multiplication in cascade but seems counter-productive (?) 28 June 2016, 21:41:40 UTC
a91742f Merge pull request #203 from ita1024/master Remove some unnecessary code 22 June 2016, 20:17:01 UTC
3a4d779 Merge branch 'master' of https://github.com/ibex-team/ibex-lib 22 June 2016, 08:04:56 UTC
1c882ef slam1: minor fix (release 2.3 is now more strict on function argument types) 22 June 2016, 08:04:32 UTC
6d4172f Merge remote-tracking branch 'origin/master' into plugin_affine 20 June 2016, 15:57:48 UTC
d4534ab Start to fix #199 20 June 2016, 15:46:35 UTC
a966893 rename ibex_XXX_Interval.* with ibex_Interval_XXX.* 20 June 2016, 12:55:43 UTC
8cdc22e Merge remote-tracking branch 'origin/master' into hotfix-199 20 June 2016, 12:50:35 UTC
a604059 Merge branch 'master' into hotfix-199 20 June 2016, 12:47:18 UTC
9081cea Update ibex_TemplateMatrix.h_ remove assert(!__is_empty(m)) from "_submatrix" 20 June 2016, 12:43:53 UTC
90ead9d Remove some unnecessary code 19 June 2016, 07:45:01 UTC
7a2ce22 add simplify for matrix components 18 June 2016, 21:33:52 UTC
ea8c0e3 Merge remote-tracking branch 'origin/develop' 18 June 2016, 17:09:25 UTC
68fa1d4 fix issue #42 17 June 2016, 14:13:22 UTC
f1f1e3d Fixing other memory leaks 17 June 2016, 09:57:39 UTC
dd25f8c 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 Merge https://github.com/ibex-team/ibex-lib into ibex-2.2 17 June 2016, 06:48:29 UTC
05241f6 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 feat(symbolic/ibex_ExprSimplify.cpp): implement ExprSimplify::visit(const ExprChi& e) 17 June 2016, 04:42:06 UTC
75e6a57 Fixing other memory problems 16 June 2016, 20:54:48 UTC
41c7ab4 Merge remote-tracking branch 'origin/develop' into ibex-2.2 16 June 2016, 20:47:34 UTC
8405207 Adpating Affine plugin to new index system 16 June 2016, 20:44:20 UTC
85d9987 Fix memory leaks 16 June 2016, 20:31:36 UTC
6c5ec52 Affine: delete saxpy / replace by *=, += and inflate 15 June 2016, 23:03:16 UTC
7390555 Affine: dividing the code of linChebyshev aand linMinRange, test ok 14 June 2016, 22:24:03 UTC
33d1a07 Fix some memory leaks 14 June 2016, 19:47:32 UTC
712a5db tests update+minor fix in ExprDiff 14 June 2016, 16:02:17 UTC
b76d73b Merge remote-tracking branch 'origin/develop' 14 June 2016, 14:38:37 UTC
67d8604 Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 14 June 2016, 14:24:55 UTC
154b244 Fix issue #201. Now all components of an empty vector/matrix are empty 14 June 2016, 14:24:33 UTC
e88a9c7 tests update 14 June 2016, 12:54:12 UTC
7e5f6db test ExprDiff update 14 June 2016, 12:51:45 UTC
5dd6cef Fix bug in ExprDiff 13 June 2016, 15:33:02 UTC
a088838 Fix issue in temporary symbol in Minibex function. Bug fix in ExprDiff and ExprSimlify 10 June 2016, 21:42:11 UTC
eaaf60d Implement ExprPower simplify 10 June 2016, 17:47:59 UTC
301f083 Fix bug simplify with transpose 10 June 2016, 16:32:46 UTC
5663704 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 Parser loop: bug fix+test update. Function: ExprApply --> composition 10 June 2016, 09:39:27 UTC
a237dda fix the flags to compile in debug mode 10 June 2016, 08:48:57 UTC
59642a0 fix(function/ibex_Function.cpp): when Jacobian is empty, set its Hansen matrix to be empty 10 June 2016, 08:37:22 UTC
bb52312 add debug mode in test of travis 10 June 2016, 08:33:27 UTC
c9a8de1 test ok 07 June 2016, 22:44:35 UTC
4f7f8e4 Restructure Affine Arithmetic 07 June 2016, 15:08:26 UTC
49e8ec0 Bug fix + first ExprSimplify tests (in progress). 07 June 2016, 14:59:20 UTC
7a26dd5 Merge fAF2 and fAF2_fma 06 June 2016, 16:00:35 UTC
2b1ab43 create plugin affine-extended 06 June 2016, 14:10:25 UTC
6e8f772 correct 05 June 2016, 21:33:51 UTC
f9cc230 correct destructeur 05 June 2016, 21:25:39 UTC
1107906 rename Affine2 -> Affine 05 June 2016, 21:12:29 UTC
cdce3ed Merge branch 'develop' into hotfix-199 04 June 2016, 11:15:59 UTC
18d4c51 remove Affine2MAtrixArray 04 June 2016, 11:14:32 UTC
850f147 correct path to install with external library for interval 03 June 2016, 22:02:35 UTC
f0a9fef correct the include path in pkg_config 03 June 2016, 21:56:42 UTC
eb161df minor correction, in case of... 03 June 2016, 21:17:44 UTC
0489643 Bug fixes (in progress). 01 June 2016, 16:08:49 UTC
5adfba4 First bug fixes (in progress). 01 June 2016, 14:39:11 UTC
d8ecaf8 tests : update (in progress). 01 June 2016, 06:33:19 UTC
78099cf parser/tests : update (in progress). 29 May 2016, 16:02:50 UTC
17b53ee fix issue #198 27 May 2016, 16:02:52 UTC
247efa9 tests : update (in progress). 27 May 2016, 15:50:31 UTC
8ed2502 parser : update (in progress). Now compiles 25 May 2016, 20:56:28 UTC
dcfaa82 Function/parser : update (in progress) 24 May 2016, 09:23:33 UTC
1fa5462 Parser : update (in progress) 22 May 2016, 13:05:19 UTC
d81b443 Function : update (in progress) 22 May 2016, 10:11:26 UTC
back to top