| 2021-05-04 |
Martin Quinson | MC: add a clone() method to all Observers
|
commit | commitdiff | tree |
| 2021-05-04 |
Martin Quinson | Fix tesh file now that MC flushes the output on backtrack
|
commit | commitdiff | tree |
| 2021-05-04 |
Martin Quinson | MC: also flush application's stdout on backtrack
|
commit | commitdiff | tree |
| 2021-05-04 |
Martin Quinson | Document the fact that we have more documentation
|
commit | commitdiff | tree |
| 2021-05-04 |
Martin Quinson | Work around a bug in vscode
|
commit | commitdiff | tree |
| 2021-05-04 |
Martin Quinson | Tuto MC: Add a word about the missing pieces
|
commit | commitdiff | tree |
| 2021-04-28 |
Martin Quinson | MC tuto: Review by Emma
|
commit | commitdiff | tree |
| 2021-04-27 |
Martin Quinson | First version of a tutorial on Mc SimGrid
|
commit | commitdiff | tree |
| 2021-04-27 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2021-04-27 |
Martin Quinson | Add a pointer from the doc sources to the online one
|
commit | commitdiff | tree |
| 2021-04-19 |
Martin Quinson | Doc improvement [ci-skip]
|
commit | commitdiff | tree |
| 2021-04-19 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2021-04-05 |
Martin Quinson | doc: fix the name of an option, and document the default...
|
commit | commitdiff | tree |
| 2021-04-05 |
Martin Quinson | Cosmetics in the COPYING file [ci-skip]
|
commit | commitdiff | tree |
| 2021-04-03 |
Martin Quinson | Tell when we have more leaked handles to display
|
commit | commitdiff | tree |
| 2021-04-03 |
Martin Quinson | Display the leaked handles in the tests (using no_loc...
|
commit | commitdiff | tree |
| 2021-04-03 |
Martin Quinson | Cosmetics in an error message
|
commit | commitdiff | tree |
| 2021-04-03 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2021-04-01 |
Martin Quinson | snake_case some surviving camels
|
commit | commitdiff | tree |
| 2021-04-01 |
Martin Quinson | sg_exit never allowed to reload a platform afterward...
|
commit | commitdiff | tree |
| 2021-04-01 |
Martin Quinson | typo (reported by lintian)
|
commit | commitdiff | tree |
| 2021-04-01 |
Martin Quinson | Actor's ID should be a long, and should be named AID
|
commit | commitdiff | tree |
| 2021-03-29 |
Martin Quinson | Release SimGrid v3.27
|
commit | commitdiff | tree |
| 2021-03-29 |
Martin Quinson | Typos [noci]
|
commit | commitdiff | tree |
| 2021-03-28 |
Martin Quinson | Proposition of a NEWS entry
|
commit | commitdiff | tree |
| 2021-03-27 |
Martin Quinson | Changelog: this big fat warning is not mandated, as...
|
commit | commitdiff | tree |
| 2021-03-27 |
Martin Quinson | Changelog updates as a preparation to the next release...
|
commit | commitdiff | tree |
| 2021-03-26 |
Martin Quinson | cosmetics, somewhat hinted by sonar
|
commit | commitdiff | tree |
| 2021-03-26 |
Martin Quinson | Move SimcallObserver from simgrid::mc to simgrid::kernel...
|
commit | commitdiff | tree |
| 2021-03-25 |
Martin Quinson | Make model name constant
|
commit | commitdiff | tree |
| 2021-03-25 |
Martin Quinson | Use the models directly, not their names
|
commit | commitdiff | tree |
| 2021-03-25 |
Martin Quinson | use default value when none better is to be given
|
commit | commitdiff | tree |
| 2021-03-25 |
Martin Quinson | Remove more obsolete files from the old doc
|
commit | commitdiff | tree |
| 2021-03-25 |
Martin Quinson | Merge branch 'models_type_rework_part2_try2' into ...
|
commit | commitdiff | tree |
| 2021-03-23 |
Martin Quinson | Humpf, time to sleep, obviously
|
commit | commitdiff | tree |
| 2021-03-23 |
Martin Quinson | Forbid to modify a sealed netzone
|
commit | commitdiff | tree |
| 2021-03-22 |
Martin Quinson | Fix make distcheck
|
commit | commitdiff | tree |
| 2021-03-22 |
Martin Quinson | Sanitize how tracefiles are handled
|
commit | commitdiff | tree |
| 2021-03-20 |
Martin Quinson | Add ModelChecker::finalize_app(), but don't use it...
|
commit | commitdiff | tree |
| 2021-03-20 |
Martin Quinson | some symbol renamings to make MC easier to understand...
|
commit | commitdiff | tree |
| 2021-03-19 |
Martin Quinson | Fix clang builds
|
commit | commitdiff | tree |
| 2021-03-18 |
Martin Quinson | Reorder the headers to ensure that ours are actually...
|
commit | commitdiff | tree |
| 2021-03-18 |
Martin Quinson | test with leaks: no printf, and run also in MC (that...
|
commit | commitdiff | tree |
| 2021-03-18 |
Martin Quinson | Fix non-MC builds
|
commit | commitdiff | tree |
| 2021-03-18 |
Martin Quinson | simcall.py: this parameter is not a field, respect...
|
commit | commitdiff | tree |
| 2021-03-18 |
Martin Quinson | Add a tests-mc target to rebuild only what's needed...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Gosh I hate the formating strings when size_t comes...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | MC gets the addresses of variables it needs from the...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | RemoteProcess: cache the addresses of maxpid, actors...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Move the logic retrieving the actor info in the App...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Move the logic of Api::get_maxpid() to RemoteProcess...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | MC: lazily load the dwarf information
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Give an explicit name to the session singleton
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Remove more uses of the session global
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | The checker has the session and don't need the API...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Inline a function
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Dont pass as a parameter something that is already...
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Kill a file that was almost empty
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Kill some use of the mc_model_checker global variable
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | The checker now have a reference to the session
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | A checker don't need the mc::api to find itself
|
commit | commitdiff | tree |
| 2021-03-14 |
Martin Quinson | Rename model_checker->get_remote_simulation() into...
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | MC: cosmetics
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | Rename mc::RemoteSimulation into mc::RemoteProcess
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | MC: simplify initialization and kill api::set_checker()
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | getraw is only useful when dealing with boost intrusive...
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | inline simcall_check_dependency() now that it's called...
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | MC: check dependency between 2 given requests only...
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | request_depend_asymmetric(r1,r2) now tests when r1...
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | Sort comm_* simcalls alphabetically
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | inline a function
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | Both request cannot be of the same type here
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | Only 4 simcalls are considered by indep theorems for now
|
commit | commitdiff | tree |
| 2021-03-13 |
Martin Quinson | MC: cosmetics and tiny code simplifications
|
commit | commitdiff | tree |
| 2021-03-12 |
Martin Quinson | MC: simix::unmarshal should NEVER be called automatically
|
commit | commitdiff | tree |
| 2021-03-12 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2021-03-11 |
Martin Quinson | s4u_synchro were renamed to activity in 2015, as far...
|
commit | commitdiff | tree |
| 2021-03-11 |
Martin Quinson | Remove useless default destructor definitions
|
commit | commitdiff | tree |
| 2021-03-10 |
Martin Quinson | Two small sonar fixes
|
commit | commitdiff | tree |
| 2021-03-10 |
Martin Quinson | Document direct communications, deprecate Host::sendto...
|
commit | commitdiff | tree |
| 2021-03-09 |
Martin Quinson | Merge branch 'hotfix_add_model_api' into 'master'
|
commit | commitdiff | tree |
| 2021-03-09 |
Martin Quinson | Merge branch 'multi_models_no_globals' into 'master'
|
commit | commitdiff | tree |
| 2021-03-09 |
Martin Quinson | Split the {TEST,WAIT}ANY translation away from MC_state_choo...
|
commit | commitdiff | tree |
| 2021-03-09 |
Martin Quinson | Prepare to split the {TEST,WAIT}ANY translation away...
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | That was a nasty optimization :-/
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | MC dependency: do the easy test before the harder one
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | Use less of state->internal_req_ and more of state...
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | MAIS C'ETAIT SUR, EN FAIT ! C'ETAIT SUR !
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | MC: Extend the random-bug example to test what's going...
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | Use default parameter value instead of having an overload...
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | doc: further cosmetics in the TOC and in the pages...
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | doc: put every info related to models on the same page
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | doc: suppress more useless warnings
|
commit | commitdiff | tree |
| 2021-03-08 |
Martin Quinson | Doc: Move the blurb about the default TCP model to...
|
commit | commitdiff | tree |
| 2021-03-06 |
Martin Quinson | MC: untangle dependencies
|
commit | commitdiff | tree |
| 2021-03-06 |
Martin Quinson | MC: more symmetry between WAITANY and TESTANY in dependency
|
commit | commitdiff | tree |
| 2021-03-06 |
Martin Quinson | MC: untangle the dependency code a tiny bit
|
commit | commitdiff | tree |
| next |
