Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
2015-09-11 Martin Quinson[appveyor] typo in msbuild args
2015-09-11 Martin Quinsonspell-checking
2015-09-11 Martin Quinson[MSVC] be verbose, and don't use args that I don't...
2015-09-11 Martin Quinson[MSVC] don't pass gcc flags to MSVC, try to define...
2015-09-11 Martin Quinson[MSVC] Fix a 'no target architecture' fatal error
2015-09-11 Martin Quinsondon't give gcc flags to MSVC
2015-09-11 Martin Quinsonwhoopsy. I broke cmake
2015-09-11 Martin Quinson[appveyor] more info; configure git
2015-09-11 Martin Quinson[MSVC] Assume that MSVC is C99 and C++11 compliant
2015-09-11 Martin Quinsontest that the node is well installed before trying...
2015-09-10 Martin Quinson[appveyor] let's try MSVC
2015-09-10 Martin Quinsonplug some memleaks
2015-09-10 Martin Quinsonmake it so that the test pass, even if it is useless now
2015-09-10 Martin Quinson[MC] add a lib to the whitelist of libs that are not...
2015-09-10 Gabriel Corona[mc] Better explanation when complaining about the...
2015-09-10 Gabriel Corona[cmake] Use _GNU_SOURCE in order to detect asprintf
2015-09-10 Gabriel Corona[mingw] Fix format for MinGW
2015-09-10 Gabriel Corona[cmake] Better detection of snprintf, asprintf, etc.
2015-09-10 Martin Quinsonignore some generated cruft
2015-09-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-10 Gabriel Corona[mingw] Use __USE_MINGW_ANSI_STDIO when checking for...
2015-09-10 Gabriel Corona[mingw] Please use standard printf/scanf
2015-09-09 Frederic Suteredits in storage documentation
2015-09-09 Martin Quinsonfix a typo
2015-09-08 Martin Quinsondisable a broken test, and cleanups
2015-09-08 Martin QuinsonThe debian package are of course very uptodate, what...
2015-09-08 Martin Quinsoncreate the directory before populating it
2015-09-08 Christian Heinrich[Doc] Next major revision of the documentation
2015-09-08 Christian Heinrich[Doc] Changed a few pieces of the introduction file.
2015-09-08 Christian Heinrich[Doc] Added links to Packet Level Sim Examples
2015-09-08 Christian Heinrich[Doc] Removed 'install' section in intro.doc
2015-09-08 Christian Heinrich[Doc] Removed links for 'As' in text..
2015-09-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-08 Martin QuinsonFix a misleading output
2015-09-08 Gabriel Coronas/onexit/my_onexit
2015-09-08 Martin Quinson[appveyor] don't close stdin, bummer
2015-09-08 Christian Heinrich[Doc] Second major update on platform.doc
2015-09-08 Christian Heinrich[Doc] First batch of updates of platform.doc
2015-09-08 Martin Quinson[appveyor] try to use msys2 (aka mingw-w64?)
2015-09-08 Martin Quinson[appveyor] link the win directory to the lin one before...
2015-09-07 Gabriel Corona[mc] Add some boost libs to our debugging whitelisting
2015-09-07 Gabriel Corona[cmake] Remove the explicit linking on C++ standard...
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-07 Martin Quinson[appveyor] try to get some info on appveyor installs
2015-09-07 Martin Quinson[appveyor] try to KISS
2015-09-07 Martin Quinson[appeveyor] try to use mingw-w64
2015-09-07 Gabriel Corona[mc] Fix another bunch of shebang with env
2015-09-07 Gabriel Corona[mc] Stylistic changes in mc_dwarf.cpp
2015-09-07 Gabriel Corona[mc] Simplify MC_dwarf_get_variables()
2015-09-07 Gabriel Corona[mc] Use UNW_REG_SP insteaf of UNW_TDP_SP
2015-09-07 Gabriel Corona[mc] Use target preprocessor symbol instead of UNW_TARG...
2015-09-07 Gabriel CoronaMerge remote-tracking branch 'origin2/master'
2015-09-07 Gabriel CoronaUse env to find script interpreters
2015-09-07 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-09-07 Gabriel Corona[mc] Display region type name
2015-09-07 Gabriel Corona[mc] Fix LTO with all versions of GCC
2015-09-06 Martin Quinson[travis] detect linux as we should
2015-09-06 Martin Quinsonthere is no windows on travis anyway
2015-09-06 Martin Quinsontry to fix the third configuration on travis
2015-09-06 Martin Quinsondon't run the MPICH3 tests on travis
2015-09-06 Martin Quinsonmore gitignore
2015-09-05 Martin Quinson[travis] don't fail so miserably on mac
2015-09-05 Martin Quinson[travis] don't try to use apt-get on mac
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-09-01 Gabriel Corona[mc] Remove remaining parts of the single-process mode
2015-08-31 Martin Quinson[Cmake] small cleanup
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-31 Martin Quinsondon't tell 165 times that we need CMAKE v2.6
2015-08-28 Gabriel CoronaDisable lazy relocation in the model-ched process.
2015-08-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel Corona[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid...
2015-08-28 Martin Quinsoncmake: move some bits to a better location
2015-08-27 Martin Quinsonenough. I cant remember what good this broken chunk...
2015-08-27 Martin Quinsonanother try to fix the compilation on travis
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-27 Gabriel Corona[smpi] Fix compilation
2015-08-27 Gabriel Corona[smpi] Avoid locking the mutex when it's not needed
2015-08-25 Lucas Schnorrsome traces have TAB instead of space after %
2015-08-25 Gabriel Corona[mc] Add tests to show that DPOR is guilty of mutex...
2015-08-25 Gabriel Corona[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK
2015-08-25 Gabriel CoronaUpdate .gitignore
2015-08-25 Gabriel Corona[mc] Add a test to examplify that we should handle...
2015-08-25 Gabriel Coronasmpirun: Option to run the child in foreground
2015-08-25 Gabriel Coronasmpirun: Raise the same signal we received
2015-08-24 Gabriel Coronasmpirun: cleanup files and children before dying
2015-08-24 Martin Quinson[travis] make VERBOSE=1
2015-08-24 Martin QuinsonTry to move the change of linker after the fortran...
2015-08-24 Gabriel Coronatesh: Let a grace period of 1s for the child process...
2015-08-23 Martin Quinsonkill an unused macro
2015-08-20 Martin Quinsonmove another gcc version check in the right location
2015-08-19 Martin Quinsonsort a bit the cmake file
2015-08-16 Martin Quinsonuniformize simcall_comm_send() and simcall_comm_recv()
2015-08-16 Martin Quinsonspellcheck
2015-08-16 Martin Quinsonkill SIMIX_comm_isend(), use simcall_HANDLER_comm_isend...
2015-08-12 Martin Quinsonmove the cmake files in tools/cmake
2015-08-11 Martin Quinson[jenkins] disable MPICH3 test on coverage to avoid...
2015-08-11 Martin Quinsonremove unused jenkins scripts, and document some others
2015-08-11 Martin QuinsonFail loudly when someone tries to unlock a mutex owned...
2015-08-09 Martin Quinsonrename simcall process_change_host -> process_set_host
2015-08-09 Martin Quinsonspell check the comments