95d7ed8 | Alexandre Goldsztejn | 02 March 2024, 08:27:25 UTC | README and guest-book | 02 March 2024, 08:27:25 UTC |
1405ba4 | CHABERT Gilles | 09 June 2023, 12:34:29 UTC | Fix issue #529 | 09 June 2023, 12:34:29 UTC |
76704af | CHABERT Gilles | 07 June 2023, 09:35:52 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib | 07 June 2023, 09:35:52 UTC |
e158ce5 | CHABERT Gilles | 07 June 2023, 09:35:42 UTC | Doc update | 07 June 2023, 09:35:42 UTC |
d01d550 | Gilles Chabert | 07 June 2023, 09:31:07 UTC | Update README.md | 07 June 2023, 09:31:07 UTC |
3f79321 | CHABERT Gilles | 06 June 2023, 16:17:48 UTC | Add generated TXT output (for doc generation with Github) | 06 June 2023, 16:17:48 UTC |
20b3df8 | Gilles Chabert | 06 June 2023, 15:19:16 UTC | Update main.yml | 06 June 2023, 15:19:16 UTC |
652eb20 | Gilles Chabert | 06 June 2023, 15:08:24 UTC | Update main.yml | 06 June 2023, 15:08:24 UTC |
783e7e3 | Gilles Chabert | 06 June 2023, 15:04:30 UTC | Create ignore.txt | 06 June 2023, 15:04:30 UTC |
98b3dba | Gilles Chabert | 06 June 2023, 15:02:38 UTC | Delete .github/workspace/doc/_build/html directory | 06 June 2023, 15:02:38 UTC |
0024e2e | Gilles Chabert | 06 June 2023, 15:01:22 UTC | Create ignore.txt | 06 June 2023, 15:01:22 UTC |
e0860ef | Gilles Chabert | 06 June 2023, 14:58:21 UTC | Delete .github/workflows/doc/_build directory | 06 June 2023, 14:58:21 UTC |
56d2556 | Gilles Chabert | 06 June 2023, 14:55:59 UTC | Create ignore.txt | 06 June 2023, 14:55:59 UTC |
5755d6b | Gilles Chabert | 06 June 2023, 14:54:06 UTC | Create ignore.txt | 06 June 2023, 14:54:06 UTC |
c8ec754 | Gilles Chabert | 06 June 2023, 14:52:33 UTC | Update Doxyfile | 06 June 2023, 14:52:33 UTC |
5e5c2a5 | Gilles Chabert | 06 June 2023, 14:40:44 UTC | Update main.yml | 06 June 2023, 14:40:44 UTC |
0bf0b58 | Gilles Chabert | 06 June 2023, 14:37:14 UTC | Update main.yml | 06 June 2023, 14:37:14 UTC |
0376d59 | Gilles Chabert | 06 June 2023, 14:33:12 UTC | Update Doxyfile | 06 June 2023, 14:33:12 UTC |
399d239 | Gilles Chabert | 06 June 2023, 14:25:19 UTC | Update Doxyfile | 06 June 2023, 14:25:19 UTC |
b839098 | Gilles Chabert | 06 June 2023, 14:18:50 UTC | Create main.yml | 06 June 2023, 14:18:50 UTC |
7a1e759 | cyrilbouvier | 02 November 2020, 15:17:07 UTC | Merge pull request #478 from lebarsfa/master Some minor updates for CMake support on Windows (currently used to build Tubex on Windows) | 02 November 2020, 15:17:07 UTC |
632013b | lebarsfa | 31 October 2020, 16:06:37 UTC | Merge branch 'master' into develop | 31 October 2020, 16:06:37 UTC |
be61315 | lebarsfa | 31 October 2020, 16:04:52 UTC | Merge remote-tracking branch 'upstream/develop' into develop | 31 October 2020, 16:04:52 UTC |
4068b3b | Gilles Chabert | 25 October 2020, 15:31:06 UTC | Merge pull request #476 from ShuhuaGao/patch-1 Update installation info | 25 October 2020, 15:31:06 UTC |
5effd73 | Shuhua Gao | 23 October 2020, 03:14:58 UTC | Update installation info - Update all 2.8.8 terms to 2.8.9 - More importantly, add `sudo` before `./waf configure --lp-lib=soplex`. Otherwise, even if it shows "'configure' finished successfully", the next step `sudo ./waf install` will raise an error "The project was not configured: run "waf configure" first!" (tested on Ubuntu). (Note that this issue also exists for 2.8.8). | 23 October 2020, 03:14:58 UTC |
12be524 | gchabert | 22 October 2020, 22:25:56 UTC | update version number in wscript | 22 October 2020, 22:25:56 UTC |
55d50dd | gchabert | 22 October 2020, 22:22:02 UTC | Merge remote-tracking branch 'origin/develop' | 22 October 2020, 22:22:02 UTC |
25ec0ed | Gilles Chabert | 22 October 2020, 22:20:53 UTC | Merge pull request #475 from raphaelchenouard/patch-1 Update interval.rst | 22 October 2020, 22:20:53 UTC |
e520b20 | gchabert | 22 October 2020, 22:19:46 UTC | Minor change in ibexsolve | 22 October 2020, 22:19:46 UTC |
3e62b8a | Raphael Chenouard | 16 October 2020, 14:25:54 UTC | Update interval.rst Inflate function use an absolute radius and not a relative one | 16 October 2020, 14:25:54 UTC |
0d38dfe | gchabert | 25 September 2020, 07:56:59 UTC | Merge branch 'master' of https://github.com/ibex-team/ibex-lib | 25 September 2020, 07:56:59 UTC |
1a19324 | gchabert | 25 September 2020, 07:56:47 UTC | Fix issue #474 | 25 September 2020, 07:56:47 UTC |
d3ccce4 | Gilles Chabert | 23 September 2020, 14:32:18 UTC | Merge pull request #473 from raphaelchenouard/patch-1 Update CMakeLists.txt | 23 September 2020, 14:32:18 UTC |
d53a16a | Raphael Chenouard | 23 September 2020, 14:27:39 UTC | Update CMakeLists.txt | 23 September 2020, 14:27:39 UTC |
0a247b2 | gchabert | 08 September 2020, 17:36:11 UTC | Doc update and removal of a useless previous fix in Newton | 08 September 2020, 17:36:11 UTC |
4288495 | gchabert | 08 September 2020, 15:01:05 UTC | Introduce symbolic simplification level (now tests OK) | 08 September 2020, 15:01:05 UTC |
fea6334 | gchabert | 08 September 2020, 12:33:53 UTC | Merge remote-tracking branch 'origin/develop' | 08 September 2020, 12:33:53 UTC |
69ed290 | gchabert | 08 September 2020, 12:33:31 UTC | Introduce symbolic simplification level | 08 September 2020, 12:33:31 UTC |
4b47267 | gchabert | 08 September 2020, 12:33:15 UTC | [symbolic proc] Minor improvement with Sqr | 08 September 2020, 12:33:15 UTC |
aeb26fd | gchabert | 04 September 2020, 19:42:36 UTC | Update version number | 04 September 2020, 19:42:36 UTC |
31b62e0 | gchabert | 04 September 2020, 19:40:37 UTC | Restore and update wscript for v2.8.8 (cont'd) | 04 September 2020, 19:40:37 UTC |
f626675 | gchabert | 04 September 2020, 19:38:18 UTC | Fix #468 | 04 September 2020, 19:38:18 UTC |
46cd2db | gchabert | 04 September 2020, 19:24:48 UTC | Restore and update wscript for v2.8.8 | 04 September 2020, 19:24:48 UTC |
d2cfcf8 | gchabert | 01 September 2020, 14:27:20 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 01 September 2020, 14:27:20 UTC |
94ec607 | gchabert | 01 September 2020, 14:27:08 UTC | Fix #470 | 01 September 2020, 14:27:08 UTC |
af86c3e | Cyril Bouvier | 26 August 2020, 07:18:48 UTC | travis: update osx image | 26 August 2020, 07:18:48 UTC |
ba7aaac | Cyril Bouvier | 25 August 2020, 15:09:04 UTC | CMake: generate deb package only on Linux | 25 August 2020, 15:09:04 UTC |
2ee84b1 | Cyril Bouvier | 03 July 2020, 07:59:32 UTC | Fix bug in list_filter_header (v2) | 03 July 2020, 07:59:32 UTC |
85a4d8c | Cyril Bouvier | 02 July 2020, 15:01:03 UTC | Cmake: do not override user's choice of standard if it exists #467 | 02 July 2020, 15:01:03 UTC |
82bf294 | Cyril Bouvier | 02 July 2020, 14:47:10 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 02 July 2020, 14:47:10 UTC |
aba4296 | Cyril Bouvier | 02 July 2020, 14:46:31 UTC | Fix bug in list_filter_header | 02 July 2020, 14:46:31 UTC |
c22831e | gchabert | 02 July 2020, 07:48:31 UTC | Better fix #449 | 02 July 2020, 07:48:31 UTC |
27b6fe6 | gchabert | 01 July 2020, 16:01:30 UTC | doc update | 01 July 2020, 16:01:30 UTC |
8589b22 | gchabert | 30 June 2020, 17:02:42 UTC | Try to pass cxx flags to soplex (PR #449) | 30 June 2020, 17:02:42 UTC |
1f527ba | Cyril Bouvier | 30 June 2020, 08:20:07 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 30 June 2020, 08:20:07 UTC |
8985bbf | Cyril Bouvier | 30 June 2020, 08:18:39 UTC | cmake: compile soplex as shared lib if a shared ibex lib is asked. Fix #466 | 30 June 2020, 08:18:39 UTC |
1688952 | Gilles Chabert | 30 June 2020, 06:57:27 UTC | Merge pull request #465 from SimonRohou/develop Typo | 30 June 2020, 06:57:27 UTC |
9ddd454 | SimonRohou | 27 June 2020, 07:39:58 UTC | Typo | 27 June 2020, 07:39:58 UTC |
62b0334 | lebarsfa | 23 June 2020, 20:31:30 UTC | Improved compatibility with MinGW and Visual Studio | 23 June 2020, 20:31:30 UTC |
524a79d | gchabert | 15 June 2020, 21:50:48 UTC | fix #463 | 15 June 2020, 21:50:48 UTC |
b81cc1e | CHABERT Gilles | 05 June 2020, 13:29:18 UTC | Fix minor bug in solver and set "flush" as public | 05 June 2020, 13:29:18 UTC |
2c12583 | CHABERT Gilles | 05 June 2020, 13:28:36 UTC | [symbolic proc] Fix bug in ExprPolynomial (square op) | 05 June 2020, 13:28:36 UTC |
bd7797e | CHABERT Gilles | 29 May 2020, 16:14:04 UTC | [symbolic proc] Fix important bug in ExprCmp: mutable constants were missing | 29 May 2020, 16:14:04 UTC |
c633ada | CHABERT Gilles | 28 May 2020, 11:02:06 UTC | [symbolic proc] Fix bug in scalar*matrix multiplication and improve efficiency of simplification of ExprMul | 28 May 2020, 11:02:06 UTC |
8f3a841 | CHABERT Gilles | 18 May 2020, 13:44:44 UTC | [symbolic proc] Tests update with new simplifier ExprSimplify2 | 18 May 2020, 13:44:44 UTC |
d11c1c6 | CHABERT Gilles | 18 May 2020, 13:43:58 UTC | [symbolic proc] Fix bug with single-component vectors | 18 May 2020, 13:43:58 UTC |
a85aef1 | CHABERT Gilles | 17 May 2020, 21:34:41 UTC | [symbolic proc] Fix to generate subtractions in polynomials | 17 May 2020, 21:34:41 UTC |
b2476f1 | CHABERT Gilles | 17 May 2020, 21:33:59 UTC | [symbolic proc] Handle mutable constants | 17 May 2020, 21:33:59 UTC |
dc6a0db | CHABERT Gilles | 17 May 2020, 10:29:46 UTC | [symbolic proc] Fixing some bugs and improve simplification | 17 May 2020, 10:29:46 UTC |
d0242fd | CHABERT Gilles | 17 May 2020, 09:55:51 UTC | [symbolic proc] Improving Expr2Polynom, memory management is now OK, new tests | 17 May 2020, 09:55:51 UTC |
16f7907 | CHABERT Gilles | 15 May 2020, 20:05:24 UTC | [symbolic proc] ExprSimplify2: keep matrix op if non simplifiable | 15 May 2020, 20:05:24 UTC |
051faf3 | CHABERT Gilles | 15 May 2020, 17:45:08 UTC | Add iterators for Array | 15 May 2020, 17:45:08 UTC |
39e3e35 | CHABERT Gilles | 15 May 2020, 17:38:11 UTC | [symbolic proc] Add Exprimplify2 + tests | 15 May 2020, 17:38:11 UTC |
2796bed | CHABERT Gilles | 15 May 2020, 17:37:18 UTC | [symbolic proc] Record all created nodes in expr->polynoms | 15 May 2020, 17:37:18 UTC |
bf93260 | CHABERT Gilles | 14 May 2020, 17:18:09 UTC | [symbolic proc] Add expr-to-polynomial visitor | 14 May 2020, 17:18:09 UTC |
dbf8baf | CHABERT Gilles | 13 May 2020, 22:30:59 UTC | [symbolic proc] Add expression polynomials + tests | 13 May 2020, 22:30:59 UTC |
d36b5f8 | CHABERT Gilles | 13 May 2020, 19:42:30 UTC | [symbolic proc] Add expression monomials + tests | 13 May 2020, 19:42:30 UTC |
c3c20c8 | CHABERT Gilles | 13 May 2020, 19:11:05 UTC | [symbolic proc] Removing 'fathers' field in ExprNode | 13 May 2020, 19:11:05 UTC |
1315473 | CHABERT Gilles | 13 May 2020, 19:04:40 UTC | [symbolic proc] New expression comparator, with an ordering | 13 May 2020, 19:04:40 UTC |
f5f11cb | CHABERT Gilles | 10 May 2020, 14:16:11 UTC | Format id/version was mixed up in https://github.com/ibex-team/ibex-lib/commit/4aaf5367b6a3a375c4db8d32abfc7c7ecdf7244c + update TestCov | 10 May 2020, 14:16:11 UTC |
22a7f0e | CHABERT Gilles | 10 May 2020, 00:03:53 UTC | Update tests after reversing solver solution order | 10 May 2020, 00:03:53 UTC |
1e35ab0 | CHABERT Gilles | 10 May 2020, 00:03:26 UTC | Fix #454 (better fix) | 10 May 2020, 00:03:26 UTC |
56f94a7 | CHABERT Gilles | 09 May 2020, 22:24:02 UTC | Fix #437 | 09 May 2020, 22:24:02 UTC |
4aaf536 | CHABERT Gilles | 09 May 2020, 14:12:28 UTC | Implement #444 | 09 May 2020, 14:12:28 UTC |
5d965b7 | CHABERT Gilles | 09 May 2020, 13:37:03 UTC | Fix #454 | 09 May 2020, 13:37:03 UTC |
6e0c948 | CHABERT Gilles | 07 May 2020, 14:32:37 UTC | Solver: reverse solution order (with stack) | 07 May 2020, 14:32:37 UTC |
937023b | CHABERT Gilles | 06 May 2020, 11:08:36 UTC | Implement #456 (test update) | 06 May 2020, 11:08:36 UTC |
2a6be94 | CHABERT Gilles | 06 May 2020, 10:37:14 UTC | Implement #456 (now ok) | 06 May 2020, 10:37:14 UTC |
ecb264a | CHABERT Gilles | 06 May 2020, 10:31:04 UTC | Implement #456 | 06 May 2020, 10:31:04 UTC |
d9162b5 | CHABERT Gilles | 04 May 2020, 17:50:42 UTC | [symbolic proc] Generic expression visitor (cont'd) | 04 May 2020, 17:50:42 UTC |
46dd0c3 | CHABERT Gilles | 04 May 2020, 15:18:00 UTC | [symbolic proc] Generic expression visitor | 04 May 2020, 15:18:00 UTC |
f3e7389 | CHABERT Gilles | 04 May 2020, 13:36:15 UTC | Map: now key has template type | 04 May 2020, 13:36:15 UTC |
a517932 | CHABERT Gilles | 22 April 2020, 17:38:50 UTC | Doc update | 22 April 2020, 17:38:50 UTC |
eeebb5d | CHABERT Gilles | 22 April 2020, 17:38:17 UTC | Doc update | 22 April 2020, 17:38:17 UTC |
9db004c | CHABERT Gilles | 22 April 2020, 17:09:48 UTC | doc examples update | 22 April 2020, 17:09:48 UTC |
6619249 | CHABERT Gilles | 22 April 2020, 17:00:41 UTC | doc examples update | 22 April 2020, 17:00:41 UTC |
45594b8 | CHABERT Gilles | 22 April 2020, 16:36:37 UTC | Fix problem with _IBEX_WITH_NOLP_ | 22 April 2020, 16:36:37 UTC |
e3a9889 | Cyril Bouvier | 22 April 2020, 14:38:43 UTC | Travis: add to add allow_failures for job with direct #368 | 22 April 2020, 14:38:43 UTC |
77e98e4 | Cyril Bouvier | 22 April 2020, 14:30:11 UTC | Doc: fix links in dev docs and add a misc chapter #368 | 22 April 2020, 14:30:11 UTC |
4f3316e | Cyril Bouvier | 22 April 2020, 13:35:55 UTC | CMake: add support for direct interval lib + add a job in travis for direct | 22 April 2020, 13:35:55 UTC |