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
Add debug info for reversible race construction
[simgrid.git]
/
src
/
mc
/
explo
/
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
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
Improve the debug messages
tree
|
commitdiff
2023-11-07
Martin Quinson
Tell the MC transition about the semaphore capacity...
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-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
MC: more debug messages
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-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
Make function "const", and void copy by returning a...
tree
|
commitdiff
2023-07-01
Martin Quinson
Don't send sbuff and rbuff to the MC checker
tree
|
commitdiff
2023-06-29
Martin Quinson
Show the user-level call in MC backtraces
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-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
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-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
MC: Give an ID to comms to not use their pointer value...
tree
|
commitdiff
2023-06-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
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
2023-06-09
Maxwell Pirtle
Reorder loop processing in CommWait ex(C) comp
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add "working" UDPOR on small examples with CommWait...
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add ex(C) example with a small program
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add monotonically-increasing IDs for UnfoldingEvent
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Expand sanity-check tests for CommSend/CommRecv transitions
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add preliminary basic tests for ex(C) computation
tree
|
commitdiff
2023-06-07
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-06-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-07
Arnaud Giersch
Another round of pointer-to-const for sonar.
tree
|
commitdiff
2023-06-07
Arnaud Giersch
Disable maybe throwing move constructor (sonar).
tree
|
commitdiff
2023-06-06
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-06
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-06
Arnaud Giersch
Clang-tidy: readability-qualified-auto.
tree
|
commitdiff
2023-06-06
Arnaud Giersch
Define classes with "class".
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
tree
|
commitdiff
2023-06-05
Martin Quinson
Another struct/class mismatch between forward declarati...
tree
|
commitdiff
2023-06-05
Martin Quinson
Please clang by not defaulting a constructor that it...
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
mlaurent
Fix stat missorder at the end of DFSexplorer
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'odpor-clean-ups' into 'master'
tree
|
commitdiff
2023-06-05
Maxwell Pirtle
Complete missing docs for WakeupTreeNode
tree
|
commitdiff
2023-06-05
Maxwell Pirtle
Add more documentation and fix forward declaration
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'rename-operation-task' into 'master'
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
tree
|
commitdiff
2023-06-01
Maxwell Pirtle
Introduce ODPOR integration with multiple actions
tree
|
commitdiff
2023-06-01
Martin Quinson
Merge branch 'python-repr' into 'master'
tree
|
commitdiff
2023-06-01
Maxwell Pirtle
Add small test for insertions
tree
|
commitdiff
2023-06-01
Arnaud Giersch
Add missing includes.
tree
|
commitdiff
2023-05-31
Maxwell Pirtle
Add SDPOR backtracking simulation unit test
tree
|
commitdiff
2023-05-31
Maxwell Pirtle
Add more independence tests w.r.t a partial execution
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'simgrid-fork-plugin-photovoltaic'
tree
|
commitdiff
2023-05-31
Maxwell Pirtle
Fix MANIFEST.in etc.
tree
|
commitdiff
2023-05-30
Maxwell Pirtle
Force the use of sleep sets with ODPOR
tree
|
commitdiff
2023-05-30
Maxwell Pirtle
Fix subtle bug in ~_E computation
tree
|
commitdiff
2023-05-26
Maxwell Pirtle
Add remaining handlers to ReversibleRaceCalculator
tree
|
commitdiff
next