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