2022-02-28 |
Martin Quinson | More information on actor death in monkey's test case |
tree | commitdiff |
2022-02-27 |
Arnaud Giersch | Reintroduce smartptr lost with recent changes. |
tree | commitdiff |
2022-02-27 |
Martin Quinson | No future. |
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 | reduce the visibility of popping_private |
tree | commitdiff |
2022-02-27 |
Martin Quinson | Revert "OOP is good, too" |
tree | commitdiff |
2022-02-27 |
Martin Quinson | cosmetics (sg4 namespace, comments, log channel) |
tree | commitdiff |
2022-02-25 |
Martin Quinson | Try to make timeouted semaphores robust to actors death |
tree | commitdiff |
2022-02-25 |
Martin Quinson | OOP is good, too |
tree | commitdiff |
2022-02-25 |
Martin Quinson | Rework a long and aging comment (but keep the xkcd... |
tree | commitdiff |
2022-02-25 |
Martin Quinson | cosmetics: rename a variable and please sonar a tiny bit |
tree | commitdiff |
2022-02-25 |
Martin Quinson | fix a memory corruption |
tree | commitdiff |
2022-02-25 |
Martin Quinson | Implement SemaphoreImpl::acquire_async (timeouts are... |
tree | commitdiff |
2022-02-24 |
Martin Quinson | kill some remains of the pre-C++ era |
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 | Mutex do not need a locked_ field. owner_ != null is... |
tree | commitdiff |
2022-02-23 |
Martin Quinson | Implement MutexImpl::lock_async |
tree | commitdiff |
2022-02-20 |
Martin Quinson | Rename SynchroRawImpl to SynchroImpl |
tree | commitdiff |
2022-02-20 |
SUTER Frederic | remove old wait any simcall |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Kill Simcall::COMM_WAIT |
tree | commitdiff |
2022-02-19 |
Martin Quinson | Kill Simcall::COMM_RECV, COMM_IRECV, COMM_SEND and... |
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 | Make CommDet a plugin on top of Safety |
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 | Use type 'bool' for boolean variables. |
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-13 |
Martin Quinson | Sonar fixes |
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 | Objectification of mc::RecordTrace |
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-10 |
Arnaud Giersch | [pvs] Don't let members uninitialized. |
tree | commitdiff |
2022-02-09 |
Arnaud Giersch | pointer2const4sonar |
tree | commitdiff |
2022-02-09 |
Arnaud Giersch | Forward all the parameters to the observer. |
tree | commitdiff |
2022-02-08 |
Arnaud Giersch | Reduce scope for variables. |
tree | commitdiff |
2022-02-08 |
SUTER Frederic | simplify calls to CommImpl::isend and CommImpl::irecv |
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-06 |
SUTER Frederic | test and testany are non blocking simcalls |
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 | preshot sonar (dead code; equality test between double) |
tree | commitdiff |
2022-02-03 |
SUTER Frederic | remove old simcall_comm_test and simcall_comm_testany |
tree | commitdiff |
2022-02-03 |
Martin Quinson | Merge branch 'wifi_rate_zero' into 'master' |
tree | commitdiff |
2022-02-03 |
SUTER Frederic | make isend and irecv observable (except for irecv in... |
tree | commitdiff |
2022-02-03 |
SUTER Frederic | draft CommI{send,recv}Observer |
tree | commitdiff |
2022-02-03 |
SUTER Frederic | move the code of isend and irecv out of the handler... |
tree | commitdiff |
2022-02-03 |
Arnaud Giersch | Merge branch 'stable' |
tree | commitdiff |
2022-02-02 |
SUTER Frederic | add missing override keywords |
tree | commitdiff |
2022-02-02 |
SUTER Frederic | more progress in simcalls modernization and MC cleanup |
tree | commitdiff |
2022-02-02 |
SUTER Frederic | take two on prepare() for Waitany and Testany observers |
tree | commitdiff |
2022-02-02 |
Clément Courageux... | zero wifi rate |
tree | commitdiff |
2022-02-02 |
SUTER Frederic | better handling of ActivityImpl::wait_for with dying... |
tree | commitdiff |
2022-02-02 |
SUTER Frederic | add prepare() to some observers |
tree | commitdiff |
2022-02-01 |
SUTER Frederic | please clang |
tree | commitdiff |
2022-02-01 |
SUTER Frederic | Start to modernize the remaining old simcalls related... |
tree | commitdiff |
2022-01-31 |
Arnaud Giersch | Remove deprecated features for next release (3.31). |
tree | commitdiff |
2022-01-30 |
Martin Quinson | Make sure that min<max in MC_random |
tree | commitdiff |
2022-01-24 |
Arnaud Giersch | Typed template for Extendable::get_data. |
tree | commitdiff |
2022-01-22 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-01-22 |
Martin Quinson | Make Activity::on_completion take a const&, just like... |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | Cleanup in log categories |
tree | commitdiff |
2022-01-16 |
Arnaud Giersch | Prefer std algorithms. |
tree | commitdiff |
2022-01-13 |
SUTER Frederic | make more ActivityImpl fields private |
tree | commitdiff |
2022-01-12 |
SUTER Frederic | make all VM signals private |
tree | commitdiff |
2022-01-06 |
Arnaud Giersch | Cosmetics to please codefactor.io. |
tree | commitdiff |
2022-01-06 |
Arnaud Giersch | Update copyright lines for 2022. |
tree | commitdiff |
2022-01-05 |
SUTER Frederic | reorganize *LinkImpl stuff |
tree | commitdiff |
2022-01-05 |
Bruno Donassolo | Merge branch 'issue95' into 'master' |
tree | commitdiff |
2022-01-05 |
Bruno Donassolo | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
2022-01-05 |
Martin Quinson | Introduce on_???_cb functions to shield the signals |
tree | commitdiff |
next |