A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Cleanup work to make is_race_reversible() a method of Transition
[simgrid.git]
/
src
/
mc
/
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
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-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
Avoid casting errors in printf on MacOSX
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-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
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
Martin Quinson
Merge branch 'example-battery-chiller-solar' into ...
tree
|
commitdiff
2023-10-24
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-21
Martin Quinson
Fix the dependency of barrier from the same actor ...
tree
|
commitdiff
2023-09-13
Martin Quinson
Merge branch 'plugins-energy-battery-interaction' into...
tree
|
commitdiff
2023-07-20
Fred Suter
Merge branch 'master' into jbod
tree
|
commitdiff
2023-07-15
Martin Quinson
Merge branch 'fix-comm-signal' into 'master'
tree
|
commitdiff
2023-07-12
Arnaud Giersch
Fix misleading indentation.
tree
|
commitdiff
2023-07-10
Fred Suter
Merge remote-tracking branch 'origin/master' into jbod
tree
|
commitdiff
2023-07-10
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-07-10
Arnaud Giersch
Missing includes (for gcc-14?)
tree
|
commitdiff
2023-07-10
Arnaud Giersch
Cosmetics (codefactor.io).
tree
|
commitdiff
2023-07-10
Arnaud Giersch
Make function "const", and void copy by returning a...
tree
|
commitdiff
2023-07-02
Martin Quinson
Fix a MC serialization bug around WaitAny
tree
|
commitdiff
2023-07-01
Martin Quinson
Don't send sbuff and rbuff to the MC checker
tree
|
commitdiff
2023-07-01
Martin Quinson
More verbose error and debug messages
tree
|
commitdiff
2023-06-29
Martin Quinson
Show the user-level call in MC backtraces
tree
|
commitdiff
2023-06-29
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-06-29
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-29
Arnaud Giersch
Unused parameters (Sonar).
tree
|
commitdiff
2023-06-29
Arnaud Giersch
Shadowed variables (Sonar).
tree
|
commitdiff
2023-06-29
Arnaud Giersch
Pass large objects by reference to const (Sonar).
tree
|
commitdiff
2023-06-29
Arnaud Giersch
The result of "std::move" should not be passed as a...
tree
|
commitdiff
2023-06-28
Arnaud Giersch
Functions having rvalue reference arguments should...
tree
|
commitdiff
2023-06-28
Arnaud Giersch
Fix: "std::move" should only be used where moving can...
tree
|
commitdiff
2023-06-28
Arnaud Giersch
Replace redundant type with "auto" (Sonar).
tree
|
commitdiff
2023-06-28
Arnaud Giersch
Remove nested code blocks (Sonar).
tree
|
commitdiff
2023-06-28
Arnaud Giersch
Further little simplifications around "if" statements.
tree
|
commitdiff
2023-06-28
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-06-28
Martin Quinson
Merge branch 'master' into 'python_bindings_host_load_p...
tree
|
commitdiff
2023-06-28
Martin Quinson
Typo found by lintian
tree
|
commitdiff
2023-06-27
Arnaud Giersch
Use std::make_unique (Sonar).
tree
|
commitdiff
2023-06-27
Arnaud Giersch
Respect coding style for boolean operators.
tree
|
commitdiff
2023-06-27
Arnaud Giersch
Use the init-statement to reduce scope of local variabl...
tree
|
commitdiff
2023-06-27
Arnaud Giersch
Use std::any_of(...).
tree
|
commitdiff
2023-06-27
Arnaud Giersch
Misc. Sonar smells.
tree
|
commitdiff
2023-06-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-26
Arnaud Giersch
Whitespace cleanup (codefactor.io).
tree
|
commitdiff
2023-06-24
Martin Quinson
sleep sets are not an option in MC. We always need...
tree
|
commitdiff
2023-06-22
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-06-22
Martin Quinson
model-check/sleep-set is now true by default
tree
|
commitdiff
2023-06-20
Fred Suter
Merge branch 'master' into 'task-token'
tree
|
commitdiff
2023-06-16
Arnaud Giersch
Merge branch 'fix-wakeup-tree-iterator' into 'master'
tree
|
commitdiff
2023-06-16
Maxwell Pirtle
Fix WakeupTreeIterator bug comparing diff iterators
tree
|
commitdiff
2023-06-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-15
Martin Quinson
Fix the liveness tests by ignoring the Comm ID memory...
tree
|
commitdiff
2023-06-15
Martin Quinson
Do not consider the memory addresses in MC depends...
tree
|
commitdiff
2023-06-15
Martin Quinson
MC: Give an ID to comms to not use their pointer value...
tree
|
commitdiff
2023-06-15
Arnaud Giersch
A few spelling mistakes and many replacements: [Ss...
tree
|
commitdiff
2023-06-15
Arnaud Giersch
Another unw_accessor forgotten in previous commit.
tree
|
commitdiff
2023-06-15
Arnaud Giersch
Fix error: missing initializer for member unw_accessors...
tree
|
commitdiff
2023-06-15
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-14
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-13
Arnaud Giersch
A few spelling mistakes and many replacements: [Ss...
tree
|
commitdiff
2023-06-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-13
Arnaud Giersch
Another unw_accessor forgotten in previous commit.
tree
|
commitdiff
2023-06-13
Arnaud Giersch
Fix error: missing initializer for member unw_accessors...
tree
|
commitdiff
2023-06-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-13
mlaurent
Add function call and full location in checker-side...
tree
|
commitdiff
2023-06-09
Arnaud Giersch
Sometimes the expansion may work and the memory address...
tree
|
commitdiff
2023-06-09
Martin Quinson
Merge branch 'udpor-phase8' into 'master'
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Only compute extensions for enabled events
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add events with implicit bottom event
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add partial implementation for MutexWait/MutexTest
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add ex(C) computation for mutex lock/unlock
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add tentative implementation of CommTest ex(C) pseudocode
tree
|
commitdiff
next