2022-08-09 |
Martin Quinson | MC: apply some sonar advices
|
commit | commitdiff | tree |
2022-08-08 |
Martin Quinson | Don't test statequality: it's ~15h w/o DPOR and hard...
|
commit | commitdiff | tree |
2022-08-08 |
Martin Quinson | Correctly disable DPOR when StateEq reduction is enabled
|
commit | commitdiff | tree |
2022-08-08 |
Martin Quinson | Add the teshfiles to the archive even when MC is disabled
|
commit | commitdiff | tree |
2022-08-08 |
Martin Quinson | Add tests of state equality reduction and nodpor for...
|
commit | commitdiff | tree |
2022-08-07 |
Martin Quinson | kill a parameter that is always true
|
commit | commitdiff | tree |
2022-08-07 |
Martin Quinson | mc:DFSExplo: cosmetics in the backtracking
|
commit | commitdiff | tree |
2022-08-07 |
Martin Quinson | Merge mc_safety.hpp into DFSExplorer class
|
commit | commitdiff | tree |
2022-08-07 |
Martin Quinson | Useless cosmetics while trying to understand that code
|
commit | commitdiff | tree |
2022-08-07 |
Martin Quinson | Integrate the (WIP) hashing logic in the Snapshot object
|
commit | commitdiff | tree |
2022-08-07 |
Martin Quinson | Small cleanups in mc::Snapshot
|
commit | commitdiff | tree |
2022-08-06 |
Martin Quinson | Finish the removal of mc::api by moving the last bits...
|
commit | commitdiff | tree |
2022-08-06 |
Martin Quinson | Move mc:api::get_remote_heap_bytes() to RemoteProcess
|
commit | commitdiff | tree |
2022-08-06 |
Martin Quinson | Convert simgrid::mc::snapshot_equal() into Snapshot...
|
commit | commitdiff | tree |
2022-08-06 |
Martin Quinson | Move the dot_output global into ModelChecker
|
commit | commitdiff | tree |
2022-08-06 |
Martin Quinson | Make the RemoteApp a field of the Exploration, and...
|
commit | commitdiff | tree |
2022-08-05 |
Martin Quinson | Simplify the MC initialization code
|
commit | commitdiff | tree |
2022-08-04 |
Martin Quinson | only 3 more functions to go in mc::api
|
commit | commitdiff | tree |
2022-08-04 |
Martin Quinson | Kill another mc::api function
|
commit | commitdiff | tree |
2022-08-04 |
Martin Quinson | Pass the remote app as a parameter to all exploration...
|
commit | commitdiff | tree |
2022-08-04 |
Martin Quinson | Kill 2 more functions from mc::api
|
commit | commitdiff | tree |
2022-08-03 |
Martin Quinson | Move the automaton from mc::api to Liveness. An ugly...
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | log_state has nothing to do in RemoteApp, it belongs...
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Sanitize MC finalization process and inline a function
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Kill mc::api::get_remote_app()
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Kill another function of mc::api
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Kill an unimplemented declaration
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Convert Api::get_maxpid() into RemoteApp::get_maxpid()
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Merge an initialization function into the constructor
|
commit | commitdiff | tree |
2022-08-02 |
Martin Quinson | Rename mc::Session into mc::api::RemoteApp
|
commit | commitdiff | tree |
2022-08-01 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
2022-08-01 |
Martin Quinson | Ensure that the verified application still works if...
|
commit | commitdiff | tree |
2022-07-31 |
Martin Quinson | Kill a now useless variable
|
commit | commitdiff | tree |
2022-07-31 |
Martin Quinson | sanitize things around FINALIZE_REPLY despite my laziness...
|
commit | commitdiff | tree |
2022-07-31 |
Martin Quinson | Fix SMPI builds by reintroducing a killed MC function...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | MC further cleanups (let it compile, this time)
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | MC: rename a file to sort out the mess
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | And now cleanup the App-side of cruft that was needed...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | Finally kill mc::RemoteProcess::actors(). We now communicate...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | Give read access to a private field
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | inline a function, kill a file
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | Well the last rogue call to RemoteProcess::actors(...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | Liveness: rename graph_state -> app_state and automaton_stat...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | further reduce the amount of call sites for RemoteProcess...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | small cosmetics to not spread unrelated logic all around...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | MC: make it clear that we only have the info about...
|
commit | commitdiff | tree |
2022-07-30 |
Martin Quinson | Reduce the amount of MC locations reading the memory...
|
commit | commitdiff | tree |
2022-07-29 |
Martin Quinson | Fix RST formatting + one URL in Release_Notes.rst
|
commit | commitdiff | tree |
2022-07-29 |
Martin Quinson | If there is no LOCK in mmalloc anymore, then there...
|
commit | commitdiff | tree |
2022-07-28 |
Martin Quinson | Remove the need of pthread_mutex in mmalloc, to allow...
|
commit | commitdiff | tree |
2022-07-28 |
Martin Quinson | Kill useless complexity in mmalloc: one of the dlsym
|
commit | commitdiff | tree |
2022-07-28 |
Martin Quinson | Allow dlsym to call free() on memory that is allocated...
|
commit | commitdiff | tree |
2022-07-22 |
Martin Quinson | Another attempt at PRELOADing mmalloc (WIP)
|
commit | commitdiff | tree |
2022-07-21 |
Martin Quinson | Fix build error due to clang-format reordering the...
|
commit | commitdiff | tree |
2022-07-21 |
Martin Quinson | Split mmalloc in a separate library
|
commit | commitdiff | tree |
2022-07-21 |
Martin Quinson | Further small simplifications to mmalloc, killing dead...
|
commit | commitdiff | tree |
2022-07-21 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
2022-07-21 |
Martin Quinson | Separate mmalloc from xbt
|
commit | commitdiff | tree |
2022-07-21 |
Martin Quinson | Kill a function that is unused and unimplemented
|
commit | commitdiff | tree |
2022-07-13 |
Martin Quinson | sthread: correctly switch to within simgrid when calling...
|
commit | commitdiff | tree |
2022-07-13 |
Martin Quinson | mc::api: Inline a useless function
|
commit | commitdiff | tree |
2022-07-13 |
Martin Quinson | Make sure that all MC tests are built on target tests-mc
|
commit | commitdiff | tree |
2022-07-13 |
Martin Quinson | mmalloc: rename a symbol to prepare further refactorings
|
commit | commitdiff | tree |
2022-07-11 |
Martin Quinson | The variable is named LD_BIND_NOW so these lines were...
|
commit | commitdiff | tree |
2022-07-10 |
Martin Quinson | Survive with old cmakes
|
commit | commitdiff | tree |
2022-07-10 |
Martin Quinson | Compile pthread-mutex-simple in a way that allows its...
|
commit | commitdiff | tree |
2022-07-10 |
Martin Quinson | MC: allow to pass env variables to the verified application
|
commit | commitdiff | tree |
2022-07-10 |
Martin Quinson | sthread: Intercept gettimeofday + sleep + usleep
|
commit | commitdiff | tree |
2022-07-02 |
Martin Quinson | sthread: don't intercept the main when run from smpirun
|
commit | commitdiff | tree |
2022-07-02 |
Martin Quinson | Adapt to the upcoming ns-3 v3.36.1
|
commit | commitdiff | tree |
2022-06-29 |
Martin Quinson | Disable sthread at the end of the sthread_main
|
commit | commitdiff | tree |
2022-06-28 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
2022-06-28 |
Martin Quinson | Add a TESH for the new sthread feature
|
commit | commitdiff | tree |
2022-06-27 |
Martin Quinson | Make sthread_inside_simgrid static into libsthread...
|
commit | commitdiff | tree |
2022-06-26 |
Martin Quinson | make sthread work out of MC build trees
|
commit | commitdiff | tree |
2022-06-25 |
Martin Quinson | tentative of implementing pthread_join, and to ensure...
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | Make sure that sthread_inside_simgrid is initially...
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | sthread is not a binary [anymore] but a library
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | sthread does not exist on FreeBSD so don't break MC...
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | Document one recent change
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | Ongoing attempt for sthread, an automatic intercepter...
|
commit | commitdiff | tree |
2022-06-24 |
Martin Quinson | Add a function to determine whether SMPI is currently...
|
commit | commitdiff | tree |
2022-06-12 |
Martin Quinson | Hint about how to configure with ninja instead of make
|
commit | commitdiff | tree |
2022-06-10 |
Martin Quinson | MC: better encapsulation design
|
commit | commitdiff | tree |
2022-05-10 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
2022-04-14 |
Martin Quinson | specify in the doc that SMPI_PRETEND_CC is good for...
|
commit | commitdiff | tree |
2022-04-14 |
Martin Quinson | typo
|
commit | commitdiff | tree |
2022-03-30 |
Martin Quinson | Merge branch 'add_missing_comm_python_bindings' into...
|
commit | commitdiff | tree |
2022-03-29 |
Martin Quinson | Merge branch 'dev-mailbox-clear' into 'master'
|
commit | commitdiff | tree |
2022-03-28 |
Martin Quinson | Fix the generation of MBI test cases (and compile them...
|
commit | commitdiff | tree |
2022-03-28 |
Martin Quinson | PVS fixes in MBI: initialize buffers before use
|
commit | commitdiff | tree |
2022-03-28 |
Martin Quinson | MBI: cosmetics in a diagnostic
|
commit | commitdiff | tree |
2022-03-28 |
Martin Quinson | BuildSimGrid.sh: allow the use of ninja
|
commit | commitdiff | tree |
2022-03-28 |
Martin Quinson | Tiny cosmetics around MBI
|
commit | commitdiff | tree |
2022-03-28 |
Martin Quinson | MBI: Do not use arrays out of bound
|
commit | commitdiff | tree |
2022-03-26 |
Martin Quinson | MBI: typo
|
commit | commitdiff | tree |
2022-03-26 |
Martin Quinson | MBI mark the test requiring the detection of local...
|
commit | commitdiff | tree |
2022-03-26 |
Martin Quinson | MBI: buffer on stack is a programming error, not a...
|
commit | commitdiff | tree |
2022-03-26 |
Martin Quinson | MBI test: disply the right buffer on error
|
commit | commitdiff | tree |
next |