Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2023-02-26 Augustin Degomme[ci skip] add lstdc++ to bigdft flags as well
2023-02-26 Augustin Degommebigdft - attempt at fixing build error with new C+...
2023-02-26 Martin QuinsonAllow to control the problem size from the cmd line...
2023-02-26 Martin QuinsonRevalidate a tesh file (result of a merge error)
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 Martin QuinsonRevert "Include the output of this test in the tesh...
2023-02-24 Martin QuinsonBummer :(
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 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 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 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)."
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...
next