Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add new entry in Release_Notes.
[simgrid.git] / src /
2023-11-27 Arnaud GierschRemove deprecated features for next release (3.36).
2023-11-26 Martin QuinsonKill an external dependency that was for stateful MC
2023-11-23 Martin QuinsonMore doc for SMPI
2023-11-23 Martin QuinsonProperly register the waiter in wait_any_for(), so...
2023-11-21 Arnaud GierschUpdate python/clusters-multicpu to the new API.
2023-11-21 Arnaud GierschUpdate XBT_ATTRIB_DEPRECATED_v??? in comments.
2023-11-21 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-11-21 Martin QuinsonVarious sonar cleanups
2023-11-21 Martin Quinsonfurther improvement to the doxygen doc
2023-11-21 Fred Suterstrenghten the behavior of Message queues after some...
2023-11-20 Martin QuinsonDon't use export_values() in pybind11 enums, as it...
2023-11-20 Martin QuinsonMerge branch 'task-docs' into 'master'
2023-11-20 Martin QuinsonFix a bug in concurrent modif of a collection that...
2023-11-19 Martin QuinsonPlug a memleak
2023-11-19 Martin QuinsonAdd what's missing to obey the deprecation warning...
2023-11-19 Fred Suteradd specifying handling of timeout for MessImpl (none...
2023-11-17 Augustin Degommeimplement mpi_isendrecv and mpi_isendrecv_replace
2023-11-16 Augustin Degommesmpi: fix issue with message IDs. In case of persistent...
2023-11-16 Martin QuinsonDeprecate the bindings of a deprecated function
2023-11-15 Martin QuinsonGive a way to add binaries to the list that shouldn...
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 QuinsonMerge branch 'battery-get-name' into 'master'
2023-11-15 Adrien Gougeonadd get_name for batteries. update dag_from_json to...
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-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 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-12 Martin QuinsonImplement pthread_cond in sthread -- too bad it's TODO...
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 QuinsonSmall typos in comments
2023-11-12 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-11-10 mlaurentAdd debug info for reversible race construction
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 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 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 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 QuinsonActions executed by the same actor are always dependent...
2023-11-06 Martin QuinsonODPOR: more verbose message on assertion failure
2023-11-05 Martin QuinsonAnother attempt to fix the printf issue on mac: don...
2023-11-05 Martin QuinsonThere is too much boost include to protect, disable...
2023-11-05 Martin QuinsonAvoid casting errors in printf on MacOSX
2023-11-05 Martin QuinsonFix gcc builds
2023-11-05 Martin QuinsonTry to survive to undefined preprocessor symbols
2023-11-05 Martin Quinsonunify struct and class declarations
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive...
2023-11-05 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-11-04 Augustin Degommeadd some new MPI4 unsupported partitioned communication...
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins
2023-11-03 Martin QuinsonFix an ODR reported by ASan
2023-11-02 Adrien Gougeonimprove chiller example. remove on_power_change signal...
2023-11-02 Martin QuinsonFix MC builds
2023-11-02 Martin QuinsonFix various build errors
2023-11-02 Martin QuinsonDo not use MC_process_clock_add() for now, as it makes...
2023-11-02 Martin QuinsonMC: more debug messages
2023-11-02 Martin QuinsonActions executed by the same actor are always dependent
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls
2023-11-02 Martin QuinsonMC: display the 100 first transitions when we reach...
2023-10-30 Fred Suterno need to cast with ActivitySet
2023-10-30 Martin QuinsonMerge branch 'mq' into 'master'
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ...
2023-10-29 Martin QuinsonChange the way we're inserting elements in this map
2023-10-29 Martin QuinsonFix build with ns3 v3.36+
2023-10-27 Martin QuinsonHack to make liveness work on Debian testing
2023-10-27 Fred Suterbug fix in programmatic declaration of routes with...
2023-10-27 Fred SuterMerge branch 'master' into mq
next