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
Fix an ODR reported by ASan
[simgrid.git]
/
examples
/
2023-05-08
Arnaud Giersch
Plug memory leak.
tree
|
commitdiff
2023-05-06
Arnaud Giersch
Use pointer-to-const for parameter (sonar).
tree
|
commitdiff
2023-05-05
Arnaud Giersch
Fix sonar bug: attribute access on a value that can...
tree
|
commitdiff
2023-05-05
Arnaud Giersch
Misc Sonar issues.
tree
|
commitdiff
2023-05-03
Fred Suter
further simplify this example
tree
|
commitdiff
2023-04-29
Arnaud Giersch
Revert "Run mc-*-liveness tests serial, and hope to...
tree
|
commitdiff
2023-04-27
Arnaud Giersch
Run mc-*-liveness tests serial, and hope to pass on CI.
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-17
Martin Quinson
sonar fixes
tree
|
commitdiff
2023-04-16
Martin Quinson
Add a target to recompile all ns3 tests (and only them)
tree
|
commitdiff
2023-04-16
Adrien Gougeon
rename create to init. add init with name only. add...
tree
|
commitdiff
2023-04-15
Martin Quinson
Make sure that we never have a 0 transition at the...
tree
|
commitdiff
2023-04-14
Adrien Gougeon
rename on_start/on_end functions call to on_this_start...
tree
|
commitdiff
2023-04-12
Martin Quinson
Make this example valgrind-clean
tree
|
commitdiff
2023-04-12
Martin Quinson
Further cosmetics in that example, adding a helper...
tree
|
commitdiff
2023-04-12
Fred Suter
simplify the example now that host can be set to serial
tree
|
commitdiff
2023-04-12
Martin Quinson
Use host->set_concurrency_limit(1) in an example where...
tree
|
commitdiff
2023-04-12
Adrien Gougeon
clang-format
tree
|
commitdiff
2023-04-12
Adrien Gougeon
add operation examples
tree
|
commitdiff
2023-04-10
Arnaud Giersch
Use an intermediate variable to compute the sum and...
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid...
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Add $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid...
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Fix usage of option --cfg=path in tesh files.
tree
|
commitdiff
2023-04-05
Martin Quinson
these ns3 tests need an 'output sort' directive :(
tree
|
commitdiff
2023-04-05
Arnaud Giersch
Regenerate tesh files (one more time).
tree
|
commitdiff
2023-04-05
Martin Quinson
Fix make distcheck, stupid bummer
tree
|
commitdiff
2023-04-05
Martin Quinson
Enforce the ns3 timings for the latest version of ns3...
tree
|
commitdiff
2023-04-04
Arnaud Giersch
Regenerate tesh files.
tree
|
commitdiff
2023-04-03
Martin Quinson
Ensure in tests that the ns3 timings remain unchanged
tree
|
commitdiff
2023-04-01
Martin Quinson
Only compile stateless MC when libevent is found
tree
|
commitdiff
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
tree
|
commitdiff
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
tree
|
commitdiff
2023-03-31
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-31
Adrien
Add battery plugin and fix DAG doc
tree
|
commitdiff
2023-03-30
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-30
mlaurent
Rename guide as strategy and fix counter-example displa...
tree
|
commitdiff
2023-03-30
mlaurent
Replace state copy with recipe: list of transition...
tree
|
commitdiff
2023-03-28
mlaurent
Change opened states for a priority queue
tree
|
commitdiff
2023-03-27
mlaurent
Now handle random transition and multiple times transitions
tree
|
commitdiff
2023-03-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-27
Martin Quinson
Activate the stdobject test now that it works
tree
|
commitdiff
2023-03-27
Martin Quinson
Don't set a really short timeout on sendsend now that...
tree
|
commitdiff
2023-03-26
Martin Quinson
Revert "Revalidate tesh files now that safety checking...
tree
|
commitdiff
2023-03-24
Martin Quinson
MC: disable personality() as it fails on CI and is...
tree
|
commitdiff
2023-03-24
Martin Quinson
Revalidate tesh files now that safety checking is based...
tree
|
commitdiff
2023-03-24
mlaurent
Add copy constructor to state, so we can backtrack...
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Fix test: program needs exactly 2 processes.
tree
|
commitdiff
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-22
Martin Quinson
Change an example to take its platform file from the...
tree
|
commitdiff
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
tree
|
commitdiff
2023-03-18
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-18
mlaurent
Move DPOR and sleep set algorithm from backtrack to...
tree
|
commitdiff
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-13
Martin Quinson
Correctly protect tests property settings, bummer
tree
|
commitdiff
2023-03-12
Martin Quinson
Move another function out of ModelChecker
tree
|
commitdiff
2023-03-12
Martin Quinson
Make the sendsend tests at least fail fast to not hinde...
tree
|
commitdiff
2023-03-10
Martin Quinson
Merge branch 'udpor-phase5' into 'master'
tree
|
commitdiff
2023-03-08
Arnaud Giersch
Use #include <...> for foreign header files.
tree
|
commitdiff
2023-03-08
Martin Quinson
Merge branch 'udpor-phase4' into 'master'
tree
|
commitdiff
2023-03-06
Martin Quinson
Fix clang build and make output more portable/predictible
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
Sonar smells.
tree
|
commitdiff
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
tree
|
commitdiff
2023-03-03
Martin Quinson
Bump cmake to at least 3.12
tree
|
commitdiff
2023-03-02
Martin Quinson
Allow to call SMPI_app_instance_start() once the simula...
tree
|
commitdiff
2023-03-02
Arnaud Giersch
Help to identify null values.
tree
|
commitdiff
2023-03-01
Martin Quinson
New function SMPI_app_instance_start() to easily start...
tree
|
commitdiff
2023-02-28
Augustin Degomme
Merge branch 'udpor-phase3' into 'master'
tree
|
commitdiff
2023-02-27
Martin Quinson
Plug a memleak + experience that code out of the MC...
tree
|
commitdiff
2023-02-26
Martin Quinson
Allow to control the problem size from the cmd line...
tree
|
commitdiff
2023-02-26
Martin Quinson
Revalidate a tesh file (result of a merge error)
tree
|
commitdiff
2023-02-26
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-02-24
Martin Quinson
Allow to specify the parameters on the command line...
tree
|
commitdiff
2023-02-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Merge branch 'simgrid-udpor-integration' into 'master'
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Useless casts to (void*).
tree
|
commitdiff
2023-02-23
Arnaud Giersch
More Sonar issues.
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Use normal strings instead of f-strings (Sonar).
tree
|
commitdiff
2023-02-23
Arnaud Giersch
Use C++17's std::scoped_lock where appropriate.
tree
|
commitdiff
2023-02-22
mlaurent
transitions in the same actor are dependent
tree
|
commitdiff
2023-02-22
Martin Quinson
Implement the semaphore functions in sthread
tree
|
commitdiff
2023-02-22
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-22
mlaurent
fix a few test with dpor
tree
|
commitdiff
2023-02-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-19
Martin Quinson
Remove more occurences of 'surf' with uppercases
tree
|
commitdiff
2023-02-18
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-02-18
Martin Quinson
Move the files related to the platform parsing to kerne...
tree
|
commitdiff
2023-02-18
Martin Quinson
Remove some more occurence of 'surf' in comments and...
tree
|
commitdiff
2023-02-18
Martin Quinson
Remove surf from the content from the examples of simul...
tree
|
commitdiff
2023-02-17
Martin Quinson
Rename option maxmin/precision to precision/work-amount...
tree
|
commitdiff
2023-02-16
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-15
Martin Quinson
Merge branch 'actor-comms' into 'master'
tree
|
commitdiff
2023-02-15
Martin Quinson
15 years later, I finally managed to kill host/model...
tree
|
commitdiff
2023-02-15
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-02-13
Arnaud Giersch
For Sonar.
tree
|
commitdiff
next