b47aa21 | Jordan | 21 June 2015, 13:21:33 UTC | Update .travis.yml | 21 June 2015, 13:21:33 UTC |
f3e56f6 | Jordan08 | 21 June 2015, 12:46:22 UTC | fix small bug | 21 June 2015, 12:46:22 UTC |
8c66423 | Jordan08 | 21 June 2015, 12:14:33 UTC | MainOpti | 21 June 2015, 12:14:33 UTC |
3074dd1 | jninin | 21 June 2015, 11:26:55 UTC | Merge remote-tracking branch 'origin/master' into optictc | 21 June 2015, 11:26:55 UTC |
e29c7c2 | Jordan08 | 21 June 2015, 11:26:17 UTC | tmp | 21 June 2015, 11:26:17 UTC |
15d977b | Jordan08 | 17 June 2015, 16:32:47 UTC | Start MainOpti: first compiling | 17 June 2015, 16:32:47 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 |
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 |
27a8c28 | Jordan08 | 07 June 2015, 15:46:12 UTC | modify default value in nonreg_optimctc | 07 June 2015, 15:46:12 UTC |
b77e101 | Jordan | 06 June 2015, 10:27:48 UTC | merged | 06 June 2015, 10:27:48 UTC |
1d2d176 | Jordan08 | 06 June 2015, 10:25:59 UTC | correct bug in OptimCtc | 06 June 2015, 10:25:59 UTC |
ee5fd95 | Jordan | 05 June 2015, 17:53:46 UTC | Update .travis.yml | 05 June 2015, 17:53:46 UTC |
80ca5d2 | Jordan08 | 05 June 2015, 17:46:17 UTC | small bug | 05 June 2015, 17:46:17 UTC |
06b624c | Jordan08 | 05 June 2015, 17:10:53 UTC | add timeout in nonreg | 05 June 2015, 17:10:53 UTC |
5edcb8f | Jordan08 | 05 June 2015, 17:07:29 UTC | correct StrategyParam | 05 June 2015, 17:07:29 UTC |
e11ebcf | Jordan | 05 June 2015, 16:50:18 UTC | Update .travis.yml | 05 June 2015, 16:50:18 UTC |
3afd8c8 | Jordan08 | 05 June 2015, 16:11:11 UTC | add OptimCtcStrategy and nonreg test for OptimCtc | 05 June 2015, 16:11:11 UTC |
0e0cdac | jninin | 05 June 2015, 13:33:46 UTC | Merge remote-tracking branch 'origin/develop' into optictc | 05 June 2015, 13:33:46 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 |
2e1b770 | Jordan08 | 01 June 2015, 12:48:41 UTC | correction of the algo | 01 June 2015, 12:48:41 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 |
abfff41 | Jordan08 | 29 May 2015, 13:57:31 UTC | compil OK | 29 May 2015, 13:57:31 UTC |
0e24b97 | Jordan08 | 28 May 2015, 21:15:27 UTC | tmp | 28 May 2015, 21:15:27 UTC |
af799ed | Jordan08 | 28 May 2015, 20:52:37 UTC | Merge branch 'develop' into optictc Conflicts: src/strategy/ibex_CellHeapOptim.cpp | 28 May 2015, 20:52: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 |
12e5452 | Gilles Chabert | 14 May 2015, 11:19:58 UTC | update README.md | 14 May 2015, 11:19:58 UTC |
3e228f5 | Gilles Chabert | 14 May 2015, 11:19:22 UTC | Set: add NodeType inter/subset/union | 14 May 2015, 11:19:22 UTC |
a01ae85 | Gilles Chabert | 13 May 2015, 12:12:46 UTC | Set: reimplementing diff (cont'd) | 13 May 2015, 12:12:46 UTC |
72df008 | Gilles Chabert | 13 May 2015, 10:12:03 UTC | Set: reimplementing diff | 13 May 2015, 10:12:03 UTC |
5b7b30c | Gilles Chabert | 11 May 2015, 15:19:00 UTC | Set: removing TMP_IN (cont'd) | 11 May 2015, 15:19:00 UTC |