Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Rename the CondVar observer as it should
[simgrid.git] / src /
2023-11-13 Martin QuinsonRename the CondVar observer as it should tree | commitdiff
2023-11-13 Martin QuinsonMove the conditionVariable observer to the right file tree | commitdiff
2023-11-13 Martin QuinsonSanity checks about the lock protecting a pthread_cond tree | commitdiff
2023-11-13 Martin QuinsonNew function s4u::Mutex::get_owner() tree | commitdiff
2023-11-13 Martin QuinsonTemplate implem of cond_timedwait in sthread tree | commitdiff
2023-11-12 Martin QuinsonImplement pthread_cond in sthread -- too bad it's TODO... tree | commitdiff
2023-11-12 Martin QuinsonImplement pthread_barrier calls in sthread, and test... tree | commitdiff
2023-11-12 Martin QuinsonRefactorize the sthread interception of functions tree | commitdiff
2023-11-12 Martin QuinsonSmall typos in comments tree | commitdiff
2023-11-12 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-10 mlaurentAdd debug info for reversible race construction tree | commitdiff
2023-11-09 mlaurentRaffine reversible race calculation for MutexWait tree | commitdiff
2023-11-09 mlaurentAdd a missing independence theorem about Mutex tree | commitdiff
2023-11-09 Martin QuinsonCleanup work to make is_race_reversible() a method... tree | commitdiff
2023-11-09 mlaurentSuppressed a bit too much of codes tree | commitdiff
2023-11-09 mlaurentClang format over some mc files tree | commitdiff
2023-11-09 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-09 mlaurentDiscard the wakeup tree when ODPOR reaches a disabled... tree | commitdiff
2023-11-08 Martin QuinsonSpit a message when ODPOR is not optimal tree | commitdiff
2023-11-08 mlaurentRedondant line in insertion tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 Martin QuinsonFix ODPOR: overapproximate ReversibleRace (to not miss... tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 mlaurentAdd debug log for ODPOR + required explaining comments tree | commitdiff
2023-11-08 Martin QuinsonFix SemWai::ReversibleRace() tree | commitdiff
2023-11-07 Martin QuinsonSimply rewrap comments and reindent, no real change tree | commitdiff
2023-11-07 Martin QuinsonAdd an assert that the checker don't try to exec disabl... tree | commitdiff
2023-11-07 Martin QuinsonImprove the debug messages tree | commitdiff
2023-11-07 Martin QuinsonTell the MC transition about the semaphore capacity... tree | commitdiff
2023-11-07 Martin QuinsonMake sure that the ID of a semaphore does not change... tree | commitdiff
2023-11-07 Martin Quinsoncosmetics: this is an ID, not a ptr tree | commitdiff
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-07 mlaurentAdd some debug info tree | commitdiff
2023-11-07 Arnaud GierschUse standard __func__ instead of __FUNCTION__. tree | commitdiff
2023-11-06 Martin Quinsonalso remove xbt/automaton which was only useful to... tree | commitdiff
2023-11-06 Martin QuinsonActions executed by the same actor are always dependent... tree | commitdiff
2023-11-06 Martin QuinsonODPOR: more verbose message on assertion failure tree | commitdiff
2023-11-05 Martin QuinsonAnother attempt to fix the printf issue on mac: don... tree | commitdiff
2023-11-05 Martin QuinsonThere is too much boost include to protect, disable... tree | commitdiff
2023-11-05 Martin QuinsonAvoid casting errors in printf on MacOSX tree | commitdiff
2023-11-05 Martin QuinsonFix gcc builds tree | commitdiff
2023-11-05 Martin QuinsonTry to survive to undefined preprocessor symbols tree | commitdiff
2023-11-05 Martin Quinsonunify struct and class declarations tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-11-05 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-11-04 Augustin Degommeadd some new MPI4 unsupported partitioned communication... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-03 Martin QuinsonFix an ODR reported by ASan tree | commitdiff
2023-11-02 Adrien Gougeonimprove chiller example. remove on_power_change signal... tree | commitdiff
2023-11-02 Martin QuinsonFix MC builds tree | commitdiff
2023-11-02 Martin QuinsonFix various build errors tree | commitdiff
2023-11-02 Martin QuinsonDo not use MC_process_clock_add() for now, as it makes... tree | commitdiff
2023-11-02 Martin QuinsonMC: more debug messages tree | commitdiff
2023-11-02 Martin QuinsonActions executed by the same actor are always dependent tree | commitdiff
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls tree | commitdiff
2023-11-02 Martin QuinsonMC: display the 100 first transitions when we reach... tree | commitdiff
2023-10-30 Fred Suterno need to cast with ActivitySet tree | commitdiff
2023-10-30 Martin QuinsonMerge branch 'mq' into 'master' tree | commitdiff
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ... tree | commitdiff
2023-10-29 Martin QuinsonChange the way we're inserting elements in this map tree | commitdiff
2023-10-29 Martin QuinsonFix build with ns3 v3.36+ tree | commitdiff
2023-10-27 Martin QuinsonHack to make liveness work on Debian testing tree | commitdiff
2023-10-27 Fred Suterbug fix in programmatic declaration of routes with... tree | commitdiff
2023-10-27 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-26 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-26 Fred Suterreindent tree | commitdiff
2023-10-26 Fred Suterrework MessImpl tree | commitdiff
2023-10-26 Fred Sutergot issues with get_id() while debugging. Add protection tree | commitdiff
2023-10-26 Fred Suterhandle Mess in Activity::wait_for tree | commitdiff
2023-10-26 Fred Suterhandle Mess in display actor status tree | commitdiff
2023-10-26 Martin QuinsonFinish up the implementation of recursive mutexes tree | commitdiff
2023-10-25 Martin Quinsonsthread: implement recursive mutexes (test broken so... tree | commitdiff
2023-10-25 Martin Quinsonsthread: pthread_mutex_trylock shall return 0 on success tree | commitdiff
2023-10-25 Martin Quinsonsthread: do not intercept valgrind nor /bin/sh, and... tree | commitdiff
2023-10-25 Martin Quinsonsthread/ObjectAccess: bug fix + report when more than... tree | commitdiff
2023-10-24 Martin QuinsonInstructive error message tree | commitdiff
2023-10-24 Martin Quinsonsthread object tracker: allow recursive object accesses tree | commitdiff
2023-10-24 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-24 Fred Suteradd Message queue abstraction tree | commitdiff
2023-10-24 Martin QuinsonDocument a variable tree | commitdiff
2023-10-24 Martin QuinsonTypo + cosmetics in portability helpers tree | commitdiff
2023-10-23 Martin Quinsonsthread_access: also take the function name in the... tree | commitdiff
2023-10-23 Martin QuinsonCorrectly check the params of Sendrecv for buffer being... tree | commitdiff
2023-10-23 Martin QuinsonFix a bug found by MBI: Buffers of MPI_Sendrecv() must... tree | commitdiff
2023-10-21 Martin QuinsonFix the dependency of barrier from the same actor ... tree | commitdiff
2023-10-17 Augustin DegommeSMPI - delay allocation of mailboxes to save some memor... tree | commitdiff
2023-10-12 Fred Suter enable use of IO streams with Ptask model tree | commitdiff
2023-10-11 Martin QuinsonMerge branch 'task-dispatch' into 'master' tree | commitdiff
2023-10-10 Augustin Degommeapparently, deque is faster than list in our usecases tree | commitdiff
2023-10-10 AdrienMerge branch 'master' into 'task-dispatch' tree | commitdiff
2023-10-10 Adrien Gougeonupdate doc tree | commitdiff
2023-10-09 Adrien Gougeonadd possibility for a battery to be a simple connector... tree | commitdiff
2023-10-06 Fred SuterUse Ptr to store disks of a HostImpl, do not care about... tree | commitdiff
2023-10-05 Fred SuterReducing the number of refcount changes for ActivityImpl tree | commitdiff
2023-10-02 Adrien Gougeonremove unused variable tree | commitdiff
2023-10-02 Adrien Gougeonfix all Task examples to support the new Task format... tree | commitdiff
2023-09-28 Adrien Gougeonadd battery-chiller-solar example. tree | commitdiff
2023-09-27 Fred Sutersimplify and remove silly debug tree | commitdiff
2023-09-26 Fred Suterprefer returning a NetZone than a pair of NetPoints... tree | commitdiff
2023-09-25 Adrien Gougeonadd possibility to dispatch tasks (work in progress) tree | commitdiff
next
Clone of SimGrid repository with local patches