2023-11-12 |
Martin Quinson | Implement pthread_cond in sthread -- too bad it's TODO... |
tree | commitdiff |
2023-11-12 |
Martin Quinson | Implement pthread_barrier calls in sthread, and test... |
tree | commitdiff |
2023-11-12 |
Martin Quinson | Refactorize the sthread interception of functions |
tree | commitdiff |
2023-11-12 |
Martin Quinson | Small typos in comments |
tree | commitdiff |
2023-11-12 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2023-11-10 |
mlaurent | Add debug info for reversible race construction |
tree | commitdiff |
2023-11-09 |
mlaurent | Raffine reversible race calculation for MutexWait |
tree | commitdiff |
2023-11-09 |
mlaurent | Add a missing independence theorem about Mutex |
tree | commitdiff |
2023-11-09 |
Martin Quinson | Cleanup work to make is_race_reversible() a method... |
tree | commitdiff |
2023-11-09 |
mlaurent | Suppressed a bit too much of codes |
tree | commitdiff |
2023-11-09 |
mlaurent | Clang format over some mc files |
tree | commitdiff |
2023-11-09 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-11-09 |
mlaurent | Discard the wakeup tree when ODPOR reaches a disabled... |
tree | commitdiff |
2023-11-08 |
Martin Quinson | Spit a message when ODPOR is not optimal |
tree | commitdiff |
2023-11-08 |
mlaurent | Redondant line in insertion |
tree | commitdiff |
2023-11-08 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-11-08 |
Martin Quinson | Fix ODPOR: overapproximate ReversibleRace (to not miss... |
tree | commitdiff |
2023-11-08 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-11-08 |
mlaurent | Add debug log for ODPOR + required explaining comments |
tree | commitdiff |
2023-11-08 |
Martin Quinson | Fix SemWai::ReversibleRace() |
tree | commitdiff |
2023-11-07 |
Martin Quinson | Simply rewrap comments and reindent, no real change |
tree | commitdiff |
2023-11-07 |
Martin Quinson | Add an assert that the checker don't try to exec disabl... |
tree | commitdiff |
2023-11-07 |
Martin Quinson | Improve the debug messages |
tree | commitdiff |
2023-11-07 |
Martin Quinson | Tell the MC transition about the semaphore capacity... |
tree | commitdiff |
2023-11-07 |
Martin Quinson | Make sure that the ID of a semaphore does not change... |
tree | commitdiff |
2023-11-07 |
Martin Quinson | cosmetics: this is an ID, not a ptr |
tree | commitdiff |
2023-11-07 |
mlaurent | Merge branch 'master' of https://framagit.org/simgrid... |
tree | commitdiff |
2023-11-07 |
mlaurent | Add some debug info |
tree | commitdiff |
2023-11-07 |
Arnaud Giersch | Use standard __func__ instead of __FUNCTION__. |
tree | commitdiff |
2023-11-06 |
Martin Quinson | also remove xbt/automaton which was only useful to... |
tree | commitdiff |
2023-11-06 |
Martin Quinson | Actions executed by the same actor are always dependent... |
tree | commitdiff |
2023-11-06 |
Martin Quinson | ODPOR: more verbose message on assertion failure |
tree | commitdiff |
2023-11-05 |
Martin Quinson | Another attempt to fix the printf issue on mac: don... |
tree | commitdiff |
2023-11-05 |
Martin Quinson | There is too much boost include to protect, disable... |
tree | commitdiff |
2023-11-05 |
Martin Quinson | Avoid casting errors in printf on MacOSX |
tree | commitdiff |
2023-11-05 |
Martin Quinson | Fix gcc builds |
tree | commitdiff |
2023-11-05 |
Martin Quinson | Try to survive to undefined preprocessor symbols |
tree | commitdiff |
2023-11-05 |
Martin Quinson | unify struct and class declarations |
tree | commitdiff |
2023-11-05 |
Martin Quinson | Remove the stateful model-checking from the archive... |
tree | commitdiff |
2023-11-05 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid |
tree | commitdiff |
2023-11-04 |
Augustin Degomme | add some new MPI4 unsupported partitioned communication... |
tree | commitdiff |
2023-11-03 |
Martin Quinson | Merge branch 'master' into simgrid-fork-changelog-plugins |
tree | commitdiff |
2023-11-03 |
Martin Quinson | Fix an ODR reported by ASan |
tree | commitdiff |
2023-11-02 |
Adrien Gougeon | improve chiller example. remove on_power_change signal... |
tree | commitdiff |
2023-11-02 |
Martin Quinson | Fix MC builds |
tree | commitdiff |
2023-11-02 |
Martin Quinson | Fix various build errors |
tree | commitdiff |
2023-11-02 |
Martin Quinson | Do not use MC_process_clock_add() for now, as it makes... |
tree | commitdiff |
2023-11-02 |
Martin Quinson | MC: more debug messages |
tree | commitdiff |
2023-11-02 |
Martin Quinson | Actions executed by the same actor are always dependent |
tree | commitdiff |
2023-11-02 |
Martin Quinson | MC: add an observer to sleep simcalls |
tree | commitdiff |
2023-11-02 |
Martin Quinson | MC: display the 100 first transitions when we reach... |
tree | commitdiff |
2023-10-30 |
Fred Suter | no need to cast with ActivitySet |
tree | commitdiff |
2023-10-30 |
Martin Quinson | Merge branch 'mq' into 'master' |
tree | commitdiff |
2023-10-30 |
Martin Quinson | Merge branch 'example-battery-chiller-solar' into ... |
tree | commitdiff |
2023-10-29 |
Martin Quinson | Change the way we're inserting elements in this map |
tree | commitdiff |
2023-10-29 |
Martin Quinson | Fix build with ns3 v3.36+ |
tree | commitdiff |
2023-10-27 |
Martin Quinson | Hack to make liveness work on Debian testing |
tree | commitdiff |
2023-10-27 |
Fred Suter | bug fix in programmatic declaration of routes with... |
tree | commitdiff |
2023-10-27 |
Fred Suter | Merge branch 'master' into mq |
tree | commitdiff |
2023-10-26 |
Fred Suter | Merge branch 'master' into mq |
tree | commitdiff |
2023-10-26 |
Fred Suter | reindent |
tree | commitdiff |
2023-10-26 |
Fred Suter | rework MessImpl |
tree | commitdiff |
2023-10-26 |
Fred Suter | got issues with get_id() while debugging. Add protection |
tree | commitdiff |
2023-10-26 |
Fred Suter | handle Mess in Activity::wait_for |
tree | commitdiff |
2023-10-26 |
Fred Suter | handle Mess in display actor status |
tree | commitdiff |
2023-10-26 |
Martin Quinson | Finish up the implementation of recursive mutexes |
tree | commitdiff |
2023-10-25 |
Martin Quinson | sthread: implement recursive mutexes (test broken so... |
tree | commitdiff |
2023-10-25 |
Martin Quinson | sthread: pthread_mutex_trylock shall return 0 on success |
tree | commitdiff |
2023-10-25 |
Martin Quinson | sthread: do not intercept valgrind nor /bin/sh, and... |
tree | commitdiff |
2023-10-25 |
Martin Quinson | sthread/ObjectAccess: bug fix + report when more than... |
tree | commitdiff |
2023-10-24 |
Martin Quinson | Instructive error message |
tree | commitdiff |
2023-10-24 |
Martin Quinson | sthread object tracker: allow recursive object accesses |
tree | commitdiff |
2023-10-24 |
Fred Suter | Merge branch 'master' into mq |
tree | commitdiff |
2023-10-24 |
Fred Suter | add Message queue abstraction |
tree | commitdiff |
2023-10-24 |
Martin Quinson | Document a variable |
tree | commitdiff |
2023-10-24 |
Martin Quinson | Typo + cosmetics in portability helpers |
tree | commitdiff |
2023-10-23 |
Martin Quinson | sthread_access: also take the function name in the... |
tree | commitdiff |
2023-10-23 |
Martin Quinson | Correctly check the params of Sendrecv for buffer being... |
tree | commitdiff |
2023-10-23 |
Martin Quinson | Fix a bug found by MBI: Buffers of MPI_Sendrecv() must... |
tree | commitdiff |
2023-10-21 |
Martin Quinson | Fix the dependency of barrier from the same actor ... |
tree | commitdiff |
2023-10-17 |
Augustin Degomme | SMPI - delay allocation of mailboxes to save some memor... |
tree | commitdiff |
2023-10-12 |
Fred Suter | enable use of IO streams with Ptask model |
tree | commitdiff |
2023-10-11 |
Martin Quinson | Merge branch 'task-dispatch' into 'master' |
tree | commitdiff |
2023-10-10 |
Augustin Degomme | apparently, deque is faster than list in our usecases |
tree | commitdiff |
2023-10-10 |
Adrien | Merge branch 'master' into 'task-dispatch' |
tree | commitdiff |
2023-10-10 |
Adrien Gougeon | update doc |
tree | commitdiff |
2023-10-09 |
Adrien Gougeon | add possibility for a battery to be a simple connector... |
tree | commitdiff |
2023-10-06 |
Fred Suter | Use Ptr to store disks of a HostImpl, do not care about... |
tree | commitdiff |
2023-10-05 |
Fred Suter | Reducing the number of refcount changes for ActivityImpl |
tree | commitdiff |
2023-10-02 |
Adrien Gougeon | remove unused variable |
tree | commitdiff |
2023-10-02 |
Adrien Gougeon | fix all Task examples to support the new Task format... |
tree | commitdiff |
2023-09-28 |
Adrien Gougeon | add battery-chiller-solar example. |
tree | commitdiff |
2023-09-27 |
Fred Suter | simplify and remove silly debug |
tree | commitdiff |
2023-09-26 |
Fred Suter | prefer returning a NetZone than a pair of NetPoints... |
tree | commitdiff |
2023-09-25 |
Adrien Gougeon | add possibility to dispatch tasks (work in progress) |
tree | commitdiff |
2023-09-24 |
Fred Suter | further progress towards deprecation of complex add_route |
tree | commitdiff |
2023-09-22 |
Martin Quinson | Merge branch 'task-doc' into 'master' |
tree | commitdiff |
2023-09-22 |
Fred Suter | Can also connect a NetZone to anybody and anobody to... |
tree | commitdiff |
2023-09-21 |
Fred Suter | simpler way to define routes between zones (and between... |
tree | commitdiff |
2023-09-21 |
Fred Suter | Explicitely create, store, and expose NetZone gateway(s) |
tree | commitdiff |
next |