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
Use #include <...> for foreign header files.
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
2023-02-20
Maxwell Pirtle
"Finalize" interface to UnfoldingEvent
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Allow actor transitions to be shared
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add Unfolding data structure
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add implementations for EventSet + Configurations
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add xbt_assert() for state handle overflow
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Use std::unordered_set instead of std::set for EventSet
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Move UDPOR constructs out of udpor_global.cpp
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add `udpor` directory under `mc/explo`
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Remove currently unused methods from udpor_globals
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add minor clean ups
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add implementation for state management
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add incomplete implementations of udpor_globals.cpp
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add `udpor` namespace
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Begin porting implementation from tiny_simgrid
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Add methods between EventSet and Configuration
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Convert EventSet into class from typedef
commit
|
commitdiff
|
tree
2023-02-20
Maxwell Pirtle
Send actor action probes one at a time
commit
|
commitdiff
|
tree
2023-02-16
Maxwell Pirtle
Initialize uninitialized transition for root state
commit
|
commitdiff
|
tree
2023-02-16
Maxwell Pirtle
Fix root-node edge cases for states
commit
|
commitdiff
|
tree
2023-02-15
Maxwell Pirtle
Add note about resetting `times_considered`
commit
|
commitdiff
|
tree
2023-02-15
Maxwell Pirtle
Replace pending transition with latest execution
commit
|
commitdiff
|
tree
2023-02-14
Maxwell Pirtle
Fix condition for XBT_DECLARE_ENUM_CLASS
commit
|
commitdiff
|
tree
2023-02-13
Maxwell Pirtle
Finalize passing transitions during model checking
commit
|
commitdiff
|
tree
2023-02-10
Maxwell Pirtle
Add intial steps to transfer transitions to the MC
commit
|
commitdiff
|
tree
2023-02-09
Maxwell Pirtle
Add patch for arm64 Ubuntu 22.04 in UnwindContext
commit
|
commitdiff
|
tree