Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
simgrid.git
2022-09-28 Lucas NesiEnsure a fPIC in case CMDARGS has a fPIE commit | commitdiff | tree | snapshot
2022-09-21 Arnaud GierschLambdas should not have too many lines (sonar). commit | commitdiff | tree | snapshot
2022-09-21 Arnaud GierschKill obsolete FIXME. commit | commitdiff | tree | snapshot
2022-09-16 Arnaud GierschInitialize all members (PVS V730). commit | commitdiff | tree | snapshot
2022-09-16 Arnaud GierschUseless assignment (PVS V1048). commit | commitdiff | tree | snapshot
2022-09-16 Arnaud GierschAlso check result for last call of MPI_Alltoallv in... commit | commitdiff | tree | snapshot
2022-09-16 Arnaud GierschFix potential use of invalid data (PVS V1024). commit | commitdiff | tree | snapshot
2022-09-16 Arnaud GierschUse existing function. commit | commitdiff | tree | snapshot
2022-09-16 Arnaud GierschUse existing macros (and fix error code). commit | commitdiff | tree | snapshot
2022-09-16 Augustin Degommethis was not supposed to be modified, actually commit | commitdiff | tree | snapshot
2022-09-15 Arnaud GierschDelete unused file. commit | commitdiff | tree | snapshot
2022-09-15 adegommefat tree routing: fix d-mod-k usage of cables when... commit | commitdiff | tree | snapshot
2022-09-09 Arnaud GierschCompletely remove detached comms when they are finished. commit | commitdiff | tree | snapshot
2022-09-09 Arnaud GierschAuto for sonar. commit | commitdiff | tree | snapshot
2022-09-08 Martin QuinsonCentOS uses dnf nowadays commit | commitdiff | tree | snapshot
2022-09-06 Arnaud GierschFix double-free. commit | commitdiff | tree | snapshot
2022-09-04 Arnaud GierschIgnore ASan odr violation warnings seen with bmf unit... commit | commitdiff | tree | snapshot
2022-09-02 Arnaud GierschRevert change erroneously introduced in commit 223f79c1... commit | commitdiff | tree | snapshot
2022-09-02 Arnaud GierschDo not mangle recorded paths when building for coverage. commit | commitdiff | tree | snapshot
2022-08-31 Arnaud GierschUse std::string_view (sonar). commit | commitdiff | tree | snapshot
2022-08-31 Arnaud GierschReduce scope for global variables. commit | commitdiff | tree | snapshot
2022-08-29 Arnaud GierschIncrease test timeout for coverage too. commit | commitdiff | tree | snapshot
2022-08-29 Arnaud GierschTry gcovr with option --gcov-ignore-parse-errors. commit | commitdiff | tree | snapshot
2022-08-29 Arnaud GierschUse the init-statement to declare variables inside... commit | commitdiff | tree | snapshot
2022-08-29 Augustin DegommeMerge branch 'adegomme-master-patch-45262' into 'master' commit | commitdiff | tree | snapshot
2022-08-29 Augustin Degommelet's see if this finds more coverage reports commit | commitdiff | tree | snapshot
2022-08-27 Arnaud GierschGuard against invalid idx. commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschType consistency. commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschAttribute "printf" for ModelChecker::dot_output. commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschDon't throw an exception from destructor. commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschC++17 is required since commit d5718258083be61d600e55b7... commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschReduce depth of nested statements commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschDon't give write permissions to others with mkdir. commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschUse "std::vector" instead of C-style array (sonar). commit | commitdiff | tree | snapshot
2022-08-26 Arnaud GierschAvoid to send/receive zero-size messages. commit | commitdiff | tree | snapshot
2022-08-25 Arnaud GierschUpdate tesh file. commit | commitdiff | tree | snapshot
2022-08-25 Arnaud GierschMisc cosmetics for sonar. commit | commitdiff | tree | snapshot
2022-08-25 Arnaud GierschRemove temporary object (sonar). commit | commitdiff | tree | snapshot
2022-08-25 Arnaud GierschDeclare functions "const" (sonar). commit | commitdiff | tree | snapshot
2022-08-25 Arnaud GierschMake parameters pointer/reference-to-const (sonar). commit | commitdiff | tree | snapshot
2022-08-22 Arnaud GierschKill redundant blank lines (codefactor.io) commit | commitdiff | tree | snapshot
2022-08-10 Augustin Degomme[ci-skip] try to help gcovr find files (it needs to... commit | commitdiff | tree | snapshot
2022-08-09 Martin QuinsonMC: apply some sonar advices commit | commitdiff | tree | snapshot
2022-08-09 Arnaud GierschFix the fixme (inline templated struct). commit | commitdiff | tree | snapshot
2022-08-09 Arnaud GierschUnused include. commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeremove spurious debug message and warning commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeupdate teshes commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommemultiple attemps to tune behavior of read/write_all commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommefix mpi_file set/get view to set shared pointer properl... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeupdate file pointer to match shared one after shared... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeseek and other calls must use number of elements and... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeupdate teshes as there are now more seek calls commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommesmpi io: restore position after calls which should... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommes4u filesystem: correctly update size of files when... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeintercept getpid call in SMPI, to provide internal... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommeimplement MPI_File_get_type_extent, MPI_File_s/get_atom... commit | commitdiff | tree | snapshot
2022-08-09 Augustin Degommefilesystem, correctly update file size when seeking... commit | commitdiff | tree | snapshot
2022-08-08 Martin QuinsonDon't test statequality: it's ~15h w/o DPOR and hard... commit | commitdiff | tree | snapshot
2022-08-08 Martin QuinsonCorrectly disable DPOR when StateEq reduction is enabled commit | commitdiff | tree | snapshot
2022-08-08 Martin QuinsonAdd the teshfiles to the archive even when MC is disabled commit | commitdiff | tree | snapshot
2022-08-08 Martin QuinsonAdd tests of state equality reduction and nodpor for... commit | commitdiff | tree | snapshot
2022-08-07 Martin Quinsonkill a parameter that is always true commit | commitdiff | tree | snapshot
2022-08-07 Martin Quinsonmc:DFSExplo: cosmetics in the backtracking commit | commitdiff | tree | snapshot
2022-08-07 Martin QuinsonMerge mc_safety.hpp into DFSExplorer class commit | commitdiff | tree | snapshot
2022-08-07 Martin QuinsonUseless cosmetics while trying to understand that code commit | commitdiff | tree | snapshot
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object commit | commitdiff | tree | snapshot
2022-08-07 Martin QuinsonSmall cleanups in mc::Snapshot commit | commitdiff | tree | snapshot
2022-08-06 Martin QuinsonFinish the removal of mc::api by moving the last bits... commit | commitdiff | tree | snapshot
2022-08-06 Martin QuinsonMove mc:api::get_remote_heap_bytes() to RemoteProcess commit | commitdiff | tree | snapshot
2022-08-06 Martin QuinsonConvert simgrid::mc::snapshot_equal() into Snapshot... commit | commitdiff | tree | snapshot
2022-08-06 Martin QuinsonMove the dot_output global into ModelChecker commit | commitdiff | tree | snapshot
2022-08-06 Martin QuinsonMake the RemoteApp a field of the Exploration, and... commit | commitdiff | tree | snapshot
2022-08-05 Martin QuinsonSimplify the MC initialization code commit | commitdiff | tree | snapshot
2022-08-04 Martin Quinsononly 3 more functions to go in mc::api commit | commitdiff | tree | snapshot
2022-08-04 Martin QuinsonKill another mc::api function commit | commitdiff | tree | snapshot
2022-08-04 Martin QuinsonPass the remote app as a parameter to all exploration... commit | commitdiff | tree | snapshot
2022-08-04 Martin QuinsonKill 2 more functions from mc::api commit | commitdiff | tree | snapshot
2022-08-03 Martin QuinsonMove the automaton from mc::api to Liveness. An ugly... commit | commitdiff | tree | snapshot
2022-08-02 Martin Quinsonlog_state has nothing to do in RemoteApp, it belongs... commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonSanitize MC finalization process and inline a function commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonKill mc::api::get_remote_app() commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonKill another function of mc::api commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonKill an unimplemented declaration commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonConvert Api::get_maxpid() into RemoteApp::get_maxpid() commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonMerge an initialization function into the constructor commit | commitdiff | tree | snapshot
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp commit | commitdiff | tree | snapshot
2022-08-02 Augustin Degomme[ci-skip] activate ccache on sanitizer builds commit | commitdiff | tree | snapshot
2022-08-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid commit | commitdiff | tree | snapshot
2022-08-01 Martin QuinsonEnsure that the verified application still works if... commit | commitdiff | tree | snapshot
2022-08-01 Augustin Degomme[ci-skip] Flags - let's see if this trailing whitespace... commit | commitdiff | tree | snapshot
2022-08-01 Augustin Degomme[ci-skip] use ccache on flags build as well. commit | commitdiff | tree | snapshot
2022-07-31 Martin QuinsonKill a now useless variable commit | commitdiff | tree | snapshot
2022-07-31 Martin Quinsonsanitize things around FINALIZE_REPLY despite my lazine... commit | commitdiff | tree | snapshot
2022-07-31 Martin QuinsonFix SMPI builds by reintroducing a killed MC function... commit | commitdiff | tree | snapshot
2022-07-30 Martin QuinsonMC further cleanups (let it compile, this time) commit | commitdiff | tree | snapshot
2022-07-30 Martin QuinsonMC: rename a file to sort out the mess commit | commitdiff | tree | snapshot
2022-07-30 Martin QuinsonAnd now cleanup the App-side of cruft that was needed... commit | commitdiff | tree | snapshot
2022-07-30 Martin QuinsonFinally kill mc::RemoteProcess::actors(). We now commun... commit | commitdiff | tree | snapshot
2022-07-30 Martin QuinsonGive read access to a private field commit | commitdiff | tree | snapshot
2022-07-30 Martin Quinsoninline a function, kill a file commit | commitdiff | tree | snapshot
next
Clone of SimGrid repository with local patches