Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Replace memset(..., 0, ...) with zero-initialization.
[simgrid.git] / src /
2023-03-02 Arnaud GierschReplace memset(..., 0, ...) with zero-initialization.
2023-03-02 Arnaud GierschZero-initialize messages (essentially their padding...
2023-03-02 Arnaud GierschHelp to identify null values.
2023-03-02 Arnaud GierschLookup only once in map.
2023-03-02 Arnaud GierschUseless assignments to local variable.
2023-03-01 Martin QuinsonNew function SMPI_app_instance_start() to easily start...
2023-03-01 Martin QuinsonTry to fix a fixme blindly, just in case it was easy
2023-02-28 Augustin DegommeMerge branch 'udpor-phase3' into 'master'
2023-02-28 Maxwell PirtleRemove CompatibilityGraph and friends
2023-02-28 Maxwell PirtleAdd tests for LazyKSubsets and LazyPowerset
2023-02-28 Maxwell PirtleAdd LazyPowerSet and LazyKSubsets
2023-02-28 Maxwell PirtleAdd more comments to subsets_iterator implementation
2023-02-28 Maxwell PirtleAdd powerset_iterator to simgrid::xbt
2023-02-28 Maxwell PirtleUse boost::iterator_facade for subsets_iterator
2023-02-27 Maxwell PirtleRemove subsets.cpp file
2023-02-27 Maxwell PirtleAdd "working" (but untested) implementation of iterativ...
2023-02-27 Maxwell PirtleAdd first "implementation" of k-subsets iterator
2023-02-27 Maxwell PirtleAdd iterator files to xbt/utils
2023-02-27 Maxwell PirtleFix most of the remaining code warnings
2023-02-27 Maxwell PirtleAdd default method for constructing full graph
2023-02-27 Maxwell PirtleAdd predicate filtering to compatibility graph comp
2023-02-27 Maxwell PirtleFix most cosmetics and code warnings
2023-02-27 Maxwell PirtleCreate a private struct to hold search data
2023-02-27 Maxwell PirtleAdd first go at compatibility graph construction
2023-02-27 Maxwell PirtleAdd first steps towards an implementation of ex(C)
2023-02-27 Maxwell PirtleAdd CompatibilityGraph and CompatibilityGraphNode
2023-02-26 Martin QuinsonUse bool for booleans
2023-02-26 Martin QuinsonKill a now useless field
2023-02-26 Martin QuinsonMerge branch 'master' into 'master'
2023-02-26 Martin QuinsonAlso detect the disk failures
2023-02-26 Martin QuinsonFurther simplify the way host failures are detected
2023-02-25 Martin QuinsonSimplify the way Execs detect host failures
2023-02-24 Arnaud GierschClear timeout detectors on finish().
2023-02-24 Arnaud GierschFill cmdline_ for each instance of EngimeImpl.
2023-02-24 Martin QuinsonWhen the chaos monkey is invoked with nothing to do...
2023-02-24 Martin QuinsonMerge branch 'udpor-phase2' into 'master'
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-24 mlaurentfix the done marking of multiple times taken transitions
2023-02-24 Maxwell PirtleAdd complicated topological sort test
2023-02-24 Maxwell PirtleAdd first unit tests for topological sorting
2023-02-24 Maxwell PirtleAdd topological sort of configuration events
2023-02-24 Martin QuinsonAdd a comment on why we need such a callback
2023-02-23 Martin QuinsonMerge ActivityImpl::post() and ::finish()
2023-02-23 Martin QuinsonDo not clean twice in Activity::post(), so that even...
2023-02-23 Fred Suteruniformization: call post that calls finish
2023-02-23 Martin QuinsonSanitize the handling of timeouts in CommImpl, ExecImpl...
2023-02-23 Martin QuinsonPrefer ActivityImpl::post() to ::finish() that should die
2023-02-23 Arnaud GierschComment out unused private fields (fix compilation...
2023-02-23 Arnaud GierschMerge branch 'simgrid-udpor-integration' into 'master'
2023-02-23 Arnaud GierschComment is not relevant anymore.
2023-02-23 Arnaud GierschUse type aid_t for an actor's PID.
2023-02-23 Arnaud GierschMore Sonar issues.
2023-02-23 Arnaud GierschUse C++17's std::scoped_lock where appropriate.
2023-02-23 Arnaud GierschDon't access variable ouside of the critical section.
2023-02-23 Arnaud GierschVarious cleanups.
2023-02-22 mlaurenttransitions in the same actor are dependent
2023-02-22 Martin QuinsonPartially revert 2ad536e710c5936ff8e525e4bbb5e7046f292a...
2023-02-22 Martin QuinsonImplement the semaphore functions in sthread
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-22 mlaurentfix a few test with dpor
2023-02-22 Maxwell PirtleAdd tests for adding events to configurations
2023-02-22 Maxwell PirtleAdd preliminary tests for Configuration
2023-02-22 Martin Quinsonprotect the dict initialization against multithreading
2023-02-22 Maxwell PirtleImplement adding events to configurations
2023-02-22 Maxwell PirtleAdd extensive tests for checking valid configurations
2023-02-21 Martin QuinsonCosmetics
2023-02-21 Martin Quinsonlogs: protect finalization against multiple calls
2023-02-21 Martin QuinsonLet the xbt_log module register its finalizer itself
2023-02-21 Maxwell PirtleAdd method to check if an EventSet is a config
2023-02-21 Martin QuinsonKill simgrid::xbt::cmdline and simgrid::xbt::binary_name
2023-02-21 Martin QuinsonSimplify the library initialization + deprecate 2 XBT...
2023-02-21 Martin QuinsonRemove a useless lib constructor (simpler is better)
2023-02-21 Martin QuinsonInitialize the dict module on need, w/o relying on...
2023-02-21 Maxwell PirtleAdd first batch of tests for History class
2023-02-21 Maxwell PirtleAdd first implementations of History class
2023-02-21 Maxwell PirtleIntroduce extrinsic equivalence between events
2023-02-21 Maxwell PirtleAdd tests for the Unfolding object
2023-02-21 Maxwell PirtleAdd set operator tests for EventSet
2023-02-20 Maxwell PirtleAdd tests for EventSet equality
2023-02-20 Maxwell PirtleAdd History object skeleton
2023-02-20 Maxwell PirtleRemove StateManager
2023-02-20 Maxwell PirtleAdd first batch of tests for UDPOR
2023-02-20 Maxwell Pirtle"Finalize" interface to UnfoldingEvent
2023-02-20 Maxwell PirtleAllow actor transitions to be shared
2023-02-20 Maxwell PirtleAdd Unfolding data structure
2023-02-20 Maxwell PirtleAdd implementations for EventSet + Configurations
2023-02-20 Maxwell PirtleAdd xbt_assert() for state handle overflow
2023-02-20 Maxwell PirtleUse std::unordered_set instead of std::set for EventSet
2023-02-20 Maxwell PirtleMove UDPOR constructs out of udpor_global.cpp
2023-02-20 Maxwell PirtleAdd `udpor` directory under `mc/explo`
2023-02-20 Maxwell PirtleRemove currently unused methods from udpor_globals
2023-02-20 Maxwell PirtleAdd minor clean ups
2023-02-20 Maxwell PirtleAdd implementation for state management
2023-02-20 Maxwell PirtleAdd incomplete implementations of udpor_globals.cpp
2023-02-20 Maxwell PirtleAdd `udpor` namespace
2023-02-20 Maxwell PirtleBegin porting implementation from tiny_simgrid
2023-02-20 Maxwell PirtleAdd methods between EventSet and Configuration
2023-02-20 Maxwell PirtleConvert EventSet into class from typedef
2023-02-20 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-02-20 Arnaud GierschRevert "Upgrade embedded xxhash (-> v0.8.1)."
next