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
Raffine reversible race calculation for MutexWait
[simgrid.git]
/
src
/
mc
/
explo
/
udpor
/
2023-11-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
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-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
tree
|
commitdiff
2023-11-02
Martin Quinson
Fix MC builds
tree
|
commitdiff
2023-07-01
Martin Quinson
Don't send sbuff and rbuff to the MC checker
tree
|
commitdiff
2023-06-29
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
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
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-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
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
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 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
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-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-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'simgrid-fork-plugin-photovoltaic'
tree
|
commitdiff
2023-05-17
Arnaud Giersch
Explicitly capture required scope variables (sonar).
tree
|
commitdiff
2023-05-10
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-05-10
Martin Quinson
Merge branch 'dag-lab' into 'master'
tree
|
commitdiff
2023-05-10
Martin Quinson
Merge branch 'changelog-operation-plugin' into 'master'
tree
|
commitdiff
2023-05-09
Arnaud Giersch
Use forwarding references with std::forward (sonar).
tree
|
commitdiff
2023-05-09
Arnaud Giersch
Use a std::vector as an underlying container for backtr...
tree
|
commitdiff
2023-05-02
Arnaud Giersch
Define each identifier in a dedicated statement (sonar).
tree
|
commitdiff
2023-04-27
Arnaud Giersch
Whitespace cleanup (codefactor.io).
tree
|
commitdiff
2023-04-27
Arnaud Giersch
There is no need to declare the default constructors...
tree
|
commitdiff
2023-04-27
Arnaud Giersch
Fix build error: exception specification of explicitly
tree
|
commitdiff
2023-04-26
Martin Quinson
Merge branch 'operation-plugin' into 'master'
tree
|
commitdiff
2023-04-18
Martin Quinson
Merge branch 'udpor-phase7' into 'master'
tree
|
commitdiff
2023-04-06
Maxwell Pirtle
Rename `remove()` method on `Unfolding`
tree
|
commitdiff
2023-04-06
Maxwell Pirtle
Make use of the sets `G` and `U` with `Unfolding`
tree
|
commitdiff
2023-04-06
Maxwell Pirtle
Fix bug with immediate conflict detection
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Fix conflict detection between configs + history
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Fix dynamic_cast<> typo for computation for CommRecv
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Clarify that the issuer for a CommWait() action is...
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add first round of debug logging to UDPOR
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Intermediate commit to prove that UDPOR functions
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Fill in implementation of CommWait before large changes
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add extension set computations without type casts
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add first steps for ex(C) for CommWait
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Move state stack management to member on UnfoldingChecker
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Replace switch statement with map of handlers
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add skeleton implementation for ex(C) for CommSend
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add skeleton implementations to ExtensionSetCalculator
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add ExtensionSetCalculator files
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add test case for tracking latest events/transitions
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add dependency between same actor for tests
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Begin tracking latest events for each actor
tree
|
commitdiff
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Address minor comments in MR review
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Remove empty Comb.cpp
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Add documentation for Comb data structure
tree
|
commitdiff
2023-03-17
Maxwell Pirtle
Fix test in k-partial alternatives step five
tree
|
commitdiff
2023-03-16
Maxwell Pirtle
Remove unused code in Comb.cpp + fix MANIFEST.in
tree
|
commitdiff
2023-03-16
Maxwell Pirtle
Add full example for K-partial alternatives
tree
|
commitdiff
2023-03-15
Maxwell Pirtle
Move alternative computation to Configuration for testing
tree
|
commitdiff
2023-03-15
Maxwell Pirtle
Add semantic equivalence to UnfoldingEvent
tree
|
commitdiff
2023-03-15
Maxwell Pirtle
Add comments in K-partial alternatives computation
tree
|
commitdiff
2023-03-14
Maxwell Pirtle
Add first go at implementation of K-partial alternatives
tree
|
commitdiff
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-13
Maxwell Pirtle
Add Comb data structure for K-partial alternatives
tree
|
commitdiff
2023-03-13
Maxwell Pirtle
Add clean up phase to UDPOR
tree
|
commitdiff
2023-03-12
Arnaud Giersch
Fix build with -D_GLIBCXX_DEBUG [-Werror=range-loop...
tree
|
commitdiff
2023-03-10
Martin Quinson
Merge branch 'udpor-phase5' into 'master'
tree
|
commitdiff
2023-03-10
Maxwell Pirtle
Add first test for immediate conflicts edge case
tree
|
commitdiff
2023-03-10
Maxwell Pirtle
Add first batch of tests for conflict detection among...
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Add implementation for immediate conflicts
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Require conflict-freedom in is_valid_configuration
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Add test to verify topological ordering of EventSet
tree
|
commitdiff
2023-03-08
Maxwell Pirtle
Begin filling in computations of ex(C) and en(C)
tree
|
commitdiff
2023-03-08
Arnaud Giersch
Obvious typo.
tree
|
commitdiff
next