A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SoH now based on internal values (lost/gained energy) instead of external values...
2023-06-16
Maxwell Pirtle
Fix WakeupTreeIterator bug comparing diff iterators
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Only compute extensions for enabled events
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add events with implicit bottom event
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add partial implementation for MutexWait/MutexTest
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add ex(C) computation for mutex lock/unlock
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add tentative implementation of CommTest ex(C) pseudocode
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Reorder loop processing in CommWait ex(C) comp
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add "working" UDPOR on small examples with CommWait...
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add ex(C) example with a small program
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add monotonically-increasing IDs for UnfoldingEvent
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Expand sanity-check tests for CommSend/CommRecv transitions
commit
|
commitdiff
|
tree
2023-06-09
Maxwell Pirtle
Add preliminary basic tests for ex(C) computation
commit
|
commitdiff
|
tree
2023-06-05
Maxwell Pirtle
Complete missing docs for WakeupTreeNode
commit
|
commitdiff
|
tree
2023-06-05
Maxwell Pirtle
Add more documentation and fix forward declaration
commit
|
commitdiff
|
tree
2023-06-01
Maxwell Pirtle
Introduce ODPOR integration with multiple actions
commit
|
commitdiff
|
tree
2023-06-01
Maxwell Pirtle
Add small test for insertions
commit
|
commitdiff
|
tree
2023-06-01
Maxwell Pirtle
Add odpor_tests_private.hpp to MANIFEST.in
commit
|
commitdiff
|
tree
2023-05-31
Maxwell Pirtle
Add SDPOR backtracking simulation unit test
commit
|
commitdiff
|
tree
2023-05-31
Maxwell Pirtle
Add more independence tests w.r.t a partial execution
commit
|
commitdiff
|
tree
2023-05-31
Maxwell Pirtle
Fix MANIFEST.in etc.
commit
|
commitdiff
|
tree
2023-05-30
Maxwell Pirtle
Force the use of sleep sets with ODPOR
commit
|
commitdiff
|
tree
2023-05-30
Maxwell Pirtle
Adjust tesh tests according to changes in deps.
commit
|
commitdiff
|
tree
2023-05-30
Maxwell Pirtle
Mark transitions run by the same actor as dependent
commit
|
commitdiff
|
tree
2023-05-30
Maxwell Pirtle
Fix subtle bug in ~_E computation
commit
|
commitdiff
|
tree
2023-05-26
Maxwell Pirtle
Add remaining handlers to ReversibleRaceCalculator
commit
|
commitdiff
|
tree
2023-05-26
Maxwell Pirtle
Resolve misconception with ODPOR pseudocode impl.
commit
|
commitdiff
|
tree
2023-05-26
Maxwell Pirtle
Resolve misconception with SDPOR pseudocode impl.
commit
|
commitdiff
|
tree
2023-05-26
Maxwell Pirtle
Fix subtle bug in Execution regeneration in DFSExplorer
commit
|
commitdiff
|
tree
2023-05-25
Maxwell Pirtle
Keep pointers to transitions instead of slices
commit
|
commitdiff
|
tree
2023-05-25
Maxwell Pirtle
Fix two minor bugs in the ODPOR implementation
commit
|
commitdiff
|
tree
2023-05-24
Maxwell Pirtle
Add reversible race implementations for Comm actions
commit
|
commitdiff
|
tree
2023-05-24
Maxwell Pirtle
Add reversible race calculator
commit
|
commitdiff
|
tree
2023-05-24
Maxwell Pirtle
Add non-trivial insertion test
commit
|
commitdiff
|
tree
2023-05-23
Maxwell Pirtle
Add tests for initials and independence for Execution
commit
|
commitdiff
|
tree
2023-05-23
Maxwell Pirtle
Add first round of execution independence tests
commit
|
commitdiff
|
tree
2023-05-22
Maxwell Pirtle
Add test for removing the first single-process subtree
commit
|
commitdiff
|
tree
2023-05-22
Maxwell Pirtle
Begin adding tests for subtree rooting
commit
|
commitdiff
|
tree
2023-05-22
Maxwell Pirtle
Add detailed stress test for WakeupTree
commit
|
commitdiff
|
tree
2023-05-22
Maxwell Pirtle
Begin first round of in-depth tests for WakeupTree
commit
|
commitdiff
|
tree
2023-05-17
Maxwell Pirtle
Add first "working" version of ODPOR
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add tests before changes to WakeupTree structure
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add first round of extensive docs to ODPOR methods
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add test files for WakeupTree
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add explicit ODPOR clean-up phase to DFSExplorer
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add ODPOR "backtracking" logic
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add ODPOR extension computation (lines 4-6)
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Use `std::shared_ptr<Transition>` for Execution
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add ODPOR race detection phase rough-draft
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add boolean check for wakeup tree initialization
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Automatically remove nodes from parents
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add tree pruning/subtree methods to State
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add skeleton for expansion phase of ODPOR
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add logic for subtree node removal
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Finish post-order travesal with WakeupTreeIterator
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add logic for subtree extraction from wakeup trees
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add complicated computation of v ~_E w to Execution
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add skeleton of implementation for tree insertion
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add WakeupTreeIterator and WakeupTree skeletons
commit
|
commitdiff
|
tree
2023-05-16
Maxwell Pirtle
Add more docmentation for get_first_sdpor_initial()
commit
|
commitdiff
|
tree
2023-05-15
Maxwell Pirtle
Add more documentation to ClockVector/Execution
commit
|
commitdiff
|
tree
2023-05-15
Maxwell Pirtle
Add unit tests for ClockVector
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Fix MANIFEST.in
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Integrate SDPOR into `model-check/reduction` flag
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add more documentation to essential SDPOR methods
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Modify tesh suite expectations with changes to dependencies
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Fix ObjectAccess dependency check
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Fix subtlety with SDPOR/ODPOR initials
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Fix two off-by-one errors with clock vectors
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Mark `ActorJoin` dependent with `target_`
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Prevent adding outgoing transition for top-most state
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add workaround for subtlety with state regeneration
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add first tests for "happens-before"
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Move SDPOR core computation into a method
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add tentatively-working SDPOR implementation
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add initial outline of SDPOR implementation
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add Execution concept without ExecutionViews
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Remove sdpor folder in favor of odpor only
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add `Execution` to represent series of transitions
commit
|
commitdiff
|
tree
2023-05-12
Maxwell Pirtle
Add class for eventual "happens-before" computations
commit
|
commitdiff
|
tree
2023-04-06
Maxwell Pirtle
Rename `remove()` method on `Unfolding`
commit
|
commitdiff
|
tree
2023-04-06
Maxwell Pirtle
Make use of the sets `G` and `U` with `Unfolding`
commit
|
commitdiff
|
tree
2023-04-06
Maxwell Pirtle
Fix bug with immediate conflict detection
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Fix conflict detection between configs + history
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Fix dynamic_cast<> typo for computation for CommRecv
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Clarify that the issuer for a CommWait() action is...
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add first round of debug logging to UDPOR
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Intermediate commit to prove that UDPOR functions
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Fill in implementation of CommWait before large changes
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add extension set computations without type casts
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add first steps for ex(C) for CommWait
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Move state stack management to member on UnfoldingChecker
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add comment on state restoration in UnfoldingChecker
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Track the current sequence of states with UDPOR
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Replace switch statement with map of handlers
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add skeleton implementation for ex(C) for CommSend
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add skeleton implementations to ExtensionSetCalculator
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add ExtensionSetCalculator files
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add test case for tracking latest events/transitions
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Add dependency between same actor for tests
commit
|
commitdiff
|
tree
2023-04-05
Maxwell Pirtle
Begin tracking latest events for each actor
commit
|
commitdiff
|
tree
next