042d7c3 | benEnsta | 28 April 2020, 12:34:04 UTC | [appveoyr] try generate .exe installer | 28 April 2020, 12:34:04 UTC |
51d733e | benEnsta | 28 April 2020, 11:46:20 UTC | [appveyor] try to generate NSIS package try to use soplex as lp solver | 28 April 2020, 11:48:36 UTC |
00b4b7f | benEnsta | 28 April 2020, 11:27:09 UTC | [appveyor] test github token for uploading release | 28 April 2020, 11:27:09 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 |
99f013b | Cyril Bouvier | 22 April 2020, 13:04:54 UTC | Cmake: add uninstall command in Ibex and its plugins via ibex_init_common #368 | 22 April 2020, 13:05:44 UTC |
69d85d0 | Cyril Bouvier | 21 April 2020, 17:01:05 UTC | CMake: fix tests requiring a LP lib + some cosmetic changes after optim merge into core #368 | 21 April 2020, 17:01:05 UTC |
591885a | Cyril Bouvier | 21 April 2020, 16:34:11 UTC | CMake: Fix ibex.pc generation #368 (redo) | 21 April 2020, 16:34:11 UTC |
e7f33ac | Cyril Bouvier | 21 April 2020, 16:30:37 UTC | Revert "CMake: Fix ibex.pc generation #368" This reverts commit 4e89e59acc38e3526f7237962019d963b1c21f5a. | 21 April 2020, 16:30:37 UTC |
4e89e59 | Cyril Bouvier | 21 April 2020, 15:47:10 UTC | CMake: Fix ibex.pc generation #368 | 21 April 2020, 15:47:39 UTC |
d9318a8 | Cyril Bouvier | 21 April 2020, 15:36:32 UTC | Travis: optim is not a plugin anymore | 21 April 2020, 15:36:32 UTC |
bbce728 | Cyril Bouvier | 21 April 2020, 15:34:35 UTC | Starting a doc for developers #368 | 21 April 2020, 15:34:35 UTC |
e717d2c | Cyril Bouvier | 21 April 2020, 14:49:27 UTC | Waf: remove reference to plugins directory | 21 April 2020, 14:49:27 UTC |
54183b7 | CHABERT Gilles | 21 April 2020, 14:39:31 UTC | Fix #425 (again) | 21 April 2020, 14:39:31 UTC |
4e60e59 | cyrilbouvier | 21 April 2020, 13:36:15 UTC | Merge pull request #453 from benEnsta/hotfix-452 [fix] fix-#452 compilation issue on appveyor with msvc (#368) | 21 April 2020, 13:36:15 UTC |
1dde422 | Gilles Chabert | 16 April 2020, 21:47:26 UTC | Merge pull request #455 from SimonRohou/develop CMake/doc: typo #368 | 16 April 2020, 21:47:26 UTC |
0f4ae09 | SimonRohou | 16 April 2020, 19:16:23 UTC | CMake/doc: typo #368 | 16 April 2020, 19:17:04 UTC |
47fc75a | CHABERT Gilles | 16 April 2020, 08:23:48 UTC | Reintegrate optim into the core library | 16 April 2020, 08:23:48 UTC |
649adf8 | benEnsta | 03 April 2020, 11:47:24 UTC | [fix] fix-#452 compilation issue on appveyor Add appveyor exmaple script with cmake | 05 April 2020, 12:05:25 UTC |
fd820d1 | Cyril Bouvier | 03 April 2020, 08:28:29 UTC | CMake: operators subdir is handled by symbolic subdir (to avoid order-dependency) #368 | 03 April 2020, 08:28:29 UTC |
a6d4977 | Cyril Bouvier | 03 April 2020, 08:03:00 UTC | Fix patch for MacOS | 03 April 2020, 08:03:00 UTC |
ad1aeca | Cyril Bouvier | 03 April 2020, 07:43:29 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 03 April 2020, 07:43:29 UTC |
46cf2b0 | Cyril Bouvier | 03 April 2020, 07:42:52 UTC | CMake: rework CMakeLists.txt files in src dir and subdir #368 | 03 April 2020, 07:43:16 UTC |
974ccb6 | Cyril Bouvier | 03 April 2020, 07:39:16 UTC | Add a return statement in non void-returning fcts of none/ibex_LPLibWrapper.cp #368 | 03 April 2020, 07:39:16 UTC |
0333a9a | Cyril Bouvier | 03 April 2020, 07:37:58 UTC | CMake: update Filib CMakeLists.txt file #368 | 03 April 2020, 07:38:33 UTC |
b14d13f | Cyril Bouvier | 02 April 2020, 17:12:10 UTC | CMake: rename install to cmake.install #368 | 02 April 2020, 17:12:10 UTC |
9344170 | Cyril Bouvier | 02 April 2020, 16:30:31 UTC | Remove gcc-specific pragma If you do not want warnings, fix the code | 02 April 2020, 16:30:31 UTC |
cdc3907 | CHABERT Gilles | 02 April 2020, 16:19:37 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 02 April 2020, 16:19:37 UTC |
abdab2d | CHABERT Gilles | 02 April 2020, 16:19:20 UTC | Fix #450. Overconstrained systems handled in rigor mode | 02 April 2020, 16:19:20 UTC |
da26d09 | Cyril Bouvier | 02 April 2020, 13:09:27 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 02 April 2020, 13:09:27 UTC |
58ea8a4 | Cyril Bouvier | 02 April 2020, 13:08:01 UTC | Compilation: change gaol patch to redefine GAOL_NAN so it works with shared lib | 02 April 2020, 13:08:01 UTC |
c448db2 | CHABERT Gilles | 02 April 2020, 12:56:41 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 02 April 2020, 12:56:41 UTC |
8a99a53 | CHABERT Gilles | 02 April 2020, 12:56:28 UTC | Fix #446 | 02 April 2020, 12:56:28 UTC |
41b9f31 | Cyril Bouvier | 02 April 2020, 10:27:52 UTC | CMake: forget PARENT_SCOPE for CXX_STANDARD #368 | 02 April 2020, 10:27:52 UTC |
a3802b7 | Cyril Bouvier | 02 April 2020, 09:52:36 UTC | CMake: update travis script to do more tests with cmake #368 | 02 April 2020, 09:52:36 UTC |
809ff3f | Cyril Bouvier | 02 April 2020, 09:37:49 UTC | CMake: use new CMake features to handle c++11 standard #368 | 02 April 2020, 09:37:49 UTC |
f96b646 | Cyril Bouvier | 02 April 2020, 09:37:06 UTC | CMake: Use DEB generator only on UNIX | 02 April 2020, 09:37:06 UTC |
b499087 | Cyril Bouvier | 02 April 2020, 08:59:51 UTC | CMake: update link in comment to doc of v3.5 #368 | 02 April 2020, 08:59:51 UTC |
e6bb90e | Cyril Bouvier | 02 April 2020, 08:40:50 UTC | CMake: bump minimum required version to 3.5.1 #368 | 02 April 2020, 08:40:50 UTC |
f8897fa | Cyril Bouvier | 01 April 2020, 15:25:37 UTC | Travis: remove make package temporarily need a way to activate deb packaging only on debian or ubuntu | 01 April 2020, 15:25:37 UTC |
a4d1d4c | Cyril Bouvier | 01 April 2020, 15:00:10 UTC | Travis: remove --with-ampl, do not exist anymore | 01 April 2020, 15:00:10 UTC |
bee40ea | Cyril Bouvier | 01 April 2020, 14:13:04 UTC | CMake: update tests/CMakeLists.txt to look for cppunit | 01 April 2020, 14:13:04 UTC |
971a258 | Cyril Bouvier | 01 April 2020, 12:39:13 UTC | CMake: passing CMAKE_C(XX)_FLAGS to mathlib and gaol #368 #449 | 01 April 2020, 12:39:13 UTC |
73a0a57 | Cyril Bouvier | 01 April 2020, 12:25:18 UTC | CMake: improve Filib CMakeLists.txt file #368 | 01 April 2020, 12:25:38 UTC |
d4b6e2f | Cyril Bouvier | 01 April 2020, 12:24:34 UTC | CMake: use CMAKE_CXX_FLAGS_* variables instead of compile_options #368 | 01 April 2020, 12:24:34 UTC |
b09cfaa | Cyril Bouvier | 31 March 2020, 16:09:15 UTC | CMake: use CMake to compile Filib if not found #368 | 31 March 2020, 16:09:15 UTC |
27fb90a | CHABERT Gilles | 27 March 2020, 10:30:28 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 27 March 2020, 10:30:28 UTC |
8290624 | CHABERT Gilles | 27 March 2020, 10:30:25 UTC | doc update | 27 March 2020, 10:30:25 UTC |
a691cba | Cyril Bouvier | 27 March 2020, 10:23:28 UTC | CMake: small changes in doc + add new uninstall | 27 March 2020, 10:23:28 UTC |
2379f37 | Cyril Bouvier | 27 March 2020, 10:06:55 UTC | CMake: change cmake warning to "in dev" to "beta" #368 | 27 March 2020, 10:06:55 UTC |
51ede18 | Cyril Bouvier | 27 March 2020, 10:05:29 UTC | CMake: add uninstall target #368 | 27 March 2020, 10:05:29 UTC |
1074a8b | CHABERT Gilles | 25 March 2020, 22:17:41 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 25 March 2020, 22:17:41 UTC |
9b8743a | CHABERT Gilles | 25 March 2020, 22:16:07 UTC | Transferring 'ampl' plugin to new repository | 25 March 2020, 22:16:07 UTC |
61d4e25 | CHABERT Gilles | 25 March 2020, 22:15:44 UTC | Transferring 'java' plugin to new repository | 25 March 2020, 22:15:44 UTC |
7c14d10 | CHABERT Gilles | 25 March 2020, 22:04:45 UTC | Transferring 'ode' plugin to new repository | 25 March 2020, 22:04:45 UTC |
869fb7e | CHABERT Gilles | 25 March 2020, 21:56:40 UTC | Transferring 'ensta-robotics' plugin to new repository | 25 March 2020, 21:56:40 UTC |
c94e762 | CHABERT Gilles | 25 March 2020, 21:50:23 UTC | Transferring 'sip' plugin to new repository | 25 March 2020, 21:50:23 UTC |
bf0d84f | CHABERT Gilles | 25 March 2020, 21:48:33 UTC | Transferring 'param-estim' plugin to new repository | 25 March 2020, 21:48:33 UTC |
f6f7853 | CHABERT Gilles | 25 March 2020, 21:46:32 UTC | Transferring 'affine-extended' plugin to new repository | 25 March 2020, 21:46:32 UTC |
7391b7f | CHABERT Gilles | 25 March 2020, 21:44:12 UTC | Transferring 'affine' plugin to new repository | 25 March 2020, 21:44:12 UTC |
54a55e7 | CHABERT Gilles | 25 March 2020, 21:32:21 UTC | Transferring 'continuation' plugin to new repository | 25 March 2020, 21:32:21 UTC |
eaccc91 | Cyril Bouvier | 25 March 2020, 16:43:52 UTC | CMake: try to impose some ordering in installation process to avoid problems #368 | 25 March 2020, 16:43:52 UTC |
e3399c4 | CHABERT Gilles | 25 March 2020, 15:10:19 UTC | Update doc install with cmake | 25 March 2020, 15:10:19 UTC |
10b55d0 | CHABERT Gilles | 25 March 2020, 13:59:12 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 25 March 2020, 13:59:12 UTC |
ee78b79 | CHABERT Gilles | 25 March 2020, 13:58:59 UTC | Add doc for installation with cmake (start'd) | 25 March 2020, 13:58:59 UTC |
2a8a611 | Cyril Bouvier | 18 March 2020, 16:05:43 UTC | Cmake: Add a function to allow plugin to detect if a linear prog lib was used #368 | 18 March 2020, 16:05:43 UTC |
f6ff544 | Cyril Bouvier | 13 March 2020, 15:39:19 UTC | CMake: patch soplex "make install" command | 13 March 2020, 15:39:19 UTC |
797664a | CHABERT Gilles | 11 March 2020, 14:25:41 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 11 March 2020, 14:25:41 UTC |
c880509 | CHABERT Gilles | 11 March 2020, 14:24:54 UTC | operatnrs: Fix little bug in atanhc and atanhccc | 11 March 2020, 14:24:54 UTC |
465a974 | Cyril Bouvier | 10 March 2020, 16:23:38 UTC | CMake: install *.cmake file in share/ibex/cmake not lib/cmake (more standard) #368 | 10 March 2020, 16:23:38 UTC |
2d9316b | Cyril Bouvier | 09 March 2020, 16:37:47 UTC | Cmake: update Soplex version #368 | 09 March 2020, 16:37:47 UTC |
5ff83ca | Cyril Bouvier | 09 March 2020, 08:38:59 UTC | CMake: change output directory of ibexsolve #368 | 09 March 2020, 08:38:59 UTC |
8120135 | CHABERT Gilles | 04 March 2020, 15:46:48 UTC | Introduction of mutable constants! | 04 March 2020, 15:46:48 UTC |
aac762e | CHABERT Gilles | 04 March 2020, 09:25:40 UTC | Parser: now a scope is a stack of scopes avoiding duplicating objects (lookup function traverses the stack) -> no more leaks and allow constant sharing accross expressions (new test) | 04 March 2020, 09:25:40 UTC |
b8345bd | CHABERT Gilles | 04 March 2020, 09:18:30 UTC | Parser: now a scope is a stack of scopes avoiding duplicating objects (lookup function traverses the stack) -> no more leaks and allow constant sharing accross expressions (cont'd) | 04 March 2020, 09:18:30 UTC |
d2661cf | CHABERT Gilles | 04 March 2020, 08:26:50 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 04 March 2020, 08:26:50 UTC |
2a41f35 | CHABERT Gilles | 04 March 2020, 08:25:37 UTC | Parser: now a scope is a stack of scopes avoiding duplicating objects (lookup function traverses the stack) -> no more leaks and allow constant sharing accross expressions. Fix #365 | 04 March 2020, 08:25:37 UTC |
3e50c89 | Cyril Bouvier | 02 March 2020, 13:44:04 UTC | Cmake: fix $(ARGS) for non CMake generators #386 | 02 March 2020, 13:44:04 UTC |
9ee2eed | CHABERT Gilles | 02 March 2020, 13:28:16 UTC | ExprLineary: add asserts | 02 March 2020, 13:28:16 UTC |
72e662a | CHABERT Gilles | 02 March 2020, 11:52:11 UTC | Minor change (system is const in DefaultSolver) | 02 March 2020, 11:52:11 UTC |
814671b | Cyril Bouvier | 02 March 2020, 10:56:04 UTC | Merge branch 'develop' of github.com:ibex-team/ibex-lib into develop | 02 March 2020, 10:56:04 UTC |
0aeec6d | Cyril Bouvier | 02 March 2020, 10:55:22 UTC | CMake: try to fix problem with paths for finding headers and libraries #368 | 02 March 2020, 10:55:22 UTC |
835524d | Cyril Bouvier | 02 March 2020, 10:53:36 UTC | CMake: fix export prefix problem #368 | 02 March 2020, 10:53:36 UTC |
5afe96b | CHABERT Gilles | 02 March 2020, 10:29:36 UTC | Merge branch 'develop' of https://github.com/ibex-team/ibex-lib into develop | 02 March 2020, 10:29:36 UTC |
a15497d | CHABERT Gilles | 02 March 2020, 10:29:25 UTC | java: add threshold in 'contract' (fix issue #435) | 02 March 2020, 10:29:25 UTC |
c010a59 | Cyril Bouvier | 28 February 2020, 16:00:22 UTC | Cmake: deactivate prefixing export target while fixing a bug | 28 February 2020, 16:00:22 UTC |
11a823d | Cyril Bouvier | 28 February 2020, 15:44:02 UTC | Cmake: rewrite to facilitate export and resuse in plugins #368 | 28 February 2020, 15:45:01 UTC |
e478f10 | CHABERT Gilles | 16 February 2020, 18:38:20 UTC | doc update | 16 February 2020, 18:38:20 UTC |
42d4ca8 | CHABERT Gilles | 14 February 2020, 15:59:37 UTC | Add .travis.yml in .gitignore | 14 February 2020, 15:59:37 UTC |
cacb01a | CHABERT Gilles | 14 February 2020, 15:58:14 UTC | LPSolver: removing min_box_diam and max_box_diam --> sip | 14 February 2020, 15:58:14 UTC |
1aeda1b | CHABERT Gilles | 14 February 2020, 15:48:34 UTC | update release number | 14 February 2020, 15:48:34 UTC |
2343bf2 | CHABERT Gilles | 14 February 2020, 15:30:15 UTC | Merge remote-tracking branch 'origin/develop' | 14 February 2020, 15:30:15 UTC |
aac9ea1 | CHABERT Gilles | 14 February 2020, 15:28:06 UTC | Temporary fix for #440 + minor fix in bwd_saw | 14 February 2020, 15:28:06 UTC |
d9cde5d | CHABERT Gilles | 14 February 2020, 14:22:17 UTC | Fix #442 | 14 February 2020, 14:22:17 UTC |