Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
activates the ISP test for model-checking
[simgrid.git] / CMakeLists.txt
2015-07-28 Martin Quinsonstrdup is not part of ansi standards, and msys compiler...
2015-07-28 Martin Quinsonok, it wont work with MSVC
2015-07-28 Martin QuinsonDon't forbid the use of MSVC, to test AppVeyor
2015-07-27 Gabriel CoronaRevert "[cmake] Use -std=c++0x if -std=c++11 is not...
2015-07-27 Gabriel Corona[cmake] Check g++ version before checking c++11 support
2015-07-27 Gabriel Corona[cmake] Use -std=c++0x if -std=c++11 is not available
2015-07-25 Martin QuinsonRemove borland-compiler related cruft
2015-07-25 Martin QuinsonCMake cleanups: move the C/C++ std detection to the...
2015-07-25 Martin Quinsonproper check for the -std=gnu++11 standard, and take...
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-24 Martin Quinsonmake the SIMGRID_VERSION_STRING easier to parse in...
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-06-26 degomme(attempt to) Disable fortran for mac platforms, for...
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel CoronaSome (partial) fixes for cross-compiling to Windows
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-06-09 Gabriel Corona[mc] Do not clobber CMAKE_C_FLAGS and friends
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-28 Christian HeinrichRemoved if-statement from CMakeLists.txt
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-17 Arnaud GierschUpdate SIMGRID_VERSION_DATE.
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-25 Gabriel Corona[mc] Test if the stack-cleaner has any effect
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-06-18 Paul BédarideMerge branch 'v3_11_x'
2014-06-18 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-06-18 Augustin Degommeadd rule to use gcc-ar and gcc-ranlib instead of ar...
2014-06-12 Paul BédarideRpath active for make install on osX
2014-06-02 Arnaud GierschCosmetics.
2014-06-02 Paul BédarideInit version 3.12
2014-05-31 Paul BédarideRelease 3 11 v3_11
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-05-05 Stéphane CastelliMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-04-29 Augustin Degommeadd enable_memcheck_xml flag, to output valgrind in...
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo'
2014-04-15 Stéphane CastelliAdded some work in the creation of links in the fat...
2014-04-14 Augustin Degommedon't enable flto if ld version <= 2.22, as there are...
2014-04-08 Gabriel CoronaMerge remote-tracking branch 'origin/mc'
2014-04-07 Arnaud GierschUpdate version strings.
2014-03-21 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-21 Gabriel CoronaMerge branch 'mc++'
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-25 Gabriel CoronaMerge bugfix from branch mc-refactor
2014-02-24 Augustin Degommelots and lots of changes
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-24 Gabriel CoronaMerge branch 'mc-perf' into mc
2014-02-10 Gabriel CoronaMerge branch 'mc' into mc-perf
2014-02-07 Gabriel CoronaMerge branch mc into mc-perf
2014-02-07 Gabriel Corona[mc] Compute a single hash (64 bits) of the current...
2014-01-17 Marion GuthmullerMerge remote-tracking branch 'origin/libdw2'
2013-12-05 Arnaud GierschUntabify.
2013-11-19 Arnaud GierschStop building with c++0x/c++11 support. It's currently...
2013-11-15 Paul BédarideFix C++ options
2013-11-15 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-11-15 Paul BédarideMerge branch 'surf++'
2013-11-15 Paul BédarideMerge branch 'hypervisor' into surf++
2013-11-08 Arnaud GierschMerge tag 'v3_10_rc2'
2013-11-08 Arnaud GierschRelease version 3.10-rc2. v3_10_rc2
2013-11-08 Paul BédarideMerge branch 'hypervisor' of git+ssh://scm.gforge.inria...
2013-11-08 Paul BédarideMerge tag 'v3_9_90' into hypervisor
2013-11-05 Arnaud GierschMerge branch 'v3_10_x'
2013-11-04 Arnaud GierschMerge branch 'v3_10_x'
2013-11-04 Arnaud GierschNext release will be (at least) 3.10-rc1.
2013-11-04 Arnaud GierschDefine SIMGRID_VERSION_STRING, and add option --version...
2013-11-04 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-11-04 Arnaud GierschDevel branch continues toward version 3.11.
2013-11-02 Arnaud GierschRename SG_java -> simgrid-java.
2013-11-02 Arnaud Gierschlibsmpi was removed some time ago.
2013-10-30 Paul BédarideMerge commit '045db1657e870c721be490b411868f4181a12ced...
2013-10-14 Augustin DegommeThis can actually be built and run in win
2013-10-08 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-10-07 Martin Quinsonget ready to release the first prerelease of 3.10 ...
2013-09-27 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-26 Arnaud GierschDetermine assembly flavor at a single place.
2013-09-26 Arnaud GierschUse CMAKE_C_COMPILER_ID to determine if compiler is...
2013-08-08 Paul BédarideMake surf++ compile
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-05 Arnaud GierschMerge branch 'v3_9_x'
2013-02-04 Paul BédarideRevert "Add ModelChecker build type"
2013-01-31 alebreMerge branch 'master' into hypervisor
2013-01-31 Arnaud GierschMerge branch 'with_java'
2013-01-31 Arnaud GierschBuild libSG_java.
2013-01-31 Paul BédarideRevert "Add ModelChecker build type"
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Arnaud GierschIncrease version number.
2013-01-30 Paul BédarideMerge commit '4df273f15273f959fc9e6ed69d2bf5e607ec9bf7...
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-29 Arnaud GierschPrepare files for next release.
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-17 Jonathan Rouzaud... Merge branch 'vmtrace'
2013-01-17 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-01-16 Jonathan Rouzaud... Merge with master
2012-12-18 Martin Quinsoncorrectly add the Manifest file to the jar archive
next