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
Make sure that the dtor of CheckerSide actually kills the application and waits for it
2023-03-21
Martin Quinson
Make sure that the dtor of CheckerSide actually kills...
commit
|
commitdiff
|
tree
2023-03-21
Martin Quinson
Fix the liveness tests when the reforks are compiled...
commit
|
commitdiff
|
tree
2023-03-20
Martin Quinson
Manually handle the memory associated to the libevent...
commit
|
commitdiff
|
tree
2023-03-20
Martin Quinson
Do not initialize the App's memory introspection if...
commit
|
commitdiff
|
tree
2023-03-20
Martin Quinson
Put everything in position to re-fork the verified App
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
cosmetics
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Move more of the CheckerSide creation logic to the...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
MC: disable Address Space Layout Randomization in the...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Differ the creation of the RemoteProcessMemory to when...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Better responsabilities splitup between CheckerSide...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Move methods not related to Memory out of RemoteProcessMemory
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Move the memory handling of RemoteProcessMemory singleton...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Move handle_message from ModelChecker to RemoteProcessMemory
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Move handle_waitpid from ModelChecker to RemoteProcessMemory
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Make a global singleton of Exploration, to kill ModelChecker
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Gosh, how many calls to that global were there?
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Kill a now unused class in mc
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Remove some more usage of mc_model_checker in Region...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Another use of mc_model_checker disapears. In Snapshot...
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
another mc_model_checker call location disappears
commit
|
commitdiff
|
tree
2023-03-19
Martin Quinson
Fix make distcheck
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
Fix MC+clang builds
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
Reduce a bit the adherance of handle_waitpid to ModelChecker
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
Merge CheckerSide::start() intp the constructor
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
Better split of responsabilities between CheckerSide...
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
Move the checker_side_ from the ModelChecker to the...
commit
|
commitdiff
|
tree
2023-03-18
Martin Quinson
One usage of mc_model_checker less
commit
|
commitdiff
|
tree
2023-03-17
Martin Quinson
Simplify Channel::receive by handling non-blocking...
commit
|
commitdiff
|
tree
2023-03-17
Martin Quinson
A few calls to mc_model_checker less by passing more...
commit
|
commitdiff
|
tree
2023-03-17
Martin Quinson
Move handle_simcall from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
2023-03-17
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
2023-03-15
Martin Quinson
Sanitize how we know the current MC mode
commit
|
commitdiff
|
tree
2023-03-15
Martin Quinson
Make it compile with all warnings enabled
commit
|
commitdiff
|
tree
2023-03-15
Martin Quinson
Document a future cleanup to do when we bump cmake...
commit
|
commitdiff
|
tree
2023-03-13
Martin Quinson
Test for JSON before using it
commit
|
commitdiff
|
tree
2023-03-13
Martin Quinson
Cosmetics
commit
|
commitdiff
|
tree
2023-03-13
Martin Quinson
fix make distcheck
commit
|
commitdiff
|
tree
2023-03-13
Martin Quinson
Correctly protect tests property settings, bummer
commit
|
commitdiff
|
tree
2023-03-13
Martin Quinson
Give the remote_process_memory to the mc::State constructor
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Move another function of ModelChecker to RemoteProcessMemory
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Move another function out of ModelChecker
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Move a function from ModelChecker to Exploration
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
move wait_for_requests() from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Inline a function in ModelChecker
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Move one method from ModelChecker to Exploration
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Move 2 functions from mc::ModelChecker to mc::RemoteApp
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Make the sendsend tests at least fail fast to not hinder...
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
Clean leftovers
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
MC: stop reading maxpid in memory, but ask it over...
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
One use less of the global mc_model_checker
commit
|
commitdiff
|
tree
2023-03-12
Martin Quinson
This seems to reduce the amount of failure, but I don...
commit
|
commitdiff
|
tree
2023-03-10
Martin Quinson
Merge branch 'udpor-phase5' into 'master'
commit
|
commitdiff
|
tree
2023-03-10
Martin Quinson
Try to avoid a segfault on assert message
commit
|
commitdiff
|
tree
2023-03-08
Martin Quinson
Merge branch 'udpor-phase4' into 'master'
commit
|
commitdiff
|
tree
2023-03-06
Martin Quinson
Fix clang build and make output more portable/predictible
commit
|
commitdiff
|
tree
2023-03-06
Martin Quinson
sthread: Add a way to verify accesses to non-reentrant...
commit
|
commitdiff
|
tree
2023-03-06
Martin Quinson
Cosmetics in sthread output when not using SMPI
commit
|
commitdiff
|
tree
2023-03-05
Martin Quinson
Merge branch 'maximal-subset-search' into 'master'
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
Fix a useless change -- and go get some sleep
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
Bump cmake to at least 3.12
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
python3-dev is another dependency of the Python bindings
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
Reindent -- almost no real change
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
fix MC + gcc builds
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
Move the implem of a function out of the header to...
commit
|
commitdiff
|
tree
2023-03-03
Martin Quinson
Move the PageStore from ModelChecker to RemoteApp
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Move the stats of visited_states count from ModelChecker...
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Move the dot_output from ModelChecker to Exploration
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
One reference to the global singleton mc_model_checker...
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Rename some fields to obey our coding standard
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Allow to call SMPI_app_instance_start() once the simulation...
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Fix a typo found by clang in MC builds
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
GH action: build out of sources
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Install python deps on GHaction + better documentation...
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Mais quel débile, punaise
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
MC builds have specific dependencies
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
GH action: ninja is verbose on error anyway
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
GH action: use the correct package name
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
gh action: we need 'sudo' here
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
GH action: install deps
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
GH action: use existing runners
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
messing with git actions
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Fix yaml syntax :(
commit
|
commitdiff
|
tree
2023-03-02
Martin Quinson
Add a github action to test our git on Debian11, regular...
commit
|
commitdiff
|
tree
2023-03-01
Martin Quinson
New function SMPI_app_instance_start() to easily start...
commit
|
commitdiff
|
tree
2023-03-01
Martin Quinson
Try to fix a fixme blindly, just in case it was easy
commit
|
commitdiff
|
tree
2023-02-28
Martin Quinson
Fix make distcheck
commit
|
commitdiff
|
tree
2023-02-28
Martin Quinson
doc: Rework the intro pages
commit
|
commitdiff
|
tree
2023-02-27
Martin Quinson
Plug a memleak + experience that code out of the MC...
commit
|
commitdiff
|
tree
2023-02-27
Martin Quinson
cosmetics in docs
commit
|
commitdiff
|
tree
2023-02-27
Martin Quinson
Asynchronous locks and fluid I/O streams were aded...
commit
|
commitdiff
|
tree
2023-02-27
Martin Quinson
Add 3 figures to the design goals + minor rewording
commit
|
commitdiff
|
tree
2023-02-27
Martin Quinson
Update release notes
commit
|
commitdiff
|
tree
2023-02-26
Martin Quinson
Allow to control the problem size from the cmd line...
commit
|
commitdiff
|
tree
2023-02-26
Martin Quinson
Revalidate a tesh file (result of a merge error)
commit
|
commitdiff
|
tree
2023-02-26
Martin Quinson
Use bool for booleans
commit
|
commitdiff
|
tree
2023-02-26
Martin Quinson
Kill a now useless field
commit
|
commitdiff
|
tree
2023-02-26
Martin Quinson
Merge branch 'master' into 'master'
commit
|
commitdiff
|
tree
next