Skip to main content

Browse the archive

https://github.com/ibex-team/ibex-lib
06 April 2024, 03:28:44 UTC
sort by:
Revision Author Date Message Commit Date
8e29b3f Antoine Marendet 29 March 2019, 15:45:50 UTC [sip] cleanup 29 March 2019, 15:45:50 UTC
7d12a12 Antoine Marendet 29 March 2019, 14:58:25 UTC [sip] Mitsos bug fix 29 March 2019, 14:58:25 UTC
dde28cc Antoine Marendet 27 March 2019, 11:43:09 UTC [sip] Fix bug in Mitsos 27 March 2019, 11:43:09 UTC
3cf8736 Antoine Marendet 26 March 2019, 15:14:42 UTC [sip] Fix bug in SIPSystem 26 March 2019, 15:14:42 UTC
5f20093 Antoine Marendet 26 March 2019, 13:45:28 UTC [sip] Merge into develop 26 March 2019, 13:45:28 UTC
d87fda8 Antoine Marendet 26 March 2019, 13:38:08 UTC [sip] Merge master 26 March 2019, 13:38:08 UTC
a9cc1dd Antoine Marendet 26 March 2019, 13:20:33 UTC [sip] Fix bug with uninitialized random seed 26 March 2019, 13:20:33 UTC
40c3e00 Antoine Marendet 26 March 2019, 10:41:54 UTC [sip] Fix bug with static constexpr 26 March 2019, 10:41:54 UTC
0f350be Antoine Marendet 22 March 2019, 13:54:20 UTC [sip] telescope pb 22 March 2019, 13:54:20 UTC
e600925 Antoine Marendet 22 March 2019, 13:44:23 UTC [sip] Improve line search, limit bisection to 10e-10 22 March 2019, 13:44:23 UTC
ecde1ce Gilles Chabert 21 March 2019, 08:47:40 UTC LoupFinderDuality: continued 21 March 2019, 08:47:40 UTC
bdce72f Gilles Chabert 21 March 2019, 07:55:05 UTC Moving some benchs from hard --> medium 21 March 2019, 07:55:05 UTC
427ee23 Gilles Chabert 21 March 2019, 07:49:16 UTC LoupFinderDuality: started 21 March 2019, 07:49:16 UTC
0a15b8b Gilles Chabert 13 March 2019, 17:21:53 UTC Fix case of no active constraint in PdcFirstOrder 13 March 2019, 17:21:53 UTC
524aa6d Gilles Chabert 13 March 2019, 16:30:21 UTC Add multiplier sign test in PdcFirstOrder 13 March 2019, 16:30:21 UTC
f93bc4f Gilles Chabert 05 March 2019, 19:00:29 UTC Fix bug in Kernel (by benjam-art-in) 05 March 2019, 19:00:29 UTC
b34e0fb Gilles Chabert 01 March 2019, 22:27:03 UTC Fixing compilation problems under mingw 01 March 2019, 22:27:03 UTC
06b415c Gilles Chabert 01 March 2019, 21:55:46 UTC Changing interface of Solver::next. Updating java plugin 01 March 2019, 21:55:46 UTC
a7e818d Gilles Chabert 01 March 2019, 13:02:25 UTC release n° update 01 March 2019, 13:02:25 UTC
6d04fa4 Gilles Chabert 01 March 2019, 08:30:03 UTC [data classes] DOC update 01 March 2019, 08:30:03 UTC
9ce6f0e Gilles Chabert 01 March 2019, 08:28:34 UTC [data classes] Implementing downcast operators + tests 01 March 2019, 08:28:34 UTC
89dd289 Gilles Chabert 26 February 2019, 22:02:38 UTC Minor fix in Lyapunov wscript 26 February 2019, 22:02:38 UTC
922aa82 Gilles Chabert 26 February 2019, 18:55:27 UTC Merge branch 'benEnsta-fix_msvc_error' into develop 26 February 2019, 18:55:27 UTC
fc24945 Gilles Chabert 26 February 2019, 16:27:52 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 26 February 2019, 16:27:52 UTC
aa9db8c Gilles Chabert 26 February 2019, 16:27:29 UTC Merge branch 'benEnsta-fix_SepBoundaryCtc' into develop 26 February 2019, 16:27:29 UTC
783299d gchabe08 26 February 2019, 15:52:21 UTC Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop 26 February 2019, 15:52:21 UTC
2aa06c8 Gilles Chabert 26 February 2019, 15:51:22 UTC Fix issue #354 26 February 2019, 15:51:22 UTC
98f217e Gilles Chabert 15 February 2019, 16:31:35 UTC [data classes] Implementing changes in IBU/Manifold formats --> fixing some final problems 15 February 2019, 16:31:35 UTC
1024425 Gilles Chabert 15 February 2019, 15:51:04 UTC [data classes] Implementing changes in IBU/Manifold formats --> OK 15 February 2019, 15:51:04 UTC
8458e7b Gilles Chabert 14 February 2019, 17:47:43 UTC [data classes] Implementing changes in IBU/Manifold formats (cont'd) 14 February 2019, 17:47:43 UTC
85f7c92 Gilles Chabert 14 February 2019, 13:52:35 UTC [data classes] Implementing changes in IBU/Manifold formats (cont'd) 14 February 2019, 13:52:35 UTC
6345b1c Gilles Chabert 13 February 2019, 20:03:02 UTC [data classes] Implementing changes in IBU/Manifold formats (cont'd) 13 February 2019, 20:03:02 UTC
de40c95 Gilles Chabert 13 February 2019, 16:24:49 UTC [data classes] Implementing changes in IBU/Manifold formats 13 February 2019, 16:24:49 UTC
1c3aa23 Benoit DESROCHERS 06 February 2019, 11:06:12 UTC [fix] msvc compilation error - add mising msvc function - add missing preprocessor directive - remove unused <unistd.h> header - add missing header 06 February 2019, 11:06:12 UTC
20711c8 Benoit DESROCHERS 06 February 2019, 07:48:24 UTC [fix] edge case with SepBoundary Fix two issues: - set compactness to false when computing the box difference - handle the case when the predicate returns neither YES nor NO 06 February 2019, 07:53:44 UTC
8d51dd4 gchabe08 04 February 2019, 14:43:16 UTC Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop 04 February 2019, 14:43:16 UTC
242db7f Gilles Chabert 28 January 2019, 16:04:09 UTC comment update 28 January 2019, 16:04:09 UTC
edfb0a0 gchabe08 25 January 2019, 13:09:02 UTC Merge branch 'benchmarks2' into develop 25 January 2019, 13:09:02 UTC
27dd4ef Gilles Chabert 23 January 2019, 15:22:39 UTC [sip] minor updates 23 January 2019, 15:22:39 UTC
41c401d Gilles Chabert 23 January 2019, 14:38:44 UTC Updating tests 23 January 2019, 14:38:44 UTC
4211cf5 Gilles Chabert 23 January 2019, 14:21:45 UTC Merge remote-tracking branch 'origin/develop' into manifold 23 January 2019, 14:21:45 UTC
8b8b25f Gilles Chabert 23 January 2019, 14:04:29 UTC Fixing static initialization problems (in particular with properties) 23 January 2019, 14:04:29 UTC
3eaf82d Gilles Chabert 11 January 2019, 11:03:03 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 11 January 2019, 11:03:03 UTC
e7e0d28 Gilles Chabert 11 January 2019, 11:02:47 UTC Fix bug in ExprSimplify (fathers structure was not in a correct state) 11 January 2019, 11:02:47 UTC
36fef48 Gilles Chabert 11 January 2019, 11:01:52 UTC Fix bug in ExprSimplify (fathers structure was not in a correct state) 11 January 2019, 11:01:52 UTC
e967771 Gilles Chabert 07 January 2019, 10:17:26 UTC handling report coloring 07 January 2019, 10:17:26 UTC
82db8d8 Gilles Chabert 07 January 2019, 10:01:14 UTC Remove shell colours under MinGW 07 January 2019, 10:01:14 UTC
c6504da Gilles Chabert 02 January 2019, 07:18:24 UTC [data classes] Fix small mem leak 02 January 2019, 07:18:24 UTC
085bc92 Gilles Chabert 29 December 2018, 11:12:43 UTC [data classes] fix small bug in Optimizer related to --output-no-obj 29 December 2018, 11:12:43 UTC
c883fed Gilles Chabert 29 December 2018, 11:01:57 UTC [data classes] ibexopt can generate COV files with or without objective values 29 December 2018, 11:01:57 UTC
aa4bf92 Gilles Chabert 27 December 2018, 15:01:01 UTC [data classes] Format version is now 'local' -> more flexible 27 December 2018, 15:01:01 UTC
0d3b1de Gilles Chabert 27 December 2018, 10:15:29 UTC [data classes] Adding comments and other cosmetic/minor changes 27 December 2018, 10:15:29 UTC
a5e9f1d Gilles Chabert 26 December 2018, 13:14:23 UTC [data classes] Further implementing CovOptimData 26 December 2018, 13:14:23 UTC
0ec2b6f Gilles Chabert 26 December 2018, 10:53:55 UTC [optim] now loup-point is initialized to the empty set 26 December 2018, 10:53:55 UTC
1cc9a79 Gilles Chabert 26 December 2018, 10:16:10 UTC Fixing merge problem with FncActivation 26 December 2018, 10:16:10 UTC
b41b918 Gilles Chabert 26 December 2018, 10:15:14 UTC Merge remote-tracking branch 'origin/develop' into manifold 26 December 2018, 10:15:14 UTC
0381ae8 Gilles Chabert 26 December 2018, 10:07:03 UTC Merge remote-tracking branch 'origin/develop' into manifold 26 December 2018, 10:07:03 UTC
3cb8e4f Gilles Chabert 26 December 2018, 10:05:46 UTC Hansen feasibility test extended for overconstrained problems. 26 December 2018, 10:05:46 UTC
7d84048 Gilles Chabert 25 December 2018, 13:29:43 UTC Fix bug in FncActivation 26 December 2018, 10:03:30 UTC
aa3c0c6 Gilles Chabert 25 December 2018, 13:29:43 UTC Fix bug in FncActivation 25 December 2018, 13:29:43 UTC
d04b851 Gilles Chabert 25 December 2018, 13:20:06 UTC [data classes] Updating optim plugin. Now #334, #271 and #321 are fixed 25 December 2018, 13:20:06 UTC
fd5355c Gilles Chabert 24 December 2018, 15:08:23 UTC [data classes] Simplifying again (all in a single class) + solver udpate and tests 24 December 2018, 15:08:23 UTC
d1508ce Gilles Chabert 24 December 2018, 11:59:27 UTC [data classes] Drastically simplifying code (no more factories) 24 December 2018, 11:59:27 UTC
13ca5f7 Gilles Chabert 21 December 2018, 21:56:16 UTC [data classes] Start adapting Solver plugin + operator<< 21 December 2018, 21:56:16 UTC
e627e33 Antoine Marendet 21 December 2018, 14:56:42 UTC [sip] fix bug and wip 21 December 2018, 14:56:42 UTC
5ce0004 Gilles Chabert 15 December 2018, 22:18:17 UTC [data classes] manage subformat sequences. New tests 15 December 2018, 22:18:17 UTC
3b39bce Antoine Marendet 13 December 2018, 22:07:34 UTC [sip] Fix: Function::used_vars changed from BitSet to std::vector 13 December 2018, 22:07:34 UTC
a167ebb Cyril Bouvier 13 December 2018, 15:40:22 UTC Benchmarks: better distinguish colors 13 December 2018, 15:40:22 UTC
db0f122 Gilles Chabert 13 December 2018, 10:13:51 UTC [data classes] CovManifold and CovSolverData (in progress) + tests 13 December 2018, 10:13:51 UTC
e1d0e50 Gilles Chabert 12 December 2018, 15:57:51 UTC [data classes] CovManifold and CovSolverData (in progress) 12 December 2018, 15:57:51 UTC
780b075 Gilles Chabert 12 December 2018, 12:44:12 UTC [data classes] CovManifold and CovSolverData (in progress) 12 December 2018, 12:44:12 UTC
cdd56f9 Cyril Bouvier 11 December 2018, 14:26:55 UTC benchmarks: change improvement/regression value and color 11 December 2018, 14:26:55 UTC
befcb7e Gilles Chabert 10 December 2018, 07:28:17 UTC Merge pull request #349 from ibex-team/sip-bxp SIP with BoxProperties 10 December 2018, 07:28:17 UTC
e41f851 Gilles Chabert 09 December 2018, 22:09:11 UTC [data classes] dev of CovManifold 09 December 2018, 22:09:11 UTC
912826a Gilles Chabert 09 December 2018, 22:08:40 UTC [data classes] dev of CovManifold 09 December 2018, 22:08:40 UTC
5a9ac4b Cyril Bouvier 07 December 2018, 10:05:39 UTC benchmarks: change values used for comparisons 07 December 2018, 10:05:39 UTC
e284c8e Gilles Chabert 05 December 2018, 16:38:49 UTC Add Lyapunov plugin 05 December 2018, 16:38:49 UTC
dff8e4b Gilles Chabert 05 December 2018, 15:51:18 UTC [data classes] bug fix in CovListFile 05 December 2018, 15:51:18 UTC
43a7407 Gilles Chabert 02 December 2018, 17:03:39 UTC [data classes] Introducing "write" functions. 02 December 2018, 17:03:39 UTC
60dea98 Gilles Chabert 02 December 2018, 16:36:30 UTC [data classes] Now Cov*File member functions are all static. 02 December 2018, 16:36:30 UTC
d40aed4 Gilles Chabert 02 December 2018, 15:18:50 UTC [data classes] Now Cov, CovList, CovIUList and CovIBUList stable and tested (TestCov) 02 December 2018, 15:18:50 UTC
f481cbf Gilles Chabert 28 November 2018, 16:54:58 UTC Merge remote-tracking branch 'origin/master' into manifold 28 November 2018, 16:54:58 UTC
66d2680 Gilles Chabert 28 November 2018, 14:33:09 UTC Test update 28 November 2018, 14:33:09 UTC
4b5d770 Gilles Chabert 28 November 2018, 14:24:47 UTC Finish parser implem for generic binary operators + many warnings fixed. Tests updated 28 November 2018, 14:24:47 UTC
3ede0a1 Gilles Chabert 28 November 2018, 11:20:12 UTC Fix #215 28 November 2018, 11:20:12 UTC
7bae402 Gilles Chabert 28 November 2018, 09:47:56 UTC Add new implementations of atanhc and atanhccc by A. Goldsztejn 28 November 2018, 09:47:56 UTC
8cb1593 Gilles Chabert 28 November 2018, 09:26:06 UTC Update release number 28 November 2018, 09:26:06 UTC
87155a8 Gilles Chabert 28 November 2018, 09:24:34 UTC Fix #345 and improve ibexsolve help 28 November 2018, 09:24:34 UTC
533e365 Gilles Chabert 28 November 2018, 09:03:50 UTC [data classes] very first test 28 November 2018, 09:03:50 UTC
91c2482 Antoine Marendet 27 November 2018, 12:23:01 UTC [sip] Allow feasible points outside the current box in line search, remove CtcBlankenship 27 November 2018, 12:23:01 UTC
6feec93 Gilles Chabert 24 November 2018, 15:34:40 UTC Undoing changes of commit 2663ed443e52e622fded77b260f9f00c7348aa6c 24 November 2018, 15:34:40 UTC
da73630 Gilles Chabert 24 November 2018, 15:11:01 UTC CtcFwdBwd does not add property (#342) 24 November 2018, 15:11:01 UTC
4cfd03e Antoine Marendet 22 November 2018, 00:09:03 UTC [sip] Add init box to BxpNodeData 22 November 2018, 00:09:03 UTC
232820b Gilles Chabert 19 November 2018, 21:34:09 UTC Add fpu_round_up after all remaining trigo function of Gaol 19 November 2018, 21:34:09 UTC
f03dc8e Antoine Marendet 19 November 2018, 13:50:45 UTC [sip] Cleanup 19 November 2018, 13:58:00 UTC
f7a80e3 Gilles Chabert 19 November 2018, 11:18:17 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 19 November 2018, 11:18:17 UTC
846ffb9 Gilles Chabert 19 November 2018, 11:17:56 UTC Removing properties (no property by default) 19 November 2018, 11:17:56 UTC
df5027e Gilles Chabert 19 November 2018, 10:23:46 UTC [data classes] in progress 19 November 2018, 10:23:46 UTC
66810d4 Gilles Chabert 16 November 2018, 09:16:36 UTC Minor change (remove spurious display) 16 November 2018, 09:16:36 UTC
6f69d70 Antoine Marendet 14 November 2018, 10:28:19 UTC [sip] Move blankenship into SIC_Paving, change CtcBisectActiveParameters 14 November 2018, 10:28:19 UTC
back to top