| 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 |
| 2021-03-06 |
Martin Quinson | MC: inline a function, kill a file
|
commit | commitdiff | tree |
| 2021-03-05 |
Martin Quinson | doc: add an hint on platform calibration, and various...
|
commit | commitdiff | tree |
| 2021-03-05 |
Martin Quinson | simgrid-mc also needs debugging symbols, so let's hint...
|
commit | commitdiff | tree |
| 2021-03-05 |
Martin Quinson | doc: fix a borken link
|
commit | commitdiff | tree |
| 2021-03-05 |
Martin Quinson | Add a section presenting an overview of SimGrid design...
|
commit | commitdiff | tree |
| 2021-03-05 |
Martin Quinson | fix pip builds
|
commit | commitdiff | tree |
| 2021-03-04 |
Martin Quinson | mc: rename Inspector to Observer
|
commit | commitdiff | tree |
| 2021-03-04 |
Martin Quinson | Simplify mc::api a bit
|
commit | commitdiff | tree |
| 2021-03-04 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2021-03-01 |
Martin Quinson | Don't require MC dependencies when building w/o MC
|
commit | commitdiff | tree |
| 2021-03-01 |
Martin Quinson | Fix non-MC builds
|
commit | commitdiff | tree |
| 2021-03-01 |
Martin Quinson | Fix make distcheck :-(
|
commit | commitdiff | tree |
| 2021-03-01 |
Martin Quinson | Missing file
|
commit | commitdiff | tree |
| 2021-03-01 |
Martin Quinson | remove a workaround for a bug removed in previous commit
|
commit | commitdiff | tree |
| 2021-03-01 |
Martin Quinson | Set the textual representation of a transition before...
|
commit | commitdiff | tree |
| 2021-02-28 |
Martin Quinson | Split inspector::is_pending() in two logical parts
|
commit | commitdiff | tree |
| 2021-02-28 |
Martin Quinson | Not sure why to_string is sometimes called when there...
|
commit | commitdiff | tree |
| 2021-02-28 |
Martin Quinson | Rename ActorState::consider() and State::add_interleaved_set...
|
commit | commitdiff | tree |
| 2021-02-28 |
Martin Quinson | Fix build on clang
|
commit | commitdiff | tree |
| 2021-02-28 |
Martin Quinson | objectification of MC simcall achieved -- many tests...
|
commit | commitdiff | tree |
| 2021-02-28 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2021-02-27 |
Martin Quinson | Extend xbt_stringify_args up to 25 arguments
|
commit | commitdiff | tree |
| 2021-02-27 |
Martin Quinson | Welcome to modernity
|
commit | commitdiff | tree |
| 2021-02-26 |
Martin Quinson | typo
|
commit | commitdiff | tree |
| 2021-02-25 |
Martin Quinson | Fix make distcheck
|
commit | commitdiff | tree |
| 2021-02-25 |
Martin Quinson | ns3: Fix build when compile warnings are enabled
|
commit | commitdiff | tree |
| 2021-02-25 |
Martin Quinson | Merge branch 'master' of framagit.org:simgrid/simgrid
|
commit | commitdiff | tree |
| 2021-02-25 |
Martin Quinson | Merge branch 'master' into 'master'
|
commit | commitdiff | tree |
| 2021-02-24 |
Martin Quinson | Remove some cruft
|
commit | commitdiff | tree |
| 2021-02-20 |
Martin Quinson | typo
|
commit | commitdiff | tree |
| 2021-02-19 |
Martin Quinson | document a recently added option
|
commit | commitdiff | tree |
| 2021-02-19 |
Martin Quinson | Fix a bunch of errors in the documentation
|
commit | commitdiff | tree |
| 2021-02-18 |
Martin Quinson | Get the doc of superclasses in subclasses
|
commit | commitdiff | tree |
| 2021-02-18 |
Martin Quinson | Fix the RST inclusions in doxygen comments
|
commit | commitdiff | tree |
| 2021-02-18 |
Martin Quinson | Stop using autodoxy: Breathe works like a charm for us
|
commit | commitdiff | tree |
| 2021-02-18 |
Martin Quinson | Remove the doc of killed functions
|
commit | commitdiff | tree |
| 2021-02-18 |
Martin Quinson | Grammarly Introduction and start your own
|
commit | commitdiff | tree |
| 2021-02-18 |
Martin Quinson | grammarly the SMPI tutorial
|
commit | commitdiff | tree |
| next |
