4bb76ce | Gilles Chabert | 01 October 2014, 19:56:20 UTC | Merge branch 'hotfix-53' | 01 October 2014, 19:56:20 UTC |
06ec400 | Gilles Chabert | 01 October 2014, 19:55:42 UTC | examples/slam: Fix issue #53 | 01 October 2014, 19:55:42 UTC |
b9d7a47 | Gilles Chabert | 25 September 2014, 09:48:15 UTC | Merge branch 'hotfix-50' | 25 September 2014, 09:48:15 UTC |
9193459 | Gilles Chabert | 25 September 2014, 09:46:54 UTC | utest: minor fix | 25 September 2014, 09:46:54 UTC |
dc4ddef | Gilles Chabert | 25 September 2014, 09:44:33 UTC | Optimizer: fix issue #50. TestOptimizer: add new tests | 25 September 2014, 09:44:33 UTC |
48baeb0 | Gilles Chabert | 25 September 2014, 09:25:45 UTC | TestOptimizer: add | 25 September 2014, 09:25:45 UTC |
c168d02 | Gilles Chabert | 25 September 2014, 09:25:31 UTC | TestOptimizer: add | 25 September 2014, 09:25:31 UTC |
c65e629 | Gilles Chabert | 23 September 2014, 15:48:27 UTC | Optimizer: change the place where update_uplo is called (fix issue #49) | 23 September 2014, 15:48:27 UTC |
31ddd6b | Gilles Chabert | 23 September 2014, 15:10:23 UTC | Cleaning up master | 23 September 2014, 15:10:23 UTC |
b530a34 | Gilles Chabert | 23 September 2014, 14:30:05 UTC | Removing default strategies with mohc | 23 September 2014, 14:30:05 UTC |
e8c9d37 | Gilles Chabert | 23 September 2014, 14:27:55 UTC | Restoring default strategies with mohc | 23 September 2014, 14:27:55 UTC |
ad48a8a | Gilles Chabert | 23 September 2014, 14:17:06 UTC | Cleaning up master | 23 September 2014, 14:17:06 UTC |
8d53943 | Gilles Chabert | 23 September 2014, 14:15:27 UTC | Cleaning up master | 23 September 2014, 14:15:27 UTC |
1a7b3ef | Gilles Chabert | 18 September 2014, 13:09:21 UTC | Optimizer: fix bug in return status | 18 September 2014, 13:09:21 UTC |
8a9bd8c | Gilles Chabert | 18 September 2014, 08:36:22 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib | 18 September 2014, 08:36:22 UTC |
22243c9 | Gilles Chabert | 18 September 2014, 08:35:50 UTC | Fixing issue #8 | 18 September 2014, 08:35:50 UTC |
74e5c3b | Jordan08 | 16 September 2014, 13:41:54 UTC | Affine2Main : update the conversion of a double into a Affine2Main (for the particular cas when the double is +oo) Affine2Main<AF_fAF1>::err() take the max of the interval _err | 16 September 2014, 13:41:54 UTC |
cf405dd | Gilles Chabert | 11 September 2014, 14:59:16 UTC | TestExprDiff: minor modif | 11 September 2014, 14:59:16 UTC |
3a9c291 | Gilles Chabert | 11 September 2014, 07:58:14 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib | 11 September 2014, 07:58:14 UTC |
08716eb | Gilles Chabert | 11 September 2014, 07:57:54 UTC | CtrGenerator (parser): Fixing issue #36 | 11 September 2014, 07:57:54 UTC |
fe2dcef | Jordan08 | 09 September 2014, 14:30:44 UTC | Merge remote-tracking branch 'origin/OptiContractor' | 09 September 2014, 14:30:44 UTC |
7d58649 | Jordan08 | 09 September 2014, 14:24:07 UTC | CellHeapOptim: remove the previous commit | 09 September 2014, 14:24:07 UTC |
7dfebf6 | Jordan08 | 09 September 2014, 14:22:01 UTC | CellHeapOptim : just to have a save of what I try... | 09 September 2014, 14:22:01 UTC |
55d5c9d | Jordan08 | 09 September 2014, 12:07:35 UTC | - correct bug in CtcQuantif (the assert was wrong) - Correct the feasibility test in OptimCtc | 09 September 2014, 12:07:35 UTC |
147ba04 | Gilles Chabert | 08 September 2014, 15:13:03 UTC | Optimizer: Removing message | 08 September 2014, 15:13:03 UTC |
11f2be9 | Gilles Chabert | 02 September 2014, 12:30:36 UTC | Optimizer: Fix new problem introduced when fixing issue #44 in last commit. Now this issue should be resolved. | 02 September 2014, 12:30:36 UTC |
aed94c7 | Gilles Chabert | 02 September 2014, 09:50:00 UTC | Optimizer: Fix bug (issue #44) | 02 September 2014, 09:50:00 UTC |
a811864 | Gilles Chabert | 01 September 2014, 09:47:16 UTC | ExprDiff: allow array of ExprNode instead of symbols | 01 September 2014, 09:47:16 UTC |
4b954a0 | Jordan08 | 29 August 2014, 14:23:20 UTC | OptimCtc : change the try_direct. Now a feasible point is a point which are not contracted by _ctc_out | 29 August 2014, 14:23:20 UTC |
2675633 | Jordan08 | 29 August 2014, 13:32:03 UTC | OptimCtc : remove comment and Test OK.. but it's still slow | 29 August 2014, 13:32:03 UTC |
3b42088 | Jordan08 | 29 August 2014, 12:56:09 UTC | test_optimizerCTC : First test OK | 29 August 2014, 12:56:09 UTC |
f894374 | Jordan08 | 29 August 2014, 11:30:40 UTC | OptimCtc : First Test ok need to customize | 29 August 2014, 11:30:40 UTC |
a3bfd6e | Gilles Chabert | 29 August 2014, 11:12:35 UTC | ExprDiff: new test | 29 August 2014, 11:12:35 UTC |
ce5627d | Jordan08 | 28 August 2014, 15:57:55 UTC | OptimCtc : First compilation ok | 28 August 2014, 15:57:55 UTC |
ff8011d | Jordan08 | 28 August 2014, 15:45:32 UTC | First commit of OptimCtc | 28 August 2014, 15:45:32 UTC |
4eac7f8 | Gilles Chabert | 28 August 2014, 15:37:10 UTC | ExprDiff: add conversion to constants for multi-valued functions | 28 August 2014, 15:37:10 UTC |
3b43481 | Gilles Chabert | 28 August 2014, 13:38:24 UTC | iset : add union + minor optim for inter | 28 August 2014, 13:38:24 UTC |
595295f | Gilles Chabert | 28 August 2014, 09:04:47 UTC | SetLeaf: code optim in inter | 28 August 2014, 09:04:47 UTC |
d22a94f | Gilles Chabert | 27 August 2014, 10:42:51 UTC | Doc update | 27 August 2014, 10:42:51 UTC |
f0b0d09 | Jordan Ninin | 27 August 2014, 09:27:21 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor | 27 August 2014, 09:27:21 UTC |
650609e | Gilles Chabert | 25 August 2014, 21:38:04 UTC | Doc: update | 25 August 2014, 21:38:04 UTC |
2bf6bd1 | Gilles Chabert | 25 August 2014, 15:40:37 UTC | Doc: update | 25 August 2014, 15:40:37 UTC |
3afe659 | Gilles Chabert | 25 August 2014, 12:14:40 UTC | Java interface: update with new interface for Ctc | 25 August 2014, 12:14:40 UTC |
3cc013d | Gilles Chabert | 25 August 2014, 07:52:44 UTC | Solver: filling impact with correct range of indices | 25 August 2014, 07:52:44 UTC |
d645e01 | Gilles Chabert | 22 August 2014, 17:26:03 UTC | Fix bug CtcInverse (will be integrated in 2.1.6) | 22 August 2014, 17:26:03 UTC |
98a5530 | Gilles Chabert | 22 August 2014, 16:44:19 UTC | Minor update | 22 August 2014, 16:44:19 UTC |
843d177 | Gilles Chabert | 22 August 2014, 16:39:15 UTC | CtcPolytopeHull: can accept a linear system Ax<=b directly (Fix issue #15) | 22 August 2014, 16:39:15 UTC |
699f876 | Gilles Chabert | 22 August 2014, 14:53:35 UTC | NumConstraint: add constructors with char* (Fix issue #4) | 22 August 2014, 14:53:35 UTC |
6e9aaf6 | Gilles Chabert | 22 August 2014, 13:39:22 UTC | DefaultSolver: add vector of precisions (fix issue #41) | 22 August 2014, 13:39:22 UTC |
ed30854 | Jordan | 21 August 2014, 21:19:46 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor | 21 August 2014, 21:19:46 UTC |
c4b93dc | Gilles Chabert | 21 August 2014, 13:07:12 UTC | CtcForAll updated (code is now factorized with CtcExist via CtcQuantif). Issue #39 fixed. DefaultSolver: replace COMPO by XNEWTON (bug) | 21 August 2014, 13:10:32 UTC |
685bb76 | Gilles Chabert | 21 August 2014, 09:06:16 UTC | Fix issue #28 (+ test in TestCtcFwdBwd) | 21 August 2014, 09:06:16 UTC |
71e8c1d | Gilles Chabert | 20 August 2014, 10:24:39 UTC | Solving memory problem with lexer (buffer deletion with scan_string) and memory leak in Function::build_from_string (fix issue #37) | 20 August 2014, 10:24:39 UTC |
b560f3b | Gilles Chabert | 20 August 2014, 08:28:06 UTC | CtcPropag: fix bug on bitsets initialization | 20 August 2014, 08:36:16 UTC |
450a0c0 | Gilles Chabert | 19 August 2014, 14:41:26 UTC | Replacing BoolMask by BitSet (issue #11) | 20 August 2014, 08:36:16 UTC |
664c2ba | Gilles Chabert | 19 August 2014, 08:51:47 UTC | Ctc: fix bug check_nb_var_ctc_list + minor fix for CtcInteger | 20 August 2014, 08:36:16 UTC |
3ddc4aa | Gilles Chabert | 19 August 2014, 08:46:29 UTC | Add TestSetInterval | 20 August 2014, 08:36:15 UTC |
77a0470 | Gilles Chabert | 18 August 2014, 15:13:24 UTC | Cosmetic changes | 20 August 2014, 08:36:15 UTC |
45f62cb | Gilles Chabert | 18 August 2014, 15:12:52 UTC | Renaming files | 20 August 2014, 08:36:15 UTC |
453450c | Gilles Chabert | 03 August 2014, 16:35:15 UTC | Replace to_vibes by visit_leaves | 20 August 2014, 08:36:15 UTC |
8a62c95 | Gilles Chabert | 03 August 2014, 16:16:44 UTC | Fix bug on the status set to "diff" in SetLeaf::inter | 20 August 2014, 08:36:15 UTC |
eb71baf | Gilles Chabert | 22 July 2014, 09:39:47 UTC | Creating intersection | 20 August 2014, 08:36:15 UTC |
6f168b8 | Gilles Chabert | 21 July 2014, 09:26:22 UTC | Fix bug SetBisect destructor | 20 August 2014, 08:36:15 UTC |
d00b13e | Gilles Chabert | 20 July 2014, 15:51:08 UTC | diff (SetNode): fix bugs with espsilon-sized subboxes | 20 August 2014, 08:36:15 UTC |
18a4d8c | Gilles Chabert | 20 July 2014, 14:41:57 UTC | Set: fix bug diff + add print function | 20 August 2014, 08:36:15 UTC |
83d3cb7 | Gilles Chabert | 18 July 2014, 15:20:06 UTC | Fixing compilation problems | 20 August 2014, 08:36:15 UTC |
13f6b58 | Gilles Chabert | 18 July 2014, 12:30:11 UTC | Adding Set, SetNode, SetLeaf, SetBisect, Stc, StcEqual | 20 August 2014, 08:36:15 UTC |
f79e727 | Jordan | 23 July 2014, 21:32:36 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor | 23 July 2014, 21:32:36 UTC |
e727c27 | Jordan08 | 21 July 2014, 15:24:30 UTC | Update ibex_CtcInverse.h Correct memory leak in CtcInverse (continue) | 21 July 2014, 15:24:30 UTC |
85909af | Jordan08 | 21 July 2014, 15:23:54 UTC | Update ibex_CtcInverse.cpp Correct memory leak in CtcInverse | 21 July 2014, 15:23:54 UTC |
779ec8c | Jordan08 | 17 July 2014, 09:57:09 UTC | Start OptiCtc | 17 July 2014, 09:57:09 UTC |
5b0bc0b | Jordan08 | 17 July 2014, 09:36:51 UTC | Add set_box in UnconstrainedLocalSearch | 17 July 2014, 09:36:51 UTC |
197cbea | Jordan08 | 16 July 2014, 16:57:02 UTC | Remove merging problems | 16 July 2014, 16:57:02 UTC |
8b8b3b9 | Jordan08 | 16 July 2014, 16:51:45 UTC | Merge with the last correction | 16 July 2014, 16:51:45 UTC |
0079b10 | Jordan08 | 16 July 2014, 16:42:27 UTC | Finish the correction of the Pdc | 16 July 2014, 16:42:27 UTC |
b825336 | Jordan08 | 16 July 2014, 16:17:04 UTC | Remove all the warning --Wsign-compare with #pragma GCC diagnostic ignored "-Wsign-compare" And Restore "cliquer" to the origin | 16 July 2014, 16:17:04 UTC |
c7791d6 | Jordan08 | 16 July 2014, 15:47:28 UTC | Put check_nb_var_ctc_list and check_nb_var_ctc_list as protected | 16 July 2014, 15:47:28 UTC |
e76fd88 | Jordan08 | 16 July 2014, 15:41:59 UTC | Ignored warning : comparison between signed and unsigned integer expressions in srs/cliquer/set.h | 16 July 2014, 15:41:59 UTC |
17ce688 | Gilles Chabert | 16 July 2014, 15:26:14 UTC | doc update | 16 July 2014, 15:39:15 UTC |
8079c66 | Gilles Chabert | 16 July 2014, 15:25:52 UTC | Update sphinx config file | 16 July 2014, 15:39:15 UTC |
5af80c8 | Gilles Chabert | 16 July 2014, 15:24:51 UTC | Removing vibes interface | 16 July 2014, 15:39:15 UTC |
99e6234 | Jordan08 | 16 July 2014, 14:56:27 UTC | correct a bug in Function::eval_affine2 | 16 July 2014, 15:39:15 UTC |
07e6850 | Jordan08 | 16 July 2014, 14:31:40 UTC | Remove Ctc() and Pdc() Remove all the constructorwhich need the nb_var | 16 July 2014, 15:39:15 UTC |
1850f51 | Jordan08 | 16 July 2014, 14:20:08 UTC | correct a bug on Mac OSX | 16 July 2014, 15:38:26 UTC |
e234057 | Gilles Chabert | 16 July 2014, 13:51:20 UTC | contractor: Minor change | 16 July 2014, 15:38:26 UTC |
39f1100 | Gilles Chabert | 16 July 2014, 13:49:39 UTC | Remove declaration of counters outside of the loops | 16 July 2014, 15:38:26 UTC |
38ab42a | Jordan08 | 16 July 2014, 08:56:12 UTC | Add new function, In ibex_Affine2Eval.h: ExprLabel& eval_label(const Function& f, const Affine2Vector& box) Affine2Domain& eval(const Function& f, const Affine2Vector& box) In ibex_Function.h: void write_arg_af2_domains(const Affine2Vector& box) Affine2 eval_affine2 (const Affine2Vector& box) Affine2Domain& eval_affine2_affinedomain(const Affine2Vector& box) Affine2Vector eval_affine2_vector (const Affine2Vector& affine) Affine2Matrix eval_affine2_matrix (const Affine2Vector& box) | 16 July 2014, 15:38:26 UTC |
63b5fca | Jordan08 | 15 July 2014, 12:00:46 UTC | undo some modification about (unsigned int) and (int) | 16 July 2014, 15:38:26 UTC |
cb9163f | Jordan08 | 15 July 2014, 11:45:51 UTC | Remove some warnings | 16 July 2014, 15:38:26 UTC |
6509d39 | Jordan08 | 15 July 2014, 11:22:13 UTC | correct some warnings | 16 July 2014, 15:38:26 UTC |
a2523e8 | Jordan08 | 15 July 2014, 08:53:37 UTC | Correct: Ctc(); Ctc(int n); Pdc(); Pdc(int n); | 16 July 2014, 15:38:26 UTC |
e936f26 | Jordan08 | 10 July 2014, 15:35:38 UTC | correct a lot of Warning [-Wsign-compare] | 16 July 2014, 15:38:26 UTC |
b05250f | Jordan08 | 10 July 2014, 13:27:29 UTC | correct some mistake Now Ctc() is equivalent to nb_var=-1 | 16 July 2014, 15:38:25 UTC |
7f5a015 | Jordan08 | 10 July 2014, 12:40:50 UTC | -Restor nb_var in Ctc and Pdc -Creation of Ctc(const Array<Ctc>& l) to initialized a contractor with a list of contractor -Creation of Pdc(const Array<Pdc>& l) to initialized a contractor with a list of contractor -Remove init_lp in the constractor of CtcPolytopeHull -Extend to 12 variables the contactor CtcExistr | 16 July 2014, 15:38:25 UTC |
897bdd0 | Jordan08 | 16 July 2014, 15:06:03 UTC | Merge branch jordan and correctif | 16 July 2014, 15:06:03 UTC |
d070137 | Jordan08 | 16 July 2014, 14:58:04 UTC | Merge branch 'jordan' of https://github.com/ibex-team/ibex-lib into jordan | 16 July 2014, 14:58:04 UTC |
e4249bc | Jordan08 | 16 July 2014, 14:56:27 UTC | correct a bug in Function::eval_affine2 | 16 July 2014, 14:56:27 UTC |
a5f17b7 | Jordan08 | 16 July 2014, 14:31:40 UTC | Remove Ctc() and Pdc() Remove all the constructorwhich need the nb_var | 16 July 2014, 14:31:40 UTC |
77c994f | Jordan08 | 16 July 2014, 14:20:08 UTC | correct a bug on Mac OSX | 16 July 2014, 14:20:08 UTC |
49c1a01 | Gilles Chabert | 16 July 2014, 13:51:20 UTC | contractor: Minor change | 16 July 2014, 13:51:20 UTC |