Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
activates the ISP test for model-checking
[simgrid.git] / src / xbt /
2015-07-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-28 Martin Quinson[windows] fix a typo in 32bits detection tree | commitdiff
2015-07-28 Martin Quinson[appveyor] be more verbose about what's going on tree | commitdiff
2015-07-25 Martin Quinsonfix the log hierarchy extraction wrt mc_main, that... tree | commitdiff
2015-07-25 Martin QuinsonRemove borland-compiler related cruft tree | commitdiff
2015-07-25 Gabriel CoronaDisable a XBT_LOG_CONNECT (this one is not in libsimgrid) tree | commitdiff
2015-07-24 Martin Quinsonvarious fixups to the surf documentation tree | commitdiff
2015-07-24 kbaatiMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-21 Martin Quinsonsanitize the process_create simcall tree | commitdiff
2015-07-18 Martin QuinsonOverhaul of NS3 support in SimGrid tree | commitdiff
2015-07-18 Martin Quinson[SGpp] make ROUTING_HOST_LEVEL private. That was painful tree | commitdiff
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master tree | commitdiff
2015-07-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-10 Martin QuinsonMASSIVE cleanup: s/workstation/host/ tree | commitdiff
2015-06-29 Gabriel CoronaAdd missing #include tree | commitdiff
2015-06-29 Gabriel CoronaAdd some #includes tree | commitdiff
2015-06-17 Martin Quinsonsome sorting in the [smpi/xbt]_replay stuff tree | commitdiff
2015-06-16 Gabriel CoronaFix warning in xbt_os_time.c on Mach tree | commitdiff
2015-06-16 Gabriel CoronaAdd missing __APPLE__ test in xbt_os_thread.c tree | commitdiff
2015-06-16 Gabriel CoronaAdd missing headers in xbt_os_thread.c tree | commitdiff
2015-06-16 Gabriel CoronaGet rid of the MACOS tests tree | commitdiff
2015-06-16 Gabriel CoronaRemove extraneous parentheses tree | commitdiff
2015-06-16 Gabriel Corona[cmake] Try to simplify the ucontext checks tree | commitdiff
2015-06-15 Gabriel CoronaRemove PRINTF_STR tree | commitdiff
2015-06-15 Martin Quinsonuseful error message when requesting for the debug... tree | commitdiff
2015-06-15 Martin QuinsonSMPI replay: make sure that the replay is inited even... tree | commitdiff
2015-06-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-06-10 Gabriel CoronaFix dllexport/dllimport declarations (Windows) tree | commitdiff
2015-06-09 Gabriel CoronaTry to be consistent bewteen xbt_os_thread.h and xbt_os... tree | commitdiff
2015-06-09 Gabriel CoronaRemove an explicit declaration of pthread_mutex_timedlock() tree | commitdiff
2015-06-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-06-09 Gabriel CoronaUse xbt_strdup instead of strdup tree | commitdiff
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-05-04 Gabriel Corona[mc] Fix mm_fake_malloc() implementation tree | commitdiff
2015-05-04 Gabriel Corona[mc] Fix mmalloc with fortran tree | commitdiff
2015-04-28 Christian HeinrichFixed exception tests tree | commitdiff
2015-04-28 Gabriel Corona[xbt] Add unit test got xbt_dict with arbitrary (not... tree | commitdiff
2015-04-28 Gabriel Corona[mc] Multiple heap removal (partial) tree | commitdiff
2015-04-27 Christian HeinrichRemoved keyword 'register' from files. tree | commitdiff
2015-04-27 Gabriel Corona[mc] Fix XBT_CONNECT, mc_main is not in libsimgrid.so tree | commitdiff
2015-04-27 Gabriel Corona[mc] Add missing XBT_CONNECT, move some out of HAVE_MC tree | commitdiff
2015-04-27 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2015-04-26 Martin Quinsonnew function: remove a given element of the xbt_heap tree | commitdiff
2015-04-16 Gabriel Corona[mc] Switch to C++ tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien tree | commitdiff
2015-04-04 Martin Quinsoncleanups and simplifications to our build system tree | commitdiff
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-03-06 Gabriel Corona[mc] Cross-process access to smx_process and simcall tree | commitdiff
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-02-12 Gabriel CoronaMerge master into mc-process tree | commitdiff
2015-02-10 Gabriel Corona[mc] Server side symbol evaluation tree | commitdiff
2015-02-10 Gabriel Corona[mc] Register symbols as pointers in the examples tree | commitdiff
2015-02-10 Gabriel Corona[mc] Extend xbt_propositional_symbols tree | commitdiff
2015-02-10 Gabriel Corona[mc] Cleanup heap switching code tree | commitdiff
2015-02-06 Gabriel Corona[mc] Do not call malloc_no_memset in mc_snapshot tree | commitdiff
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker... tree | commitdiff
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program tree | commitdiff
2015-01-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-01-05 Augustin Degommeavoid breaking with recent freebsd that implement this... tree | commitdiff
2014-12-12 Augustin Degommedoc update for new appenders tree | commitdiff
2014-12-12 Augustin DegommePatch by F.Chaix : add two "new" log appender methods... tree | commitdiff
2014-12-12 Gabriel Corona[mc] Support for reading heap state from another process tree | commitdiff
2014-12-09 Gabriel Corona[mc] Enable the custom mm malloc only in MC tree | commitdiff
2014-12-09 Gabriel Corona[mm] Allow to disable the mm based `malloc` at runtime tree | commitdiff
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-12-01 Gabriel CoronaUse pthread mutex instead of semaphore in mm tree | commitdiff
2014-12-01 Gabriel Coronas/formated/formatted/ tree | commitdiff
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay tree | commitdiff
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is... tree | commitdiff
2014-11-21 Gabriel CoronaMerge branch 'xp' tree | commitdiff
2014-11-18 Gabriel CoronaInfrastructure for statically defined tracepoints tree | commitdiff
2014-11-18 Martin Quinsontypo -= 2 tree | commitdiff
2014-11-17 Gabriel Corona[mm] Disable HAVE_GNU_LD code in order to get rid of... tree | commitdiff
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t tree | commitdiff
2014-11-01 Martin Quinsonfinish the s/smurf/popping/ renaming tree | commitdiff
2014-11-01 Martin QuinsonRemove the 'TUTORIAL: New API' chunks tree | commitdiff
2014-10-31 degommesmall correction tree | commitdiff
2014-10-31 degommeprovide user-friendly errors when replay encounters... tree | commitdiff
2014-10-22 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-10-15 Martin QuinsonI'm not sure of why flexml generated a different flex... tree | commitdiff
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-13 Gabriel Corona[mmalloc] Expand the junkarea tree | commitdiff
2014-10-13 Gabriel Corona[mmalloc] Fix junkarea handling in free tree | commitdiff
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-07 Martin Quinsonmissing call to XBT_LOG_CONNECT tree | commitdiff
2014-09-19 Augustin Degomme[xbt/surf] Change the costly heapremove+heapinsert... tree | commitdiff
2014-09-11 Augustin Degommeavoid warnings (and errors) without debug enabled tree | commitdiff
2014-08-29 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-08-28 Augustin DegommeAdd a xbt wrapper for simcall_mutex_trylock (asked... tree | commitdiff
2014-08-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-18 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-18 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-08-18 etortilopezadded option to bind threads to physical cores tree | commitdiff
2014-08-11 Paul BédarideAdd vm tesh tree | commitdiff
2014-08-08 Augustin DegommeAttempt for a macos version of the threadtimer tree | commitdiff
2014-08-08 Augustin DegommeDo not have cputime and threadtime return a no-op when... tree | commitdiff
next
Clone of SimGrid repository with local patches