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 |
7b3f3e1 | Cyril Bouvier | 17 January 2018, 14:17:31 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 17 January 2018, 14:17:31 UTC |
82eda95 | Cyril Bouvier | 17 January 2018, 14:17:11 UTC | Remove code used for testing | 17 January 2018, 14:17:11 UTC |