2022-11-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-11-01 |
Martin Quinson | MC: tell the user about how to use the replay path... |
tree | commitdiff |
2022-10-31 |
Martin Quinson | Be more verbose on the blocking transition when display... |
tree | commitdiff |
2022-10-23 |
Martin Quinson | Allow to set the network factors callback from userland... |
tree | commitdiff |
2022-10-22 |
Martin Quinson | Cleanups around network/latency-factor. Default latency... |
tree | commitdiff |
2022-10-16 |
Martin Quinson | Rename the transitions so that asynchronous ones clearl... |
tree | commitdiff |
2022-10-06 |
Arnaud Giersch | Merge branch 'wifi_clean' into 'master' |
tree | commitdiff |
2022-08-08 |
Martin Quinson | Don't test statequality: it's ~15h w/o DPOR and hard... |
tree | commitdiff |
2022-08-08 |
Martin Quinson | Add the teshfiles to the archive even when MC is disabled |
tree | commitdiff |
2022-08-08 |
Martin Quinson | Add tests of state equality reduction and nodpor for... |
tree | commitdiff |
2022-08-02 |
Martin Quinson | Merge an initialization function into the constructor |
tree | commitdiff |
2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-07-15 |
Arnaud Giersch | Fix distcheck (populate tesh_files, even when !HAVE_MC). |
tree | commitdiff |
2022-07-13 |
Martin Quinson | Make sure that all MC tests are built on target tests-mc |
tree | commitdiff |
2022-06-27 |
Arnaud Giersch | Merge branch 's4u_enforce' into 'master' |
tree | commitdiff |
2022-06-24 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2022-06-21 |
Arnaud Giersch | Merge branch 'dev-cpuimpl-used' into 'master' |
tree | commitdiff |
2022-06-10 |
Fabien Chaix | Fix regression tests |
tree | commitdiff |
2022-06-02 |
Arnaud Giersch | Another batch of pointer-to-const (sonar). |
tree | commitdiff |
2022-05-13 |
Arnaud Giersch | Enable test only on 64bits. |
tree | commitdiff |
2022-05-13 |
Arnaud Giersch | Give another try to test mc-bugged1-liveness-visited... |
tree | commitdiff |
2022-05-09 |
Arnaud Giersch | Test is normally always true: replace by an assert. |
tree | commitdiff |
2022-05-09 |
Arnaud Giersch | Use the init-statement to declare variables inside... |
tree | commitdiff |
2022-05-06 |
Arnaud Giersch | Reduce scope for temporary variables. |
tree | commitdiff |
2022-05-06 |
Arnaud Giersch | Reduce scope for variables used for dynamic_cast to... |
tree | commitdiff |
2022-05-06 |
Arnaud Giersch | Search in map once only. |
tree | commitdiff |
2022-05-06 |
Arnaud Giersch | No need to have two code paths. |
tree | commitdiff |
2022-05-04 |
Arnaud Giersch | Oops, it's stoi() for integers. |
tree | commitdiff |
2022-05-03 |
Arnaud Giersch | Declare local variables inside the if statement. |
tree | commitdiff |
2022-05-03 |
Arnaud Giersch | Misc code simplifications guided by Sonar smells. |
tree | commitdiff |
2022-05-03 |
Arnaud Giersch | Avoid old-style C string processing in C++ example. |
tree | commitdiff |
2022-04-27 |
Arnaud Giersch | Use structured binding declarations (sonar, c++17). |
tree | commitdiff |
2022-04-26 |
Arnaud Giersch | Don't build useless temporary object (sonar, c++17). |
tree | commitdiff |
2022-04-25 |
Arnaud Giersch | Rely on template argument deduction (sonar, c++17). |
tree | commitdiff |
2022-04-25 |
Arnaud Giersch | Prefer using "try_emplace" (sonar, c++17). |
tree | commitdiff |
2022-04-15 |
Arnaud Giersch | Merge branch 'dev/s4u_tuto_fixes' into 'master' |
tree | commitdiff |
2022-04-14 |
Martin Quinson | typo |
tree | commitdiff |
2022-03-31 |
SUTER Frederic | int->size_t |
tree | commitdiff |
2022-03-31 |
SUTER Frederic | allow users to retrieve hosts and links by the zone... |
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 | Slightly improve message on deadlock. |
tree | commitdiff |
2022-03-23 |
Martin Quinson | Revalidate the tesh outputs after cosmetics to the... |
tree | commitdiff |
2022-03-20 |
Martin Quinson | Don't have an extra actor in s4u-synchro-mutex to creat... |
tree | commitdiff |
2022-03-17 |
Arnaud Giersch | Suppress trailing whitespaces. |
tree | commitdiff |
2022-03-16 |
Arnaud Giersch | Make example s4u-replay-io use s4u::File::open/close. |
tree | commitdiff |
2022-03-16 |
Arnaud Giersch | Fix misc sonar issues. |
tree | commitdiff |
2022-03-16 |
Martin Quinson | Merge branch 'add_barrier_python_bindings' into 'master' |
tree | commitdiff |
2022-03-15 |
Martin Quinson | Better fix for the mutex IDs modifications in mutex... |
tree | commitdiff |
2022-03-15 |
Martin Quinson | Revalidate the tesh output of mutex-MC. The mutex IDs... |
tree | commitdiff |
2022-03-15 |
Martin Quinson | Merge branch 'add_mutex_python_bindings' into 'master' |
tree | commitdiff |
2022-03-15 |
Jean-Edouard BOULANGER | Make synchro-mutex.py in line with s4u-synchro-mutex.cpp |
tree | commitdiff |
2022-03-14 |
Martin Quinson | synchro-mutex example: don't have all pairs intermix... |
tree | commitdiff |
2022-03-14 |
Martin Quinson | Merge branch 'dev-profile-callbacks' into 'master' |
tree | commitdiff |
2022-03-14 |
Fabien Chaix | Refactoring profiles to use generic callbacks |
tree | commitdiff |
2022-03-12 |
SUTER Frederic | augment example to check sharing of a thread-execute |
tree | commitdiff |
2022-03-11 |
Martin Quinson | Merge branch 'add_remaining_comm_sync_bindings' into... |
tree | commitdiff |
2022-03-09 |
Martin Quinson | new: Actor::get_restart_count(): Returns the number... |
tree | commitdiff |
2022-03-09 |
Martin Quinson | Rename mc::SafetyChecker to mc::DFSExplorer |
tree | commitdiff |
2022-03-08 |
Arnaud Giersch | Rename example, and update doc. |
tree | commitdiff |
2022-03-08 |
SUTER Frederic | add an s to example name |
tree | commitdiff |
2022-03-08 |
SUTER Frederic | introduce thread_execute |
tree | commitdiff |
2022-03-06 |
Martin Quinson | Use the sg4 namespace in all examples |
tree | commitdiff |
2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
tree | commitdiff |
2022-03-03 |
Martin Quinson | cmake simplification so that you only have to edit... |
tree | commitdiff |
2022-03-03 |
Martin Quinson | Add a test for Semaphores + DPOR |
tree | commitdiff |
2022-03-01 |
Martin Quinson | Merge branch 'dev' into 'master' |
tree | commitdiff |
2022-03-01 |
SUTER Frederic | rework how host-to-host comms are managed |
tree | commitdiff |
2022-02-28 |
Arnaud Giersch | Minor sonar smells, and other cosmetics. |
tree | commitdiff |
2022-02-27 |
Martin Quinson | cosmetics (sg4 namespace, comments, log channel) |
tree | commitdiff |
2022-02-24 |
Martin Quinson | Test the dependencies of Mutex transitions |
tree | commitdiff |
2022-02-24 |
Martin Quinson | Add a MC version of the s4u-synchro-mutex test |
tree | commitdiff |
2022-02-23 |
Martin Quinson | MC: Support Mutexes in DPOR |
tree | commitdiff |
2022-02-18 |
Martin Quinson | Revalidate all SafetyChecker tesh now that the output... |
tree | commitdiff |
2022-02-18 |
Arnaud Giersch | Fix sonar issues in ns3 examples. |
tree | commitdiff |
2022-02-17 |
Arnaud Giersch | Pylint examples/*.py. |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Improve the final stats reported by SafetyChecker,... |
tree | commitdiff |
2022-02-12 |
Martin Quinson | Fix more sonar things |
tree | commitdiff |
2022-02-11 |
Martin Quinson | Revalidate the tesh of some working MC tests |
tree | commitdiff |
2022-02-11 |
Martin Quinson | Revalidate the tesh of the mc-bugged1 test, which outpu... |
tree | commitdiff |
2022-02-11 |
Martin Quinson | Fix the depends of iSend/iRecv vs. WaitComm to fix... |
tree | commitdiff |
2022-02-08 |
Arnaud Giersch | Leak--. |
tree | commitdiff |
2022-02-03 |
Martin Quinson | Merge branch 'wifi_rate_zero' into 'master' |
tree | commitdiff |
2022-02-03 |
Arnaud Giersch | Merge branch 'stable' |
tree | commitdiff |
2022-02-02 |
SUTER Frederic | better handling of ActivityImpl::wait_for with dying... |
tree | commitdiff |
2022-02-01 |
SUTER Frederic | Start to modernize the remaining old simcalls related... |
tree | commitdiff |
2022-01-24 |
Arnaud Giersch | Typed template for Extendable::get_data. |
tree | commitdiff |
2022-01-24 |
SUTER Frederic | please sonar |
tree | commitdiff |
2022-01-22 |
Martin Quinson | Extend a test to use Host::route_to |
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-21 |
SUTER Frederic | [sonar] parameter check to avoid potential division... |
tree | commitdiff |
2022-01-21 |
SUTER Frederic | fix java tesh files with new log category names |
tree | commitdiff |
2022-01-20 |
Martin Quinson | Convert the MasterWorker to python, in preparation... |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | rework an example. less XML more programmatic |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | Cleanup in log categories |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | glitch |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | more XML cleanup |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | add an example for Comm::test_any (mimic that from... |
tree | commitdiff |
next |