c4c72be | Gilles Chabert | 17 January 2018, 13:30:00 UTC | (minor) fix test and java plugin problem with last commmit (again) | 17 January 2018, 13:30:00 UTC |
17c7a51 | Gilles Chabert | 17 January 2018, 13:18:31 UTC | (minor) fix test and java plugin problem with last commmit | 17 January 2018, 13:18:31 UTC |
bba623e | Gilles Chabert | 17 January 2018, 12:50:58 UTC | Merge remote-tracking branch 'origin/develop' | 17 January 2018, 12:50:58 UTC |
99f06dd | Gilles Chabert | 17 January 2018, 12:29:30 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 17 January 2018, 12:29:30 UTC |
8a093ba | Gilles Chabert | 17 January 2018, 12:29:13 UTC | Implement --forced-param option of solver (issue #299) | 17 January 2018, 12:29:13 UTC |
c18d651 | Cyril Bouvier | 17 January 2018, 09:56:13 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 17 January 2018, 09:56:13 UTC |
7ca485d | Cyril Bouvier | 17 January 2018, 09:55:51 UTC | Add colors in output of benchmarks | 17 January 2018, 09:55:51 UTC |
6cc88a7 | Gilles Chabert | 17 January 2018, 08:37:08 UTC | ibex_String.h: add function to parse (indexed) symbols | 17 January 2018, 08:37:08 UTC |
1bb862d | Cyril Bouvier | 16 January 2018, 16:05:50 UTC | Fix bug when prec_min == prec_max in benchmarks_optim.cpp | 16 January 2018, 16:05:50 UTC |
293d597 | Gilles Chabert | 13 January 2018, 22:40:53 UTC | [optim] nb_cells --> size_t | 13 January 2018, 22:40:53 UTC |
68f9e98 | Gilles Chabert | 13 January 2018, 22:37:56 UTC | Remove '.mnf' files | 13 January 2018, 22:37:56 UTC |
7b80b3e | Gilles Chabert | 13 January 2018, 22:34:59 UTC | Allow pi in Minibex to be used also as a double | 13 January 2018, 22:34:59 UTC |
a182987 | Gilles Chabert | 13 January 2018, 22:18:48 UTC | Removing 'pi' definition in minibex files (cont'd) | 13 January 2018, 22:18:48 UTC |
002e74e | Gilles Chabert | 13 January 2018, 22:06:12 UTC | Removing 'pi' definition in minibex files | 13 January 2018, 22:06:12 UTC |
5f3fa59 | Gilles Chabert | 13 January 2018, 19:27:32 UTC | Fix issue #304 | 13 January 2018, 19:27:32 UTC |
ab03f61 | Gilles Chabert | 13 January 2018, 19:25:15 UTC | ExprDiff: allow partial differentiation and differentation without copy (cont'd) | 13 January 2018, 19:25:15 UTC |
bcbcbec | Gilles Chabert | 12 January 2018, 18:44:47 UTC | ExprDiff: implement issue #308 | 12 January 2018, 18:44:47 UTC |
128b48a | Gilles Chabert | 12 January 2018, 18:18:53 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 12 January 2018, 18:18:53 UTC |
74c8443 | Gilles Chabert | 12 January 2018, 18:18:37 UTC | ExprDiff: allow partial differentiation and differentation without copy (cont'd) | 12 January 2018, 18:18:37 UTC |
48ae814 | Gilles Chabert | 12 January 2018, 15:00:25 UTC | ExprDiff: allow partial differentiation and differentation without copy | 12 January 2018, 15:00:25 UTC |
549507e | Cyril Bouvier | 12 January 2018, 09:20:01 UTC | Improve benchmarks | 12 January 2018, 09:20:01 UTC |
5ec6e02 | Gilles Chabert | 12 January 2018, 08:59:11 UTC | Add 'pi' constant in minibe | 12 January 2018, 08:59:11 UTC |
2618072 | Gilles Chabert | 09 January 2018, 12:41:12 UTC | Fix issue #307 (right fix) | 09 January 2018, 12:41:12 UTC |
939d251 | Gilles Chabert | 09 January 2018, 11:07:02 UTC | Fix issue #307 | 09 January 2018, 11:07:02 UTC |
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 |