Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add a message to explain no property violation is found
[simgrid.git] / buildtools / Cmake /
2015-06-02 Gabriel Corona[mc] Fix compilation error on clang (and group all...
2015-06-01 Martin Quinsonstupid me
2015-05-30 Martin Quinsonmore verbose error message on error
2015-05-22 Gabriel Corona[mc] Move cross process reading support for SBT structu...
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process...
2015-05-19 Christian HeinrichRemoved PIPOL documentation and added CI (Jenkins)
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-05-19 Christian HeinrichAdded dependency on FLEX 2.5.39 to MaintainerMode
2015-04-30 Christian HeinrichAdded include_path and dependencies for FreeBSD < 10.0
2015-04-30 Christian HeinrichAdded reference link to comment in MakeLib.cmake
2015-04-28 Gabriel CoronaDisable a test which only works on one computer
2015-04-28 Christian Heinrich-Wclobbered will now only be added for GCC.
2015-04-28 Christian HeinrichReplaced check for GNU compiler with CMAKE variable...
2015-04-28 Gabriel Corona[mc] Multiple heap removal (partial)
2015-04-27 Gabriel CoronaFix EXTRA_DIST
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-23 Marion Guthmullermodel-checker : missing header
2015-04-17 Gabriel Corona[mc] C++ class PageStore
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-17 Gabriel Corona[mc] Remove mc_interface.h
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
2015-04-16 Gabriel Corona[mc] Remove mc_set.cpp
2015-04-16 Gabriel Corona[mc] Switch to C++
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-04-09 Martin Quinsonprovide placeholder headers to not disturb the users
2015-04-08 Arnaud LegrandIntegrate this exception example to the standard set...
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h
2015-04-04 Martin Quinsonmv simdag/simdag.h simgrid/simdag.h
2015-04-04 Martin Quinsoncleanups and simplifications to our build system
2015-03-13 Gabriel Corona[mc] mc_comm_pattern.c containing all communication...
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-09 Gabriel Corona[mc] Read host name from remote process
2015-02-25 Marion Guthmullermodel-checker : removed tesh forgotten in DefinePackage...
2015-02-25 Marion Guthmullermodel-checker : really (?) fix SIMCALL_MUTEX_LOCK and...
2015-02-23 Martin Quinsonrename one of the energy examples
2015-02-22 Martin Quinsondisplay the information earlier
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-17 Arnaud GierschTypos.
2015-02-16 Martin QuinsonHave smpirun, smpicc and friends display the simgrid...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-06 Gabriel Corona(wip) Move the MCed public API in the same file
2015-02-06 Gabriel Corona[mc] Move mc_model_checker in its own .c file
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...
2015-02-02 Gabriel CoronaEnable C++11
2015-01-30 Gabriel Corona[mc] Remote unwinding support
2015-01-26 Martin Quinsonreduce the amount of cruft loaded in the jarfile (don...
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program
2015-01-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-01-06 Christian HeinrichFixed cmake/doxygen errors on old systems.
2014-12-19 Gabriel Corona[mc] Abstract the process and a snapshot types with...
2014-12-09 Augustin DegommePut a 300 seconds timeout on each test with ctest
2014-12-09 Gabriel Corona[mc] Optimise most of XBT
2014-12-08 Gabriel Corona[mc] Optimise all the MC compilation units
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure
2014-12-04 Gabriel Corona[mc] Fix distcheck
2014-12-01 Gabriel Corona[mc] Enable MC specific behaviour in replay mode
2014-12-01 Gabriel CoronaRevert "[mc] Enable MC specific behaviour in replay...
2014-12-01 Gabriel Corona[mc] Enable MC specific behaviour in replay mode
2014-12-01 Gabriel Corona[mc] Only enable the umpire test for MC builds
2014-12-01 Gabriel CoronaFix dist
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-12-01 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-11-29 Martin Quinsonand now, fix the java teshsuite, re-sorry
2014-11-29 Martin Quinsonfix the build of java bundles, sorry
2014-11-29 Martin Quinsonput together the java-based tests
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-28 Augustin DegommeFix dist
2014-11-25 Gabriel Corona[mc] Test if the stack-cleaner has any effect
2014-11-24 Gabriel Corona[mc] Fix umpire tests
2014-11-21 Gabriel CoronaMerge branch 'xp'
2014-11-18 Gabriel CoronaInfrastructure for statically defined tracepoints
2014-11-07 Gabriel Corona[mc] Fix distcheck
2014-11-07 Augustin Degommereplay_multiple should really work with out of build...
2014-11-06 Augustin Degommeadd mpi_info_* support to fortran, and activate relevan...
2014-11-03 Augustin DegommeAdd mpich3 tests for MPI_Info calls.
2014-11-02 Martin QuinsonRename smx_user to libsmx (to mimick libc/smx)
2014-11-01 Martin Quinsonfinish the s/smurf/popping/ renaming
2014-11-01 Martin Quinsonfurther simplification of the popping in simix
2014-11-01 Martin QuinsonRemove the 'TUTORIAL: New API' chunks
2014-11-01 Martin Quinsonrename a generated file involved in the kernel popping
2014-10-31 Gabriel Corona[mc] Split config code into mc_config.c
2014-10-22 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-12 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-11 Martin Quinsontry to simplify the way simcalls are generated
2014-10-11 Martin Quinsonrename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter...
2014-10-11 Martin Quinsonensure that the generated files are autonomous and...
2014-10-09 Martin Quinsonmake my previous commit also compile under MC (sorry)
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-09 Gabriel Corona[mc] Simplify tests specifications for mc-bugged1-liveness*
2014-10-03 Augustin Degommedon't provide sync-gforge-doc* targets if doc is not...
2014-10-01 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-09-29 Augustin Degommeavoid the flag finline-functions with mc and clang...
2014-09-29 Augustin DegommeDisable the multiple replay test with MC.
2014-09-29 Augustin Degommeactivate this flag only for gcc, as it now generates...
next