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 initial outline of SDPOR implementation
[simgrid.git]
/
src
/
mc
/
explo
/
udpor
/
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
2023-03-08
Maxwell Pirtle
Fix logic for mutual conflict between two events
tree
|
commitdiff
2023-03-08
Maxwell Pirtle
Add conflict-free invariant check to Configuration
tree
|
commitdiff
2023-03-08
Maxwell Pirtle
Add preliminary tests for checking event conflicts
tree
|
commitdiff
2023-03-08
Maxwell Pirtle
Add conflict detection to EventSet
tree
|
commitdiff
2023-03-08
Martin Quinson
Merge branch 'udpor-phase4' into 'master'
tree
|
commitdiff
2023-03-07
Maxwell Pirtle
Add ability to restrict maximum subset size
tree
|
commitdiff
2023-03-07
Maxwell Pirtle
Add asserts for Configuration vs EventSet
tree
|
commitdiff
2023-03-07
Maxwell Pirtle
Allow iteration over maximal subsets of an EventSet
tree
|
commitdiff
2023-03-07
Maxwell Pirtle
Move topological ordering to EventSet
tree
|
commitdiff
2023-03-07
Maxwell Pirtle
Rename `EventSet::is_maximal_event_set()`
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Write maximal_subsets_iterator_wrapper with xbt utils
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add computation for minimally reproducible sets
tree
|
commitdiff
2023-03-05
Arnaud Giersch
Fix compilation error with clang 11.0.1.
tree
|
commitdiff
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
tree
|
commitdiff
2023-03-03
Maxwell Pirtle
Filter events before performing iteration
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Fix subtle implementation bug with maximal set filtering
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Add working implementation of maximal_subsets_iterator
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Clean up maximum_subsets_iterator
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Pass references to `const Unfolding*` in most places
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Add first implementation of maximal_subsets_iterator
tree
|
commitdiff
2023-03-01
Maxwell Pirtle
Use boost::iterator_facade for History::Iterator
tree
|
commitdiff
2023-02-28
Augustin Degomme
Merge branch 'udpor-phase3' into 'master'
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Remove CompatibilityGraph and friends
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add iterator files to xbt/utils
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Fix most of the remaining code warnings
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add default method for constructing full graph
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add predicate filtering to compatibility graph comp
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Fix most cosmetics and code warnings
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Create a private struct to hold search data
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add first go at compatibility graph construction
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add first steps towards an implementation of ex(C)
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add CompatibilityGraph and CompatibilityGraphNode
tree
|
commitdiff
2023-02-26
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-02-24
Martin Quinson
Merge branch 'udpor-phase2' into 'master'
tree
|
commitdiff
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-24
Maxwell Pirtle
Add complicated topological sort test
tree
|
commitdiff
2023-02-24
Maxwell Pirtle
Add first unit tests for topological sorting
tree
|
commitdiff
2023-02-24
Maxwell Pirtle
Add topological sort of configuration events
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Merge branch 'simgrid-udpor-integration' into 'master'
tree
|
commitdiff
2023-02-22
Maxwell Pirtle
Add tests for adding events to configurations
tree
|
commitdiff
2023-02-22
Maxwell Pirtle
Add preliminary tests for Configuration
tree
|
commitdiff
2023-02-22
Maxwell Pirtle
Implement adding events to configurations
tree
|
commitdiff
2023-02-22
Maxwell Pirtle
Add extensive tests for checking valid configurations
tree
|
commitdiff
2023-02-21
Maxwell Pirtle
Add method to check if an EventSet is a config
tree
|
commitdiff
2023-02-21
Maxwell Pirtle
Add first batch of tests for History class
tree
|
commitdiff
next