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
Add ODPOR race detection phase rough-draft
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
2023-03-20
Maxwell Pirtle
Address minor comments in MR review
commit
|
commitdiff
|
tree
2023-03-20
Maxwell Pirtle
Remove empty Comb.cpp
commit
|
commitdiff
|
tree
2023-03-20
Maxwell Pirtle
Add documentation for Comb data structure
commit
|
commitdiff
|
tree
2023-03-17
Maxwell Pirtle
Fix test in k-partial alternatives step five
commit
|
commitdiff
|
tree
2023-03-16
Maxwell Pirtle
Remove unused code in Comb.cpp + fix MANIFEST.in
commit
|
commitdiff
|
tree
2023-03-16
Maxwell Pirtle
Add full example for K-partial alternatives
commit
|
commitdiff
|
tree
2023-03-15
Maxwell Pirtle
Move alternative computation to Configuration for testing
commit
|
commitdiff
|
tree
2023-03-15
Maxwell Pirtle
Add semantic equivalence to UnfoldingEvent
commit
|
commitdiff
|
tree
2023-03-15
Maxwell Pirtle
Add comments in K-partial alternatives computation
commit
|
commitdiff
|
tree
2023-03-14
Maxwell Pirtle
Add first go at implementation of K-partial alternatives
commit
|
commitdiff
|
tree
2023-03-13
Maxwell Pirtle
Add Comb data structure for K-partial alternatives
commit
|
commitdiff
|
tree
2023-03-13
Maxwell Pirtle
Add clean up phase to UDPOR
commit
|
commitdiff
|
tree
2023-03-10
Maxwell Pirtle
Add first test for immediate conflicts edge case
commit
|
commitdiff
|
tree
2023-03-10
Maxwell Pirtle
Add first batch of tests for conflict detection among...
commit
|
commitdiff
|
tree
2023-03-09
Maxwell Pirtle
Add implementation for immediate conflicts
commit
|
commitdiff
|
tree
2023-03-09
Maxwell Pirtle
Require conflict-freedom in is_valid_configuration
commit
|
commitdiff
|
tree
2023-03-09
Maxwell Pirtle
Add src/.../udpor/udpor_tests_private.hpp to CMake
commit
|
commitdiff
|
tree
2023-03-09
Maxwell Pirtle
Add test to verify topological ordering of EventSet
commit
|
commitdiff
|
tree
2023-03-08
Maxwell Pirtle
Begin filling in computations of ex(C) and en(C)
commit
|
commitdiff
|
tree
2023-03-08
Maxwell Pirtle
Fix logic for mutual conflict between two events
commit
|
commitdiff
|
tree
2023-03-08
Maxwell Pirtle
Add conflict-free invariant check to Configuration
commit
|
commitdiff
|
tree
2023-03-08
Maxwell Pirtle
Add preliminary tests for checking event conflicts
commit
|
commitdiff
|
tree
2023-03-08
Maxwell Pirtle
Add conflict detection to EventSet
commit
|
commitdiff
|
tree
2023-03-07
Maxwell Pirtle
Add ability to restrict maximum subset size
commit
|
commitdiff
|
tree
2023-03-07
Maxwell Pirtle
Add asserts for Configuration vs EventSet
commit
|
commitdiff
|
tree
2023-03-07
Maxwell Pirtle
Allow iteration over maximal subsets of an EventSet
commit
|
commitdiff
|
tree
2023-03-07
Maxwell Pirtle
Move topological ordering to EventSet
commit
|
commitdiff
|
tree
2023-03-07
Maxwell Pirtle
Rename `EventSet::is_maximal_event_set()`
commit
|
commitdiff
|
tree
2023-03-07
Maxwell Pirtle
Add some basic tests for variable_for_loop
commit
|
commitdiff
|
tree
2023-03-06
Maxwell Pirtle
Write maximal_subsets_iterator_wrapper with xbt utils
commit
|
commitdiff
|
tree
2023-03-06
Maxwell Pirtle
Fix edge cases in variable_for_loop
commit
|
commitdiff
|
tree
2023-03-06
Maxwell Pirtle
Write LazyPowerSet in terms of iterator_wrapper
commit
|
commitdiff
|
tree
2023-03-06
Maxwell Pirtle
Add iterator_wrapping convenience container
commit
|
commitdiff
|
tree
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
commit
|
commitdiff
|
tree
2023-03-06
Maxwell Pirtle
Add computation for minimally reproducible sets
commit
|
commitdiff
|
tree
2023-03-03
Maxwell Pirtle
Correct MANIFEST.in according to `make distcheck`
commit
|
commitdiff
|
tree
2023-03-03
Maxwell Pirtle
Filter events before performing iteration
commit
|
commitdiff
|
tree
2023-03-02
Maxwell Pirtle
Fix subtle implementation bug with maximal set filtering
commit
|
commitdiff
|
tree
2023-03-02
Maxwell Pirtle
Add working implementation of maximal_subsets_iterator
commit
|
commitdiff
|
tree
2023-03-02
Maxwell Pirtle
Clean up maximum_subsets_iterator
commit
|
commitdiff
|
tree
2023-03-02
Maxwell Pirtle
Pass references to `const Unfolding*` in most places
commit
|
commitdiff
|
tree
2023-03-02
Maxwell Pirtle
Add first implementation of maximal_subsets_iterator
commit
|
commitdiff
|
tree
2023-03-01
Maxwell Pirtle
Use boost::iterator_facade for History::Iterator
commit
|
commitdiff
|
tree
2023-02-28
Maxwell Pirtle
Add src/xbt/.../subsets_tests.cpp to manifest file
commit
|
commitdiff
|
tree
2023-02-28
Maxwell Pirtle
Remove CompatibilityGraph and friends
commit
|
commitdiff
|
tree
2023-02-28
Maxwell Pirtle
Add tests for LazyKSubsets and LazyPowerset
commit
|
commitdiff
|
tree
2023-02-28
Maxwell Pirtle
Add LazyPowerSet and LazyKSubsets
commit
|
commitdiff
|
tree
next