Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Kill remaining traces of win32 support.
[simgrid.git] / src / mc /
2023-01-10 Martin QuinsonStop trying to build on native WIN32, it's broken anyway tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-12-16 Arnaud GierschUse std::byte for bye-oriented data manipulation (sonar). tree | commitdiff
2022-12-07 Arnaud GierschKill unimplemented declarations. tree | commitdiff
2022-11-21 Arnaud GierschAddress misc Sonar issues. tree | commitdiff
2022-11-08 Arnaud GierschRemove explicit conversion to std::string when it's... tree | commitdiff
2022-11-07 Arnaud GierschUse boolean value. tree | commitdiff
2022-11-06 Martin Quinsonsetter function only need a simcall in MC or with paral... tree | commitdiff
2022-11-05 Martin QuinsonAllow the MC replay to use the 'zero' buffering tree | commitdiff
2022-11-04 Martin QuinsonReduce the amount of header files loading xbt/string.hpp tree | commitdiff
2022-11-04 Martin QuinsonKill the now useless type xbt::string tree | commitdiff
2022-11-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-11-01 Martin QuinsonMC: display the status of all actors in case of deadlock tree | commitdiff
2022-11-01 Martin QuinsonMC: tell the user about how to use the replay path... tree | commitdiff
2022-11-01 Martin QuinsonDisplay the stack of each actor during a MC replay... tree | commitdiff
2022-11-01 Fred SuterMerge branch 'fluidio' into 'master' tree | commitdiff
2022-10-31 Martin QuinsonMC replay: check whether there is a deadlock after... tree | commitdiff
2022-10-31 Martin QuinsonAlign the behavior of MC and MC_replay in SMPI, so... tree | commitdiff
2022-10-31 Martin QuinsonBe more verbose on the blocking transition when display... tree | commitdiff
2022-10-30 Martin QuinsonMC_replay: Ensure that times_considered is always set tree | commitdiff
2022-10-27 Arnaud GierschFix infinite recursion. tree | commitdiff
2022-10-27 Arnaud GierschUse true/false for boolean variable (Sonar). tree | commitdiff
2022-10-21 Martin Quinsonfix the parameter of a strncpy call tree | commitdiff
2022-10-17 Martin QuinsonFix non-MC builds that don't have libevent-dev installed tree | commitdiff
2022-10-16 Martin QuinsonKill redundent sanity checks tree | commitdiff
2022-10-16 Martin QuinsonDon't include simgrid/config.h from simgrid/modelchecke... tree | commitdiff
2022-10-16 Martin QuinsonRename the transitions so that asynchronous ones clearl... tree | commitdiff
2022-10-16 Martin QuinsonImplement pthread_join in MC mode for sthread tree | commitdiff
2022-10-14 Arnaud GierschRestore the previous observable behavior. tree | commitdiff
2022-10-14 Arnaud GierschFix crash with debug logs. tree | commitdiff
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master' tree | commitdiff
2022-10-03 Martin QuinsonFix an error message tree | commitdiff
2022-10-02 Martin QuinsonMore helpful error message when someone needs --cfg... tree | commitdiff
2022-09-21 Arnaud GierschKill obsolete FIXME. 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 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-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
2022-07-30 Martin QuinsonWell the last rogue call to RemoteProcess::actors(... tree | commitdiff
2022-07-30 Augustin Degommetry to hide something under the rug for now tree | commitdiff
2022-07-30 Augustin Degommeremove useless field tree | commitdiff
2022-07-30 Martin QuinsonLiveness: rename graph_state -> app_state and automaton... tree | commitdiff
2022-07-30 Martin Quinsonfurther reduce the amount of call sites for RemoteProce... tree | commitdiff
2022-07-30 Martin Quinsonsmall cosmetics to not spread unrelated logic all aroun... tree | commitdiff
2022-07-30 Martin QuinsonMC: make it clear that we only have the info about... tree | commitdiff
2022-07-30 Martin QuinsonReduce the amount of MC locations reading the memory... tree | commitdiff
2022-07-22 Martin QuinsonAnother attempt at PRELOADing mmalloc (WIP) tree | commitdiff
2022-07-22 Augustin DegommeMerge branch 'support-sendrecv-ti' into 'master' tree | commitdiff
2022-07-21 Martin QuinsonSplit mmalloc in a separate library tree | commitdiff
2022-07-21 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-07-21 Martin QuinsonSeparate mmalloc from xbt tree | commitdiff
2022-07-21 Martin QuinsonKill a function that is unused and unimplemented tree | commitdiff
2022-07-13 Martin Quinsonmc::api: Inline a useless function tree | commitdiff
2022-07-11 Arnaud GierschFor sonar... tree | commitdiff
2022-07-11 Martin QuinsonThe variable is named LD_BIND_NOW so these lines were... tree | commitdiff
next
Clone of SimGrid repository with local patches