| 2023-01-01 |
Arnaud Giersch | Update copyright lines for 2023. |
tree | commitdiff |
| 2022-12-01 |
Augustin Degomme | Merge branch 'faster_activity_removal' into 'master' |
tree | commitdiff |
| 2022-12-01 |
Henri Casanova | Replaced std::list by std::set to keep track of activities |
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-06 |
Martin Quinson | Missing include |
tree | commitdiff |
| 2022-11-06 |
Martin Quinson | setter function only need a simcall in MC or with paral... |
tree | commitdiff |
| 2022-11-04 |
Martin Quinson | Move a function to the right file and other cleanups |
tree | commitdiff |
| 2022-11-04 |
Martin Quinson | Kill a now unused field |
tree | commitdiff |
| 2022-11-04 |
Martin Quinson | Kill the now useless type xbt::string |
tree | commitdiff |
| 2022-11-03 |
Arnaud Giersch | Don't call function with side effect twice in the same... |
tree | commitdiff |
| 2022-11-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
| 2022-11-01 |
Martin Quinson | Display the mailbox name when showing a deadlocking... |
tree | commitdiff |
| 2022-11-01 |
Martin Quinson | Display the stack of each actor during a MC replay... |
tree | commitdiff |
| 2022-11-01 |
Fred Suter | Merge branch 'fluidio' into 'master' |
tree | commitdiff |
| 2022-10-31 |
Martin Quinson | Align the behavior of MC and MC_replay in SMPI, so... |
tree | commitdiff |
| 2022-10-31 |
Martin Quinson | Be more verbose on the blocking transition when display... |
tree | commitdiff |
| 2022-10-30 |
Martin Quinson | MC_replay: Ensure that times_considered is always set |
tree | commitdiff |
| 2022-10-27 |
Arnaud Giersch | Remove redundant cast (Sonar). |
tree | commitdiff |
| 2022-10-16 |
Martin Quinson | Rename the transitions so that asynchronous ones clearl... |
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-10-04 |
Arnaud Giersch | Remove deprecated features for next release (3.33). |
tree | commitdiff |
| 2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
| 2022-08-01 |
Martin Quinson | Ensure that the verified application still works if... |
tree | commitdiff |
| 2022-05-30 |
Arnaud Giersch | Delete unusable default constructor. |
tree | commitdiff |
| 2022-05-12 |
Arnaud Giersch | Rename variables to avoid shadowed declarations. |
tree | commitdiff |
| 2022-05-10 |
Arnaud Giersch | Concatenate nested namespaces (sonar). |
tree | commitdiff |
| 2022-05-06 |
Arnaud Giersch | Reduce scope for static variables. |
tree | commitdiff |
| 2022-04-27 |
Arnaud Giersch | Use structured binding declarations (sonar, c++17). |
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-24 |
Arnaud Giersch | Make maxpid a static member of ActorIDTrait. |
tree | commitdiff |
| 2022-03-17 |
Martin Quinson | Merge branch 'add_semaphore_python_bindings' into ... |
tree | commitdiff |
| 2022-03-17 |
Arnaud Giersch | A few more sonar smells. |
tree | commitdiff |
| 2022-03-16 |
Arnaud Giersch | Polymorphic base class destructor should be either... |
tree | commitdiff |
| 2022-03-16 |
Arnaud Giersch | Initialize all fields. |
tree | commitdiff |
| 2022-03-16 |
Arnaud Giersch | Fix misc sonar issues. |
tree | commitdiff |
| 2022-03-16 |
Arnaud Giersch | Directly reset observer_ instead of using an empty... |
tree | commitdiff |
| 2022-03-14 |
Martin Quinson | Make sure that ActorImpl::cleanup_from_kernel is called... |
tree | commitdiff |
| 2022-03-14 |
Arnaud Giersch | Mark smx_actor_t as deprecated. |
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-13 |
Martin Quinson | Sort Actor traits alphabetically + cleanups |
tree | commitdiff |
| 2022-03-13 |
Martin Quinson | Introduce ActorIDTrait to split ActorImpl apart |
tree | commitdiff |
| 2022-03-13 |
Martin Quinson | Move the actor lifecycle markers from Context to ActorImpl |
tree | commitdiff |
| 2022-03-13 |
Martin Quinson | ActorImpl::join: react right away if the other actor... |
tree | commitdiff |
| 2022-03-12 |
Martin Quinson | obey our coding conventions in ActorImpl::mailboxes... |
tree | commitdiff |
| 2022-03-12 |
Martin Quinson | Defuse a trap on refcounting activities by adding a... |
tree | commitdiff |
| 2022-03-12 |
Martin Quinson | Make sure that actors killed by a timer are properly... |
tree | commitdiff |
| 2022-03-12 |
Martin Quinson | Cosmetics in ActorImpl |
tree | commitdiff |
| 2022-03-11 |
Martin Quinson | Merge branch 'add_remaining_comm_sync_bindings' into... |
tree | commitdiff |
| 2022-03-10 |
Arnaud Giersch | Use std::function for Comm callbacks. |
tree | commitdiff |
| 2022-03-10 |
Martin Quinson | easy sonar fixes |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | Better split between the cleanups from self and the... |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | Introduce a Trait to deal with autorestart matter in... |
tree | commitdiff |
| 2022-03-09 |
Martin Quinson | new: Actor::get_restart_count(): Returns the number... |
tree | commitdiff |
| 2022-03-08 |
Arnaud Giersch | Move Simcall from namespace simix to kernel::actor. |
tree | commitdiff |
| 2022-03-08 |
Arnaud Giersch | Rename popping.cpp -> simcall.cpp to better reflect... |
tree | commitdiff |
| 2022-03-08 |
Arnaud Giersch | Make Simcall a real class. |
tree | commitdiff |
| 2022-03-08 |
Arnaud Giersch | Mark all of simix.h as deprecated. |
tree | commitdiff |
| 2022-03-06 |
Martin Quinson | Merge branch 'add_wait_for_to_py_comm_binding' into... |
tree | commitdiff |
| 2022-03-05 |
Martin Quinson | keep cool, sonar, everything's under control |
tree | commitdiff |
| 2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
tree | commitdiff |
| 2022-03-03 |
Martin Quinson | Semaphore made observable from the Checker side |
tree | commitdiff |
| 2022-03-01 |
Martin Quinson | Merge branch 'dev' into 'master' |
tree | commitdiff |
| 2022-02-28 |
Fabien Chaix | apply Simgrid coding rules |
tree | commitdiff |
| 2022-02-28 |
Fabien Chaix | Minimal change to support host on-off and permanent... |
tree | commitdiff |
| 2022-02-28 |
Arnaud Giersch | Minor sonar smells, and other cosmetics. |
tree | commitdiff |
| 2022-02-28 |
Arnaud Giersch | Eventually, OOP is really good. |
tree | commitdiff |
| 2022-02-27 |
Arnaud Giersch | Reintroduce smartptr lost with recent changes. |
tree | commitdiff |
| 2022-02-27 |
Martin Quinson | Rename sg::k::actor::simcall ::actor::simcall_answered |
tree | commitdiff |
| 2022-02-27 |
Martin Quinson | MC: after all, checker does not need the list of dead... |
tree | commitdiff |
| 2022-02-27 |
Martin Quinson | Revert "OOP is good, too" |
tree | commitdiff |
| 2022-02-25 |
Martin Quinson | OOP is good, too |
tree | commitdiff |
| 2022-02-24 |
Martin Quinson | Rename MutexObserver to SynchroObserver (semaphore... |
tree | commitdiff |
| 2022-02-24 |
Martin Quinson | Try to tell sonar that the mutex_ cannot be null in... |
tree | commitdiff |
| 2022-02-24 |
Martin Quinson | Test the dependencies of Mutex transitions |
tree | commitdiff |
| 2022-02-24 |
Martin Quinson | MC: no need for a depends() method in Observers |
tree | commitdiff |
| 2022-02-24 |
Arnaud Giersch | Please scan-build and hopefully sonar too [ci-skip] |
tree | commitdiff |
| 2022-02-23 |
Martin Quinson | MC: Support Mutexes in DPOR |
tree | commitdiff |
| 2022-02-23 |
Martin Quinson | Implement MutexImpl::lock_async |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | MC does not need a mc_value_ in the simcall anymore |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Split the Comm observers to their own files |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Split TransitionAny and TransitionRandom to their own... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Add the MPI tag to the Send/Recv Transitions |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | CommDet: reimplement on top of transitions. Don't mess... |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | sonar fixes |
tree | commitdiff |
| 2022-02-18 |
Martin Quinson | Give the comm to {Send,Recv}Transition, as CommDet... |
tree | commitdiff |
| 2022-02-16 |
Arnaud Giersch | Don't mix public and private data members (sonar). |
tree | commitdiff |
| 2022-02-15 |
Arnaud Giersch | We want to serialize the pointer, not the pointee! |
tree | commitdiff |
| 2022-02-13 |
Martin Quinson | Implement WaitAnyTransition |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Implement TestAnyTransition |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Simplify the serialization protocol to implement TestAn... |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | implement CommTestTransition |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | Move dot_label() from Observer to Transition (+ some... |
tree | commitdiff |
| 2022-02-12 |
Martin Quinson | SimcallObservers don't need to be cloned anymore |
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 | CommWaitTransition mailbox is now valid |
tree | commitdiff |
| next |
