69d796b | Gilles Chabert | 05 January 2018, 17:23:04 UTC | Fix issue #306 | 05 January 2018, 17:23:04 UTC |
75ebfe8 | Gilles Chabert | 01 January 2018, 14:17:09 UTC | DoubleHeap: Remove random heap selection in top() | 01 January 2018, 14:17:09 UTC |
940a707 | Gilles Chabert | 28 December 2017, 23:46:26 UTC | Gauss-Seidel: add rectangular case (under/over-constrained systems) | 28 December 2017, 23:46:26 UTC |
6bcf391 | Gilles Chabert | 26 December 2017, 20:31:45 UTC | cleanup conflict files | 26 December 2017, 20:31:45 UTC |
e956f06 | Gilles Chabert | 26 December 2017, 19:54:17 UTC | Merge branch 'ita1024-master' into develop | 26 December 2017, 19:54:17 UTC |
e939f9a | Gilles Chabert | 26 December 2017, 19:50:23 UTC | Merge branch 'master' of https://github.com/ita1024/ibex-lib into ita1024-master | 26 December 2017, 19:50:23 UTC |
bf3d9aa | Gilles Chabert | 26 December 2017, 19:41:15 UTC | Merge pull request #300 from ibex-team/dev_LPsolver Dev l psolver | 26 December 2017, 19:41:15 UTC |
17f998d | Gilles Chabert | 26 December 2017, 19:39:59 UTC | Minor modifications to pull request #300 | 26 December 2017, 19:39:59 UTC |
874d89e | Gilles Chabert | 26 December 2017, 10:49:13 UTC | small modifications to #300 | 26 December 2017, 10:49:13 UTC |
853ac96 | Gilles Chabert | 26 December 2017, 10:20:26 UTC | Merge remote-tracking branch 'origin/develop' into dev_LPsolver | 26 December 2017, 10:20:26 UTC |
86629ff | Gilles Chabert | 26 December 2017, 10:15:31 UTC | Merge pull request #294 from ibex-team/dev_cell_heap Dev cell heap | 26 December 2017, 10:15:31 UTC |
b8b857e | Gilles Chabert | 25 December 2017, 23:46:22 UTC | Modifications to pull request #294 | 25 December 2017, 23:46:22 UTC |
7992d00 | Gilles Chabert | 25 December 2017, 21:25:50 UTC | Merge branch 'new_bsc' into dev_cell_heap | 25 December 2017, 21:25:50 UTC |
f780183 | Gilles Chabert | 25 December 2017, 21:21:40 UTC | New bisector design (minor update) | 25 December 2017, 21:21:40 UTC |
a7d5ad3 | Gilles Chabert | 25 December 2017, 21:07:58 UTC | New bisector design (cont'd) | 25 December 2017, 21:07:58 UTC |
aa63aed | Gilles Chabert | 25 December 2017, 17:44:01 UTC | Merge new bisector design | 25 December 2017, 17:44:01 UTC |
1048327 | Gilles Chabert | 25 December 2017, 17:35:16 UTC | New bisector design (cont'd) | 25 December 2017, 17:35:16 UTC |
559a17e | Gilles Chabert | 25 December 2017, 17:34:37 UTC | New bisector design (minor update) | 25 December 2017, 17:34:37 UTC |
b10eb03 | Gilles Chabert | 25 December 2017, 17:33:36 UTC | ** New bisector design ** | 25 December 2017, 17:33:36 UTC |
80cd0cf | Thomas Nagy | 22 December 2017, 15:10:44 UTC | Enable builds using Python 3 | 22 December 2017, 15:15:23 UTC |
d07695d | Gilles Chabert | 06 December 2017, 18:06:21 UTC | Merge remote-tracking branch 'origin/develop' into dev_cell_heap | 06 December 2017, 18:06:21 UTC |
6692e68 | Gilles Chabert | 06 December 2017, 17:43:04 UTC | [sip] now the executable is in the bin folder | 06 December 2017, 17:43:04 UTC |
033e394 | Jordan | 06 December 2017, 13:36:45 UTC | small mistake | 06 December 2017, 13:36:45 UTC |
d99329f | Jordan | 06 December 2017, 12:45:27 UTC | [ibex refact] add flag for testing without LPsolver | 06 December 2017, 12:45:27 UTC |
46f1045 | Jordan | 29 November 2017, 15:31:35 UTC | [ibex refact] test ok | 29 November 2017, 15:31:35 UTC |
a974d80 | Jordan | 29 November 2017, 15:12:33 UTC | [ibex refact] LPSolver ok | 29 November 2017, 15:12:33 UTC |
fa02261 | jordan08 | 28 November 2017, 22:57:10 UTC | to continue.. | 28 November 2017, 22:57:10 UTC |
e5f3fa2 | Jordan | 27 November 2017, 17:03:04 UTC | [ibex_refact] start merge of the LP solver | 27 November 2017, 17:03:04 UTC |
4304142 | jordan08 | 23 November 2017, 22:58:30 UTC | ibex refact] remove bisect(Cell c) from RoundRobin | 23 November 2017, 22:58:30 UTC |
247d76c | Jordan | 23 November 2017, 10:50:59 UTC | [ibex refact] fix bug in Cell | 23 November 2017, 10:50:59 UTC |
fb9eb5b | Jordan | 23 November 2017, 09:52:47 UTC | [ibex refact] fix mistake in AMPL tests | 23 November 2017, 09:52:47 UTC |
8f903c7 | Jordan | 23 November 2017, 09:51:37 UTC | Merge remote-tracking branch 'origin/develop' into dev_cell_heap | 23 November 2017, 09:51:37 UTC |
65daa22 | Gilles Chabert | 22 November 2017, 14:23:30 UTC | Merge remote-tracking branch 'origin/develop' into sip | 22 November 2017, 14:23:30 UTC |
de05bd5 | Gilles Chabert | 22 November 2017, 09:21:30 UTC | thread safety: disable mutex for MinGW (not supported) | 22 November 2017, 09:21:30 UTC |
e66ed99 | Gilles Chabert | 21 November 2017, 22:11:48 UTC | Merge remote-tracking branch 'origin/develop' | 21 November 2017, 22:11:48 UTC |
1940314 | Gilles Chabert | 21 November 2017, 22:11:05 UTC | thread safety: cont'd. Add mutex for parsing | 21 November 2017, 22:11:05 UTC |
1df6f34 | Gilles Chabert | 21 November 2017, 19:00:57 UTC | thread safety: cont'd. New Memory class | 21 November 2017, 19:00:57 UTC |
e5745a2 | Gilles Chabert | 21 November 2017, 15:08:34 UTC | thread safety: cont'd | 21 November 2017, 15:08:34 UTC |
69f902c | Gilles Chabert | 21 November 2017, 12:11:50 UTC | thread safety: new java plugin | 21 November 2017, 12:11:50 UTC |
978ba32 | Jordan | 20 November 2017, 15:37:07 UTC | [ibex refact] Modify interface of deepcopy | 20 November 2017, 15:37:07 UTC |
ffc4114 | jordan08 | 15 November 2017, 09:20:43 UTC | Merge remote-tracking branch 'origin/develop' into dev_cell_heap | 15 November 2017, 09:20:43 UTC |
5bfbefd | Gilles Chabert | 09 November 2017, 15:21:48 UTC | Fix #298 | 09 November 2017, 15:21:48 UTC |
439ba93 | Gilles Chabert | 09 November 2017, 14:56:16 UTC | Fix some warnings | 09 November 2017, 14:56:16 UTC |
5025230 | Gilles Chabert | 09 November 2017, 14:35:13 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 09 November 2017, 14:35:13 UTC |
3a9f12a | Gilles Chabert | 09 November 2017, 14:34:51 UTC | [solver] fix bug in MNF v2 | 09 November 2017, 14:34:51 UTC |
ce38571 | Cyril Bouvier | 09 November 2017, 10:05:19 UTC | fix previous commit | 09 November 2017, 10:05:19 UTC |
2c5ae6f | Cyril Bouvier | 09 November 2017, 10:03:00 UTC | compile soplex with ZLIB=false on windows | 09 November 2017, 10:03:00 UTC |
3da0820 | Gilles Chabert | 02 November 2017, 15:56:39 UTC | Merge remote-tracking branch 'origin/develop' | 02 November 2017, 15:56:39 UTC |
304420b | Gilles Chabert | 02 November 2017, 15:55:01 UTC | [java] new plugin release (test udpated) | 02 November 2017, 15:55:01 UTC |
949f7c7 | Gilles Chabert | 02 November 2017, 15:41:42 UTC | [java] new plugin release to allow synchronizing parser calls from CHOCO | 02 November 2017, 15:41:42 UTC |
6af1203 | Gilles Chabert | 02 November 2017, 14:48:43 UTC | [sip] add some benchs | 02 November 2017, 14:48:43 UTC |
5b7150d | Gilles Chabert | 31 October 2017, 16:43:42 UTC | [SIP] minor change | 31 October 2017, 16:43:42 UTC |
a8a425a | Gilles Chabert | 31 October 2017, 16:37:13 UTC | Merge branch 'develop' into sip | 31 October 2017, 16:37:13 UTC |
4658f94 | Gilles Chabert | 31 October 2017, 16:32:10 UTC | Remove spurious display | 31 October 2017, 16:32:10 UTC |
67a3d2b | Gilles Chabert | 31 October 2017, 16:31:13 UTC | [SIP] fix bug with oracle | 31 October 2017, 16:31:13 UTC |
aeab21a | Gilles Chabert | 31 October 2017, 15:43:32 UTC | parser: allow functions to be declared before 'variables' keyword | 31 October 2017, 15:43:32 UTC |
b72c57e | Gilles Chabert | 31 October 2017, 08:16:14 UTC | Fix bug in Manifold | 31 October 2017, 08:16:14 UTC |
c974f0a | Gilles Chabert | 27 October 2017, 13:27:57 UTC | Manifold format v2 | 27 October 2017, 13:27:57 UTC |
dce04f8 | Gilles Chabert | 26 October 2017, 13:35:59 UTC | Merge pull request #295 from ibex-team/dev_random [ibex refact] new Random | 26 October 2017, 13:35:59 UTC |
7b5e2e6 | Gilles Chabert | 26 October 2017, 13:30:17 UTC | minor fix in pull request 292 | 26 October 2017, 13:30:17 UTC |
d6a5c8a | Gilles Chabert | 26 October 2017, 13:18:20 UTC | Merge pull request #292 from ibex-team/dev_interval Dev interval | 26 October 2017, 13:18:20 UTC |
e776e58 | Jordan | 26 October 2017, 09:20:04 UTC | [ibex refact] new Random | 26 October 2017, 09:20:04 UTC |
5ba46ff | Gilles Chabert | 26 October 2017, 09:04:40 UTC | [sip] add some benchmarks | 26 October 2017, 09:04:40 UTC |
fc348c8 | Gilles Chabert | 25 October 2017, 16:04:48 UTC | [sip] updated to new optimizer interface | 25 October 2017, 16:04:48 UTC |
497991b | Gilles Chabert | 25 October 2017, 15:56:07 UTC | Merge remote-tracking branch 'origin/develop' into sip | 25 October 2017, 15:56:07 UTC |
3a98e22 | jordan08 | 24 October 2017, 14:39:29 UTC | [ibex refact] add test of Cell; add Debug option while compiling utest | 24 October 2017, 14:39:29 UTC |
3de56f4 | jordan08 | 21 October 2017, 22:09:20 UTC | [ibex refact] - copy and deepcopy of DoubleHeap - copy of Cell (need more test because ibex_EntailedCtr.h has been removed) - bisection of a Cell produce two Cells (no need IntervalVector) - copy of all backtracable structure | 21 October 2017, 22:09:20 UTC |
5f1cb38 | jordan08 | 20 October 2017, 09:55:55 UTC | Merge remote-tracking branch 'origin/develop' into dev_interval Conflicts: plugins/solver/src/ibex_Solver.cpp tests/utils.h | 20 October 2017, 09:55:55 UTC |
4dc2d60 | jordan08 | 20 October 2017, 09:36:57 UTC | [ibex refact] remove small bug and warning | 20 October 2017, 09:36:57 UTC |
924f0c7 | jordan08 | 19 October 2017, 21:55:52 UTC | [ibex refact] fix bug in interval library | 19 October 2017, 21:55:52 UTC |
b4e645b | Gilles Chabert | 19 October 2017, 17:47:02 UTC | Merge pull request #291 from ibex-team/dev_timer [ibex refact] new Timer (tested on every plateform) | 19 October 2017, 17:47:02 UTC |
d296408 | Gilles Chabert | 19 October 2017, 17:08:34 UTC | fix some warnings | 19 October 2017, 17:08:34 UTC |
6495efa | Gilles Chabert | 19 October 2017, 17:03:16 UTC | Fix issue #275 - remove cst_vec field in Dim object | 19 October 2017, 17:03:16 UTC |
c0f8298 | Gilles Chabert | 19 October 2017, 16:02:14 UTC | Fix issue #275 - new implem of NormalizedSystem | 19 October 2017, 16:02:14 UTC |
59c54d5 | jordan08 | 18 October 2017, 15:25:29 UTC | [ibex refact] new Timer (tested on every plateform) | 18 October 2017, 15:25:29 UTC |
c6b9707 | Gilles Chabert | 18 October 2017, 09:00:01 UTC | Merge pull request #290 from ibex-team/dev_ampl Dev ampl | 18 October 2017, 09:00:01 UTC |
b30244d | Gilles Chabert | 18 October 2017, 08:55:45 UTC | Fix issue #80. Now orientation of ExprVector is an enum | 18 October 2017, 08:55:45 UTC |
a2748a2 | jordan08 | 17 October 2017, 13:07:57 UTC | [ibex refact] Fix AMPL pluggin | 17 October 2017, 13:07:57 UTC |
76586af | jordan08 | 17 October 2017, 12:55:31 UTC | [ibex refact] test with travis and appveyor | 17 October 2017, 12:55:31 UTC |
c00e655 | jordan08 | 17 October 2017, 12:52:51 UTC | [ibex refact] new autoconf and installation of AMPL | 17 October 2017, 12:52:51 UTC |
4e6ac29 | Gilles Chabert | 17 October 2017, 08:51:29 UTC | [optim] Set LSMEAR as default bisection strategy + new tests (vector goal/constraints) | 17 October 2017, 08:51:29 UTC |
e643093 | Gilles Chabert | 17 October 2017, 08:00:49 UTC | remove optimizer04 | 17 October 2017, 08:00:49 UTC |
c4a5184 | Gilles Chabert | 17 October 2017, 07:59:59 UTC | cleanup conflit file | 17 October 2017, 07:59:59 UTC |
68871e5 | Gilles Chabert | 17 October 2017, 07:58:35 UTC | [beamsearch] cosmetic changes | 17 October 2017, 07:58:35 UTC |
a76efb8 | Gilles Chabert | 17 October 2017, 07:41:11 UTC | Merge remote-tracking branch 'origin/develop' into beamsearch2 | 17 October 2017, 07:41:11 UTC |
a906fd4 | Gilles Chabert | 16 October 2017, 17:24:25 UTC | fix issue #244 | 16 October 2017, 17:24:25 UTC |
b1864ed | Gilles Chabert | 16 October 2017, 17:24:11 UTC | fix issue #244 | 16 October 2017, 17:24:11 UTC |
0ec20d8 | Gilles Chabert | 16 October 2017, 14:34:09 UTC | implem #278 | 16 October 2017, 14:34:09 UTC |
d6a5c5b | Gilles Chabert | 16 October 2017, 13:59:34 UTC | fix #265 | 16 October 2017, 13:59:34 UTC |
41f1546 | Gilles Chabert | 12 October 2017, 22:00:33 UTC | new solver plugin: minor change | 12 October 2017, 22:00:33 UTC |
a2185b0 | Gilles Chabert | 12 October 2017, 21:40:31 UTC | Merge remote-tracking branch 'origin/develop' | 12 October 2017, 21:40:31 UTC |
31f6e82 | Gilles Chabert | 12 October 2017, 21:39:57 UTC | implem issue #197 | 12 October 2017, 21:39:57 UTC |
278a4b0 | Gilles Chabert | 12 October 2017, 20:48:38 UTC | new solver plugin: update | 12 October 2017, 20:48:38 UTC |
fcacb15 | Gilles Chabert | 11 October 2017, 20:08:51 UTC | minor updates | 11 October 2017, 20:08:51 UTC |
061415e | Gilles Chabert | 11 October 2017, 12:17:22 UTC | minor update continuation plugin | 11 October 2017, 12:17:22 UTC |
ce0ed96 | Gilles Chabert | 11 October 2017, 07:48:26 UTC | update .travis.yml | 11 October 2017, 07:48:26 UTC |
2408959 | Gilles Chabert | 11 October 2017, 07:46:59 UTC | doc update | 11 October 2017, 07:46:59 UTC |
9b687d4 | Gilles Chabert | 11 October 2017, 07:45:16 UTC | Fix issue #288 | 11 October 2017, 07:45:16 UTC |
9a1da50 | Gilles Chabert | 09 October 2017, 11:56:42 UTC | trying to fix issue #287 | 09 October 2017, 11:56:42 UTC |
2262df3 | Gilles Chabert | 08 October 2017, 13:46:50 UTC | doc update | 08 October 2017, 13:46:50 UTC |