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 |
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 |
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 |
b7eb213 | Gilles Chabert | 11 May 2015, 09:32:47 UTC | Set: removing IN_TMP | 11 May 2015, 09:32:47 UTC |
138bc92 | Gilles Chabert | 04 May 2015, 16:25:26 UTC | Merge pull request #132 from dreal-deps/master fix(contractor/ibex_CtcForAll.cpp): small typo | 04 May 2015, 16:25:26 UTC |
d89e599 | Soonho Kong | 04 May 2015, 15:21:55 UTC | fix(contractor/ibex_CtcForAll.cpp): small typo | 04 May 2015, 15:21:55 UTC |
b695a9a | Gilles Chabert | 04 May 2015, 13:36:30 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 04 May 2015, 13:36:30 UTC |
c0af482 | Gilles Chabert | 04 May 2015, 13:35:30 UTC | Fix issue #130 (end) | 04 May 2015, 13:35:30 UTC |
a775db5 | Gilles Chabert | 04 May 2015, 13:34:25 UTC | Merge branch 'fix-130' into develop | 04 May 2015, 13:34:25 UTC |
d43f645 | Gilles Chabert | 04 May 2015, 12:38:18 UTC | End of EmptyBoxException (in progress 6) | 04 May 2015, 12:38:18 UTC |
6bc0bf8 | Gilles Chabert | 04 May 2015, 08:44:47 UTC | Merge pull request #131 from dreal-deps/feat-examples fix(examples): compile issue | 04 May 2015, 08:44:47 UTC |
69254f3 | Gilles Chabert | 04 May 2015, 08:31:53 UTC | End of EmptyBoxException (in progress 5) | 04 May 2015, 08:31:53 UTC |
8a6306b | Gilles Chabert | 04 May 2015, 07:52:38 UTC | End of EmptyBoxException (in progress 4) | 04 May 2015, 07:52:38 UTC |
7bf23ef | Gilles Chabert | 04 May 2015, 07:22:12 UTC | End of EmptyBoxException (in progress 3) | 04 May 2015, 07:22:12 UTC |
8284d8f | Soonho Kong | 03 May 2015, 14:34:38 UTC | fix(examples): compile issue | 03 May 2015, 14:34:38 UTC |
cb535a1 | Gilles Chabert | 03 May 2015, 13:33:15 UTC | End of EmptyBoxException (in progress 3) | 03 May 2015, 13:33:15 UTC |
26defe0 | Gilles Chabert | 03 May 2015, 13:28:57 UTC | End of EmptyBoxException (in progress 2) | 03 May 2015, 13:28:57 UTC |
c06e318 | Gilles Chabert | 02 May 2015, 17:52:28 UTC | End of EmptyBoxException (in progress) | 02 May 2015, 17:52:28 UTC |
34462c2 | Gilles Chabert | 02 May 2015, 14:53:27 UTC | Fix bug #128 | 02 May 2015, 14:53:27 UTC |
fe06b99 | Gilles Chabert | 01 May 2015, 16:19:18 UTC | Merge branch 'dreal-deps-feat-warnings' into develop | 01 May 2015, 16:19:18 UTC |
42e09bb | Gilles Chabert | 01 May 2015, 16:13:57 UTC | Merge branch 'feat-warnings' of https://github.com/dreal-deps/ibex-lib into dreal-deps-feat-warnings | 01 May 2015, 16:13:57 UTC |
c6cb5cf | Soonho Kong | 01 May 2015, 15:03:29 UTC | fix: replace assert with throw exception In DEBUG build, assertions are ignored and the execution will reach the end of a function without a return statement. | 01 May 2015, 15:06:27 UTC |
f58b91f | Soonho Kong | 28 April 2015, 16:10:59 UTC | fix: suppress signed/unsigned comparison warning | 01 May 2015, 10:10:52 UTC |
98099cf | Soonho Kong | 28 April 2015, 16:10:35 UTC | fix: suppress overloaded virtual clang warnings | 01 May 2015, 10:10:52 UTC |
d7cf096 | Soonho Kong | 28 April 2015, 15:45:36 UTC | fix: suppress unused parameter warnings | 01 May 2015, 10:10:52 UTC |
9ad2e89 | Soonho Kong | 28 April 2015, 15:24:56 UTC | fix: add "#pragma GCC diagnostic push" to match pop in the end | 01 May 2015, 10:10:52 UTC |
3a8f32d | Soonho Kong | 28 April 2015, 15:23:38 UTC | fix(bisector): remove const when returning double value | 01 May 2015, 10:10:52 UTC |
6500a31 | Soonho Kong | 03 April 2015, 15:16:42 UTC | fix(cliquer/misc.h): use typedef for boolean | 01 May 2015, 10:10:52 UTC |
a454d44 | Gilles Chabert | 28 April 2015, 15:08:51 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 28 April 2015, 15:08:51 UTC |
6564ddf | Gilles Chabert | 28 April 2015, 15:07:54 UTC | Fix issue #10 and add missing implementation for Matrix::operator*= | 28 April 2015, 15:07:54 UTC |
95233c3 | NEVEU Bertrand | 21 April 2015, 12:56:04 UTC | shorter message for CellDoubleHeap print | 21 April 2015, 12:56:04 UTC |
562c7bf | NEVEU Bertrand | 21 April 2015, 10:37:55 UTC | add print for CellDoubleHeap | 21 April 2015, 10:37:55 UTC |
19d306e | Gilles Chabert | 20 April 2015, 10:43:11 UTC | SetNode: fix bug in contract_set | 20 April 2015, 10:43:11 UTC |
1d72024 | Gilles Chabert | 09 April 2015, 05:38:41 UTC | SetInterval::dist: bug fix | 09 April 2015, 05:38:41 UTC |
d5518a0 | Gilles Chabert | 08 April 2015, 07:35:27 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 08 April 2015, 07:35:27 UTC |
fc9409b | Gilles Chabert | 08 April 2015, 07:35:05 UTC | Variable: fix bug #124 | 08 April 2015, 07:35:05 UTC |
f822500 | Jordan08 | 07 April 2015, 13:58:29 UTC | issue #34 : remove from filib the field example/test/benchmark corect some minor warning | 07 April 2015, 13:58:29 UTC |
9e58d7a | Gilles Chabert | 01 April 2015, 19:32:19 UTC | cliquer: porting to Win32 | 01 April 2015, 19:32:19 UTC |
a1521f9 | Gilles Chabert | 01 April 2015, 13:04:48 UTC | Remove cliquer under Windows | 01 April 2015, 13:04:48 UTC |
b893e31 | jninin | 31 March 2015, 15:48:30 UTC | restore new implementation of OptimSimplex Merge branch 'develop' into hotfix-9 Conflicts: .travis.yml | 31 March 2015, 15:48:30 UTC |
37c77e3 | Jordan08 | 31 March 2015, 15:39:08 UTC | fix issue #114 | 31 March 2015, 15:39:08 UTC |
7b211db | Jordan08 | 31 March 2015, 15:31:11 UTC | Fix issue #114 | 31 March 2015, 15:31:11 UTC |
d65d9eb | Jordan08 | 31 March 2015, 15:23:52 UTC | Fix issue #93 | 31 March 2015, 15:23:52 UTC |
9b0df7c | Jordan | 31 March 2015, 12:26:53 UTC | Update .travis.yml | 31 March 2015, 12:26:53 UTC |
88b2b00 | Jordan | 31 March 2015, 09:48:17 UTC | Update .travis.yml remove the option "--without-rounding" in Travis | 31 March 2015, 09:48:17 UTC |
59bb9dc | Jordan08 | 31 March 2015, 08:47:03 UTC | correct minor bug du to the merge | 31 March 2015, 08:47:03 UTC |
593f105 | Jordan08 | 31 March 2015, 08:02:14 UTC | restor old version of ibex_OptimSimplex to validate the other modification #9 | 31 March 2015, 08:02:14 UTC |