399909b | Jordan08 | 26 May 2015, 11:22:33 UTC | first compil but still bug | 26 May 2015, 11:22:33 UTC |
2540739 | Jordan08 | 23 May 2015, 22:59:35 UTC | problem with _assign and _col | 23 May 2015, 22:59:35 UTC |
34a8f81 | Jordan08 | 22 May 2015, 22:39:50 UTC | create template Affine2MainVector | 22 May 2015, 22:39:50 UTC |
5950880 | Jordan08 | 22 May 2015, 17:05:12 UTC | Impossible to remove the template of Affine2Main. If somebody has an idea... please | 22 May 2015, 17:05:12 UTC |
e4bc11f | Jordan08 | 22 May 2015, 15:31:37 UTC | first add of AFFullI | 22 May 2015, 15:31:37 UTC |
16b9a20 | Gilles Chabert | 20 May 2015, 16:22:04 UTC | Merge pull request #133 from dreal-deps/feat-exprdiff-atan2 derivative and gradient of atan2 | 20 May 2015, 16:22:04 UTC |
6791a4b | Soonho Kong | 07 May 2015, 22:04:13 UTC | feat(function/ibex_Gradient): implement Gradient::atan2_bwd Reference: http://en.wikipedia.org/wiki/Atan2\#Derivative | 20 May 2015, 16:08:40 UTC |
9fdd905 | Soonho Kong | 07 May 2015, 21:37:24 UTC | feat(symbol/ibex_ExprDiff.cpp): implement ExprDiff::visit(const ExprAtan2& e) http://en.wikipedia.org/wiki/Atan2 | 20 May 2015, 16:08:40 UTC |
49d7c59 | Gilles Chabert | 20 May 2015, 16:04:56 UTC | Merge pull request #135 from dreal-deps/master fix(tests/nonreg.cpp): add missing <iomanip> header | 20 May 2015, 16:04:56 UTC |
b98c4e2 | Jordan08 | 20 May 2015, 15:58:42 UTC | fix bug in all the Affine2 in operator*= | 20 May 2015, 15:58:42 UTC |
1eee756 | Soonho Kong | 14 May 2015, 17:17:22 UTC | fix(tests/nonreg.cpp): add missing <iomanip> header | 20 May 2015, 14:20:34 UTC |
948d2dd | Gilles Chabert | 20 May 2015, 09:43:07 UTC | bwd_atan2: new implem (fix issue #134 and #123) | 20 May 2015, 09:43:07 UTC |
dcdaefc | Gilles Chabert | 20 May 2015, 08:24:20 UTC | atan2: new implem | 20 May 2015, 08:24:20 UTC |
138bc92 | Gilles Chabert | 04 May 2015, 16:25:26 UTC | Merge pull request #132 from dreal-deps/master fix(contractor/ibex_CtcForAll.cpp): small typo | 04 May 2015, 16:25:26 UTC |
d89e599 | Soonho Kong | 04 May 2015, 15:21:55 UTC | fix(contractor/ibex_CtcForAll.cpp): small typo | 04 May 2015, 15:21:55 UTC |
b695a9a | Gilles Chabert | 04 May 2015, 13:36:30 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 04 May 2015, 13:36:30 UTC |
c0af482 | Gilles Chabert | 04 May 2015, 13:35:30 UTC | Fix issue #130 (end) | 04 May 2015, 13:35:30 UTC |
a775db5 | Gilles Chabert | 04 May 2015, 13:34:25 UTC | Merge branch 'fix-130' into develop | 04 May 2015, 13:34:25 UTC |
d43f645 | Gilles Chabert | 04 May 2015, 12:38:18 UTC | End of EmptyBoxException (in progress 6) | 04 May 2015, 12:38:18 UTC |
6bc0bf8 | Gilles Chabert | 04 May 2015, 08:44:47 UTC | Merge pull request #131 from dreal-deps/feat-examples fix(examples): compile issue | 04 May 2015, 08:44:47 UTC |
69254f3 | Gilles Chabert | 04 May 2015, 08:31:53 UTC | End of EmptyBoxException (in progress 5) | 04 May 2015, 08:31:53 UTC |
8a6306b | Gilles Chabert | 04 May 2015, 07:52:38 UTC | End of EmptyBoxException (in progress 4) | 04 May 2015, 07:52:38 UTC |
7bf23ef | Gilles Chabert | 04 May 2015, 07:22:12 UTC | End of EmptyBoxException (in progress 3) | 04 May 2015, 07:22:12 UTC |
8284d8f | Soonho Kong | 03 May 2015, 14:34:38 UTC | fix(examples): compile issue | 03 May 2015, 14:34:38 UTC |
cb535a1 | Gilles Chabert | 03 May 2015, 13:33:15 UTC | End of EmptyBoxException (in progress 3) | 03 May 2015, 13:33:15 UTC |
26defe0 | Gilles Chabert | 03 May 2015, 13:28:57 UTC | End of EmptyBoxException (in progress 2) | 03 May 2015, 13:28:57 UTC |
c06e318 | Gilles Chabert | 02 May 2015, 17:52:28 UTC | End of EmptyBoxException (in progress) | 02 May 2015, 17:52:28 UTC |
34462c2 | Gilles Chabert | 02 May 2015, 14:53:27 UTC | Fix bug #128 | 02 May 2015, 14:53:27 UTC |
fe06b99 | Gilles Chabert | 01 May 2015, 16:19:18 UTC | Merge branch 'dreal-deps-feat-warnings' into develop | 01 May 2015, 16:19:18 UTC |
42e09bb | Gilles Chabert | 01 May 2015, 16:13:57 UTC | Merge branch 'feat-warnings' of https://github.com/dreal-deps/ibex-lib into dreal-deps-feat-warnings | 01 May 2015, 16:13:57 UTC |
c6cb5cf | Soonho Kong | 01 May 2015, 15:03:29 UTC | fix: replace assert with throw exception In DEBUG build, assertions are ignored and the execution will reach the end of a function without a return statement. | 01 May 2015, 15:06:27 UTC |
f58b91f | Soonho Kong | 28 April 2015, 16:10:59 UTC | fix: suppress signed/unsigned comparison warning | 01 May 2015, 10:10:52 UTC |
98099cf | Soonho Kong | 28 April 2015, 16:10:35 UTC | fix: suppress overloaded virtual clang warnings | 01 May 2015, 10:10:52 UTC |
d7cf096 | Soonho Kong | 28 April 2015, 15:45:36 UTC | fix: suppress unused parameter warnings | 01 May 2015, 10:10:52 UTC |
9ad2e89 | Soonho Kong | 28 April 2015, 15:24:56 UTC | fix: add "#pragma GCC diagnostic push" to match pop in the end | 01 May 2015, 10:10:52 UTC |
3a8f32d | Soonho Kong | 28 April 2015, 15:23:38 UTC | fix(bisector): remove const when returning double value | 01 May 2015, 10:10:52 UTC |
6500a31 | Soonho Kong | 03 April 2015, 15:16:42 UTC | fix(cliquer/misc.h): use typedef for boolean | 01 May 2015, 10:10:52 UTC |
a454d44 | Gilles Chabert | 28 April 2015, 15:08:51 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 28 April 2015, 15:08:51 UTC |
6564ddf | Gilles Chabert | 28 April 2015, 15:07:54 UTC | Fix issue #10 and add missing implementation for Matrix::operator*= | 28 April 2015, 15:07:54 UTC |
95233c3 | NEVEU Bertrand | 21 April 2015, 12:56:04 UTC | shorter message for CellDoubleHeap print | 21 April 2015, 12:56:04 UTC |
562c7bf | NEVEU Bertrand | 21 April 2015, 10:37:55 UTC | add print for CellDoubleHeap | 21 April 2015, 10:37:55 UTC |
19d306e | Gilles Chabert | 20 April 2015, 10:43:11 UTC | SetNode: fix bug in contract_set | 20 April 2015, 10:43:11 UTC |
1d72024 | Gilles Chabert | 09 April 2015, 05:38:41 UTC | SetInterval::dist: bug fix | 09 April 2015, 05:38:41 UTC |
d5518a0 | Gilles Chabert | 08 April 2015, 07:35:27 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 08 April 2015, 07:35:27 UTC |
fc9409b | Gilles Chabert | 08 April 2015, 07:35:05 UTC | Variable: fix bug #124 | 08 April 2015, 07:35:05 UTC |
f822500 | Jordan08 | 07 April 2015, 13:58:29 UTC | issue #34 : remove from filib the field example/test/benchmark corect some minor warning | 07 April 2015, 13:58:29 UTC |
9e58d7a | Gilles Chabert | 01 April 2015, 19:32:19 UTC | cliquer: porting to Win32 | 01 April 2015, 19:32:19 UTC |
a1521f9 | Gilles Chabert | 01 April 2015, 13:04:48 UTC | Remove cliquer under Windows | 01 April 2015, 13:04:48 UTC |
37c77e3 | Jordan08 | 31 March 2015, 15:39:08 UTC | fix issue #114 | 31 March 2015, 15:39:08 UTC |
7b211db | Jordan08 | 31 March 2015, 15:31:11 UTC | Fix issue #114 | 31 March 2015, 15:31:11 UTC |
d65d9eb | Jordan08 | 31 March 2015, 15:23:52 UTC | Fix issue #93 | 31 March 2015, 15:23:52 UTC |
88b2b00 | Jordan | 31 March 2015, 09:48:17 UTC | Update .travis.yml remove the option "--without-rounding" in Travis | 31 March 2015, 09:48:17 UTC |
d956200 | Gilles Chabert | 30 March 2015, 08:31:03 UTC | CellCostFunc: Add pf in OptimData for CellCostPFub and CellCostPFlb | 30 March 2015, 08:31:03 UTC |
091f9e9 | Gilles Chabert | 27 March 2015, 21:22:57 UTC | Merge remote-tracking branch 'origin/develop' into hotfix-46 | 27 March 2015, 21:22:57 UTC |
3f129c4 | Gilles Chabert | 27 March 2015, 21:22:13 UTC | CellCostFunc: create add_backtrackable. Optimizer: remove crit2 | 27 March 2015, 21:22:13 UTC |
b73c8ba | Gilles Chabert | 27 March 2015, 21:08:21 UTC | Optimizer/CellCostFunc: create set_optim_data | 27 March 2015, 21:08:21 UTC |
e7945dd | Gilles Chabert | 27 March 2015, 17:44:19 UTC | OptimData: pf and pu are not calculated in Optimizer anymore | 27 March 2015, 17:44:19 UTC |
b53fa2a | Gilles Chabert | 27 March 2015, 17:14:03 UTC | DoubleHeap/CellHeap: update tests | 27 March 2015, 17:14:03 UTC |
9773aa7 | Gilles Chabert | 27 March 2015, 10:49:38 UTC | CellHeapOptim: changing interfaces and cleaning up (removing depends_on_global, etc.) | 27 March 2015, 10:49:38 UTC |
93805c0 | Gilles Chabert | 26 March 2015, 12:22:21 UTC | Fix bug #122 + similar bugs in CtcNotIn | 26 March 2015, 12:22:21 UTC |
3a32938 | Gilles Chabert | 26 March 2015, 07:55:56 UTC | Fix bug #121 | 26 March 2015, 07:55:56 UTC |
f0aa2bf | Gilles Chabert | 25 March 2015, 09:06:22 UTC | hotfix-46: udpate README.md | 25 March 2015, 09:06:22 UTC |
e5c26ff | Gilles Chabert | 25 March 2015, 09:03:53 UTC | Merge remote-tracking branch 'origin/develop' into hotfix-46 Conflicts: src/arithmetic/ibex_IntervalVector.h src/strategy/ibex_Optimizer.cpp src/strategy/ibex_Optimizer.h tests/makefile | 25 March 2015, 09:03:53 UTC |
724c9f2 | Gilles Chabert | 25 March 2015, 08:35:28 UTC | CtcQuantif: fix some pb in exception management | 25 March 2015, 08:35:28 UTC |
e53ac59 | Gilles Chabert | 24 March 2015, 18:28:45 UTC | ExprSplitOcc: Fix little bug | 24 March 2015, 18:28:45 UTC |
e0b317c | Gilles Chabert | 19 March 2015, 07:54:55 UTC | imul fixed (issue #116 + other bugs) | 19 March 2015, 07:54:55 UTC |
9558ce7 | Gilles Chabert | 18 March 2015, 09:53:29 UTC | Parser: nary min/max (issue #109) | 18 March 2015, 09:53:29 UTC |
5c25d25 | Gilles Chabert | 18 March 2015, 09:33:58 UTC | ExprSubNodes: fixing issue #110 | 18 March 2015, 09:33:58 UTC |
65a2b23 | Gilles Chabert | 16 March 2015, 10:18:14 UTC | Restoring README.md | 16 March 2015, 10:18:14 UTC |
a3bc7a8 | Gilles Chabert | 16 March 2015, 09:33:17 UTC | update nonreg | 16 March 2015, 09:33:17 UTC |
282c9e8 | Gilles Chabert | 16 March 2015, 08:21:26 UTC | Merge branch 'develop' into standalone Conflicts: src/contractor/ibex_CtcPixelMap.cpp src/geometry/ibex_SepPolygon.cpp src/set/ibex_SepBoundaryCtc.cpp tests/makefile | 16 March 2015, 08:21:26 UTC |
d6b1de9 | Gilles Chabert | 16 March 2015, 07:48:32 UTC | Merge branch 'develop' into qinter2 | 16 March 2015, 07:48:32 UTC |
ce799d9 | Gilles Chabert | 12 March 2015, 09:05:15 UTC | Merge branch 'hotfix-106' into develop | 12 March 2015, 09:05:15 UTC |
ace2892 | Gilles Chabert | 12 March 2015, 09:03:45 UTC | #106: restoring FIXPOINT in CtcFwdBwd/CtcNotIn | 12 March 2015, 09:03:45 UTC |
1993b76 | Gilles Chabert | 12 March 2015, 09:02:40 UTC | Merge branch 'develop' into hotfix-106 | 12 March 2015, 09:02:40 UTC |
ace9acc | Gilles Chabert | 12 March 2015, 08:58:34 UTC | OptimProbing: can apply 'monotonicity analysis' for non-constrained variables | 12 March 2015, 08:58:34 UTC |
b200a80 | Gilles Chabert | 12 March 2015, 08:37:11 UTC | ExprDiff: Implem min/max/sign operators (issue #108) | 12 March 2015, 08:37:11 UTC |
5869a6c | Jordan08 | 11 March 2015, 17:55:46 UTC | #46 add Test and correct minor bugs | 11 March 2015, 17:55:46 UTC |
eaf597a | Gilles Chabert | 11 March 2015, 16:14:50 UTC | #106: remvoving spurious files | 11 March 2015, 16:14:50 UTC |
463b24f | Gilles Chabert | 11 March 2015, 16:09:17 UTC | Fixing some stuff related to issue #106 | 11 March 2015, 16:09:17 UTC |
407225f | Gilles Chabert | 11 March 2015, 10:36:11 UTC | Merge branch 'develop' into hotfix-106 Conflicts: src/contractor/ibex_CtcPixelMap.cpp src/geometry/ibex_SepPolygon.cpp | 11 March 2015, 10:36:11 UTC |
2c5dee2 | Gilles Chabert | 11 March 2015, 09:22:56 UTC | Merge pull request #91 from msis/master Adds bwd_atan2 and bwd_imod. | 11 March 2015, 09:22:56 UTC |
689032a | Jordan08 | 10 March 2015, 18:39:53 UTC | #46 - Move "depend_on_global" in CostFunc - restor "protected" in SharedHeap | 10 March 2015, 18:39:53 UTC |
4446126 | Gilles Chabert | 10 March 2015, 14:10:31 UTC | Implementing ibwd for min/max + tests (issue #113) | 10 March 2015, 14:10:31 UTC |
00a8ef4 | Mohamed Saad IBN SEDDIK | 05 March 2015, 16:18:24 UTC | Puts the InvtervalVector() back to public. | 05 March 2015, 16:18:24 UTC |
3679f53 | Gilles Chabert | 04 March 2015, 13:13:56 UTC | Heaps: managing updateCost: DoubleHeap::contract takes now update_cost_heap2 in argument | 04 March 2015, 13:13:56 UTC |
a3dde42 | Gilles Chabert | 04 March 2015, 11:07:56 UTC | Heaps: managing updateCost (moved to CostFunc) | 04 March 2015, 11:07:56 UTC |
e865d95 | Gilles Chabert | 04 March 2015, 09:37:19 UTC | Heaps: going to pull | 04 March 2015, 09:38:37 UTC |
cf0e96d | Gilles Chabert | 04 March 2015, 09:28:31 UTC | Heaps: other minor updates before pull | 04 March 2015, 09:28:31 UTC |
c8d1abd | Gilles Chabert | 04 March 2015, 09:09:57 UTC | Heaps: minor code updates | 04 March 2015, 09:09:57 UTC |
692d8d2 | Gilles Chabert | 04 March 2015, 08:59:55 UTC | Heaps: minor code updates | 04 March 2015, 08:59:55 UTC |
3f5cad1 | Gilles Chabert | 04 March 2015, 08:34:49 UTC | Heaps: get_cost moved to CellCostFunc (created) | 04 March 2015, 08:34:49 UTC |
43ac599 | Gilles Chabert | 04 March 2015, 08:18:29 UTC | Heaps: cleanup and bug fix in CellDoubleHeap::contract | 04 March 2015, 08:18:29 UTC |
0616a06 | Gilles Chabert | 04 March 2015, 07:35:46 UTC | Heaps: creating template DoubleHeap | 04 March 2015, 07:35:46 UTC |
dcbb81b | Gilles Chabert | 04 March 2015, 06:58:09 UTC | Heaps: replacing CellSharedHeaps classes by cost functions (CostFunc<Cell>) | 04 March 2015, 06:58:09 UTC |
52f202f | Gilles Chabert | 03 March 2015, 21:18:03 UTC | Heaps: replace indices in HeapElt by pointer to nodes | 03 March 2015, 21:18:03 UTC |
7d212c4 | Gilles Chabert | 03 March 2015, 10:36:35 UTC | Heap/CellHeap (cont'd): removing useless virtual qualifiers in Heap and overloading implem in CellHeap | 03 March 2015, 10:36:35 UTC |
5ebefa6 | Gilles Chabert | 03 March 2015, 10:33:33 UTC | Heap/CellHeap: removing useless virtual qualifiers in Heap and overloading implem in CellHeap | 03 March 2015, 10:33:33 UTC |
03ad7b8 | Gilles Chabert | 03 March 2015, 10:02:43 UTC | DoubleHeap: cosmetic changes + delete node moved from eraseOtherHeaps -> contractRec | 03 March 2015, 10:02:43 UTC |
e0c3ce0 | Gilles Chabert | 03 March 2015, 08:50:11 UTC | DoubleHeap: remove deleteOtherHeap | 03 March 2015, 08:50:11 UTC |