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
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
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
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
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
66810d4 Gilles Chabert 16 November 2018, 09:16:36 UTC Minor change (remove spurious display) 16 November 2018, 09:16:36 UTC
a67da36 Gilles Chabert 13 November 2018, 10:14:18 UTC Merge remote-tracking branch 'origin/master' into develop 13 November 2018, 10:14:18 UTC
b8147b1 Gilles Chabert 13 November 2018, 10:08:56 UTC Fix important bug in copy of Properties 13 November 2018, 10:08:56 UTC
9401464 Gilles Chabert 13 November 2018, 07:26:17 UTC Merge pull request #346 from ibex-team/isnan-fix Travis fix 13 November 2018, 07:26:17 UTC
51757bc Antoine Marendet 12 November 2018, 13:57:57 UTC Remove coinor-libclp-dev from travis packages 12 November 2018, 13:57:57 UTC
e17ed54 Antoine Marendet 12 November 2018, 13:10:18 UTC Fix isnan ambiguous call by explicitly using std::isnan 12 November 2018, 13:10:18 UTC
85ab0c8 Gilles Chabert 30 October 2018, 15:38:29 UTC Minor update of operators wscript (for tests) 30 October 2018, 15:38:29 UTC
439948e Gilles Chabert 30 October 2018, 15:21:28 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 30 October 2018, 15:21:28 UTC
0bc6948 Cyril Bouvier 30 October 2018, 14:58:56 UTC Fix wscript due to change in waf version (#338) 30 October 2018, 14:59:29 UTC
8294621 Gilles Chabert 30 October 2018, 14:37:18 UTC Tests update 30 October 2018, 14:37:18 UTC
4785306 Gilles Chabert 30 October 2018, 14:24:00 UTC Eval: add missing implem for generic binary ops 30 October 2018, 14:24:00 UTC
a7e6c86 Gilles Chabert 30 October 2018, 13:14:42 UTC [affine]: updated to work with generic operators 30 October 2018, 13:14:42 UTC
dea880a Gilles Chabert 30 October 2018, 09:57:50 UTC Fix small memory leak in CtcAcid 30 October 2018, 09:57:50 UTC
f2831e6 Gilles Chabert 30 October 2018, 09:51:41 UTC Fix memory problem in System.cpp 30 October 2018, 09:51:41 UTC
f7c17d2 Gilles Chabert 30 October 2018, 09:32:27 UTC Fix bug in ibexopt for unconstrained systems 30 October 2018, 09:32:27 UTC
6bedcef Gilles Chabert 28 October 2018, 10:00:36 UTC Fix issue #342 (started) 28 October 2018, 10:00:36 UTC
6fba93a Gilles Chabert 25 October 2018, 09:19:03 UTC doc update 25 October 2018, 09:19:03 UTC
b610406 Gilles Chabert 22 October 2018, 13:23:59 UTC [ibexopt] Allow AMPL nl files as input (cont'd) 22 October 2018, 13:23:59 UTC
70d209f Gilles Chabert 22 October 2018, 13:16:29 UTC [ibexopt] Allow AMPL nl files as input 22 October 2018, 13:16:29 UTC
24cb9d8 Gilles Chabert 08 October 2018, 16:09:12 UTC Merge remote-tracking branch 'origin/v2_7_3' into develop 08 October 2018, 16:09:12 UTC
a25ebda Gilles Chabert 08 October 2018, 16:05:20 UTC Merge remote-tracking branch 'origin/v2_7_3' into develop 08 October 2018, 16:05:20 UTC
ff53015 Gilles Chabert 08 October 2018, 15:17:23 UTC Merge remote-tracking branch 'origin/develop' into v2_7_3 08 October 2018, 15:17:23 UTC
e8c46b3 cyrilbouvier 08 October 2018, 12:40:06 UTC Merge pull request #337 from ibex-team/waf2 Update waf to 2.0.12 08 October 2018, 12:40:06 UTC
4d088eb Cyril Bouvier 08 October 2018, 12:30:58 UTC Update waf to version 2.0.12 08 October 2018, 12:30:58 UTC
5012118 Cyril Bouvier 08 October 2018, 12:26:26 UTC waf for operators: forgot to install headers of operators 08 October 2018, 12:26:26 UTC
a166fc2 Cyril Bouvier 08 October 2018, 09:18:59 UTC waf script to deal with operators in plugin/operators 08 October 2018, 09:18:59 UTC
c9e6610 Gilles Chabert 08 October 2018, 05:47:17 UTC [generic op] Bug fix in ExprLinearity. First test OK! 08 October 2018, 05:47:17 UTC
02db8a3 Gilles Chabert 07 October 2018, 15:59:39 UTC [generic op] Finalizing + first tests 07 October 2018, 15:59:39 UTC
c3b0d04 Gilles Chabert 07 October 2018, 09:36:36 UTC [generic op] Continued. 07 October 2018, 09:36:36 UTC
6e21c2f Gilles Chabert 05 October 2018, 12:29:45 UTC [generic op] Continued. 05 October 2018, 12:29:45 UTC
dfa0c0a Gilles Chabert 05 October 2018, 12:19:39 UTC [generic op] Continued. Implementation of atanh,atanhcc and cross product 05 October 2018, 12:19:39 UTC
d1a97e3 Gilles Chabert 04 October 2018, 10:28:41 UTC [generic op] Continued 04 October 2018, 10:28:41 UTC
e29f3f9 Gilles Chabert 03 October 2018, 21:54:02 UTC [generic op] Continued 03 October 2018, 21:54:02 UTC
415d04b Gilles Chabert 03 October 2018, 18:31:14 UTC [generic op] Continued 03 October 2018, 18:31:14 UTC
db6defe Cyril Bouvier 03 October 2018, 09:08:33 UTC Fix #328 03 October 2018, 09:09:07 UTC
378c239 Gilles Chabert 02 October 2018, 16:31:35 UTC [generic op] Continued 02 October 2018, 16:31:35 UTC
2bcd4ae Cyril Bouvier 02 October 2018, 12:39:46 UTC check_cxx(function_name=...) was removed in waf 2.0.0 02 October 2018, 12:39:46 UTC
e39634f Cyril Bouvier 02 October 2018, 09:31:57 UTC Update waf to 2.0.11 02 October 2018, 09:31:57 UTC
7132fa7 Cyril Bouvier 02 October 2018, 09:14:52 UTC Improve handling of precision in benchmarks (Fix #330) 02 October 2018, 09:14:52 UTC
dab7d39 Gilles Chabert 01 October 2018, 16:08:10 UTC [generic op] Continued 01 October 2018, 16:08:10 UTC
21ea837 Gilles Chabert 28 September 2018, 16:35:36 UTC [generic op] Start'd 28 September 2018, 16:35:36 UTC
99f4225 Gilles Chabert 26 September 2018, 16:24:47 UTC Fix issue #333-#335 26 September 2018, 16:24:47 UTC
c2db2b2 Gilles Chabert 21 September 2018, 07:38:22 UTC fix installation problem in v2.7 21 September 2018, 07:38:22 UTC
40df58c Gilles Chabert 19 September 2018, 17:40:21 UTC doc update 19 September 2018, 17:40:21 UTC
0faceec Gilles Chabert 19 September 2018, 12:24:59 UTC Fix small problem with archi 2.7 and Affine2 plugin 19 September 2018, 12:24:59 UTC
c3ee300 Gilles Chabert 19 September 2018, 12:24:01 UTC Fix memory bug in SystemMerge 19 September 2018, 12:24:01 UTC
dd63ca4 Gilles Chabert 16 September 2018, 20:02:18 UTC [new ctc interface] doc update. 16 September 2018, 20:02:18 UTC
7b85e83 Gilles Chabert 16 September 2018, 19:07:28 UTC Merge remote-tracking branch 'origin/master' into v2_7_cell_bis 16 September 2018, 19:07:28 UTC
1a32fc8 Gilles Chabert 15 September 2018, 16:15:42 UTC [new ctc interface] *in progress*. Avoid useless call to topo_sort in update_bisect. Earn 50% comp time ^C hard/ex8_5_1bis ! 15 September 2018, 16:15:42 UTC
e49e8e8 Gilles Chabert 14 September 2018, 07:48:30 UTC [new ctc interface] *in progress*. Stop recalculating active constraints in CtcFwdBwd 14 September 2018, 07:48:30 UTC
52585ba Gilles Chabert 09 September 2018, 14:36:36 UTC [new ctc interface] *in progress*. Set impact to only 1 variable in 3BCid/Acid 09 September 2018, 14:36:36 UTC
3cdcc25 Gilles Chabert 08 September 2018, 12:58:12 UTC LinearizerXTaylor: use Hansen matrix also in RESTRIC mode 08 September 2018, 12:58:12 UTC
352e118 Gilles Chabert 08 September 2018, 12:46:11 UTC [new ctc interface] *in progress*. Fix bug in BxpLinearRelaxArgMin 08 September 2018, 12:46:11 UTC
7914d93 Gilles Chabert 08 September 2018, 12:39:47 UTC [new ctc interface] *in progress*. Fix bug in BxpLinearRelaxArgMin 08 September 2018, 12:39:47 UTC
e3cd85d Gilles Chabert 07 September 2018, 09:21:07 UTC [java] update with new solver interface 07 September 2018, 09:21:07 UTC
0038c2a Gilles Chabert 07 September 2018, 08:23:17 UTC doc update 07 September 2018, 08:23:17 UTC
4275bef Gilles Chabert 07 September 2018, 08:02:03 UTC doc update 07 September 2018, 08:02:03 UTC
0d7d2bc Gilles Chabert 04 September 2018, 14:53:50 UTC ContractContext: removing all pointers + fix bug in Cell constructor and CtcPolytopeHull 04 September 2018, 14:53:50 UTC
40e8a3d Gilles Chabert 31 August 2018, 22:01:20 UTC ContractContext: removing all pointers 31 August 2018, 22:01:20 UTC
41abddf Gilles Chabert 31 August 2018, 16:37:21 UTC doc: update sphynx configuration and makefile 31 August 2018, 16:37:21 UTC
9461586 CHABERT Gilles 28 August 2018, 09:55:18 UTC v2.7 doc update 28 August 2018, 09:55:18 UTC
2649a6a CHABERT Gilles 22 August 2018, 16:27:16 UTC merge master and start updating SIP plugin 22 August 2018, 16:27:16 UTC
0d4eb3a CHABERT Gilles 22 August 2018, 07:57:56 UTC Fix bug in Newton reported by A Marandet 22 August 2018, 07:57:56 UTC
eb6944d CHABERT Gilles 20 August 2018, 07:17:01 UTC [sip] renaming sipopt ibexopt-sip and sipsolve ibexsolve-sip 20 August 2018, 07:17:01 UTC
de73b68 CHABERT Gilles 14 August 2018, 14:53:59 UTC Merge remote-tracking branch 'origin/develop' 14 August 2018, 14:53:59 UTC
228c4b1 CHABERT Gilles 04 August 2018, 11:13:27 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 04 August 2018, 11:13:27 UTC
13d131e CHABERT Gilles 04 August 2018, 11:12:53 UTC [new ctc interface] *in progress*. Replace CtcContext by ContractContext 04 August 2018, 11:12:53 UTC
7870418 CHABERT Gilles 01 August 2018, 10:38:10 UTC [new ctc interface] *in progress*. Add BxpLinearRelaxArgMin property and integrate it in LoupFinderDefault 01 August 2018, 10:38:10 UTC
43245b9 Antoine Marendet 31 July 2018, 07:48:41 UTC [sip] add newton for paving filtering 31 July 2018, 07:48:41 UTC
4640b1c CHABERT Gilles 30 July 2018, 23:13:50 UTC [new ctc interface] *in progress*. Improve impact management in CtcAcid 30 July 2018, 23:13:50 UTC
759432c CHABERT Gilles 30 July 2018, 22:45:01 UTC [new ctc interface] *in progress*. Fix impact bug in CtcCompo 30 July 2018, 22:45:01 UTC
6defcc7 CHABERT Gilles 30 July 2018, 14:42:57 UTC [new ctc interface] *in progress*. Fix bugs (lack of property updates) 30 July 2018, 14:42:57 UTC
23ad98b CHABERT Gilles 30 July 2018, 09:25:57 UTC [new ctc interface] *in progress*. SystemBox ---> BxpSystemCache (done) 30 July 2018, 09:25:57 UTC
06eb797 CHABERT Gilles 29 July 2018, 19:15:43 UTC [new ctc interface] *in progress*. Tests update 29 July 2018, 19:15:43 UTC
6510bc7 CHABERT Gilles 29 July 2018, 18:56:18 UTC [new ctc interface] *in progress*. SystemBox ---> BxpSystemCache (cont'd) 29 July 2018, 18:56:18 UTC
fc9e08d CHABERT Gilles 29 July 2018, 18:50:25 UTC [new ctc interface] *in progress*. SystemBox ---> BxpSystemCache 29 July 2018, 18:50:25 UTC
c344e5b CHABERT Gilles 29 July 2018, 15:20:33 UTC [new ctc interface] *in progress*. Add properties in Linearizer/LoupFinder (done) 29 July 2018, 15:20:33 UTC
80bd750 CHABERT Gilles 29 July 2018, 12:24:11 UTC [new ctc interface] *in progress*. Add properties in Linearizer/LoupFinder (started) 29 July 2018, 12:24:11 UTC
2663ed4 CHABERT Gilles 29 July 2018, 11:48:17 UTC Fix issue #38 at last! 29 July 2018, 11:48:17 UTC
d72ee9c CHABERT Gilles 25 July 2018, 09:10:36 UTC [new ctc interface] *in progress*. Update optimizer 25 July 2018, 09:10:36 UTC
4ce9ea3 Gilles Chabert 22 July 2018, 16:54:22 UTC [new ctc interface] *in progress*. Doc update 22 July 2018, 16:54:22 UTC
024c959 Gilles Chabert 22 July 2018, 16:52:57 UTC [new ctc interface] *in progress*. Restore copy with box/boxproperties 22 July 2018, 16:52:57 UTC
4583978 Gilles Chabert 22 July 2018, 11:39:41 UTC [new ctc interface] *in progress*. Removing update_bisect 22 July 2018, 11:39:41 UTC
e261ea3 Gilles Chabert 22 July 2018, 10:38:18 UTC [new ctc interface] *in progress*. Still debugging... 22 July 2018, 10:38:18 UTC
0ef4cd0 Gilles Chabert 20 July 2018, 12:49:41 UTC [new ctc interface] *in progress*. Still debugging... 20 July 2018, 12:49:41 UTC
9f87555 Gilles Chabert 20 July 2018, 12:15:13 UTC [new ctc interface] *in progress*. Now debugging... 20 July 2018, 12:15:13 UTC
e83f770 Gilles Chabert 20 July 2018, 10:07:48 UTC [new ctc interface] *in progress*. Tests update 20 July 2018, 10:07:48 UTC
1bed434 Gilles Chabert 20 July 2018, 09:28:43 UTC [new ctc interface] *in progress*. Updating Qinter/Union/FixPoint/Compo 20 July 2018, 09:28:43 UTC
db27bb9 Gilles Chabert 20 July 2018, 07:56:51 UTC [new ctc interface] *in progress*. Properties management in 3BCID/Acid/OptimShaving (con'td). Remove box in arg of property copy 20 July 2018, 07:56:51 UTC
back to top