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
Template implem of cond_timedwait in sthread
[simgrid.git]
/
teshsuite
/
mc
/
CMakeLists.txt
2023-11-13
Martin Quinson
Another easy test from McMini
blob
|
commitdiff
|
raw
2023-11-12
Martin Quinson
Implement pthread_cond in sthread -- too bad it's TODO...
blob
|
commitdiff
|
raw
|
diff to current
2023-11-12
Martin Quinson
Implement pthread_barrier calls in sthread, and test...
blob
|
commitdiff
|
raw
|
diff to current
2023-11-12
Martin Quinson
Add more Mc Mini tests
blob
|
commitdiff
|
raw
|
diff to current
2023-11-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-11-05
Martin Quinson
Remove the stateful model-checking from the archive...
blob
|
commitdiff
|
raw
|
diff to current
2023-11-05
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2023-11-05
Martin Quinson
Add a cmake option to disable McMini tests, and rename...
blob
|
commitdiff
|
raw
|
diff to current
2023-11-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
blob
|
commitdiff
|
raw
|
diff to current
2023-11-02
Martin Quinson
Add more tests from McMini
blob
|
commitdiff
|
raw
|
diff to current
2023-11-02
Martin Quinson
Remove ignored lines from tesh files, uberbumer
blob
|
commitdiff
|
raw
|
diff to current
2023-11-02
Martin Quinson
Fix various build errors
blob
|
commitdiff
|
raw
|
diff to current
2023-11-02
Martin Quinson
Missing files
blob
|
commitdiff
|
raw
|
diff to current
2023-11-02
Martin Quinson
Add an example from the McMini project to test sthread...
blob
|
commitdiff
|
raw
|
diff to current
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
blob
|
commitdiff
|
raw
|
diff to current
2023-04-01
Martin Quinson
Only compile stateless MC when libevent is found
blob
|
commitdiff
|
raw
|
diff to current
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
blob
|
commitdiff
|
raw
|
diff to current
2023-03-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2023-03-24
Martin Quinson
That test seems to pass nowadays
blob
|
commitdiff
|
raw
|
diff to current
2023-03-24
Martin Quinson
Try to use the same test file for non-linux now that...
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2022-11-01
Martin Quinson
Display the stack of each actor during a MC replay...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
Martin Quinson
Merge branch 'dev-mailbox-clear' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2022-03-17
Arnaud Giersch
Suppress trailing whitespaces.
blob
|
commitdiff
|
raw
|
diff to current
2022-01-30
Martin Quinson
Reorg the cmake in teshuite/mc to factorize things...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-18
Martin Quinson
Add a tests-mc target to rebuild only what's needed...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-13
agougeon
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-15
Augustin Degomme
Merge branch 'Adrien.Gougeon/simgrid-master'
blob
|
commitdiff
|
raw
|
diff to current
2020-12-04
Ehsan Azimi
Pull simgrid/master and a subsequent merge
blob
|
commitdiff
|
raw
|
diff to current
2020-12-04
Arnaud Giersch
Cosmetics (uppercase).
blob
|
commitdiff
|
raw
|
diff to current
2020-12-03
Arnaud Giersch
Dry run MC examples for coverage.
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-stoprofiles'
blob
|
commitdiff
|
raw
|
diff to current
2020-02-06
Arnaud Giersch
Merge branch 'pikachuyann/simgrid-xbt_random'
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Martin Quinson
Merge branch 'depencencies' into 'master'
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Martin Quinson
Add a cmake flag to not compile MSG at all
blob
|
commitdiff
|
raw
|
diff to current
2019-10-07
Frederic Suter
Merge branch 'master' into CRTP
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Frederic Suter
Merge branch 'master' of https://framagit.org/simgrid...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Arnaud Giersch
Activate crashing random bug on linux only.
blob
|
commitdiff
|
raw
|
diff to current
2019-07-09
Martin Quinson
improve verification of crashing programs
blob
|
commitdiff
|
raw
|
diff to current
2019-01-11
Martin Quinson
do not build the examples by default, only when running...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-30
Martin Quinson
Merge pull request #259 from simgrid/configfix
blob
|
commitdiff
|
raw
|
diff to current
2018-03-19
Martin Quinson
Do not load internal headers when compiling the examples
blob
|
commitdiff
|
raw
|
diff to current
2017-05-21
Martin Quinson
Merge branch 'master' of github.com:simgrid/simgrid
blob
|
commitdiff
|
raw
|
diff to current
2017-05-09
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2017-05-05
Martin Quinson
finish the conversion of public MACRO names, in the...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-30
Millian Poquet
Merge branch 'master' of https://github.com/mpoquet...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-22
Frederic Suter
reorganize cmake files to group ADD_TEST together
blob
|
commitdiff
|
raw
|
diff to current
2016-03-18
Frederic Suter
damn! so many mistakes ...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-18
Frederic Suter
try to blindly fix test
blob
|
commitdiff
|
raw
|
diff to current
2016-03-18
Frederic Suter
reorg teshsuite/mc
blob
|
commitdiff
|
raw
|
diff to current
2016-03-18
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-18
Frederic Suter
refactor 2 more CMakeLists
blob
|
commitdiff
|
raw
|
diff to current
2016-03-14
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-14
Frederic Suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2016-03-14
Frederic Suter
factor Cmake and clean files
blob
|
commitdiff
|
raw
|
diff to current
2016-02-27
Martin Quinson
Merge pull request #65 from fabienchaix/master
blob
|
commitdiff
|
raw
|
diff to current
2016-02-24
Fabien Chaix
Merge branch 'oldstyle_element_set'
blob
|
commitdiff
|
raw
|
diff to current
2016-02-23
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-23
Martin Quinson
various cleanups in the CMakeLists.txt files
blob
|
commitdiff
|
raw
|
diff to current
2016-02-23
fabienchaix
Merge pull request #2 from mquinson/master
blob
|
commitdiff
|
raw
|
diff to current
2016-02-20
Martin Quinson
Merge branch 'coverity_scan' of github.com:mquinson...
blob
|
commitdiff
|
raw
|
diff to current
2016-02-15
Frederic Suter
Do not declare empty sets
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Martin Quinson
Merge branch 'S4U'
blob
|
commitdiff
|
raw
|
diff to current
2015-09-08
Martin Quinson
disable a broken test, and cleanups
blob
|
commitdiff
|
raw
|
diff to current
2015-08-31
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2015-08-31
Martin Quinson
don't tell 165 times that we need CMAKE v2.6
blob
|
commitdiff
|
raw
|
diff to current
2015-08-27
Martin Quinson
Merge branch 'master' into S4U
blob
|
commitdiff
|
raw
|
diff to current
2015-08-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
blob
|
commitdiff
|
raw
|
diff to current
2015-08-25
Gabriel Corona
[mc] Add a test to examplify that we should handle...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-28
Adrien Lebre
Merge branch 'master' of git+ssh://scm.gforge.inria...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-25
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-07-24
Gabriel Corona
Merge remote-tracking branch 'origin/mc-fastsnapshot...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
[mc] Move page store test from the integration test...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Gabriel Corona
Merge branch 'mc-fix' into mc-fastsnapshot
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-27
Gabriel Corona
Merge branch 'mc-fastsnapshot' into mc
blob
|
commitdiff
|
raw
|
diff to current
2014-06-13
Gabriel Corona
[mc] Page-level sparse snapshot: work-in-progress,...
blob
|
commitdiff
|
raw
|
diff to current