sort by:
Revision Author Date Message Commit Date
35e863a tmp 23 February 2016, 10:49:30 UTC
40c8297 Affine : change saxpy and operator+= 18 February 2016, 12:13:33 UTC
bc37160 Affine: fix issue with resize Profil/BIAS: bug with Interval(inf,inf) 16 February 2016, 16:38:24 UTC
ad0f262 Affine2: corect compil 11 January 2016, 22:56:38 UTC
f769f13 Affine: correct bug in resize Compil not ok 11 January 2016, 00:43:37 UTC
7c1eaf2 Now in Affine2(n,m,itv): m is the indice of the epsilon variable (0<=m)&&(m<n) 10 January 2016, 23:38:11 UTC
1dde632 remove the boolean parameter in the contructor of AffineMainVector 10 January 2016, 22:07:29 UTC
8a12529 rect the acces to the element of the affine form. Now the constant is the center: af2.center() and the epsilon variable start from 0 to af2.size()-1 09 January 2016, 19:08:42 UTC
38fdd48 improve the way to compute the middle: mid=lb-(lb-ub)/2 07 December 2015, 14:53:47 UTC
041f441 improve compatibility with Windows 07 December 2015, 06:10:07 UTC
4fc4a70 remove unused variables 06 December 2015, 21:48:11 UTC
a7f0888 test ok 06 December 2015, 13:55:23 UTC
095e17f merge with "develop" 30 November 2015, 18:20:53 UTC
352b4aa Compil ok 30 November 2015, 18:02:33 UTC
4ede11c RENAME Affine2Main -> AffineMain Affine2 -> is now my version Affine3 -> the other one AffineLin -> Affine2 30 November 2015, 15:26:35 UTC
b8e316a Merge with branch develop 30 November 2015, 14:20:38 UTC
e7d06e7 temp + correct #155 03 September 2015, 09:16:07 UTC
ec7f5c1 small update 24 June 2015, 10:34:38 UTC
6b57c44 Merge remote-tracking branch 'origin/master' into dev_affine 24 June 2015, 10:19:40 UTC
1941a17 Affine2: some function are now private to reduce the error of users 24 June 2015, 10:17:36 UTC
92248a3 update README.md 22 June 2015, 06:19:15 UTC
0aaec66 Merge remote-tracking branch 'origin/master' into develop 22 June 2015, 06:18:27 UTC
44e4765 Fix bug in extr_diam_index 16 June 2015, 22:00:49 UTC
265db86 Doc update 16 June 2015, 21:29:00 UTC
a2ea55e Doc update 16 June 2015, 16:32:46 UTC
4c21607 Doc update 16 June 2015, 15:34:00 UTC
40e32b4 SetInterval & Sep: introduce status1 and statu2 for separators 16 June 2015, 15:29:53 UTC
d91200a Doc update 14 June 2015, 20:52:25 UTC
2a7c870 Doc update 14 June 2015, 20:45:39 UTC
492cfb8 Doc update 14 June 2015, 12:37:59 UTC
81418ec Fix issue #146 14 June 2015, 12:36:18 UTC
c0ac64e Merge branch 'master' of https://github.com/ibex-team/ibex-lib 14 June 2015, 12:25:53 UTC
93637e7 Test update 14 June 2015, 12:24:23 UTC
e0cd92e Doc update 14 June 2015, 12:18:24 UTC
5081424 Restoring slam2_tmp 14 June 2015, 12:11:19 UTC
1781a77 Union: add constructior for negation of a system. SepFwdBwd and Set: add constructor from system 14 June 2015, 12:01:58 UTC
a209746 Doc update 14 June 2015, 12:01:24 UTC
c9b549d doc update 12 June 2015, 15:28:55 UTC
6e4c487 Set: add contract in Ctc/Sep 12 June 2015, 15:13:13 UTC
b3bd5c7 Set: add constructor with Function/NumConstraint 12 June 2015, 13:19:26 UTC
9de4609 TestIntervalVector: add a test for diff 12 June 2015, 09:42:52 UTC
559fce8 Moving lab examples 12 June 2015, 09:36:28 UTC
b69a420 Set: introducing SetVisitor pattern + doc examples. IntervalVector: extr_index takes into account unbounded domains 12 June 2015, 09:33:23 UTC
96e4af7 doc update 12 June 2015, 09:31:54 UTC
4160b49 Set: refactoring and new implementations 10 June 2015, 20:35:12 UTC
5c99578 Set: simplifying implementation of inter, inter_rec 10 June 2015, 10:11:26 UTC
0b70de4 Update README.md 09 June 2015, 05:30:51 UTC
3f1e7c5 Merge branch 'master' of https://github.com/ibex-team/ibex-lib 08 June 2015, 14:09:25 UTC
d8fc97d ExprSymbol: fix static init pb with variables 08 June 2015, 14:05:51 UTC
871e953 Merge remote-tracking branch 'origin/master' into develop 08 June 2015, 14:00:48 UTC
20b3168 IntervalVector::diff returns 0 if result is empty 08 June 2015, 13:50:35 UTC
241063b doc update 08 June 2015, 13:49:16 UTC
bdfa907 doc update 08 June 2015, 13:48:53 UTC
3917ee5 Update nonreg-travis-soplex-filib.res I modify the time of the exemple immun.bch for Travis 05 June 2015, 10:09:05 UTC
8d2d842 cliquer: renaming 'boolean' as 'cliquer_boolean' (conflict with MinGW/include/rpcndr.h) 03 June 2015, 20:31:36 UTC
14347ee Java: remove EmptyBoxException 03 June 2015, 19:57:03 UTC
c99021b Merge remote-tracking branch 'origin/develop' 03 June 2015, 19:41:22 UTC
8d2e6b4 Merge remote-tracking branch 'origin/develop' into newset 03 June 2015, 19:31:39 UTC
a519036 Set: add balancing for intersection (and restore 'inter' instead of experimental 'inter2') 03 June 2015, 19:31:25 UTC
1bfe768 Merge pull request #143 from ibex-team/dev_affine Dev affine 02 June 2015, 08:53:28 UTC
4cd4248 Set: implem is_superset(box) 01 June 2015, 12:49:01 UTC
1b3da65 Set: balancing in union 01 June 2015, 12:26:36 UTC
9e0e95c Doc update 01 June 2015, 11:19:37 UTC
a3976f6 Merge pull request #85 from ibex-team/hotfix-9 Hotfix 9 28 May 2015, 11:54:03 UTC
2481714 SetInterval: fix bug in save() 28 May 2015, 11:18:46 UTC
a2cf98d ready to merge without OptimSimplex 28 May 2015, 08:13:55 UTC
28ed96a tmp 28 May 2015, 07:42:02 UTC
78cbfe9 Merge remote-tracking branch 'origin/develop' into hotfix-9 28 May 2015, 07:30:42 UTC
fa131d1 Fix issue #145 28 May 2015, 06:50:49 UTC
ab7ee16 Set: add node_box function 27 May 2015, 15:34:54 UTC
eee8b41 Fix issue #139 (by Ignacio Araya) 27 May 2015, 06:41:42 UTC
56105dc Merge branch 'hotfix-136' into develop 27 May 2015, 06:23:45 UTC
53d3c77 add unitary tests 26 May 2015, 22:47:20 UTC
07a21af add unitary test 26 May 2015, 22:06:37 UTC
ce81db5 add EvalAffineLin 26 May 2015, 17:13:06 UTC
7702dfe EvalAffineLin OK 26 May 2015, 16:29:57 UTC
777ee08 correct warning 26 May 2015, 13:35:05 UTC
14b71f2 Set: add calculation of connected components 26 May 2015, 13:27:35 UTC
75298a5 test ok 26 May 2015, 13:19:55 UTC
399909b first compil but still bug 26 May 2015, 11:22:33 UTC
2540739 problem with _assign and _col 23 May 2015, 22:59:35 UTC
5609b41 [Fix #136] Integrate Clement correction 23 May 2015, 06:48:31 UTC
34a8f81 create template Affine2MainVector 22 May 2015, 22:39:50 UTC
5950880 Impossible to remove the template of Affine2Main. If somebody has an idea... please 22 May 2015, 17:05:12 UTC
e4bc11f first add of AFFullI 22 May 2015, 15:31:37 UTC
a88d6ff [Fix] Special case when all boxes are degenerated along a dimension 21 May 2015, 07:41:09 UTC
916c051 Add Test on qinter_projf 21 May 2015, 07:40:40 UTC
16b9a20 Merge pull request #133 from dreal-deps/feat-exprdiff-atan2 derivative and gradient of atan2 20 May 2015, 16:22:04 UTC
6791a4b feat(function/ibex_Gradient): implement Gradient::atan2_bwd Reference: http://en.wikipedia.org/wiki/Atan2\#Derivative 20 May 2015, 16:08:40 UTC
9fdd905 feat(symbol/ibex_ExprDiff.cpp): implement ExprDiff::visit(const ExprAtan2& e) http://en.wikipedia.org/wiki/Atan2 20 May 2015, 16:08:40 UTC
49d7c59 Merge pull request #135 from dreal-deps/master fix(tests/nonreg.cpp): add missing <iomanip> header 20 May 2015, 16:04:56 UTC
b98c4e2 fix bug in all the Affine2 in operator*= 20 May 2015, 15:58:42 UTC
1eee756 fix(tests/nonreg.cpp): add missing <iomanip> header 20 May 2015, 14:20:34 UTC
948d2dd bwd_atan2: new implem (fix issue #134 and #123) 20 May 2015, 09:43:07 UTC
dcdaefc atan2: new implem 20 May 2015, 08:24:20 UTC
fb78c3c Sets: fixing code for sync + factorization with inter 19 May 2015, 08:09:04 UTC
55b9b12 Sets: back to BoolInterval for status 18 May 2015, 14:10:02 UTC
f084e54 Set: trying to merge inter/sync. Last commit before simplification 18 May 2015, 12:13:54 UTC
369e90b Fix bug in SetNode::diff (case diam(y)<eps) 14 May 2015, 22:33:45 UTC
01bdd54 Set: new implem for sync 14 May 2015, 11:46:37 UTC
back to top