Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2023-11-19 Martin QuinsonPlug a memleak
2023-11-19 Martin QuinsonAdd what's missing to obey the deprecation warning...
2023-11-19 Martin QuinsonFix some more doc errors. There is so many of them :(
2023-11-19 Martin QuinsonKill unstandard, untested and dubious ways to use Condi...
2023-11-19 Fred Suteradd specifying handling of timeout for MessImpl (none...
2023-11-17 Augustin Degommeadd 2 tests for comm
2023-11-17 Augustin Degommeone more test for attr
2023-11-17 Augustin Degommeadd one more test
2023-11-17 Augustin Degommeadd tests for isendrecv and isendrecv_replace
2023-11-17 Augustin Degommeadd new coll tests
2023-11-17 Augustin Degommeimplement mpi_isendrecv and mpi_isendrecv_replace
2023-11-17 Augustin Degommeadd gatherv test
2023-11-17 Augustin Degommefix warning in mpich new test
2023-11-16 Augustin Degommesmpi: fix issue with message IDs. In case of persistent...
2023-11-16 Augustin Degommeadd some new pt2pt tests from mpich
2023-11-16 Martin QuinsonFix some more doc bugs
2023-11-16 Martin QuinsonDocument ActivitySet
2023-11-16 Martin QuinsonFix some doxygen errors
2023-11-16 Martin QuinsonDeprecate the bindings of a deprecated function
2023-11-16 Martin QuinsonEase the usage of cmake for SMPI programs
2023-11-16 Martin QuinsonAnother attempt at fixing the Flag2 job of jenkins
2023-11-16 Martin QuinsonJenkins::Flag2: use ninja if avail; verbose builds
2023-11-15 Martin QuinsonGive a way to add binaries to the list that shouldn...
2023-11-15 Martin Quinsonstop being a stupidly rushing boar (hopefuly)
2023-11-15 Martin QuinsonProperly pass the LD_PRELOAD as a setenv command in...
2023-11-15 Martin Quinsontesh: allow variable substitutions in setenv cmds,...
2023-11-15 Martin QuinsonRework the doc of model-check/replay, and add an exampl...
2023-11-15 Martin Quinsoncut the backtrace displayed from sthread to the sthread...
2023-11-15 Martin QuinsonVarious doc improvements
2023-11-15 Martin QuinsonFix Host::execute to use *this as a host location,...
2023-11-15 Martin Quinsontypo
2023-11-15 Martin QuinsonMerge branch 'battery-get-name' into 'master'
2023-11-15 Adrien Gougeonadd get_name for batteries. update dag_from_json to...
2023-11-15 Martin QuinsonDraft a release
2023-11-14 Martin QuinsonFix an ODR reported by ASan
2023-11-14 Martin QuinsonHave create_jbod() return a JbodPtr instead of Jbod...
2023-11-14 Martin QuinsonGive a way to C users to not leak activities in activityset
2023-11-14 Martin QuinsonTry to fix a compiler error seen on Flag2 job of jenkins
2023-11-13 Martin QuinsonMC: move the reversible_race logic to the Transition...
2023-11-13 Fred Sutersimplify the way Jbods are defined
2023-11-13 Martin Quinsonanother try at cleanly unlocking the mutexes before...
2023-11-13 Martin QuinsonTry to fix a failure about mutex freed too early in RMA
2023-11-13 Martin QuinsonFix clang builds
2023-11-13 Martin QuinsonNew method: MutexImpl::is_granted()
2023-11-13 Martin QuinsonMore forward declarations
2023-11-13 Martin QuinsonSanity check that mutex are empty when destroyed
2023-11-13 Martin QuinsonCheck in the right location that a mutex is provided...
2023-11-13 Martin QuinsonRename the CondVar observer as it should
2023-11-13 Martin QuinsonMove the conditionVariable observer to the right file
2023-11-13 Martin QuinsonSanity checks about the lock protecting a pthread_cond
2023-11-13 Martin QuinsonNew function s4u::Mutex::get_owner()
2023-11-13 Martin QuinsonTemplate implem of cond_timedwait in sthread
2023-11-13 Martin QuinsonAnother easy test from McMini
2023-11-13 Augustin Degommehopefully bigdft CI (work around an issue we identified...
2023-11-12 Martin QuinsonImplement pthread_cond in sthread -- too bad it's TODO...
2023-11-12 Martin QuinsonDocument all changes so far
2023-11-12 Martin QuinsonImplement pthread_barrier calls in sthread, and test...
2023-11-12 Martin QuinsonRefactorize the sthread interception of functions
2023-11-12 Martin QuinsonAdd more Mc Mini tests
2023-11-12 Martin QuinsonRevalidate the tesh files that got invalidated by a...
2023-11-12 Martin QuinsonSmall typos in comments
2023-11-12 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-11-12 Martin QuinsonFix tesh autotests after recent change to display the...
2023-11-12 Arnaud GierschUpdate .mailmap.
2023-11-10 mlaurentAdd debug info for reversible race construction
2023-11-09 mlaurentFix tesh with new dependencies on Mutex
2023-11-09 mlaurentRaffine reversible race calculation for MutexWait
2023-11-09 mlaurentAdd a missing independence theorem about Mutex
2023-11-09 Martin QuinsonCleanup work to make is_race_reversible() a method...
2023-11-09 mlaurentFix some tesh after changing dependence relation about...
2023-11-09 mlaurentSuppressed a bit too much of codes
2023-11-09 mlaurentClang format over some mc files
2023-11-09 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-11-09 mlaurentDiscard the wakeup tree when ODPOR reaches a disabled...
2023-11-08 Martin Quinsontesh: display the run command ASAP, not after its timeout
2023-11-08 Martin QuinsonFix the tesh files now that the ODPOR algo was changed...
2023-11-08 Martin QuinsonSpit a message when ODPOR is not optimal
2023-11-08 mlaurentRedondant line in insertion
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-11-08 Martin QuinsonFix ODPOR: overapproximate ReversibleRace (to not miss...
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-11-08 mlaurentAdd debug log for ODPOR + required explaining comments
2023-11-08 Martin QuinsonFix SemWai::ReversibleRace()
2023-11-07 Martin QuinsonSimply rewrap comments and reindent, no real change
2023-11-07 Martin QuinsonAdd an assert that the checker don't try to exec disabl...
2023-11-07 Martin QuinsonImprove the debug messages
2023-11-07 Martin QuinsonTell the MC transition about the semaphore capacity...
2023-11-07 Martin QuinsonMake sure that the ID of a semaphore does not change...
2023-11-07 Martin Quinsoncosmetics: this is an ID, not a ptr
2023-11-07 Arnaud GierschTry to help gcovr with option --gcov-ignore-errors.
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-11-07 mlaurentAdd some debug info
2023-11-07 Arnaud GierschUse standard __func__ instead of __FUNCTION__.
2023-11-06 Martin Quinsonalso remove xbt/automaton which was only useful to...
2023-11-06 Martin QuinsonChange most mcmini tests to odpor reduction; the unchan...
2023-11-06 Martin QuinsonActions executed by the same actor are always dependent...
2023-11-06 Martin QuinsonODPOR: more verbose message on assertion failure
2023-11-06 Martin QuinsonThis option is used in MC, so it won't go anytime soon
2023-11-06 Martin QuinsonTroubleshooting Homebrew binaries on macOS (Thanks...
2023-11-05 Martin QuinsonAnother attempt to fix the printf issue on mac: don...
next