Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
MBI: re-mark as WILL_FAIL some tests that require to intercept memory accesses
[simgrid.git] / src /
2022-10-07 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-10-07 Clément Courageux... removed unused variable tree | commitdiff
2022-10-07 Arnaud GierschMisc sonar and codefactor.io issues. tree | commitdiff
2022-10-06 Augustin DegommeMerge branch 'adegomme-master-patch-91657' into 'master' tree | commitdiff
2022-10-06 Augustin DegommeSMPI: add option to inject a barrier before every colle... tree | commitdiff
2022-10-06 Martin QuinsonIntegrate the patch javadoc-openjdk17 from Debian tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-10-06 Clément Courageux... syntax issues tree | commitdiff
2022-10-06 Arnaud GierschDo not expose Activity::set_remaining publicly. tree | commitdiff
2022-10-04 Arnaud GierschCoding style: prefer keyword "not" to "!". tree | commitdiff
2022-10-04 Arnaud GierschRemove deprecated features for next release (3.33). tree | commitdiff
2022-10-03 Augustin DegommeDon't crash simulation if size is 0 in sendrecv_replace... tree | commitdiff
2022-10-03 Martin QuinsonFix an error message tree | commitdiff
2022-10-03 Augustin DegommeMPI_Win: set to MPI_WIN_NULL after deletion to avoid... tree | commitdiff
2022-10-02 Martin QuinsonMore helpful error message when someone needs --cfg... tree | commitdiff
2022-09-29 Arnaud GierschUse std::fill instead of memset. tree | commitdiff
2022-09-29 Arnaud GierschUseless cast. tree | commitdiff
2022-09-29 Arnaud GierschReduce code duplication. tree | commitdiff
2022-09-29 Arnaud GierschCosmetics: parameter is obviously not empty. tree | commitdiff
2022-09-28 Lucas NesiRemove old fPIC placement tree | commitdiff
2022-09-28 Lucas NesiEnsure a fPIC in case CMDARGS has a fPIE tree | commitdiff
2022-09-21 Arnaud GierschLambdas should not have too many lines (sonar). tree | commitdiff
2022-09-21 Arnaud GierschKill obsolete FIXME. tree | commitdiff
2022-09-16 Arnaud GierschInitialize all members (PVS V730). tree | commitdiff
2022-09-16 Arnaud GierschUseless assignment (PVS V1048). tree | commitdiff
2022-09-16 Arnaud GierschFix potential use of invalid data (PVS V1024). tree | commitdiff
2022-09-16 Arnaud GierschUse existing function. tree | commitdiff
2022-09-16 Arnaud GierschUse existing macros (and fix error code). tree | commitdiff
2022-09-16 Augustin Degommethis was not supposed to be modified, actually tree | commitdiff
2022-09-15 adegommefat tree routing: fix d-mod-k usage of cables when... tree | commitdiff
2022-09-09 Arnaud GierschCompletely remove detached comms when they are finished. tree | commitdiff
2022-09-09 Arnaud GierschAuto for sonar. tree | commitdiff
2022-09-06 Arnaud GierschFix double-free. tree | commitdiff
2022-08-31 Arnaud GierschUse std::string_view (sonar). tree | commitdiff
2022-08-31 Arnaud GierschReduce scope for global variables. tree | commitdiff
2022-08-29 Arnaud GierschUse the init-statement to declare variables inside... tree | commitdiff
2022-08-27 Arnaud GierschGuard against invalid idx. tree | commitdiff
2022-08-26 Arnaud GierschType consistency. tree | commitdiff
2022-08-26 Arnaud GierschAttribute "printf" for ModelChecker::dot_output. tree | commitdiff
2022-08-26 Arnaud GierschDon't throw an exception from destructor. tree | commitdiff
2022-08-26 Arnaud GierschReduce depth of nested statements tree | commitdiff
2022-08-26 Arnaud GierschDon't give write permissions to others with mkdir. tree | commitdiff
2022-08-26 Arnaud GierschUse "std::vector" instead of C-style array (sonar). tree | commitdiff
2022-08-26 Arnaud GierschAvoid to send/receive zero-size messages. tree | commitdiff
2022-08-25 Arnaud GierschMisc cosmetics for sonar. tree | commitdiff
2022-08-25 Arnaud GierschRemove temporary object (sonar). tree | commitdiff
2022-08-25 Arnaud GierschDeclare functions "const" (sonar). tree | commitdiff
2022-08-25 Arnaud GierschMake parameters pointer/reference-to-const (sonar). tree | commitdiff
2022-08-22 Arnaud GierschKill redundant blank lines (codefactor.io) tree | commitdiff
2022-08-09 Martin QuinsonMC: apply some sonar advices tree | commitdiff
2022-08-09 Arnaud GierschFix the fixme (inline templated struct). tree | commitdiff
2022-08-09 Arnaud GierschUnused include. tree | commitdiff
2022-08-09 Augustin Degommeremove spurious debug message and warning tree | commitdiff
2022-08-09 Augustin Degommemultiple attemps to tune behavior of read/write_all tree | commitdiff
2022-08-09 Augustin Degommefix mpi_file set/get view to set shared pointer properl... tree | commitdiff
2022-08-09 Augustin Degommeupdate file pointer to match shared one after shared... tree | commitdiff
2022-08-09 Augustin Degommeseek and other calls must use number of elements and... tree | commitdiff
2022-08-09 Augustin Degommesmpi io: restore position after calls which should... tree | commitdiff
2022-08-09 Augustin Degommes4u filesystem: correctly update size of files when... tree | commitdiff
2022-08-09 Augustin Degommeintercept getpid call in SMPI, to provide internal... tree | commitdiff
2022-08-09 Augustin Degommeimplement MPI_File_get_type_extent, MPI_File_s/get_atom... tree | commitdiff
2022-08-09 Augustin Degommefilesystem, correctly update file size when seeking... tree | commitdiff
2022-08-08 Martin QuinsonDon't test statequality: it's ~15h w/o DPOR and hard... tree | commitdiff
2022-08-08 Martin QuinsonCorrectly disable DPOR when StateEq reduction is enabled tree | commitdiff
2022-08-07 Martin Quinsonkill a parameter that is always true tree | commitdiff
2022-08-07 Martin Quinsonmc:DFSExplo: cosmetics in the backtracking tree | commitdiff
2022-08-07 Martin QuinsonMerge mc_safety.hpp into DFSExplorer class tree | commitdiff
2022-08-07 Martin QuinsonUseless cosmetics while trying to understand that code tree | commitdiff
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object tree | commitdiff
2022-08-07 Martin QuinsonSmall cleanups in mc::Snapshot tree | commitdiff
2022-08-06 Martin QuinsonFinish the removal of mc::api by moving the last bits... tree | commitdiff
2022-08-06 Martin QuinsonMove mc:api::get_remote_heap_bytes() to RemoteProcess tree | commitdiff
2022-08-06 Martin QuinsonConvert simgrid::mc::snapshot_equal() into Snapshot... tree | commitdiff
2022-08-06 Martin QuinsonMove the dot_output global into ModelChecker tree | commitdiff
2022-08-06 Martin QuinsonMake the RemoteApp a field of the Exploration, and... tree | commitdiff
2022-08-05 Martin QuinsonSimplify the MC initialization code tree | commitdiff
2022-08-04 Martin Quinsononly 3 more functions to go in mc::api tree | commitdiff
2022-08-04 Martin QuinsonKill another mc::api function tree | commitdiff
2022-08-04 Martin QuinsonPass the remote app as a parameter to all exploration... tree | commitdiff
2022-08-04 Martin QuinsonKill 2 more functions from mc::api tree | commitdiff
2022-08-03 Martin QuinsonMove the automaton from mc::api to Liveness. An ugly... tree | commitdiff
2022-08-02 Martin Quinsonlog_state has nothing to do in RemoteApp, it belongs... tree | commitdiff
2022-08-02 Martin QuinsonSanitize MC finalization process and inline a function tree | commitdiff
2022-08-02 Martin QuinsonKill mc::api::get_remote_app() tree | commitdiff
2022-08-02 Martin QuinsonKill another function of mc::api tree | commitdiff
2022-08-02 Martin QuinsonKill an unimplemented declaration tree | commitdiff
2022-08-02 Martin QuinsonConvert Api::get_maxpid() into RemoteApp::get_maxpid() tree | commitdiff
2022-08-02 Martin QuinsonMerge an initialization function into the constructor tree | commitdiff
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp tree | commitdiff
2022-08-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-08-01 Martin QuinsonEnsure that the verified application still works if... tree | commitdiff
2022-07-31 Martin QuinsonKill a now useless variable tree | commitdiff
2022-07-31 Martin Quinsonsanitize things around FINALIZE_REPLY despite my lazine... tree | commitdiff
2022-07-31 Martin QuinsonFix SMPI builds by reintroducing a killed MC function... tree | commitdiff
2022-07-30 Martin QuinsonMC further cleanups (let it compile, this time) tree | commitdiff
2022-07-30 Martin QuinsonMC: rename a file to sort out the mess tree | commitdiff
2022-07-30 Martin QuinsonAnd now cleanup the App-side of cruft that was needed... tree | commitdiff
2022-07-30 Martin QuinsonFinally kill mc::RemoteProcess::actors(). We now commun... tree | commitdiff
2022-07-30 Martin QuinsonGive read access to a private field tree | commitdiff
2022-07-30 Martin Quinsoninline a function, kill a file tree | commitdiff
next
Clone of SimGrid repository with local patches