Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2023-02-24 Arnaud GierschClear timeout detectors on finish().
2023-02-24 Arnaud GierschFill cmdline_ for each instance of EngimeImpl.
2023-02-24 Arnaud GierschUpdate sonar-project.properties [ci-skip]
2023-02-24 Martin QuinsonTwo more random hints to contributors (and reindent...
2023-02-24 Martin QuinsonAdd some Noteworthy tests to the Contributor's doc
2023-02-24 Martin QuinsonWhen the chaos monkey is invoked with nothing to do...
2023-02-24 Martin QuinsonInclude the output of this test in the tesh file, becau...
2023-02-24 Martin QuinsonAllow to specify the parameters on the command line...
2023-02-24 Martin QuinsonMerge branch 'udpor-phase2' into 'master'
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 QuinsonDocument more changes, and update the Release Notes
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 QuinsonRevert "Get ready for more versions of ns3"
2023-02-23 Martin QuinsonSanitize the handling of timeouts in CommImpl, ExecImpl...
2023-02-23 Arnaud GierschFix distcheck.
2023-02-23 Martin QuinsonPrefer ActivityImpl::post() to ::finish() that should die
2023-02-23 Martin QuinsonGet ready for more versions of ns3
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 GierschUseless casts to (void*).
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 normal strings instead of f-strings (Sonar).
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 Martin QuinsonPartially revert 2ad536e710c5936ff8e525e4bbb5e7046f292a...
2023-02-22 Martin QuinsonImplement the semaphore functions in sthread
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 Arnaud GierschRevert "Upgrade embedded xxhash (-> v0.8.1)."
2023-02-20 Arnaud GierschMerge branch 'fix-probe' into 'master'
2023-02-20 Maxwell PirtleSend actor action probes one at a time
2023-02-19 Martin QuinsonRemove more occurences of 'surf' with uppercases
2023-02-19 Martin QuinsonDocument that surf is gone
2023-02-19 Arnaud GierschUpgrade embedded xxhash (-> v0.8.1).
2023-02-19 Arnaud GierschUpgrade embedded catch2 (-> v2.13.10).
2023-02-19 Martin QuinsonFinally kill surf_interface.hpp watched_host was actual...
2023-02-19 Martin Quinsonrename another file with had 'surf' in its name
2023-02-19 Martin QuinsonKill a file with 'surf' in its name, and further empty...
2023-02-19 Martin QuinsonRework a comment (to remove 'surf')
2023-02-19 Arnaud GierschRework compile optimizations for MC.
2023-02-19 Arnaud GierschMissing includes.
2023-02-19 Arnaud GierschMove -Wno-unused-local-typedefs to common flags.
2023-02-18 Martin Quinsonkill src/simix
2023-02-18 Martin QuinsonMove the non-deprecated bits of simix to kernel::actor...
2023-02-18 Martin QuinsonKill src/include
2023-02-18 Martin Quinsonreduce the amount of header includes in headers, to...
2023-02-18 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-02-18 Martin QuinsonRemove an obsolete cmake warning
2023-02-18 Martin QuinsonMove some content of surf_interface to a new math_utils.h
2023-02-18 Arnaud GierschUpdate path.
2023-02-18 Martin QuinsonMove the files related to the platform parsing to kerne...
2023-02-18 Martin Quinsonmove a symbol declaration out of surf_interface.hpp
2023-02-18 Martin QuinsonCMake requires ns3 v3.28+, so don't work around a bug...
2023-02-18 Martin QuinsonMove the ns3 helper files to kernel/models/ns3
2023-02-18 Martin QuinsonMove the surf tesh tests with the other models' ones
2023-02-18 Martin QuinsonRemove some more occurence of 'surf' in comments and...
next