24704e4 | Gilles Chabert | 04 March 2014, 15:23:58 UTC | creating release 2.1.0 | 04 March 2014, 15:23:58 UTC |
37aa31d | Gilles Chabert | 03 March 2014, 11:02:41 UTC | PdcHansenFeasibility: inflating variant makefiles: remove unused $(LDFLAGS) | 03 March 2014, 11:02:41 UTC |
2e4e6b9 | Gilles Chabert | 03 March 2014, 09:51:15 UTC | Linear: updating inflating_newton + test | 03 March 2014, 09:51:15 UTC |
ee9b5ca | Gilles Chabert | 03 March 2014, 08:56:07 UTC | Linear: updating inflating_gauss_seidel + tests | 03 March 2014, 08:56:07 UTC |
98d29ab | Ignacio Araya | 01 March 2014, 15:35:56 UTC | fixed bug in CtcMohc | 01 March 2014, 15:35:56 UTC |
b85e961 | Ignacio Araya | 28 February 2014, 14:04:35 UTC | bux fixed in ibex_CtcMohc.cpp | 28 February 2014, 14:04:35 UTC |
6be5326 | Gilles Chabert | 28 February 2014, 08:32:06 UTC | InnerArith: fix bug in iproj_mul with z_sup=0 | 28 February 2014, 08:32:06 UTC |
6254fbf | Ignacio Araya | 27 February 2014, 18:23:51 UTC | added Mohc algorithm | 27 February 2014, 18:23:51 UTC |
dcb817f | Gilles Chabert | 27 February 2014, 14:43:47 UTC | Gaol: add fpu_round_up for sin() | 27 February 2014, 14:43:47 UTC |
7ea9965 | Gilles Chabert | 27 February 2014, 14:03:19 UTC | InnerArith: fix bug when min>max in iproj_cmp_mono_op | 27 February 2014, 14:03:19 UTC |
d35d8ca | Jordan Ninin | 27 February 2014, 11:38:24 UTC | CtcExist and CtcForAll: correct a bug of the size the contractor | 27 February 2014, 11:38:24 UTC |
2cd6b48 | Gilles Chabert | 24 February 2014, 07:51:07 UTC | ExprDiff: remove display + compactify apply diff in case of 1 scalar argument TestExprDiff: add tests | 24 February 2014, 07:51:07 UTC |
1a97699 | Gilles Chabert | 23 February 2014, 21:00:18 UTC | ExprDiff: progress in differentiation with vector/matrix nodes. Add diff for apply (to be continued). Function: add "df" field. | 23 February 2014, 21:00:18 UTC |
5f56e16 | Jordan Ninin | 21 February 2014, 17:25:22 UTC | Interval: Modifyed the value of POS_INFINITY and NEG_INFINITY to correct some problem with is_bisectable() Optimizer: add some check to eliminate some unbounded interval | 21 February 2014, 17:25:22 UTC |
11f1433 | Gilles Chabert | 21 February 2014, 16:38:34 UTC | InnerArith: fix bug in x*y=z with z=0 | 21 February 2014, 16:38:34 UTC |
2e9a4d6 | Gilles Chabert | 21 February 2014, 15:02:02 UTC | InnerArith: set back fpu_round_up as default mode in iproj_cmp_mono_op | 21 February 2014, 15:02:02 UTC |
a634f52 | Bertrand Neveu | 14 February 2014, 14:36:16 UTC | benchmark fron coconut library in nl format | 14 February 2014, 14:36:16 UTC |
0a65ecc | Gilles Chabert | 13 February 2014, 08:06:28 UTC | doc: add guide for configuration with QT creator | 13 February 2014, 08:06:28 UTC |
e72c8bd | Gilles Chabert | 13 February 2014, 08:02:19 UTC | doc: update installation guide | 13 February 2014, 08:02:19 UTC |
66a3cb3 | Gilles Chabert | 13 February 2014, 07:54:46 UTC | tests: small changes | 13 February 2014, 07:54:46 UTC |
68ee26c | Gilles Chabert | 13 February 2014, 07:52:13 UTC | Newton: add inflating Newton (draft) | 13 February 2014, 07:52:13 UTC |
f687d81 | Gilles Chabert | 12 February 2014, 17:48:59 UTC | Minor comment update | 12 February 2014, 17:48:59 UTC |
92604f3 | Gilles Chabert | 12 February 2014, 17:44:29 UTC | Function: add constructor to build a function directly from a string | 12 February 2014, 17:44:29 UTC |
323a5a1 | Jordan Ninin | 12 February 2014, 15:07:42 UTC | Conf: correct some conflicts in the configuration | 12 February 2014, 15:07:42 UTC |
c5ea7c7 | Gilles Chabert | 11 February 2014, 22:08:26 UTC | parser: add "choco" pseudo-start token parser.cpp_: add begin/end_function_expr() [to be continued] | 11 February 2014, 22:08:26 UTC |
a984156 | Gilles Chabert | 11 February 2014, 21:29:15 UTC | TestFunction and TestSystem: some fixes | 11 February 2014, 21:29:15 UTC |
2033feb | Jordan Ninin | 11 February 2014, 15:08:10 UTC | wscript: Modify the option, now you must write the ption "--with-ampl" to compile with AMPL AmplInterface : correct some bugs | 11 February 2014, 15:08:10 UTC |
e524333 | Jordan Ninin | 11 February 2014, 07:05:21 UTC | LinearSolver : correct some bug for Clp Ampl: Improve the factorization and correct the bug "concon.nl" other : minor | 11 February 2014, 07:05:21 UTC |
2ef9e26 | Jordan Ninin | 07 February 2014, 15:17:20 UTC | Function: Allow up to 20 arguments CtcForALL and CtcExist : implement get and set for _init | 07 February 2014, 15:17:20 UTC |
ea7adf5 | Jordan Ninin | 06 February 2014, 16:22:46 UTC | - Change the value of POS_INFINITY and NEG_INFINITY with Filib, to erasme some strange behaviour.. - minor change in wscript | 06 February 2014, 16:22:46 UTC |
d18c740 | Jordan Ninin | 06 February 2014, 13:22:34 UTC | wscript: remove the dependence with ZLIB and BZLIB in Clp | 06 February 2014, 13:22:34 UTC |
26c546f | Jordan Ninin | 06 February 2014, 12:29:32 UTC | src/wscript: small correction ibex_Linear_Solver : correct a bug when use the package coinor-libclp-dev | 06 February 2014, 12:29:32 UTC |
418e959 | Jordan Ninin | 05 February 2014, 18:08:07 UTC | - Add new Linear Solver: CLP with automatic configuration - Merge "ibex_bias_goal.h" and "ibex_cplex_or_soplex.h" in "ibex_Setting.h" - add the option --disable-ampl to install IBEX without the AMPL interface - disable automaticaly AMPL when compilin gon win32 (because AMPL does not compil on win32) | 05 February 2014, 18:08:07 UTC |
df43d1e | Gilles Chabert | 04 February 2014, 14:50:12 UTC | Function, arithmetic: To avoid the "combinatorics" of ExprApply with different types, add cast operators Interval -> ExprNode&, etc. | 04 February 2014, 14:50:12 UTC |
a79cc57 | Jordan Ninin | 03 February 2014, 16:41:57 UTC | Add is_subset for IntervalMatrix | 03 February 2014, 16:41:57 UTC |
f7b2694 | Jordan Ninin | 03 February 2014, 13:24:32 UTC | CtcExist CtcForAll : OK now | 03 February 2014, 13:24:32 UTC |
88392f6 | Jordan Ninin | 31 January 2014, 16:10:01 UTC | Integration of the API of Vibes : https://github.com/ENSTABretagneRobotics/VIBES | 31 January 2014, 16:10:01 UTC |
72b7fe9 | Jordan Ninin | 31 January 2014, 16:05:51 UTC | CtcExist and CtcForAll : redirect the ExceptionEmptyBox | 31 January 2014, 16:05:51 UTC |
82864e5 | Jordan Ninin | 31 January 2014, 14:32:36 UTC | Add CtcExist (ie. CtcProjUnion) and CtcForAll (ie. CtcProjInter) | 31 January 2014, 14:32:36 UTC |
a2bd72e | Jordan Ninin | 30 January 2014, 10:29:57 UTC | wscript : fix bug: problem if the directory PREFIX does not yet exist Add CtcIn : contractor f(x) in[y] others : minor change | 30 January 2014, 10:29:57 UTC |
8d624bd | Gilles Chabert | 29 January 2014, 17:43:51 UTC | Matrix/IntervalMatrix: fix bugs for "put" and add test in TestIntervalMatrix | 29 January 2014, 17:43:51 UTC |
cce2c57 | Gilles Chabert | 29 January 2014, 17:11:32 UTC | TemplateMatrix: added for factorizing code between Matrix, IntervalMatrix and Affine2Matrix. Add put(...) function for matrices. Vector: use of TemplateVector. | 29 January 2014, 17:11:32 UTC |
f8a3ed1 | Gilles Chabert | 29 January 2014, 09:00:59 UTC | gaol: add fpu_round_up for log | 29 January 2014, 09:00:59 UTC |
def6dfa | Bertrand Neveu | 28 January 2014, 09:03:35 UTC | empty evaluations of constraints considered as false | 28 January 2014, 09:03:35 UTC |
3ec9b9f | Jordan Ninin | 24 January 2014, 17:59:25 UTC | Small correction to install on Win32 | 24 January 2014, 17:59:25 UTC |
0a8007f | Gilles Chabert | 24 January 2014, 09:15:09 UTC | ExprSplitOcc: add var_map structure calculation | 24 January 2014, 09:15:09 UTC |
ddcaf1d | Jordan Ninin | 23 January 2014, 10:59:34 UTC | Waf: now it is possible to use CPLEX over every archetecture (it is not test on windows but that should work) | 23 January 2014, 10:59:34 UTC |
9c9b816 | Gilles Chabert | 22 January 2014, 18:10:07 UTC | ExprSplitOcc: add function node() that maps new symbol to old subexpression | 22 January 2014, 18:10:07 UTC |
8fb7d72 | Gilles Chabert | 22 January 2014, 13:26:43 UTC | ExprSplitOcc: manage vector variables | 22 January 2014, 13:26:43 UTC |
9838753 | Gilles Chabert | 17 January 2014, 09:14:24 UTC | PdcFirstOrder: Fix bug in case of bounding constraints leading to M+1>N | 17 January 2014, 09:14:24 UTC |
8f7a06a | Bertrand Neveu | 16 January 2014, 15:36:02 UTC | correction ex6_2_8 | 16 January 2014, 15:36:02 UTC |
a3d7a60 | Gilles Chabert | 16 January 2014, 12:35:50 UTC | PdcFirstOrder: add bounding constraints (init box) | 16 January 2014, 12:35:50 UTC |
eeeac27 | Jordan Ninin | 16 January 2014, 11:01:09 UTC | Interface Ampl: correction in interpretation of POW | 16 January 2014, 11:01:09 UTC |
ff8cd4d | Bertrand Neveu | 14 January 2014, 13:09:30 UTC | use of eq_eps for relaxing the equations ; comment PdcFirstOrder | 14 January 2014, 13:09:30 UTC |
d4053ec | Bertrand Neveu | 13 January 2014, 13:17:19 UTC | correction bench ex8_1_7 | 13 January 2014, 13:17:19 UTC |
c68fe71 | Gilles Chabert | 08 January 2014, 21:28:19 UTC | Default Solver: fix bug: Newton was used even with inequalities | 08 January 2014, 21:28:19 UTC |
7afed6e | Jordan Ninin | 07 January 2014, 14:17:43 UTC | OptimSimplex : correction of some probleme in the choice of the corner | 07 January 2014, 14:17:43 UTC |
98f189c | Jordan Ninin | 07 January 2014, 14:14:40 UTC | LinearSolver : small modification in the architecture, the dual and primal solution is now stored in solve() | 07 January 2014, 14:14:40 UTC |
ebf9081 | Bertrand Neveu | 24 December 2013, 13:22:20 UTC | [benchs]: correction hydro.bch | 24 December 2013, 13:22:20 UTC |
592fd90 | Gilles Chabert | 23 December 2013, 16:25:34 UTC | Benchmarks: apply new script for generating equalities | 23 December 2013, 16:25:34 UTC |
15975b1 | Bertrand Neveu | 23 December 2013, 13:28:29 UTC | [optim] equation relaxation with goal_prec | 23 December 2013, 13:28:29 UTC |
7dc88fb | Gilles Chabert | 20 December 2013, 15:15:40 UTC | Optimizer: uncomment PdcFirstOrder | 20 December 2013, 15:15:40 UTC |
dc49ed3 | Gilles Chabert | 20 December 2013, 15:14:04 UTC | EntailedCtr: manage now both original and normalized system Optimizer: invoke PdcFirstOrder on the original system | 20 December 2013, 15:14:04 UTC |
8eadb8d | Gilles Chabert | 20 December 2013, 14:41:51 UTC | SystemNormalize: replace "NORMALIZE" mode by a class | 20 December 2013, 14:41:51 UTC |
d67d637 | Gilles Chabert | 20 December 2013, 13:51:05 UTC | HansenFeasibility: catch singular matrix exception when inverting midpoint jacobian | 20 December 2013, 13:51:05 UTC |
44dc4f9 | Jordan Ninin | 20 December 2013, 10:51:21 UTC | WAF: oups.... it is better now | 20 December 2013, 10:51:21 UTC |
c46cbe1 | Gilles Chabert | 20 December 2013, 10:49:49 UTC | Optimizer: first integration of rigorous mode | 20 December 2013, 10:49:49 UTC |
4f8e4e2 | Jordan Ninin | 20 December 2013, 10:42:33 UTC | WAF: correct some mistake when use: "waf clean" or "waf uninstall" | 20 December 2013, 10:42:33 UTC |
e5096ad | Jordan Ninin | 20 December 2013, 10:17:07 UTC | Simplification in AmplInterface | 20 December 2013, 10:17:07 UTC |
e612ef2 | Gilles Chabert | 19 December 2013, 15:18:45 UTC | Add occurrence splitting | 19 December 2013, 15:18:45 UTC |
11474f4 | Gilles Chabert | 18 December 2013, 20:44:46 UTC | ExprNode: now "fathers" is an array of all the father nodes in the DAG | 18 December 2013, 20:44:46 UTC |
916fd21 | Jordan Ninin | 17 December 2013, 15:06:45 UTC | ibex_AmplInterface: correct a bug in the use of defined variable (varible intermédiaire) ibex_System: correct a segmentation false in "operator<<" when this is no constraint. | 17 December 2013, 15:06:45 UTC |
7450e10 | Gilles Chabert | 17 December 2013, 08:06:06 UTC | Parser: allow "constant" keywork without declaration after | 17 December 2013, 08:06:06 UTC |
ed30f84 | Jordan Ninin | 14 December 2013, 19:08:18 UTC | Correction of a bug in the use of defined variables | 14 December 2013, 19:08:18 UTC |
21039c9 | Jordan Ninin | 14 December 2013, 18:59:25 UTC | Simplification in the code | 14 December 2013, 18:59:25 UTC |
926700e | Gilles Chabert | 13 December 2013, 09:33:27 UTC | Benchmark: set coconut bechmark with stric equalities. Add other file for relaxation | 13 December 2013, 09:33:27 UTC |
67a7513 | Gilles Chabert | 13 December 2013, 08:33:52 UTC | Optimizer: m is the number of constraints in the normalized system (not user system) | 13 December 2013, 08:33:52 UTC |
6623bff | Gilles Chabert | 13 December 2013, 08:30:55 UTC | ExtendedSystem: add normalization of equalities NumConstraint: fix bug: is_thick true only for thick constants (not degenerated) | 13 December 2013, 08:30:55 UTC |
8d2fb23 | Jordan Ninin | 12 December 2013, 14:50:36 UTC | correction of the initilisation of sys.box | 12 December 2013, 14:50:36 UTC |
76716b0 | Jordan Ninin | 11 December 2013, 17:57:32 UTC | correction of the lib path and copy libamplsolver.a to {$PREFIX}/lib | 11 December 2013, 17:57:32 UTC |
c90fece | Gilles Chabert | 11 December 2013, 16:26:11 UTC | HansenFeasibility: Fix bug and add test | 11 December 2013, 16:26:11 UTC |
a402602 | Gilles Chabert | 11 December 2013, 09:40:26 UTC | Add Fnc (forgotten in last commit) | 11 December 2013, 09:40:26 UTC |
42d8dfc | Gilles Chabert | 11 December 2013, 09:39:25 UTC | Add abstract functions (Fnc) with eval_vector & jacobian only for the moment. PdcHansenFeasibility: call Newton now thanks to Fnc. Function: put "df" in comment | 11 December 2013, 09:39:25 UTC |
93619a9 | Jordan Ninin | 10 December 2013, 17:32:00 UTC | correction of a compiling bug with AMPL and GAOL correction of some bug in Affine2 with Profil/Bias | 10 December 2013, 17:32:00 UTC |
8668cb3 | Gilles Chabert | 10 December 2013, 14:14:05 UTC | Add EmptySystemException | 10 December 2013, 14:14:05 UTC |
d40cb89 | Gilles Chabert | 10 December 2013, 11:56:55 UTC | System: add INEQ_ONLY/EQ_ONLY construction modes. Replace empty system error by an exception. | 10 December 2013, 11:56:55 UTC |
223cd6b | Jordan Ninin | 10 December 2013, 11:55:54 UTC | It is the first version of the AMPL interface Need to clean and check the wscript to work with other config Need unary tests | 10 December 2013, 11:55:54 UTC |
7b2c9de | Jordan Ninin | 09 December 2013, 22:09:06 UTC | remove revision 621 and 620 | 09 December 2013, 22:09:06 UTC |
46048fc | Jordan Ninin | 09 December 2013, 13:40:13 UTC | The interface with AMPL work and the waf has been modified. But the waf need to be checked and improved | 09 December 2013, 13:40:13 UTC |
3bc94ab | Jordan Ninin | 09 December 2013, 13:36:53 UTC | Change CmpOp du to a incompatibility with the interface of AMPL | 09 December 2013, 13:36:53 UTC |
1f540a4 | Jordan Ninin | 09 December 2013, 12:23:41 UTC | Cleaning the code and add a lot of FIXME in ibex_tube | 09 December 2013, 12:23:41 UTC |
aa5aca6 | Jordan Ninin | 06 December 2013, 17:28:19 UTC | That works but need: more test, modify the waf and change EQ de CmpOp en IBEX_EQ | 06 December 2013, 17:28:19 UTC |
5f13127 | Jordan Ninin | 03 December 2013, 16:48:43 UTC | to continue | 03 December 2013, 16:48:43 UTC |
326d216 | Bertrand Neveu | 22 November 2013, 20:57:27 UTC | bug correction in last ibex_Optimizer modification | 22 November 2013, 20:57:27 UTC |
99cb605 | Bertrand Neveu | 22 November 2013, 19:31:33 UTC | optimizer code simplication again | 22 November 2013, 19:31:33 UTC |
26216d2 | Jordan Ninin | 22 November 2013, 12:02:39 UTC | Filib: small modification of the librarie to avoid a lot of warning ibex_snippets.cpp : small correction (non standart form) | 22 November 2013, 12:02:39 UTC |
e37600c | Bertrand Neveu | 21 November 2013, 19:22:18 UTC | optimizer code simplification | 21 November 2013, 19:22:18 UTC |
00cc147 | Gilles Chabert | 21 November 2013, 16:39:52 UTC | SystemNormalize: Add automatic transformation of f=0 into f<=eps and -f<=eps. | 21 November 2013, 16:39:52 UTC |
57b8298 | Gilles Chabert | 20 November 2013, 16:27:27 UTC | Optimizer: some questions to answer about invariants (added in comments) | 20 November 2013, 16:27:27 UTC |
8f449c2 | Gilles Chabert | 20 November 2013, 09:13:42 UTC | Function: add application with 4 arguments ExprNode | 20 November 2013, 09:13:42 UTC |