| 2023-11-13 |
Martin Quinson | MC: move the reversible_race logic to the Transition...
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | another try at cleanly unlocking the mutexes before...
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Try to fix a failure about mutex freed too early in RMA
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Fix clang builds
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | New method: MutexImpl::is_granted()
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | More forward declarations
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Sanity check that mutex are empty when destroyed
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Check in the right location that a mutex is provided...
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Rename the CondVar observer as it should
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Move the conditionVariable observer to the right file
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Sanity checks about the lock protecting a pthread_cond
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | New function s4u::Mutex::get_owner()
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Template implem of cond_timedwait in sthread
|
commit | commitdiff | tree |
| 2023-11-13 |
Martin Quinson | Another easy test from McMini
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Implement pthread_cond in sthread -- too bad it's TODO...
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Document all changes so far
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Implement pthread_barrier calls in sthread, and test...
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Refactorize the sthread interception of functions
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Add more Mc Mini tests
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Revalidate the tesh files that got invalidated by a...
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Small typos in comments
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2023-11-12 |
Martin Quinson | Fix tesh autotests after recent change to display the...
|
commit | commitdiff | tree |
| 2023-11-09 |
Martin Quinson | Cleanup work to make is_race_reversible() a method...
|
commit | commitdiff | tree |
| 2023-11-08 |
Martin Quinson | tesh: display the run command ASAP, not after its timeout
|
commit | commitdiff | tree |
| 2023-11-08 |
Martin Quinson | Fix the tesh files now that the ODPOR algo was changed...
|
commit | commitdiff | tree |
| 2023-11-08 |
Martin Quinson | Spit a message when ODPOR is not optimal
|
commit | commitdiff | tree |
| 2023-11-08 |
Martin Quinson | Fix ODPOR: overapproximate ReversibleRace (to not miss...
|
commit | commitdiff | tree |
| 2023-11-08 |
Martin Quinson | Fix SemWai::ReversibleRace()
|
commit | commitdiff | tree |
| 2023-11-07 |
Martin Quinson | Simply rewrap comments and reindent, no real change
|
commit | commitdiff | tree |
| 2023-11-07 |
Martin Quinson | Add an assert that the checker don't try to exec disabled...
|
commit | commitdiff | tree |
| 2023-11-07 |
Martin Quinson | Improve the debug messages
|
commit | commitdiff | tree |
| 2023-11-07 |
Martin Quinson | Tell the MC transition about the semaphore capacity...
|
commit | commitdiff | tree |
| 2023-11-07 |
Martin Quinson | Make sure that the ID of a semaphore does not change...
|
commit | commitdiff | tree |
| 2023-11-07 |
Martin Quinson | cosmetics: this is an ID, not a ptr
|
commit | commitdiff | tree |
| 2023-11-06 |
Martin Quinson | also remove xbt/automaton which was only useful to...
|
commit | commitdiff | tree |
| 2023-11-06 |
Martin Quinson | Change most mcmini tests to odpor reduction; the unchanged...
|
commit | commitdiff | tree |
| 2023-11-06 |
Martin Quinson | Actions executed by the same actor are always dependent...
|
commit | commitdiff | tree |
| 2023-11-06 |
Martin Quinson | ODPOR: more verbose message on assertion failure
|
commit | commitdiff | tree |
| 2023-11-06 |
Martin Quinson | This option is used in MC, so it won't go anytime soon
|
commit | commitdiff | tree |
| 2023-11-06 |
Martin Quinson | Troubleshooting Homebrew binaries on macOS (Thanks...
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Another attempt to fix the printf issue on mac: don...
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | There is too much boost include to protect, disable...
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Avoid casting errors in printf on MacOSX
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | was for stateful MC, remove this
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Fix gcc builds
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Try to survive to undefined preprocessor symbols
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Try to activate -Wundef on all builds
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Model-checking is robust now that it's stateless MC...
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Restaure INCLUDE(CheckCCompilerFlag) in cmake
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | unify struct and class declarations
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Remove some restrictions on enable_model-checking now...
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Remove the stateful model-checking from the archive...
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2023-11-05 |
Martin Quinson | Add a cmake option to disable McMini tests, and rename...
|
commit | commitdiff | tree |
| 2023-11-04 |
Martin Quinson | Document all commits of this release cycle so far
|
commit | commitdiff | tree |
| 2023-11-04 |
Martin Quinson | Ignore McMini tests from sonar analysis
|
commit | commitdiff | tree |
| 2023-11-03 |
Martin Quinson | Merge branch 'master' into simgrid-fork-changelog-plugins
|
commit | commitdiff | tree |
| 2023-11-03 |
Martin Quinson | Fix an ODR reported by ASan
|
commit | commitdiff | tree |
| 2023-11-03 |
Martin Quinson | Merge branch 'memleak-battery' into 'master'
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | tesh: helpful message on syntax error
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Add more tests from McMini
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Remove ignored lines from tesh files, uberbumer
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Fix MC builds
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Fix various build errors
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Missing files
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Do not use MC_process_clock_add() for now, as it makes...
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Add an example from the McMini project to test sthread...
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | MC: more debug messages
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | Actions executed by the same actor are always dependent
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | MC: add an observer to sleep simcalls
|
commit | commitdiff | tree |
| 2023-11-02 |
Martin Quinson | MC: display the 100 first transitions when we reach...
|
commit | commitdiff | tree |
| 2023-11-01 |
Martin Quinson | Do not remove smpi run dependencies from docker images
|
commit | commitdiff | tree |
| 2023-10-30 |
Martin Quinson | Fix make distcheck for Fred :)
|
commit | commitdiff | tree |
| 2023-10-30 |
Martin Quinson | Merge branch 'mq' into 'master'
|
commit | commitdiff | tree |
| 2023-10-30 |
Martin Quinson | Merge branch 'example-battery-chiller-solar' into ...
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | Ninja verbose build is not like the Makefile ones
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | jenkins: use ninja when available as it's a few percent...
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | Change the way we're inserting elements in this map
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | tesh: disable the auto-valgrind option in the test...
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | tesh: rerun the command in valgrind if it segfaults
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | tesh: report when the command got signaled in addition...
|
commit | commitdiff | tree |
| 2023-10-29 |
Martin Quinson | Fix build with ns3 v3.36+
|
commit | commitdiff | tree |
| 2023-10-28 |
Martin Quinson | project_description: fix the RE catching the ns-3 version...
|
commit | commitdiff | tree |
| 2023-10-27 |
Martin Quinson | Hack to make liveness work on Debian testing
|
commit | commitdiff | tree |
| 2023-10-27 |
Martin Quinson | Fix non-Linux builds
|
commit | commitdiff | tree |
| 2023-10-27 |
Martin Quinson | Missing files, and fix make distcheck
|
commit | commitdiff | tree |
| 2023-10-26 |
Martin Quinson | Document recent changes
|
commit | commitdiff | tree |
| 2023-10-26 |
Martin Quinson | Finish up the implementation of recursive mutexes
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | sthread: implement recursive mutexes (test broken so...
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | Reduce a bit the amount of cores used during tests...
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | sthread: pthread_mutex_trylock shall return 0 on success
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | sthread: do not intercept valgrind nor /bin/sh, and...
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | Forward declaration of another class
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | Missing copyright headers
|
commit | commitdiff | tree |
| 2023-10-25 |
Martin Quinson | sthread/ObjectAccess: bug fix + report when more than...
|
commit | commitdiff | tree |
| 2023-10-24 |
Martin Quinson | Instructive error message
|
commit | commitdiff | tree |
| 2023-10-24 |
Martin Quinson | Document our mutexes
|
commit | commitdiff | tree |
| 2023-10-24 |
Martin Quinson | sthread object tracker: allow recursive object accesses
|
commit | commitdiff | tree |
| 2023-10-24 |
Martin Quinson | Document a variable
|
commit | commitdiff | tree |
| next |
