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
More explicit error message
[simgrid.git]
/
src
/
2023-03-08
Arnaud Giersch
Fix asserts for when received size is 0 (message type...
tree
|
commitdiff
2023-03-08
Arnaud Giersch
Depreciate unused functions s4u::Comm::copy_{buffer...
tree
|
commitdiff
2023-03-08
Arnaud Giersch
Inline s4u::Comm::copy_pointer_callback which is the...
tree
|
commitdiff
2023-03-08
Maxwell Pirtle
Begin filling in computations of ex(C) and en(C)
tree
|
commitdiff
2023-03-08
Arnaud Giersch
Depreciate ForcefulKillException::try_n_catch().
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
Arnaud Giersch
Use #include <...> for foreign header files.
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-07
Maxwell Pirtle
Add some basic tests for variable_for_loop
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Write maximal_subsets_iterator_wrapper with xbt utils
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Fix edge cases in variable_for_loop
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Write LazyPowerSet in terms of iterator_wrapper
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add iterator_wrapping convenience container
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
tree
|
commitdiff
2023-03-06
Martin Quinson
Fix clang build and make output more portable/predictible
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add computation for minimally reproducible sets
tree
|
commitdiff
2023-03-06
Martin Quinson
sthread: Add a way to verify accesses to non-reentrant...
tree
|
commitdiff
2023-03-06
Martin Quinson
Cosmetics in sthread output when not using SMPI
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-05
Arnaud Giersch
Don't clear flops_amount on ExecImpl::reset.
tree
|
commitdiff
2023-03-05
Arnaud Giersch
Quick tests show that currentContainer is always empty...
tree
|
commitdiff
2023-03-04
Arnaud Giersch
Walking the stack in the forward direction gives the...
tree
|
commitdiff
2023-03-04
Arnaud Giersch
Simplify assertions.
tree
|
commitdiff
2023-03-04
Augustin Degomme
assume mmap is not functional for us on macos>=11 as...
tree
|
commitdiff
2023-03-03
Martin Quinson
Fix a useless change -- and go get some sleep
tree
|
commitdiff
2023-03-03
Martin Quinson
Reindent -- almost no real change
tree
|
commitdiff
2023-03-03
Martin Quinson
fix MC + gcc builds
tree
|
commitdiff
2023-03-03
Martin Quinson
Move the implem of a function out of the header to...
tree
|
commitdiff
2023-03-03
Martin Quinson
Move the PageStore from ModelChecker to RemoteApp
tree
|
commitdiff
2023-03-03
Maxwell Pirtle
Filter events before performing iteration
tree
|
commitdiff
2023-03-02
Martin Quinson
Move the stats of visited_states count from ModelChecke...
tree
|
commitdiff
2023-03-02
Martin Quinson
Move the dot_output from ModelChecker to Exploration
tree
|
commitdiff
2023-03-02
Martin Quinson
One reference to the global singleton mc_model_checker...
tree
|
commitdiff
2023-03-02
Martin Quinson
Rename some fields to obey our coding standard
tree
|
commitdiff
2023-03-02
Martin Quinson
Allow to call SMPI_app_instance_start() once the simula...
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Zero-initialize more messages.
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Fix subtle implementation bug with maximal set filtering
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Message is retrieved as an unsigned long (according...
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Add working implementation of maximal_subsets_iterator
tree
|
commitdiff
2023-03-02
Martin Quinson
Fix a typo found by clang in MC builds
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Clean up maximum_subsets_iterator
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Replace memset(..., 0, ...) with zero-initialization.
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Zero-initialize messages (essentially their padding...
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Help to identify null values.
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Lookup only once in map.
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Useless assignments to local variable.
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
Martin Quinson
New function SMPI_app_instance_start() to easily start...
tree
|
commitdiff
2023-03-01
Martin Quinson
Try to fix a fixme blindly, just in case it was easy
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-28
Maxwell Pirtle
Add tests for LazyKSubsets and LazyPowerset
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Add LazyPowerSet and LazyKSubsets
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Add more comments to subsets_iterator implementation
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Add powerset_iterator to simgrid::xbt
tree
|
commitdiff
2023-02-28
Maxwell Pirtle
Use boost::iterator_facade for subsets_iterator
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Remove subsets.cpp file
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add "working" (but untested) implementation of iterativ...
tree
|
commitdiff
2023-02-27
Maxwell Pirtle
Add first "implementation" of k-subsets iterator
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
Use bool for booleans
tree
|
commitdiff
2023-02-26
Martin Quinson
Kill a now useless field
tree
|
commitdiff
2023-02-26
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-02-26
Martin Quinson
Also detect the disk failures
tree
|
commitdiff
2023-02-26
Martin Quinson
Further simplify the way host failures are detected
tree
|
commitdiff
2023-02-25
Martin Quinson
Simplify the way Execs detect host failures
tree
|
commitdiff
2023-02-24
Arnaud Giersch
Clear timeout detectors on finish().
tree
|
commitdiff
2023-02-24
Arnaud Giersch
Fill cmdline_ for each instance of EngimeImpl.
tree
|
commitdiff
2023-02-24
Martin Quinson
When the chaos monkey is invoked with nothing to do...
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
mlaurent
fix the done marking of multiple times taken transitions
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-24
Martin Quinson
Add a comment on why we need such a callback
tree
|
commitdiff
2023-02-23
Martin Quinson
Merge ActivityImpl::post() and ::finish()
tree
|
commitdiff
2023-02-23
Martin Quinson
Do not clean twice in Activity::post(), so that even...
tree
|
commitdiff
2023-02-23
Fred Suter
uniformization: call post that calls finish
tree
|
commitdiff
2023-02-23
Martin Quinson
Sanitize the handling of timeouts in CommImpl, ExecImpl...
tree
|
commitdiff
next