2022-03-20 |
Martin Quinson | also remove the master example from example syncho... |
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-17 |
Martin Quinson | cosmetics in doc |
tree | commitdiff |
2022-03-17 |
Martin Quinson | Merge branch 'add_semaphore_python_bindings' into ... |
tree | commitdiff |
2022-03-17 |
Jean-Edouard BOULANGER | Add Semaphore Python bindings |
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 |
Arnaud Giersch | Activate test python-synchro-barrier. |
tree | commitdiff |
2022-03-16 |
Martin Quinson | Merge branch 'add_barrier_python_bindings' into 'master' |
tree | commitdiff |
2022-03-15 |
Jean-Edouard BOULANGER | Add missing license |
tree | commitdiff |
2022-03-15 |
Jean-Edouard BOULANGER | Add Barrier Python bindings |
tree | commitdiff |
2022-03-15 |
Martin Quinson | Better fix for the mutex IDs modifications in mutex... |
tree | commitdiff |
2022-03-15 |
Arnaud Giersch | Unnecessary semicolon. |
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 | Update synchro-mutex.py to match last version of s4u... |
tree | commitdiff |
2022-03-15 |
Jean-Edouard BOULANGER | Make synchro-mutex.py in line with s4u-synchro-mutex.cpp |
tree | commitdiff |
2022-03-15 |
Jean-Edouard BOULANGER | Martin's suggestions |
tree | commitdiff |
2022-03-15 |
Jean-Edouard BOULANGER | Add Mutex Python bindings |
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-14 |
Arnaud Giersch | Cosmetics [ci-skip]. |
tree | commitdiff |
2022-03-14 |
Arnaud Giersch | Make test work with python < 3.9. |
tree | commitdiff |
2022-03-14 |
Arnaud Giersch | Fix distcheck. |
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 |
Jean-Edouard BOULANGER | Add remaining Comm synchronisation Python bindings |
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-06 |
Martin Quinson | Merge branch 'add_wait_for_to_py_comm_binding' into... |
tree | commitdiff |
2022-03-06 |
Jean-Edouard BOULANGER | Added Python bindings: Comm.wait_for() and Comm.wait_an... |
tree | commitdiff |
2022-03-04 |
Martin Quinson | Reimplement s4u::Barrier natively, and make them visibl... |
tree | commitdiff |
2022-03-03 |
Arnaud Giersch | Update URL for article. |
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-02 |
Martin Quinson | Pass the boolean parameter to the on_exit python binding |
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-25 |
Martin Quinson | Implement SemaphoreImpl::acquire_async (timeouts are... |
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-22 |
Augustin Degomme | selected collectives changed for these tests -> timing... |
tree | commitdiff |
2022-02-22 |
Arnaud Giersch | Disable tests failing when debug logs are disabled... |
tree | commitdiff |
2022-02-19 |
Martin Quinson | MC: move a check_deadlock from ModelChecker to Session... |
tree | commitdiff |
2022-02-18 |
Martin Quinson | Revalidate all SafetyChecker tesh now that the output... |
tree | commitdiff |
2022-02-18 |
Martin Quinson | Make CommDet a plugin on top of Safety |
tree | commitdiff |
2022-02-18 |
Martin Quinson | CommDet: reimplement on top of transitions. Don't mess... |
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-28 |
SUTER Frederic | [no-ci] use :py:attr: when it is the case |
tree | commitdiff |
2022-01-28 |
SUTER Frederic | fix borken refs |
tree | commitdiff |
2022-01-28 |
SUTER Frederic | more attributes in python bindings |
tree | commitdiff |
2022-01-28 |
SUTER Frederic | use property_readonly_static and update deprecation... |
tree | commitdiff |
2022-01-28 |
SUTER Frederic | [python] cleanup Engine getters/setters |
tree | commitdiff |
2022-01-28 |
Martin Quinson | fix some doc issues |
tree | commitdiff |
2022-01-24 |
Arnaud Giersch | Typed template for Extendable::get_data. |
tree | commitdiff |
2022-01-24 |
Arnaud Giersch | Unused python imports. |
tree | commitdiff |
2022-01-24 |
SUTER Frederic | please sonar |
tree | commitdiff |
2022-01-23 |
Martin Quinson | Python: Add platform-failures example, and extend Py... |
tree | commitdiff |
2022-01-23 |
Martin Quinson | Implement the last (?) Python functions needed for... |
tree | commitdiff |
2022-01-23 |
Martin Quinson | Extend the python bindings and cosmetics |
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 | Further fixups and cosmetics in the doc |
tree | commitdiff |
2022-01-22 |
Martin Quinson | Make Activity::on_completion take a const&, just like... |
tree | commitdiff |
2022-01-22 |
Martin Quinson | Many tiny documentation improvements |
tree | commitdiff |
2022-01-22 |
Martin Quinson | Change how examples are presented: from itemize to... |
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-21 |
Martin Quinson | Port the Algorithm tutorial to python |
tree | commitdiff |
2022-01-20 |
Martin Quinson | Fix makedistcheck |
tree | commitdiff |
2022-01-20 |
Martin Quinson | Convert the MasterWorker to python, in preparation... |
tree | commitdiff |
2022-01-20 |
Martin Quinson | doc: don't include files that were removed earlier |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | rework an example. less XML more programmatic |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | forgot one |
tree | commitdiff |
2022-01-20 |
SUTER Frederic | fix java tesh files with new log category names |
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 |
2022-01-20 |
SUTER Frederic | remove 2 avoidable deployment files |
tree | commitdiff |
next |