73e076b | jordan08 | 05 June 2018, 06:39:55 UTC | add fnction to Set | 05 June 2018, 06:39:55 UTC |
2687186 | Gilles Chabert | 01 June 2018, 08:23:25 UTC | [sip] fix indentation pb in wscript | 01 June 2018, 08:23:25 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 |
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 |
c4c72be | Gilles Chabert | 17 January 2018, 13:30:00 UTC | (minor) fix test and java plugin problem with last commmit (again) | 17 January 2018, 13:30:00 UTC |
17c7a51 | Gilles Chabert | 17 January 2018, 13:18:31 UTC | (minor) fix test and java plugin problem with last commmit | 17 January 2018, 13:18:31 UTC |
bba623e | Gilles Chabert | 17 January 2018, 12:50:58 UTC | Merge remote-tracking branch 'origin/develop' | 17 January 2018, 12:50:58 UTC |
99f06dd | Gilles Chabert | 17 January 2018, 12:29:30 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 17 January 2018, 12:29:30 UTC |
8a093ba | Gilles Chabert | 17 January 2018, 12:29:13 UTC | Implement --forced-param option of solver (issue #299) | 17 January 2018, 12:29:13 UTC |
c18d651 | Cyril Bouvier | 17 January 2018, 09:56:13 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 17 January 2018, 09:56:13 UTC |
7ca485d | Cyril Bouvier | 17 January 2018, 09:55:51 UTC | Add colors in output of benchmarks | 17 January 2018, 09:55:51 UTC |
6cc88a7 | Gilles Chabert | 17 January 2018, 08:37:08 UTC | ibex_String.h: add function to parse (indexed) symbols | 17 January 2018, 08:37:08 UTC |
1bb862d | Cyril Bouvier | 16 January 2018, 16:05:50 UTC | Fix bug when prec_min == prec_max in benchmarks_optim.cpp | 16 January 2018, 16:05:50 UTC |
293d597 | Gilles Chabert | 13 January 2018, 22:40:53 UTC | [optim] nb_cells --> size_t | 13 January 2018, 22:40:53 UTC |
68f9e98 | Gilles Chabert | 13 January 2018, 22:37:56 UTC | Remove '.mnf' files | 13 January 2018, 22:37:56 UTC |
7b80b3e | Gilles Chabert | 13 January 2018, 22:34:59 UTC | Allow pi in Minibex to be used also as a double | 13 January 2018, 22:34:59 UTC |
a182987 | Gilles Chabert | 13 January 2018, 22:18:48 UTC | Removing 'pi' definition in minibex files (cont'd) | 13 January 2018, 22:18:48 UTC |
002e74e | Gilles Chabert | 13 January 2018, 22:06:12 UTC | Removing 'pi' definition in minibex files | 13 January 2018, 22:06:12 UTC |
5f3fa59 | Gilles Chabert | 13 January 2018, 19:27:32 UTC | Fix issue #304 | 13 January 2018, 19:27:32 UTC |
ab03f61 | Gilles Chabert | 13 January 2018, 19:25:15 UTC | ExprDiff: allow partial differentiation and differentation without copy (cont'd) | 13 January 2018, 19:25:15 UTC |
bcbcbec | Gilles Chabert | 12 January 2018, 18:44:47 UTC | ExprDiff: implement issue #308 | 12 January 2018, 18:44:47 UTC |
128b48a | Gilles Chabert | 12 January 2018, 18:18:53 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 12 January 2018, 18:18:53 UTC |
74c8443 | Gilles Chabert | 12 January 2018, 18:18:37 UTC | ExprDiff: allow partial differentiation and differentation without copy (cont'd) | 12 January 2018, 18:18:37 UTC |
48ae814 | Gilles Chabert | 12 January 2018, 15:00:25 UTC | ExprDiff: allow partial differentiation and differentation without copy | 12 January 2018, 15:00:25 UTC |
549507e | Cyril Bouvier | 12 January 2018, 09:20:01 UTC | Improve benchmarks | 12 January 2018, 09:20:01 UTC |
5ec6e02 | Gilles Chabert | 12 January 2018, 08:59:11 UTC | Add 'pi' constant in minibe | 12 January 2018, 08:59:11 UTC |
2618072 | Gilles Chabert | 09 January 2018, 12:41:12 UTC | Fix issue #307 (right fix) | 09 January 2018, 12:41:12 UTC |
939d251 | Gilles Chabert | 09 January 2018, 11:07:02 UTC | Fix issue #307 | 09 January 2018, 11:07:02 UTC |
69d796b | Gilles Chabert | 05 January 2018, 17:23:04 UTC | Fix issue #306 | 05 January 2018, 17:23:04 UTC |
75ebfe8 | Gilles Chabert | 01 January 2018, 14:17:09 UTC | DoubleHeap: Remove random heap selection in top() | 01 January 2018, 14:17:09 UTC |
940a707 | Gilles Chabert | 28 December 2017, 23:46:26 UTC | Gauss-Seidel: add rectangular case (under/over-constrained systems) | 28 December 2017, 23:46:26 UTC |
6bcf391 | Gilles Chabert | 26 December 2017, 20:31:45 UTC | cleanup conflict files | 26 December 2017, 20:31:45 UTC |
e956f06 | Gilles Chabert | 26 December 2017, 19:54:17 UTC | Merge branch 'ita1024-master' into develop | 26 December 2017, 19:54:17 UTC |
e939f9a | Gilles Chabert | 26 December 2017, 19:50:23 UTC | Merge branch 'master' of https://github.com/ita1024/ibex-lib into ita1024-master | 26 December 2017, 19:50:23 UTC |
bf3d9aa | Gilles Chabert | 26 December 2017, 19:41:15 UTC | Merge pull request #300 from ibex-team/dev_LPsolver Dev l psolver | 26 December 2017, 19:41:15 UTC |
17f998d | Gilles Chabert | 26 December 2017, 19:39:59 UTC | Minor modifications to pull request #300 | 26 December 2017, 19:39:59 UTC |
874d89e | Gilles Chabert | 26 December 2017, 10:49:13 UTC | small modifications to #300 | 26 December 2017, 10:49:13 UTC |
853ac96 | Gilles Chabert | 26 December 2017, 10:20:26 UTC | Merge remote-tracking branch 'origin/develop' into dev_LPsolver | 26 December 2017, 10:20:26 UTC |
86629ff | Gilles Chabert | 26 December 2017, 10:15:31 UTC | Merge pull request #294 from ibex-team/dev_cell_heap Dev cell heap | 26 December 2017, 10:15:31 UTC |
b8b857e | Gilles Chabert | 25 December 2017, 23:46:22 UTC | Modifications to pull request #294 | 25 December 2017, 23:46:22 UTC |
7992d00 | Gilles Chabert | 25 December 2017, 21:25:50 UTC | Merge branch 'new_bsc' into dev_cell_heap | 25 December 2017, 21:25:50 UTC |
f780183 | Gilles Chabert | 25 December 2017, 21:21:40 UTC | New bisector design (minor update) | 25 December 2017, 21:21:40 UTC |
a7d5ad3 | Gilles Chabert | 25 December 2017, 21:07:58 UTC | New bisector design (cont'd) | 25 December 2017, 21:07:58 UTC |
aa63aed | Gilles Chabert | 25 December 2017, 17:44:01 UTC | Merge new bisector design | 25 December 2017, 17:44:01 UTC |
1048327 | Gilles Chabert | 25 December 2017, 17:35:16 UTC | New bisector design (cont'd) | 25 December 2017, 17:35:16 UTC |
559a17e | Gilles Chabert | 25 December 2017, 17:34:37 UTC | New bisector design (minor update) | 25 December 2017, 17:34:37 UTC |
b10eb03 | Gilles Chabert | 25 December 2017, 17:33:36 UTC | ** New bisector design ** | 25 December 2017, 17:33:36 UTC |
80cd0cf | Thomas Nagy | 22 December 2017, 15:10:44 UTC | Enable builds using Python 3 | 22 December 2017, 15:15:23 UTC |
d07695d | Gilles Chabert | 06 December 2017, 18:06:21 UTC | Merge remote-tracking branch 'origin/develop' into dev_cell_heap | 06 December 2017, 18:06:21 UTC |
6692e68 | Gilles Chabert | 06 December 2017, 17:43:04 UTC | [sip] now the executable is in the bin folder | 06 December 2017, 17:43:04 UTC |
033e394 | Jordan | 06 December 2017, 13:36:45 UTC | small mistake | 06 December 2017, 13:36:45 UTC |
d99329f | Jordan | 06 December 2017, 12:45:27 UTC | [ibex refact] add flag for testing without LPsolver | 06 December 2017, 12:45:27 UTC |
46f1045 | Jordan | 29 November 2017, 15:31:35 UTC | [ibex refact] test ok | 29 November 2017, 15:31:35 UTC |
a974d80 | Jordan | 29 November 2017, 15:12:33 UTC | [ibex refact] LPSolver ok | 29 November 2017, 15:12:33 UTC |
fa02261 | jordan08 | 28 November 2017, 22:57:10 UTC | to continue.. | 28 November 2017, 22:57:10 UTC |
e5f3fa2 | Jordan | 27 November 2017, 17:03:04 UTC | [ibex_refact] start merge of the LP solver | 27 November 2017, 17:03:04 UTC |
4304142 | jordan08 | 23 November 2017, 22:58:30 UTC | ibex refact] remove bisect(Cell c) from RoundRobin | 23 November 2017, 22:58:30 UTC |
247d76c | Jordan | 23 November 2017, 10:50:59 UTC | [ibex refact] fix bug in Cell | 23 November 2017, 10:50:59 UTC |
fb9eb5b | Jordan | 23 November 2017, 09:52:47 UTC | [ibex refact] fix mistake in AMPL tests | 23 November 2017, 09:52:47 UTC |
8f903c7 | Jordan | 23 November 2017, 09:51:37 UTC | Merge remote-tracking branch 'origin/develop' into dev_cell_heap | 23 November 2017, 09:51:37 UTC |
65daa22 | Gilles Chabert | 22 November 2017, 14:23:30 UTC | Merge remote-tracking branch 'origin/develop' into sip | 22 November 2017, 14:23:30 UTC |
de05bd5 | Gilles Chabert | 22 November 2017, 09:21:30 UTC | thread safety: disable mutex for MinGW (not supported) | 22 November 2017, 09:21:30 UTC |
e66ed99 | Gilles Chabert | 21 November 2017, 22:11:48 UTC | Merge remote-tracking branch 'origin/develop' | 21 November 2017, 22:11:48 UTC |
1940314 | Gilles Chabert | 21 November 2017, 22:11:05 UTC | thread safety: cont'd. Add mutex for parsing | 21 November 2017, 22:11:05 UTC |
1df6f34 | Gilles Chabert | 21 November 2017, 19:00:57 UTC | thread safety: cont'd. New Memory class | 21 November 2017, 19:00:57 UTC |
e5745a2 | Gilles Chabert | 21 November 2017, 15:08:34 UTC | thread safety: cont'd | 21 November 2017, 15:08:34 UTC |
69f902c | Gilles Chabert | 21 November 2017, 12:11:50 UTC | thread safety: new java plugin | 21 November 2017, 12:11:50 UTC |
978ba32 | Jordan | 20 November 2017, 15:37:07 UTC | [ibex refact] Modify interface of deepcopy | 20 November 2017, 15:37:07 UTC |
ffc4114 | jordan08 | 15 November 2017, 09:20:43 UTC | Merge remote-tracking branch 'origin/develop' into dev_cell_heap | 15 November 2017, 09:20:43 UTC |
5bfbefd | Gilles Chabert | 09 November 2017, 15:21:48 UTC | Fix #298 | 09 November 2017, 15:21:48 UTC |
439ba93 | Gilles Chabert | 09 November 2017, 14:56:16 UTC | Fix some warnings | 09 November 2017, 14:56:16 UTC |
5025230 | Gilles Chabert | 09 November 2017, 14:35:13 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 09 November 2017, 14:35:13 UTC |
3a9f12a | Gilles Chabert | 09 November 2017, 14:34:51 UTC | [solver] fix bug in MNF v2 | 09 November 2017, 14:34:51 UTC |