2023-02-23 |
Arnaud Giersch | Merge branch 'simgrid-udpor-integration' into 'master' |
tree | commitdiff |
2023-02-23 |
Arnaud Giersch | Various cleanups. |
tree | commitdiff |
2023-02-20 |
Arnaud Giersch | Merge branch 'fix-probe' into 'master' |
tree | commitdiff |
2023-02-20 |
Maxwell Pirtle | Send actor action probes one at a time |
tree | commitdiff |
2023-02-19 |
Martin Quinson | Remove more occurences of 'surf' with uppercases |
tree | commitdiff |
2023-02-18 |
Martin Quinson | Kill src/include |
tree | commitdiff |
2023-02-18 |
Martin Quinson | reduce the amount of header includes in headers, to... |
tree | commitdiff |
2023-02-18 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2023-02-18 |
Arnaud Giersch | Various cleanups. |
tree | commitdiff |
2023-02-16 |
Martin Quinson | fix MC+gcc builds |
tree | commitdiff |
2023-02-15 |
Martin Quinson | Merge branch 'actor-comms' into 'master' |
tree | commitdiff |
2023-02-15 |
Maxwell Pirtle | Add note about resetting `times_considered` |
tree | commitdiff |
2023-02-13 |
Maxwell Pirtle | Finalize passing transitions during model checking |
tree | commitdiff |
2023-02-10 |
Maxwell Pirtle | Add intial steps to transfer transitions to the MC |
tree | commitdiff |
2023-01-13 |
Arnaud Giersch | Fix MC+sthread+coverage. |
tree | commitdiff |
2023-01-01 |
Arnaud Giersch | Update copyright lines for 2023. |
tree | commitdiff |
2022-11-21 |
Arnaud Giersch | Address misc Sonar issues. |
tree | commitdiff |
2022-11-08 |
Arnaud Giersch | Remove explicit conversion to std::string when it's... |
tree | commitdiff |
2022-11-04 |
Martin Quinson | Kill the now useless type xbt::string |
tree | commitdiff |
2022-11-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-11-01 |
Martin Quinson | MC: display the status of all actors in case of deadlock |
tree | commitdiff |
2022-11-01 |
Fred Suter | Merge branch 'fluidio' into 'master' |
tree | commitdiff |
2022-10-27 |
Arnaud Giersch | Use true/false for boolean variable (Sonar). |
tree | commitdiff |
2022-10-21 |
Martin Quinson | fix the parameter of a strncpy call |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Kill redundent sanity checks |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Don't include simgrid/config.h from simgrid/modelchecke... |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Implement pthread_join in MC mode for sthread |
tree | commitdiff |
2022-10-06 |
Arnaud Giersch | Merge branch 'wifi_clean' into 'master' |
tree | commitdiff |
2022-08-26 |
Arnaud Giersch | Use "std::vector" instead of C-style array (sonar). |
tree | commitdiff |
2022-08-26 |
Arnaud Giersch | Avoid to send/receive zero-size messages. |
tree | commitdiff |
2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot |
tree | commitdiff |
2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess |
tree | commitdiff |
2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-07-31 |
Martin Quinson | Kill a now useless variable |
tree | commitdiff |
2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my lazine... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time) |
tree | commitdiff |
2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now commun... |
tree | commitdiff |
2022-07-30 |
Martin Quinson | inline a function, kill a file |
tree | commitdiff |
2022-07-22 |
Augustin Degomme | Merge branch 'support-sendrecv-ti' into 'master' |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Separate mmalloc from xbt |
tree | commitdiff |
2022-06-30 |
Arnaud Giersch | Merge branch 'dev-get-hostname-faster' into 'master' |
tree | commitdiff |
2022-06-30 |
Arnaud Giersch | Merge branch 'python_ptask' into 'master' |
tree | commitdiff |
2022-06-28 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-06-28 |
Arnaud Giersch | SMPI_is_inited() and smpi_enabled() have the same purpo... |
tree | commitdiff |
2022-05-10 |
Arnaud Giersch | Concatenate nested namespaces (sonar). |
tree | commitdiff |
2022-05-10 |
Arnaud Giersch | Remove spurious "using" declarations. |
tree | commitdiff |
2022-05-09 |
Arnaud Giersch | Replace const reference to std::string by std::string_v... |
tree | commitdiff |
2022-05-06 |
Arnaud Giersch | Reduce scope for temporary variables. |
tree | commitdiff |
2022-05-03 |
Arnaud Giersch | Kill unused variable. |
tree | commitdiff |
2022-05-03 |
Arnaud Giersch | Declare local variables inside the if statement. |
tree | commitdiff |
2022-04-25 |
Arnaud Giersch | Replace is_xxx::value with is_xxx_v (sonar, c++17). |
tree | commitdiff |
2022-03-30 |
Martin Quinson | Merge branch 'add_missing_comm_python_bindings' into... |
tree | commitdiff |
2022-03-29 |
Martin Quinson | Merge branch 'dev-mailbox-clear' into 'master' |
tree | commitdiff |
2022-03-28 |
Bruno Donassolo | Merge branch 'issue105' into 'master' |
tree | commitdiff |
2022-03-25 |
Arnaud Giersch | Cosmetics: don't talk about ActorIDTrait if it's not... |
tree | commitdiff |
2022-03-24 |
Arnaud Giersch | Make maxpid a static member of ActorIDTrait. |
tree | commitdiff |
2022-03-13 |
Martin Quinson | Merge branch 'fix_bindings_mistakenly_set_as_member_fun... |
tree | commitdiff |
2022-03-13 |
Martin Quinson | Kill a useless static function |
tree | commitdiff |
2022-03-11 |
Martin Quinson | Merge branch 'add_remaining_comm_sync_bindings' into... |
tree | commitdiff |
2022-03-09 |
Martin Quinson | further simpify the MC initialization on app side |
tree | commitdiff |
2022-03-09 |
Martin Quinson | Simplify the parameter passing while initializing the... |
tree | commitdiff |
2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Minor sonar smells, and other cosmetics. |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Put message handling in its own method (avoid nested... |
tree | commitdiff |
2022-02-27 |
Martin Quinson | MC: after all, checker does not need the list of dead... |
tree | commitdiff |
2022-02-19 |
Martin Quinson | kill ModelChecker::simcall_is_visible() |
tree | commitdiff |
2022-02-18 |
Martin Quinson | Have the application execute its transition before... |
tree | commitdiff |
2022-02-18 |
Arnaud Giersch | [experimental] Replace long list of excluded libs with... |
tree | commitdiff |
2022-02-16 |
Arnaud Giersch | Use C++ std::array (sonar). |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Simplify the serialization protocol to implement TestAn... |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Fix MC gcc builds :( |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Move dot_label() from Observer to Transition (+ some... |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Better fix for the security warning from sonar: hide... |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Fix the security hotspots of sonar |
tree | commitdiff |
2022-02-11 |
Martin Quinson | No need to save the observers on the App side now that... |
tree | commitdiff |
2022-02-11 |
Martin Quinson | Big bang in MC: app's observers are serialized, to... |
tree | commitdiff |
2022-02-07 |
Martin Quinson | Fast path: don't check the dependency between null... |
tree | commitdiff |
2022-02-07 |
Martin Quinson | MC: Trade less use of executed_req for more network... |
tree | commitdiff |
2022-02-06 |
Martin Quinson | nardin clang (fix clang MC builds) |
tree | commitdiff |
2022-02-05 |
Martin Quinson | Don't compute the dependencies locally in the checker... |
tree | commitdiff |
2022-02-05 |
Martin Quinson | MC: isend/irecv are not blocking |
tree | commitdiff |
2022-02-03 |
Arnaud Giersch | Merge branch 'stable' |
tree | commitdiff |
2022-02-01 |
SUTER Frederic | Start to modernize the remaining old simcalls related... |
tree | commitdiff |
2022-01-06 |
Arnaud Giersch | Remove last bits of Lua bindings. |
tree | commitdiff |
2022-01-06 |
Arnaud Giersch | Update copyright lines for 2022. |
tree | commitdiff |
2021-09-21 |
SUTER Frederic | move MC stuff from simix_global to EngineImpl |
tree | commitdiff |
2021-09-17 |
SUTER Frederic | Merge branch 'no_simix_global' |
tree | commitdiff |
2021-09-17 |
SUTER Frederic | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2021-09-17 |
SUTER Frederic | get rid of simix_global and smx_private.hpp |
tree | commitdiff |
2021-09-14 |
SUTER Frederic | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2021-08-24 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2021-08-23 |
Augustin Degomme | Revert "Fix for clang 14: new check was added against... |
tree | commitdiff |
2021-08-23 |
Augustin Degomme | Fix for clang 14: new check was added against substract... |
tree | commitdiff |
2021-08-17 |
Arnaud Giersch | Pleases somewhat codefactor.io, lgtm, and pvs-studio. |
tree | commitdiff |
2021-07-19 |
Arnaud Giersch | [pvs-studio] Initialize every members of class. |
tree | commitdiff |
2021-06-25 |
Arnaud Giersch | Two more const methods spotted by sonar. |
tree | commitdiff |
2021-06-24 |
Arnaud Giersch | Use std::unique_ptr and remove explicit destructor. |
tree | commitdiff |
2021-06-24 |
Arnaud Giersch | Pass the real pointer to the englobing MC class for... |
tree | commitdiff |
next |