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
Cosmetics.
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
2023-02-28
Maxwell Pirtle
Add more comments to subsets_iterator implementation
commit
|
commitdiff
|
tree
2023-02-28
Maxwell Pirtle
Add powerset_iterator to simgrid::xbt
commit
|
commitdiff
|
tree
2023-02-28
Maxwell Pirtle
Use boost::iterator_facade for subsets_iterator
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Remove subsets.cpp file
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add "working" (but untested) implementation of iterative...
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add first "implementation" of k-subsets iterator
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add iterator files to xbt/utils
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Fix most of the remaining code warnings
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add default method for constructing full graph
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add predicate filtering to compatibility graph comp
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Fix most cosmetics and code warnings
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Create a private struct to hold search data
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add first go at compatibility graph construction
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add first steps towards an implementation of ex(C)
commit
|
commitdiff
|
tree
2023-02-27
Maxwell Pirtle
Add CompatibilityGraph and CompatibilityGraphNode
commit
|
commitdiff
|
tree
2023-02-24
Maxwell Pirtle
Add complicated topological sort test
commit
|
commitdiff
|
tree
2023-02-24
Maxwell Pirtle
Add first unit tests for topological sorting
commit
|
commitdiff
|
tree
2023-02-24
Maxwell Pirtle
Add topological sort of configuration events
commit
|
commitdiff
|
tree
2023-02-22
Maxwell Pirtle
Add tests for adding events to configurations
commit
|
commitdiff
|
tree
2023-02-22
Maxwell Pirtle
Add preliminary tests for Configuration
commit
|
commitdiff
|
tree
2023-02-22
Maxwell Pirtle
Implement adding events to configurations
commit
|
commitdiff
|
tree
2023-02-22
Maxwell Pirtle
Add extensive tests for checking valid configurations
commit
|
commitdiff
|
tree
2023-02-21
Maxwell Pirtle
Add method to check if an EventSet is a config
commit
|
commitdiff
|
tree
2023-02-21
Maxwell Pirtle
Add first batch of tests for History class
commit
|
commitdiff
|
tree
2023-02-21
Maxwell Pirtle
Add first implementations of History class
commit
|
commitdiff
|
tree
2023-02-21
Maxwell Pirtle
Introduce extrinsic equivalence between events
commit
|
commitdiff
|
tree
2023-02-21
Maxwell Pirtle
Add tests for the Unfolding object
commit
|
commitdiff
|
tree
2023-02-21
Maxwell Pirtle
Add set operator tests for EventSet
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add tests for EventSet equality
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add History object skeleton
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Remove StateManager
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add first batch of tests for UDPOR
commit
|
commitdiff
|
tree
next