A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simgrid.git
2023-03-08
Martin Quinson
Merge branch 'udpor-phase4' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Maxwell Pirtle
Add some basic tests for variable_for_loop
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Arnaud Giersch
Fixes in docs/source/tuto_* (untested).
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Write maximal_subsets_iterator_wrapper with xbt utils
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Fix edge cases in variable_for_loop
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Write LazyPowerSet in terms of iterator_wrapper
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Add iterator_wrapping convenience container
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Martin Quinson
Fix clang build and make output more portable/predictible
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Maxwell Pirtle
Add computation for minimally reproducible sets
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Martin Quinson
sthread: Add a way to verify accesses to non-reentrant...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Martin Quinson
Cosmetics in sthread output when not using SMPI
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Arnaud Giersch
Enable compile optimizations when tests will be run.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Missing ']'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Fix compilation error with clang 11.0.1.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Enable _GLIBCXX_DEBUG for one of the builds.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Sonar smells.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Don't clear flops_amount on ExecImpl::reset.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-05
Arnaud Giersch
Quick tests show that currentContainer is always empty...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Arnaud Giersch
Walking the stack in the forward direction gives the...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Arnaud Giersch
Simplify assertions.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
try to use another mattermost action, as the main one...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
[ci-skpi] fix sending of messages, and do parallel...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
assume mmap is not functional for us on macos>=11 as...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
[ci skip] remove spurious line
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
add macos build to github action, untested
commit
|
commitdiff
|
tree
|
snapshot
2023-03-04
Augustin Degomme
remove ns3 from ubuntu stable and github actions, as...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Fix a useless change -- and go get some sleep
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Bump cmake to at least 3.12
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
python3-dev is another dependency of the Python bindings
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Reindent -- almost no real change
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Arnaud Giersch
Forgot to add c++17g to the "ignore" list.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
fix MC + gcc builds
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Move the implem of a function out of the header to...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Martin Quinson
Move the PageStore from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Maxwell Pirtle
Correct MANIFEST.in according to `make distcheck`
commit
|
commitdiff
|
tree
|
snapshot
2023-03-03
Maxwell Pirtle
Filter events before performing iteration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Move the stats of visited_states count from ModelChecke...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Move the dot_output from ModelChecker to Exploration
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
One reference to the global singleton mc_model_checker...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Rename some fields to obey our coding standard
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Allow to call SMPI_app_instance_start() once the simula...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Zero-initialize more messages.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Fix subtle implementation bug with maximal set filtering
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Message is retrieved as an unsigned long (according...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Add working implementation of maximal_subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Fix a typo found by clang in MC builds
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Clean up maximum_subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Replace memset(..., 0, ...) with zero-initialization.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Zero-initialize messages (essentially their padding...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Help to identify null values.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Lookup only once in map.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Arnaud Giersch
Useless assignments to local variable.
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: build out of sources
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Install python deps on GHaction + better documentation...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Pass references to `const Unfolding*` in most places
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Mais quel débile, punaise
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
MC builds have specific dependencies
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Maxwell Pirtle
Add first implementation of maximal_subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: ninja is verbose on error anyway
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: use the correct package name
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
gh action: we need 'sudo' here
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: install deps
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
GH action: use existing runners
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
messing with git actions
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Fix yaml syntax :(
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Martin Quinson
Add a github action to test our git on Debian11, regula...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Henri Casanova
Pass on documentation's Design Goals section
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Henri Casanova
More work on the documentation's Models section
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Martin Quinson
New function SMPI_app_instance_start() to easily start...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Martin Quinson
Try to fix a fixme blindly, just in case it was easy
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Henri Casanova
Pass on the documentation's Introduction page. Minor...
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Maxwell Pirtle
Use boost::iterator_facade for History::Iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Martin Quinson
Fix make distcheck
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Augustin Degomme
Merge branch 'udpor-phase3' into 'master'
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Add src/xbt/.../subsets_tests.cpp to manifest file
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Remove CompatibilityGraph and friends
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Add tests for LazyKSubsets and LazyPowerset
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Add LazyPowerSet and LazyKSubsets
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Add more comments to subsets_iterator implementation
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Add powerset_iterator to simgrid::xbt
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Maxwell Pirtle
Use boost::iterator_facade for subsets_iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Arnaud Giersch
Update .mailmap [ci-skip]
commit
|
commitdiff
|
tree
|
snapshot
2023-02-28
Martin Quinson
doc: Rework the intro pages
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Remove subsets.cpp file
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add "working" (but untested) implementation of iterativ...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add first "implementation" of k-subsets iterator
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add iterator files to xbt/utils
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Martin Quinson
Plug a memleak + experience that code out of the MC...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Martin Quinson
cosmetics in docs
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Martin Quinson
Asynchronous locks and fluid I/O streams were aded...
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Martin Quinson
Add 3 figures to the design goals + minor rewording
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Martin Quinson
Update release notes
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Fix most of the remaining code warnings
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add default method for constructing full graph
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add predicate filtering to compatibility graph comp
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Fix most cosmetics and code warnings
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Create a private struct to hold search data
commit
|
commitdiff
|
tree
|
snapshot
2023-02-27
Maxwell Pirtle
Add first go at compatibility graph construction
commit
|
commitdiff
|
tree
|
snapshot
next