Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill remaining traces of win32 support.
[simgrid.git] / src /
2022-10-21 Martin Quinsonfix the parameter of a strncpy call
2022-10-17 Martin QuinsonFix non-MC builds that don't have libevent-dev installed
2022-10-16 Martin QuinsonKill redundent sanity checks
2022-10-16 Martin QuinsonDon't include simgrid/config.h from simgrid/modelchecke...
2022-10-16 Martin QuinsonDeal with PTHREAD_STATIC_INITIALIZER if it behave as...
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl...
2022-10-16 Martin QuinsonImplement pthread_join in MC mode for sthread
2022-10-14 Arnaud GierschRestore the previous observable behavior.
2022-10-14 Arnaud GierschFix crash with debug logs.
2022-10-13 Arnaud GierschCosmetics.
2022-10-12 Arnaud GierschRemove redundant guard.
2022-10-11 Arnaud GierschActor::create already does init->start.
2022-10-11 Arnaud GierschFix dead store (fbinfer).
2022-10-10 Martin QuinsonOnly add a barrier to 8 collectives. The other ones...
2022-10-10 Martin QuinsonNew option to detect dangerous code mixing collectives...
2022-10-07 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-10-07 Clément Courageux... removed unused variable
2022-10-07 Arnaud GierschMisc sonar and codefactor.io issues.
2022-10-06 Augustin DegommeMerge branch 'adegomme-master-patch-91657' into 'master'
2022-10-06 Augustin DegommeSMPI: add option to inject a barrier before every colle...
2022-10-06 Martin QuinsonIntegrate the patch javadoc-openjdk17 from Debian
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-10-06 Clément Courageux... syntax issues
2022-10-06 Arnaud GierschDo not expose Activity::set_remaining publicly.
2022-10-04 Arnaud GierschCoding style: prefer keyword "not" to "!".
2022-10-04 Arnaud GierschRemove deprecated features for next release (3.33).
2022-10-03 Augustin DegommeDon't crash simulation if size is 0 in sendrecv_replace...
2022-10-03 Martin QuinsonFix an error message
2022-10-03 Augustin DegommeMPI_Win: set to MPI_WIN_NULL after deletion to avoid...
2022-10-02 Martin QuinsonMore helpful error message when someone needs --cfg...
2022-09-29 Arnaud GierschUse std::fill instead of memset.
2022-09-29 Arnaud GierschUseless cast.
2022-09-29 Arnaud GierschReduce code duplication.
2022-09-29 Arnaud GierschCosmetics: parameter is obviously not empty.
2022-09-28 Lucas NesiRemove old fPIC placement
2022-09-28 Lucas NesiEnsure a fPIC in case CMDARGS has a fPIE
2022-09-21 Arnaud GierschLambdas should not have too many lines (sonar).
2022-09-21 Arnaud GierschKill obsolete FIXME.
2022-09-16 Arnaud GierschInitialize all members (PVS V730).
2022-09-16 Arnaud GierschUseless assignment (PVS V1048).
2022-09-16 Arnaud GierschFix potential use of invalid data (PVS V1024).
2022-09-16 Arnaud GierschUse existing function.
2022-09-16 Arnaud GierschUse existing macros (and fix error code).
2022-09-16 Augustin Degommethis was not supposed to be modified, actually
2022-09-15 adegommefat tree routing: fix d-mod-k usage of cables when...
2022-09-09 Arnaud GierschCompletely remove detached comms when they are finished.
2022-09-09 Arnaud GierschAuto for sonar.
2022-09-06 Arnaud GierschFix double-free.
2022-08-31 Arnaud GierschUse std::string_view (sonar).
2022-08-31 Arnaud GierschReduce scope for global variables.
2022-08-29 Arnaud GierschUse the init-statement to declare variables inside...
2022-08-27 Arnaud GierschGuard against invalid idx.
2022-08-26 Arnaud GierschType consistency.
2022-08-26 Arnaud GierschAttribute "printf" for ModelChecker::dot_output.
2022-08-26 Arnaud GierschDon't throw an exception from destructor.
2022-08-26 Arnaud GierschReduce depth of nested statements
2022-08-26 Arnaud GierschDon't give write permissions to others with mkdir.
2022-08-26 Arnaud GierschUse "std::vector" instead of C-style array (sonar).
2022-08-26 Arnaud GierschAvoid to send/receive zero-size messages.
2022-08-25 Arnaud GierschMisc cosmetics for sonar.
2022-08-25 Arnaud GierschRemove temporary object (sonar).
2022-08-25 Arnaud GierschDeclare functions "const" (sonar).
2022-08-25 Arnaud GierschMake parameters pointer/reference-to-const (sonar).
2022-08-22 Arnaud GierschKill redundant blank lines (codefactor.io)
2022-08-09 Martin QuinsonMC: apply some sonar advices
2022-08-09 Arnaud GierschFix the fixme (inline templated struct).
2022-08-09 Arnaud GierschUnused include.
2022-08-09 Augustin Degommeremove spurious debug message and warning
2022-08-09 Augustin Degommemultiple attemps to tune behavior of read/write_all
2022-08-09 Augustin Degommefix mpi_file set/get view to set shared pointer properl...
2022-08-09 Augustin Degommeupdate file pointer to match shared one after shared...
2022-08-09 Augustin Degommeseek and other calls must use number of elements and...
2022-08-09 Augustin Degommesmpi io: restore position after calls which should...
2022-08-09 Augustin Degommes4u filesystem: correctly update size of files when...
2022-08-09 Augustin Degommeintercept getpid call in SMPI, to provide internal...
2022-08-09 Augustin Degommeimplement MPI_File_get_type_extent, MPI_File_s/get_atom...
2022-08-09 Augustin Degommefilesystem, correctly update file size when seeking...
2022-08-08 Martin QuinsonDon't test statequality: it's ~15h w/o DPOR and hard...
2022-08-08 Martin QuinsonCorrectly disable DPOR when StateEq reduction is enabled
2022-08-07 Martin Quinsonkill a parameter that is always true
2022-08-07 Martin Quinsonmc:DFSExplo: cosmetics in the backtracking
2022-08-07 Martin QuinsonMerge mc_safety.hpp into DFSExplorer class
2022-08-07 Martin QuinsonUseless cosmetics while trying to understand that code
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object
2022-08-07 Martin QuinsonSmall cleanups in mc::Snapshot
2022-08-06 Martin QuinsonFinish the removal of mc::api by moving the last bits...
2022-08-06 Martin QuinsonMove mc:api::get_remote_heap_bytes() to RemoteProcess
2022-08-06 Martin QuinsonConvert simgrid::mc::snapshot_equal() into Snapshot...
2022-08-06 Martin QuinsonMove the dot_output global into ModelChecker
2022-08-06 Martin QuinsonMake the RemoteApp a field of the Exploration, and...
2022-08-05 Martin QuinsonSimplify the MC initialization code
2022-08-04 Martin Quinsononly 3 more functions to go in mc::api
2022-08-04 Martin QuinsonKill another mc::api function
2022-08-04 Martin QuinsonPass the remote app as a parameter to all exploration...
2022-08-04 Martin QuinsonKill 2 more functions from mc::api
2022-08-03 Martin QuinsonMove the automaton from mc::api to Liveness. An ugly...
2022-08-02 Martin Quinsonlog_state has nothing to do in RemoteApp, it belongs...
2022-08-02 Martin QuinsonSanitize MC finalization process and inline a function
2022-08-02 Martin QuinsonKill mc::api::get_remote_app()
2022-08-02 Martin QuinsonKill another function of mc::api
next