https://github.com/ibex-team/ibex-lib

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