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
Ignore empty replay path + hide a global (to avoid init fiasco)
[simgrid.git]
/
src
/
mc
/
explo
/
2023-04-01
Martin Quinson
Ignore empty replay path + hide a global (to avoid...
tree
|
commitdiff
2023-03-31
Martin Quinson
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC...
tree
|
commitdiff
2023-03-31
Martin Quinson
Fix non-MC builds when MC-only dependencies are missing
tree
|
commitdiff
2023-03-31
Martin Quinson
Compile the safe part of MC in default mode too
tree
|
commitdiff
2023-03-31
Martin Quinson
Merge branch 'master' into 'master'
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
Abide by both compiler warnings
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-24
Martin Quinson
Use a portable name for SIGABRT
tree
|
commitdiff
2023-03-24
Martin Quinson
MC: disable personality() as it fails on CI and is...
tree
|
commitdiff
2023-03-24
Martin Quinson
Fix the refork feature by not ptracing App so that...
tree
|
commitdiff
2023-03-24
Arnaud Giersch
Delete redundant blank lines at the start of a code...
tree
|
commitdiff
2023-03-24
mlaurent
Add copy constructor to state, so we can backtrack...
tree
|
commitdiff
2023-03-24
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-23
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-23
mlaurent
try to fix stack handling
tree
|
commitdiff
2023-03-22
Martin Quinson
Fix some easy sonar smells
tree
|
commitdiff
2023-03-22
Martin Quinson
Merge branch 'udpor-phase6' into 'master'
tree
|
commitdiff
2023-03-21
Martin Quinson
Make sure that the dtor of CheckerSide actually kills...
tree
|
commitdiff
2023-03-20
Martin Quinson
Do not initialize the App's memory introspection if...
tree
|
commitdiff
2023-03-20
Martin Quinson
Put everything in position to re-fork the verified App
tree
|
commitdiff
2023-03-20
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Address minor comments in MR review
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Remove empty Comb.cpp
tree
|
commitdiff
2023-03-20
Maxwell Pirtle
Add documentation for Comb data structure
tree
|
commitdiff
2023-03-19
Martin Quinson
Better responsabilities splitup between CheckerSide...
tree
|
commitdiff
2023-03-19
Martin Quinson
Finally kill the now empty ModelChecker class
tree
|
commitdiff
2023-03-19
Martin Quinson
Move the memory handling of RemoteProcessMemory singlet...
tree
|
commitdiff
2023-03-19
Martin Quinson
Make a global singleton of Exploration, to kill ModelCh...
tree
|
commitdiff
2023-03-19
Martin Quinson
Another use of mc_model_checker disapears. In Snapshot...
tree
|
commitdiff
2023-03-19
Martin Quinson
another mc_model_checker call location disappears
tree
|
commitdiff
2023-03-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-18
mlaurent
Bases for wait distance guide
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-18
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-03-18
mlaurent
Replace todo direct access with consider methods; guide...
tree
|
commitdiff
2023-03-18
mlaurent
BasicGuide handle next_transition if asked to
tree
|
commitdiff
2023-03-17
Martin Quinson
A few calls to mc_model_checker less by passing more...
tree
|
commitdiff
2023-03-17
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-17
mlaurent
Add reference to parent state: only use this creation...
tree
|
commitdiff
2023-03-17
Maxwell Pirtle
Fix test in k-partial alternatives step five
tree
|
commitdiff
2023-03-16
Maxwell Pirtle
Remove unused code in Comb.cpp + fix MANIFEST.in
tree
|
commitdiff
2023-03-16
Maxwell Pirtle
Add full example for K-partial alternatives
tree
|
commitdiff
2023-03-15
Martin Quinson
Sanitize how we know the current MC mode
tree
|
commitdiff
2023-03-15
Maxwell Pirtle
Move alternative computation to Configuration for testing
tree
|
commitdiff
2023-03-15
Maxwell Pirtle
Add semantic equivalence to UnfoldingEvent
tree
|
commitdiff
2023-03-15
Maxwell Pirtle
Add comments in K-partial alternatives computation
tree
|
commitdiff
2023-03-14
Maxwell Pirtle
Add first go at implementation of K-partial alternatives
tree
|
commitdiff
2023-03-13
Martin Quinson
Cosmetics
tree
|
commitdiff
2023-03-13
Fred Suter
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-03-13
Maxwell Pirtle
Add Comb data structure for K-partial alternatives
tree
|
commitdiff
2023-03-13
Maxwell Pirtle
Add clean up phase to UDPOR
tree
|
commitdiff
2023-03-13
Martin Quinson
Give the remote_process_memory to the mc::State constructor
tree
|
commitdiff
2023-03-12
Martin Quinson
Move another function out of ModelChecker
tree
|
commitdiff
2023-03-12
Martin Quinson
Move a function from ModelChecker to Exploration
tree
|
commitdiff
2023-03-12
Martin Quinson
Move one method from ModelChecker to Exploration
tree
|
commitdiff
2023-03-12
Martin Quinson
Move 2 functions from mc::ModelChecker to mc::RemoteApp
tree
|
commitdiff
2023-03-12
Martin Quinson
MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
tree
|
commitdiff
2023-03-12
Arnaud Giersch
Fix build with -D_GLIBCXX_DEBUG [-Werror=range-loop...
tree
|
commitdiff
2023-03-10
Martin Quinson
Merge branch 'udpor-phase5' into 'master'
tree
|
commitdiff
2023-03-10
Maxwell Pirtle
Add first test for immediate conflicts edge case
tree
|
commitdiff
2023-03-10
Maxwell Pirtle
Add first batch of tests for conflict detection among...
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Add implementation for immediate conflicts
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Require conflict-freedom in is_valid_configuration
tree
|
commitdiff
2023-03-09
Maxwell Pirtle
Add test to verify topological ordering of EventSet
tree
|
commitdiff
2023-03-08
Maxwell Pirtle
Begin filling in computations of ex(C) and en(C)
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
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-06
Maxwell Pirtle
Write maximal_subsets_iterator_wrapper with xbt utils
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add first implementation of variable for-loop
tree
|
commitdiff
2023-03-06
Maxwell Pirtle
Add computation for minimally reproducible sets
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-04
Arnaud Giersch
Walking the stack in the forward direction gives the...
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 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
Maxwell Pirtle
Fix subtle implementation bug with maximal set filtering
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Add working implementation of maximal_subsets_iterator
tree
|
commitdiff
2023-03-02
Maxwell Pirtle
Clean up maximum_subsets_iterator
tree
|
commitdiff
next