2015-07-29 |
Martin Quinson | activates the ISP test for model-checking |
tree | commitdiff |
2015-07-29 |
Martin Quinson | disable lto for gcc 4.8 too |
tree | commitdiff |
2015-07-28 |
Martin Quinson | pthread is not necessarily defined on windows |
tree | commitdiff |
2015-07-28 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-07-28 |
Martin Quinson | Actually, pthreads are not mandatory (win32_ucontext... |
tree | commitdiff |
2015-07-28 |
Martin Quinson | pthread is mandatory |
tree | commitdiff |
2015-07-28 |
Martin Quinson | Fix distcheck |
tree | commitdiff |
2015-07-28 |
Martin Quinson | let's be brutal for now |
tree | commitdiff |
2015-07-27 |
Martin Quinson | [jenkins] try to build in-source when on windows |
tree | commitdiff |
2015-07-27 |
Martin Quinson | [jenkins] ask for verbose compilations, to see what... |
tree | commitdiff |
2015-07-27 |
Martin Quinson | Merge branches 'master' and 'master' of github.com... |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Fix optimization variable name |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Remove debugging |
tree | commitdiff |
2015-07-27 |
Martin Quinson | Jenkins: sh syntax error when speaking to windows |
tree | commitdiff |
2015-07-27 |
Martin Quinson | jenkins fun |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Workaround for Windows |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Temporary test |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Check build mode before making the archive |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Display arguments passed to the script |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Fix jenkins |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] ulimit -c may not be available |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Add windows support in build.sh |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [jenkins] Add makedist.sh script |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Remove mc_object_info.cpp |
tree | commitdiff |
2015-07-27 |
Gabriel Corona | [mc] Move Frame, ModelChecker, ObjectInformation, Type... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Move some internal tools out of the way, to not scare... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | move the tesh.pl with its friend |
tree | commitdiff |
2015-07-25 |
Martin Quinson | reduce cmake verbosity |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Make it possible to compile the doc without javadoc... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | remove some more cruft related to gcc v4.6 (we request... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Revert "please cmake, could you tell us your compiler... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | get it to compile on clang on my machine |
tree | commitdiff |
2015-07-25 |
Martin Quinson | NS3 libraries were not versionned on Ubuntu Precise |
tree | commitdiff |
2015-07-25 |
Martin Quinson | further cleanups of NS3 detection |
tree | commitdiff |
2015-07-25 |
Martin Quinson | reduce the verbosity of a CMake warning |
tree | commitdiff |
2015-07-25 |
Martin Quinson | further cleanups of the NS3 detection (it breaks on... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | note that we do need Boost 1.48 |
tree | commitdiff |
2015-07-25 |
Martin Quinson | CMake cleanups: move the C/C++ std detection to the... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | we need std=gnu11 in C too (was std=gnu99) |
tree | commitdiff |
2015-07-25 |
Martin Quinson | please cmake, could you tell us your compiler arguments? |
tree | commitdiff |
2015-07-25 |
Martin Quinson | proper check for the -std=gnu++11 standard, and take... |
tree | commitdiff |
2015-07-25 |
Martin Quinson | fix the make distcheck. Again. |
tree | commitdiff |
2015-07-25 |
Martin Quinson | Require g++ v4.7 at least to not speak prehistorical C++ |
tree | commitdiff |
2015-07-24 |
Martin Quinson | kill the C version of tesh (now unused). RIP :( |
tree | commitdiff |
2015-07-24 |
Martin Quinson | search separately for required boost and optional boost... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | more explicit error message when some boost library... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | fix a tesh because of the recent file moving around... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | fix the distcheck target |
tree | commitdiff |
2015-07-24 |
Martin Quinson | make the SIMGRID_VERSION_STRING easier to parse in... |
tree | commitdiff |
2015-07-24 |
kbaati | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2015-07-24 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-07-24 |
Gabriel Corona | [mc] Remove MC_automaton_new_propositional_symbol_callb... |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Remove a lot of typedefs and typedef usage |
tree | commitdiff |
2015-07-23 |
Gabriel Corona | [mc] Simplify lookup of maps |
tree | commitdiff |
2015-07-19 |
Martin Quinson | Kill link_lib and have C++ handle the hashmap of all... |
tree | commitdiff |
2015-07-19 |
Martin Quinson | start refreshing and fixing the GTNetS interface (WIP) |
tree | commitdiff |
2015-07-18 |
Martin Quinson | Overhaul of NS3 support in SimGrid |
tree | commitdiff |
2015-07-18 |
Martin Quinson | give Link a proper public interface |
tree | commitdiff |
2015-07-18 |
Martin Quinson | Rename NetworkLink type to Link |
tree | commitdiff |
2015-07-18 |
Martin Quinson | [SGpp] make SIMIX_HOST_LEVEL private |
tree | commitdiff |
2015-07-18 |
Martin Quinson | Give simgrid's host its own header file and datatype |
tree | commitdiff |
2015-07-17 |
Gabriel Corona | [mc] Remove content addressable page store |
tree | commitdiff |
2015-07-14 |
Martin Quinson | Merge branch 'master' of github.com:mquinson/simgrid |
tree | commitdiff |
2015-07-14 |
Martin Quinson | Merge pull request #17 from mpoquet/master |
tree | commitdiff |
2015-07-12 |
Martin Quinson | kill two empty files |
tree | commitdiff |
2015-07-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2015-07-10 |
Martin Quinson | MASSIVE cleanup: s/workstation/host/ |
tree | commitdiff |
2015-07-09 |
Gabriel Corona | [mc] Fix the DSO debug ignore list |
tree | commitdiff |
2015-07-07 |
Gabriel Corona | host-on-off: add basic tests |
tree | commitdiff |
2015-07-03 |
Gabriel Corona | [jenkins] Enable debug (Ã-g) in the builds |
tree | commitdiff |
2015-06-30 |
Gabriel Corona | Do not build html/msg-tuto-src.tg anymore |
tree | commitdiff |
2015-06-29 |
Gabriel Corona | [mc] Remove ugly #include |
tree | commitdiff |
2015-06-26 |
degomme | second attempt |
tree | commitdiff |
2015-06-23 |
degomme | Find objdump before admitting privatization is possible... |
tree | commitdiff |
2015-06-19 |
Gabriel Corona | Add support for new Boost.Context API |
tree | commitdiff |
2015-06-18 |
Gabriel Corona | [cmake] Fix broken -D_DWARWIN_C_SOURCE |
tree | commitdiff |
2015-06-18 |
Gabriel Corona | Do not try to link against boost_context when there... |
tree | commitdiff |
2015-06-18 |
Gabriel Corona | [cmake] Do not find cmake as required |
tree | commitdiff |
2015-06-18 |
Martin Quinson | rename a test in order to easily select it |
tree | commitdiff |
2015-06-18 |
Gabriel Corona | Add the detection of Boost.Context |
tree | commitdiff |
2015-06-16 |
Martin Quinson | Remove a file associated to a test that got removed... |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | Don't use -pthreads on Mac OS X |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | Remove the install/ directory in the run_DynamicAnalysi... |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | [cmake] Detect libunwind on Mac OS X |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | Try to detect libunwind.{so,dylib} on x86_64 |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | Add jenkins script for the debug build |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | [cmake] Add _DARWIN_C_SOURCE |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | Define a version for _XOPEN_SOURCE |
tree | commitdiff |
2015-06-16 |
Gabriel Corona | [cmake] Try to simplify the ucontext checks |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | Remove IS_WINDOWS (not used) |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | Remove windows_context (not used) |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | Remove PRINTF_STR |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | [jenkins] Remove unused jenkins scripts |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | Kill the pipol build scripts |
tree | commitdiff |
2015-06-15 |
Gabriel Corona | [jenkins] Cleanup memcheck files in the DynamicAnalysis... |
tree | commitdiff |
2015-06-11 |
Gabriel Corona | Remove cycles in #include files |
tree | commitdiff |
2015-06-10 |
Millian Poquet | Merge branch 'master' of https://scm.gforge.inria.fr... |
tree | commitdiff |
2015-06-10 |
Martin Quinson | kill an useless example |
tree | commitdiff |
2015-06-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
next |