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
Spit a message when ODPOR is not optimal
[simgrid.git]
/
tools
/
cmake
/
2023-11-06
Martin Quinson
also remove xbt/automaton which was only useful to...
tree
|
commitdiff
2023-11-05
Martin Quinson
There is too much boost include to protect, disable...
tree
|
commitdiff
2023-11-05
Martin Quinson
was for stateful MC, remove this
tree
|
commitdiff
2023-11-05
Martin Quinson
Try to activate -Wundef on all builds
tree
|
commitdiff
2023-11-05
Martin Quinson
Model-checking is robust now that it's stateless MC...
tree
|
commitdiff
2023-11-05
Martin Quinson
Remove the stateful model-checking from the archive...
tree
|
commitdiff
2023-11-05
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-11-05
Martin Quinson
Add a cmake option to disable McMini tests, and rename...
tree
|
commitdiff
2023-11-03
Martin Quinson
Merge branch 'master' into simgrid-fork-changelog-plugins
tree
|
commitdiff
2023-11-02
Martin Quinson
MC: add an observer to sleep simcalls
tree
|
commitdiff
2023-10-30
Martin Quinson
Fix make distcheck for Fred :)
tree
|
commitdiff
2023-10-30
Martin Quinson
Merge branch 'mq' into 'master'
tree
|
commitdiff
2023-10-30
Martin Quinson
Merge branch 'example-battery-chiller-solar' into ...
tree
|
commitdiff
2023-10-27
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-27
Martin Quinson
Fix non-Linux builds
tree
|
commitdiff
2023-10-26
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-24
Fred Suter
Merge branch 'master' into mq
tree
|
commitdiff
2023-10-24
Fred Suter
add Message queue abstraction
tree
|
commitdiff
2023-10-23
Martin Quinson
Do install sthread on user's disk
tree
|
commitdiff
2023-10-10
Adrien
Merge branch 'master' into 'task-dispatch'
tree
|
commitdiff
2023-09-22
Martin Quinson
Merge branch 'task-doc' into 'master'
tree
|
commitdiff
2023-09-21
Martin Quinson
Merge branch 'photovoltaic-revamp' into 'master'
tree
|
commitdiff
2023-09-21
Adrien
Merge branch 'master' into 'photovoltaic-revamp'
tree
|
commitdiff
2023-09-18
Martin Quinson
Merge branch 'chiller-plugin' into 'master'
tree
|
commitdiff
2023-09-18
Martin Quinson
Merge branch 'task_dispatch' into 'master'
tree
|
commitdiff
2023-09-18
Adrien Gougeon
add chiller plugin with doc and an example
tree
|
commitdiff
2023-09-14
Adrien Gougeon
photovoltaic plugin revamp, now called solar panel
tree
|
commitdiff
2023-09-13
Martin Quinson
Merge branch 'plugins-energy-battery-interaction' into...
tree
|
commitdiff
2023-07-24
Martin Quinson
Fix make distcheck
tree
|
commitdiff
2023-07-24
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-07-21
Martin Quinson
C bindings of ActivitySet, along with 4 examples
tree
|
commitdiff
2023-07-20
Martin Quinson
Merge branch 'jbod' into 'master'
tree
|
commitdiff
2023-07-20
Fred Suter
Merge branch 'master' into jbod
tree
|
commitdiff
2023-07-15
Martin Quinson
Merge branch 'fix-comm-signal' into 'master'
tree
|
commitdiff
2023-07-11
Adrien Gougeon
remove battery_platform.xml from DefinePackage
tree
|
commitdiff
2023-07-10
Fred Suter
Merge remote-tracking branch 'origin/master' into jbod
tree
|
commitdiff
2023-07-10
Fred Suter
adding a JBOD concept
tree
|
commitdiff
2023-07-10
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-07-09
Martin Quinson
Implement ActivitySet
tree
|
commitdiff
2023-06-28
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-06-28
Martin Quinson
Merge branch 'master' into 'python_bindings_host_load_p...
tree
|
commitdiff
2023-06-27
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-27
Arnaud Giersch
Remove deprecated features for next release (3.35).
tree
|
commitdiff
2023-06-22
Martin Quinson
Merge branch 'master' of framagit.org:simgrid/simgrid
tree
|
commitdiff
2023-06-20
Fred Suter
Move Tasks from a plugin to s4u
tree
|
commitdiff
2023-06-16
Arnaud Giersch
Merge branch 'fix-wakeup-tree-iterator' into 'master'
tree
|
commitdiff
2023-06-15
Arnaud Giersch
A few spelling mistakes and many replacements: [Ss...
tree
|
commitdiff
2023-06-14
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-13
Arnaud Giersch
A few spelling mistakes and many replacements: [Ss...
tree
|
commitdiff
2023-06-13
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-09
Martin Quinson
Merge branch 'udpor-phase8' into 'master'
tree
|
commitdiff
2023-06-09
Maxwell Pirtle
Add preliminary basic tests for ex(C) computation
tree
|
commitdiff
2023-06-07
Martin Quinson
Merge branch 'master' into 'master'
tree
|
commitdiff
2023-06-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-07
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-06
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-06
Arnaud Giersch
Fix build without MC.
tree
|
commitdiff
2023-06-06
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/mwapl...
tree
|
commitdiff
2023-06-05
Martin Quinson
Enable the ODPOR/SDPOR tests in default builds also
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
mlaurent
Merge branch 'master' of https://framagit.org/simgrid...
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'rename-operation-task' into 'master'
tree
|
commitdiff
2023-06-05
Martin Quinson
Merge branch 'odpor-implementation' into 'master'
tree
|
commitdiff
2023-06-02
Adrien Gougeon
rename operation to task. rename execute to fire.
tree
|
commitdiff
2023-06-01
Maxwell Pirtle
Add odpor_tests_private.hpp to MANIFEST.in
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'operation-python' into 'master'
tree
|
commitdiff
2023-05-31
Martin Quinson
Merge branch 'simgrid-fork-plugin-photovoltaic'
tree
|
commitdiff
2023-05-24
Maxwell Pirtle
Add reversible race calculator
tree
|
commitdiff
2023-05-16
Adrien Gougeon
add photovoltaic plugin
tree
|
commitdiff
2023-05-16
mlaurent
Add some strategies and fix the semantics of Max/MinMatch
tree
|
commitdiff
2023-05-16
Maxwell Pirtle
Add test files for WakeupTree
tree
|
commitdiff
2023-05-16
Maxwell Pirtle
Add WakeupTreeIterator and WakeupTree skeletons
tree
|
commitdiff
2023-05-15
Maxwell Pirtle
Add unit tests for ClockVector
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Fix MANIFEST.in
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Add first tests for "happens-before"
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Add Execution concept without ExecutionViews
tree
|
commitdiff
2023-05-12
Maxwell Pirtle
Add class for eventual "happens-before" computations
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-12
Adrien Gougeon
add operation plugin
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Define and use VALGRIND_NO_TRACE_CHILDREN for simgrid...
tree
|
commitdiff
2023-04-07
Arnaud Giersch
Pass include and library directories to try_compile.
tree
|
commitdiff
2023-04-06
Martin Quinson
Make distcheck
tree
|
commitdiff
2023-04-06
Martin Quinson
Allow ns3 to be idempotent if correctly patched
tree
|
commitdiff
2023-04-05
Arnaud Giersch
Centralize definitions for the name of environment...
tree
|
commitdiff
2023-04-05
Maxwell Pirtle
Add ExtensionSetCalculator files
tree
|
commitdiff
2023-04-02
Martin Quinson
Cosmetics in cmake
tree
|
commitdiff
2023-04-01
Martin Quinson
Option model-checking OFF by default
tree
|
commitdiff
2023-04-01
Martin Quinson
Revert "Also valgrind childs in CI, to valgrind MC...
tree
|
commitdiff
2023-04-01
Martin Quinson
Fix make distcheck
tree
|
commitdiff
2023-04-01
Martin Quinson
Also valgrind childs in CI, to valgrind MC apps
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
Arnaud Giersch
Allow to skip some stages of "make distcheck".
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
next