| 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 |
| 2022-02-11 |
Martin Quinson | Implement the RandomTransition |
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 | Fix builds with/without MC and with/without clang ... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | MC does not need the exact value of the timeout, only... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | don't use char* for pointers that shall be serialized... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Pass the depends() from the observer to the mc::Transit... |
tree | commitdiff |
| 2022-02-11 |
Martin Quinson | Big bang in MC: app's observers are serialized, to... |
tree | commitdiff |
| 2022-02-08 |
Arnaud Giersch | Reduce scope for variables. |
tree | commitdiff |
| 2022-02-08 |
SUTER Frederic | [sonar] constify |
tree | commitdiff |
| 2022-02-07 |
Martin Quinson | MC: Trade less use of executed_req for more network... |
tree | commitdiff |
| 2022-02-06 |
SUTER Frederic | enforce simcall order as before to check dependencies... |
tree | commitdiff |
| 2022-02-06 |
SUTER Frederic | fix isend/irecv to string |
tree | commitdiff |
| 2022-02-05 |
Martin Quinson | Don't compute the dependencies locally in the checker... |
tree | commitdiff |
| 2022-02-05 |
SUTER Frederic | back to normal ... keep progressing towards modern... |
tree | commitdiff |
| 2022-02-04 |
SUTER Frederic | continue to mess with MC |
tree | commitdiff |
| 2022-02-04 |
SUTER Frederic | stay with double for payload size (fix 32bit issues? |
tree | commitdiff |
| 2022-02-03 |
Martin Quinson | Merge branch 'wifi_rate_zero' into 'master' |
tree | commitdiff |
| 2022-02-03 |
SUTER Frederic | draft CommI{send,recv}Observer |
tree | commitdiff |
| 2022-02-03 |
Arnaud Giersch | Merge branch 'stable' |
tree | commitdiff |
| next |
