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
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
ac46986 Gilles Chabert 20 July 2018, 07:19:09 UTC [new ctc interface] *in progress*. Properties management in 3BCID/Acid/OptimShaving 20 July 2018, 07:19:09 UTC
52006e2 Gilles Chabert 20 July 2018, 06:18:04 UTC [new ctc interface] *in progress*. Impact handling in CtcComp and CtcFixpoint 20 July 2018, 06:18:04 UTC
e42b9a9 Gilles Chabert 20 July 2018, 05:33:03 UTC [new ctc interface] *in progress*. Clean impact handling + context transmission in 3BCID/ACID/... contractors 20 July 2018, 05:33:03 UTC
b12581e Gilles Chabert 13 July 2018, 15:40:53 UTC [new ctc interface] *in progress*. Doc update 13 July 2018, 15:40:53 UTC
e7ec219 Gilles Chabert 13 July 2018, 09:27:40 UTC [optim] doc update (how to get all minima with ibexopt) 13 July 2018, 09:27:40 UTC
6f55003 Antoine Marendet 11 July 2018, 15:29:40 UTC Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop 11 July 2018, 15:29:40 UTC
8be6a11 Antoine Marendet 11 July 2018, 15:18:45 UTC [sip] bug fixes and performance improvements 11 July 2018, 15:18:45 UTC
b3bc47e Gilles Chabert 09 July 2018, 21:36:24 UTC [new ctc interface] *in progress*. Add box in argument of update_copy. Documentation started 09 July 2018, 21:36:24 UTC
90b029f Gilles Chabert 09 July 2018, 10:59:40 UTC [new ctc interface] *in progress*. Add box in parameter of add_property 09 July 2018, 10:59:40 UTC
745f913 Gilles Chabert 09 July 2018, 09:57:26 UTC [new ctc interface] *in progress*. Add Bisection/BoxEvent + comments everywhere 09 July 2018, 09:57:26 UTC
eb7285b Gilles Chabert 06 July 2018, 22:38:49 UTC [new ctc interface] *in progress*. Final design? 06 July 2018, 22:38:49 UTC
004232a Jordan 04 July 2018, 14:51:43 UTC Update appveyor.yml 04 July 2018, 14:51:43 UTC
b755696 Jordan 04 July 2018, 14:48:53 UTC Update appveyor.yml 04 July 2018, 14:48:53 UTC
7d80cc0 Gilles Chabert 01 July 2018, 19:26:15 UTC [new ctc interface] *in progress*. Bxp/BoxProperies classes 01 July 2018, 19:26:15 UTC
296747e Gilles Chabert 22 June 2018, 22:29:24 UTC doc update 22 June 2018, 22:29:24 UTC
d5e3007 Gilles Chabert 20 June 2018, 12:21:18 UTC [new ctc interface] *in progress*. CtcContext handles BoxProp only 20 June 2018, 12:21:18 UTC
39b264f Gilles Chabert 20 June 2018, 07:58:12 UTC [new ctc interface] *in progress*. Now BoxProp inherits from SearchNodeProp 20 June 2018, 07:58:12 UTC
8b5adda Gilles Chabert 19 June 2018, 14:40:30 UTC [new ctc interface] *in progress*. First clean draft of the new Property framework 19 June 2018, 14:40:30 UTC
9990e4e Gilles Chabert 15 June 2018, 07:04:00 UTC [new ctc interface] in progress 15 June 2018, 07:04:00 UTC
4ad8791 Gilles Chabert 08 June 2018, 08:06:42 UTC [new ctc interface] *in progress*. create SearchNodeProperty/BoxProperty 08 June 2018, 08:06:42 UTC
8bb4a97 Gilles Chabert 03 June 2018, 15:45:24 UTC [new ctc interface] create DomainData class and update Cell structure 03 June 2018, 15:45:24 UTC
45098bc Gilles Chabert 01 June 2018, 08:24:05 UTC Merge remote-tracking branch 'origin/develop' into v2_7_cell 01 June 2018, 08:24:05 UTC
2687186 Gilles Chabert 01 June 2018, 08:23:25 UTC [sip] fix indentation pb in wscript 01 June 2018, 08:23:25 UTC
c3e6a4a Gilles Chabert 29 May 2018, 20:07:33 UTC [new ctc interface] create CtcContext and move old impact/flags fields to it. Add bactrackable data 29 May 2018, 20:07:33 UTC
80ed23a Gilles Chabert 25 May 2018, 10:00:38 UTC [sip] fixing header problems in ibex include 25 May 2018, 10:00:38 UTC
17f16cd Gilles Chabert 17 May 2018, 09:41:13 UTC MNF format v4: now variable names are ended by null character 17 May 2018, 09:41:13 UTC
7b412ae Gilles Chabert 16 May 2018, 19:26:43 UTC [sip] renaming maredent/LoupFinderDefault to LoupFinderSIPDefault 16 May 2018, 19:26:43 UTC
7bc696d Gilles Chabert 16 May 2018, 18:30:39 UTC [sip] adapt Mitsos sip code to new interface 16 May 2018, 18:30:39 UTC
7b58e03 Gilles Chabert 16 May 2018, 15:25:34 UTC [sip] fix minor namespace pb with template specialization 16 May 2018, 15:25:34 UTC
87571f5 Gilles Chabert 16 May 2018, 12:40:51 UTC Merge remote-tracking branch 'origin/develop' into sip 16 May 2018, 12:40:51 UTC
6bcd620 Gilles Chabert 16 May 2018, 12:30:51 UTC add missing include 16 May 2018, 12:31:59 UTC
3897f93 Antoine Marendet 14 May 2018, 08:51:35 UTC Add Marendet SIP optimizer and solver, modify to wscript to create sipopt and sipsolve 14 May 2018, 08:51:35 UTC
f5ec9f9 Gilles Chabert 11 May 2018, 13:50:41 UTC Fix #323 and suppress repetition of warning messages when system is overconstrained 11 May 2018, 13:50:41 UTC
e145a7c Gilles Chabert 26 April 2018, 07:55:16 UTC Fix #319. Now there is a neat difference between 'in' (exist-quantified) in place of '=' (univ quantified) 26 April 2018, 07:55:16 UTC
d1806be Gilles Chabert 25 April 2018, 20:54:47 UTC Remove suprious print from previous commit 25 April 2018, 20:54:47 UTC
7749f38 Gilles Chabert 25 April 2018, 16:52:33 UTC Fix #318 and improve SystemFactory code. ExprCopy: allow 'shared' copies 25 April 2018, 16:52:33 UTC
3e4d828 Gilles Chabert 11 April 2018, 18:05:13 UTC Parser: allow temporary variables declaration for building DAGS directly in the constraint block 11 April 2018, 18:05:13 UTC
5edfd4c Gilles Chabert 11 April 2018, 18:03:15 UTC Fix many memory problems with previous solver changes due to QualifiedBox 11 April 2018, 18:03:15 UTC
c83891e Gilles Chabert 15 March 2018, 22:51:18 UTC Fix 315 (cont'd): creating QualifiedBox 15 March 2018, 22:51:18 UTC
263e5f7 Gilles Chabert 15 March 2018, 18:35:51 UTC Fix 315 (cont'd) 15 March 2018, 18:35:51 UTC
9a4da24 Gilles Chabert 15 March 2018, 14:39:05 UTC Fix 315 (started) 15 March 2018, 14:39:05 UTC
a68e6df Gilles Chabert 15 March 2018, 14:16:39 UTC Merge pull request #316 from martinjos/clp-header-path-fix Use correct path to Clp header file in #include statement 15 March 2018, 14:16:39 UTC
da6511b Martin Sidaway 08 March 2018, 14:38:39 UTC Use correct path to Clp header file in #include statement 08 March 2018, 14:42:28 UTC
7ad5a61 Gilles Chabert 05 March 2018, 09:40:40 UTC Add orthogonalization and kernel computation of matrices 05 March 2018, 09:40:40 UTC
476f4e7 Gilles Chabert 02 February 2018, 22:00:39 UTC Merge pull request #313 from ibex-team/hotfix-312 fix #312 02 February 2018, 22:00:39 UTC
f82a25d Jordan 02 February 2018, 16:42:18 UTC fix #312 02 February 2018, 16:42:18 UTC
4005933 Gilles Chabert 30 January 2018, 14:13:14 UTC Merge branch 'nicolaje-set-visitor_node_bool' into develop 30 January 2018, 14:13:14 UTC
78dc5d2 Gilles Chabert 30 January 2018, 13:59:48 UTC Fix #311 30 January 2018, 13:59:48 UTC
11eb3df Gilles Chabert 29 January 2018, 12:34:20 UTC Start to fix #312 29 January 2018, 12:34:20 UTC
b862260 Jeremy Nicola 26 January 2018, 13:25:18 UTC [src/doc]Set-visitor visit_node can stop set exploration Related to issue #166 where I suggested the visit_node could return true or false for deciding if the children of a node must be visited. This allows for more efficient set exploration in cases where we do not need to explore every leaf of the set. 26 January 2018, 13:25:18 UTC
af48e38 Gilles Chabert 17 January 2018, 14:31:07 UTC Merge branch 'master' of https://github.com/ibex-team/ibex-lib 17 January 2018, 14:31:07 UTC
de2fec6 Gilles Chabert 17 January 2018, 14:30:54 UTC (minor) fix continuation plugin problem with last commmit 17 January 2018, 14:30:54 UTC
9a443e1 gchabe08 17 January 2018, 14:21:25 UTC Merge remote-tracking branch 'origin/master' into develop 17 January 2018, 14:21:25 UTC
back to top