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

sort by:
Revision Author Date Message Commit Date
373ce11 experiments ready 28 October 2019, 20:29:19 UTC
8d4cfaf ready for exps 28 October 2019, 20:25:37 UTC
a488b8f test results added 28 October 2019, 12:46:39 UTC
d21ab9b minor changes On branch jtaylor Your branch is up to date with 'origin/jtaylor'. Changes to be committed: modified: plugins/optim/main/ibexopt.cpp modified: src/numeric/ibex_LinearizerCombo.cpp 28 October 2019, 12:42:26 UTC
30932e8 fixed return -1 in Linearizer 11 September 2019, 15:32:46 UTC
6264af7 jtaylor 09 September 2019, 21:34:06 UTC
117f542 [cont'd] jtaylor 09 September 2019, 20:55:04 UTC
f043541 [sip] fix bug in CtcFirstOrderTest: contractors should be applied only on strictly interior box 09 July 2019, 09:57:07 UTC
81a0c0e fix pb in affin wscript 24 May 2019, 06:49:05 UTC
e9cc9d5 fix issue #380 24 May 2019, 06:37:35 UTC
d0644c6 Fix bug due to changes in LPSolver interface (done when soplex version was changed) 24 May 2019, 06:36:54 UTC
e6dbc4b fix minor warnings 19 May 2019, 21:23:47 UTC
9f0e763 Fnc/CtcKhunTucker: continuing implementation and first tests (in progress) 17 May 2019, 16:54:45 UTC
318587a Merge branch 'develop2.8' into develop 17 May 2019, 08:59:57 UTC
87106aa adding benchmark hs092.nl 14 May 2019, 09:53:30 UTC
f9ff1ae updating ibex_DefaultOptimizer.cpp to LSmear changes; feasible diving becomes default strategy 14 May 2019, 09:15:51 UTC
25e41d2 cleaning ibex_LSmear.cpp 13 May 2019, 14:39:46 UTC
cf6ea44 removing goal constraint in case of goal equal to a single variable ; updating benchs 13 May 2019, 14:33:01 UTC
91d01bb making SmearFunction and LSmear robust 13 May 2019, 09:10:54 UTC
58853a0 MitsosSIP: minor stuff 09 May 2019, 10:14:26 UTC
48828eb Fix bug in PdcFirstOrder$ 09 May 2019, 10:10:50 UTC
e949385 Removing all .cpp_ files (cf #368) 09 May 2019, 07:05:12 UTC
0706384 Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 04 May 2019, 18:36:42 UTC
de4e586 Merge remote-tracking branch 'origin/master' into develop 04 May 2019, 18:36:30 UTC
0aba1d7 Merge pull request #367 from benjam-art-in/bmartin box_unicity in inflating_newton trully set to the largest box contain… 04 May 2019, 18:35:30 UTC
fd2180d Merge pull request #375 from ibex-team/soplex-3 SoPlex 3.1.1 04 May 2019, 18:09:58 UTC
9f89684 Merge pull request #376 from ibex-team/fix-unicode-waf-python3 Fix error in ibexutils.py with Python3 and unicode conversion 03 May 2019, 08:50:40 UTC
a918ccb Fix error in ibexutils.py with Python3 and unicode conversion 02 May 2019, 14:45:47 UTC
b4b19bb [soplex] reduce verbosity 30 April 2019, 14:54:57 UTC
d159ee7 [soplex] fallback to Soplex-3.1.1, due to some tests not passing with soplex-4.0.1 30 April 2019, 14:11:47 UTC
0f7d8ed Merge pull request #371 from ibex-team/remove-static-in-testcov First step towards fixing Ci on Travis 30 April 2019, 12:12:57 UTC
41bc1a3 Merge pull request #372 from ibex-team/remove-fmemopen-from-develop Remove fmemopen from tests, its detection with waf and the fallback code 29 April 2019, 12:32:57 UTC
63c3fab Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 28 April 2019, 21:10:52 UTC
db9246b Fix issue #358 28 April 2019, 21:08:51 UTC
15a64a5 TestParser.cpp: remove unused variable 26 April 2019, 15:09:09 UTC
77fe020 Remove fmemopen from tests, its detection with waf and the fallback code 26 April 2019, 15:09:02 UTC
a539cd8 [sip] update line search 26 April 2019, 15:00:39 UTC
1694b74 TestCov.h: string -> std::string Was working with Gaol because Gaol import string in the global namespace in "gaol_exceptions.h". Was not working with filib. 26 April 2019, 14:47:35 UTC
53b896a Remove static in TestCov.h (does not work with cppunit 1.13 used by Travis) 26 April 2019, 14:32:15 UTC
6e17931 [soplex-4] update wrapper and wscript 26 April 2019, 13:24:44 UTC
b864321 Doc update 25 April 2019, 18:42:52 UTC
98cbc09 box_unicity in inflating_newton trully set to the largest box containing solutions 23 April 2019, 14:51:26 UTC
a89460e Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 22 April 2019, 16:18:44 UTC
9b8e9ff [ibexopt] minor fix 22 April 2019, 16:18:14 UTC
8cf11b8 Merge pull request #362 from ibex-team/parser-sum Add new sum function in Minibex 18 April 2019, 07:01:23 UTC
774b933 [sum] add some tests 18 April 2019, 06:59:48 UTC
fc3c087 [sum] P_ExprSum: fix memory leak, throw when invalid range 17 April 2019, 12:01:07 UTC
3cd149d [sum] P_ExprSum: use "arg" fields of mother class 17 April 2019, 09:19:14 UTC
e8d731a Merge remote-tracking branch 'origin/develop' into parser-sum 17 April 2019, 07:26:47 UTC
168b027 minor test update 17 April 2019, 07:26:25 UTC
d11ea7c [sum] add some tests 17 April 2019, 07:04:06 UTC
5553e89 ExprCopy: size of new_x is no more required to be >= than size of old_x 16 April 2019, 17:57:47 UTC
298fc4a Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 15 April 2019, 08:17:06 UTC
29c6712 Fix bug related to #issue 363 15 April 2019, 08:16:31 UTC
54f6507 Update ibex_P_ExprGenerator.cpp 12 April 2019, 18:25:47 UTC
fa0cebc Add new sum function in Minibex 12 April 2019, 14:31:44 UTC
0791519 [sip] change ibexopt-sip command line 11 April 2019, 10:26:30 UTC
929e70b Merge branch 'line-search' into develop 10 April 2019, 11:52:38 UTC
225d499 [sip] line search 10 April 2019, 11:38:45 UTC
af17e4d Optimizer: option to desactivate anticipated upper bounding 09 April 2019, 08:18:49 UTC
fc9dfc6 fix bug in ExprPrinter (cont'd) 09 April 2019, 06:54:03 UTC
ce6fef9 System: add minibex() function (cont'd)+fix bug in ExprPrinter 08 April 2019, 18:23:17 UTC
c6d9b7f System: add minibex() function (cont'd)+fix bug in ExprPrinter 08 April 2019, 16:50:33 UTC
b09555a Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 08 April 2019, 15:17:11 UTC
4e5d007 System: add minibex() function 08 April 2019, 15:16:57 UTC
928ed39 [sip] factorize line search, use line search with corner strategy instead of corner restrictions only 08 April 2019, 09:47:45 UTC
e6862a6 [sip] line search, remove inflation 04 April 2019, 15:05:12 UTC
e32be9a [sip] modify Goldsztejn parameter bisection heuristic, update barton9.mbx expression 03 April 2019, 14:19:06 UTC
7d11913 Merge branch 'line-search' into develop 03 April 2019, 09:02:50 UTC
01a2764 [sip] fix bug in line search 03 April 2019, 07:49:53 UTC
904dc97 [sip] Mitsos: minor comment update 02 April 2019, 21:29:01 UTC
7c375a7 [sip] Mitsos: fixing many problems 02 April 2019, 21:25:50 UTC
a89c5d6 [sip] improve performance 02 April 2019, 13:52:42 UTC
0dbcc03 [sip] line search cleanup 02 April 2019, 12:16:37 UTC
fa4ab08 [sip] Mitsos: fix important memory bug in BD Factory 02 April 2019, 10:54:54 UTC
0d093fc Commit #6feec93f4e7d15e364220294651002e59e0e9169# was unfortunately incomplete. Fixing it (cont'd) 02 April 2019, 09:18:24 UTC
850f804 Commit #6feec93f4e7d15e364220294651002e59e0e9169 was unfortunately incomplete. Fixing it. Add default constructor for Bitset 01 April 2019, 12:25:55 UTC
cd03bef LoupFinderDuality: fixing several bugs 01 April 2019, 08:09:04 UTC
cb3909c Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 29 March 2019, 08:48:17 UTC
fbe5efe LoupFinderDuality: continued. Creating LinearizerDuality with fixed number of variables (no dynamically created LP solver) 29 March 2019, 08:47:39 UTC
3cf8736 [sip] Fix bug in SIPSystem 26 March 2019, 15:14:42 UTC
5f20093 [sip] Merge into develop 26 March 2019, 13:45:28 UTC
d87fda8 [sip] Merge master 26 March 2019, 13:38:08 UTC
a9cc1dd [sip] Fix bug with uninitialized random seed 26 March 2019, 13:20:33 UTC
40c3e00 [sip] Fix bug with static constexpr 26 March 2019, 10:41:54 UTC
0f350be [sip] telescope pb 22 March 2019, 13:54:20 UTC
e600925 [sip] Improve line search, limit bisection to 10e-10 22 March 2019, 13:44:23 UTC
ecde1ce LoupFinderDuality: continued 21 March 2019, 08:47:40 UTC
bdce72f Moving some benchs from hard --> medium 21 March 2019, 07:55:05 UTC
427ee23 LoupFinderDuality: started 21 March 2019, 07:49:16 UTC
0a15b8b Fix case of no active constraint in PdcFirstOrder 13 March 2019, 17:21:53 UTC
524aa6d Add multiplier sign test in PdcFirstOrder 13 March 2019, 16:30:21 UTC
f93bc4f Fix bug in Kernel (by benjam-art-in) 05 March 2019, 19:00:29 UTC
b34e0fb Fixing compilation problems under mingw 01 March 2019, 22:27:03 UTC
06b415c Changing interface of Solver::next. Updating java plugin 01 March 2019, 21:55:46 UTC
a7e818d release n° update 01 March 2019, 13:02:25 UTC
6d04fa4 [data classes] DOC update 01 March 2019, 08:30:03 UTC
9ce6f0e [data classes] Implementing downcast operators + tests 01 March 2019, 08:28:34 UTC
89dd289 Minor fix in Lyapunov wscript 26 February 2019, 22:02:38 UTC
922aa82 Merge branch 'benEnsta-fix_msvc_error' into develop 26 February 2019, 18:55:27 UTC
back to top