| 2012-11-19 |
Martin Quinson | add the TLA specification of the simix network layer...
|
commit | commitdiff | tree |
| 2012-11-19 |
Martin Quinson | attempt to get everything properly cleaned when only...
|
commit | commitdiff | tree |
| 2012-11-15 |
Martin Quinson | display on configuration output whether the mallocators...
|
commit | commitdiff | tree |
| 2012-11-15 |
Martin Quinson | turn off the mallocators during the memory check
|
commit | commitdiff | tree |
| 2012-11-15 |
Martin Quinson | git reset hard works even for Java. True story.
|
commit | commitdiff | tree |
| 2012-11-14 |
Martin Quinson | ahem, document the right name for the new function
|
commit | commitdiff | tree |
| 2012-11-14 |
Martin Quinson | rewrite the 'howto release' guide, in paranoid mode
|
commit | commitdiff | tree |
| 2012-11-14 |
Martin Quinson | typo in comments
|
commit | commitdiff | tree |
| 2012-11-14 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2012-11-14 |
Martin Quinson | New function: MSG_get_process_number()
|
commit | commitdiff | tree |
| 2012-11-14 |
Martin Quinson | enhance the flatifier so that it can be used for platform...
|
commit | commitdiff | tree |
| 2012-10-26 |
Martin Quinson | document augustin's work
|
commit | commitdiff | tree |
| 2012-10-25 |
Martin Quinson | documentation improvement [thx Sylvain for pointing...
|
commit | commitdiff | tree |
| 2012-10-25 |
Martin Quinson | document recent changes of Pierre (and Augustin?)
|
commit | commitdiff | tree |
| 2012-10-25 |
Martin Quinson | we just released
|
commit | commitdiff | tree |
| 2012-10-25 |
Martin Quinson | update the release dates
|
commit | commitdiff | tree |
| 2012-10-24 |
Martin Quinson | ops, forgot to document the changes of JB this summer
|
commit | commitdiff | tree |
| 2012-10-24 |
Martin Quinson | some cleanups to the changelog. Still improvable
|
commit | commitdiff | tree |
| 2012-10-24 |
Martin Quinson | proposal of NEWS file for the upcomming release
|
commit | commitdiff | tree |
| 2012-10-24 |
Martin Quinson | Desactivate an historical MC_assert so that model-checking...
|
commit | commitdiff | tree |
| 2012-10-24 |
Martin Quinson | Document some of Pierre's work
|
commit | commitdiff | tree |
| 2012-10-24 |
Martin Quinson | make it work on x86 too. Other arches are still broken...
|
commit | commitdiff | tree |
| 2012-10-18 |
Martin Quinson | plug some memleaks in that example
|
commit | commitdiff | tree |
| 2012-10-17 |
Martin Quinson | Cancel the comms of leaving processes instead of destroying...
|
commit | commitdiff | tree |
| 2012-10-17 |
Martin Quinson | Ensure that the mallocator are really inactive when...
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | cosmetics and improvement
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | document that we really need xbt_os_thread_atfork ...
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | improve the mmalloc tesh to ensure that use after free...
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | Update the mmalloc tesh file
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | display offsets in hexa (counting in decimal sometimes...
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | Do not store any metadata where the user (was) legitimate...
|
commit | commitdiff | tree |
| 2012-10-16 |
Martin Quinson | sg_cmdline is a public dynar containing all command...
|
commit | commitdiff | tree |
| 2012-10-15 |
Martin Quinson | cosmetics
|
commit | commitdiff | tree |
| 2012-10-15 |
Martin Quinson | ensures that runall is never called on empty set
|
commit | commitdiff | tree |
| 2012-10-15 |
Martin Quinson | search libunwind with cmake and die at config time...
|
commit | commitdiff | tree |
| 2012-10-14 |
Martin Quinson | ouch, I've lost an eye on that
|
commit | commitdiff | tree |
| 2012-10-14 |
Martin Quinson | try to get /some/ info from the cdash by not intentionaly...
|
commit | commitdiff | tree |
| 2012-10-14 |
Martin Quinson | more cruft to ignore
|
commit | commitdiff | tree |
| 2012-10-10 |
Martin Quinson | commit my deployment for testing the model-checking...
|
commit | commitdiff | tree |
| 2012-10-10 |
Martin Quinson | install libunwind for model-checking
|
commit | commitdiff | tree |
| 2012-10-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
|
commit | commitdiff | tree |
| 2012-10-10 |
Martin Quinson | these files were added recently
|
commit | commitdiff | tree |
| 2012-10-09 |
Martin Quinson | improve a comment
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | try harder to break mmalloc wrt double-free
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | checks that double free are correctly detected
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | add the new mmalloc test to the testsuite
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | better integration of this test in our framework (like...
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | Bug fix in mrealloc where the previous content could...
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | we all love debug informations
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | add a basic tesh test about mmalloc
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | kill a very old TODO file. We don't care of running...
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | we need the simgrid library too. True story.
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
|
commit | commitdiff | tree |
| 2012-10-08 |
Martin Quinson | make it compile in a recent tree
|
commit | commitdiff | tree |
| 2012-10-04 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
|
commit | commitdiff | tree |
| 2012-10-04 |
Martin Quinson | Thank the Jean Noel dream team in the Changelog
|
commit | commitdiff | tree |
| 2012-10-02 |
Martin Quinson | Do not kill all processes when MSG shuts down: simix...
|
commit | commitdiff | tree |
| 2012-10-02 |
Martin Quinson | Deprecate MSG_clean
|
commit | commitdiff | tree |
| 2012-10-02 |
Martin Quinson | Ensures that SIMIX_clean is called automatically
|
commit | commitdiff | tree |
| 2012-09-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
|
commit | commitdiff | tree |
| 2012-09-27 |
Martin Quinson | update this code so that it matches my thesis document
|
commit | commitdiff | tree |
| 2012-09-27 |
Martin Quinson | do not do useless and potentially harmful debug messages...
|
commit | commitdiff | tree |
| 2012-09-27 |
Martin Quinson | improve a tiny bit the doc
|
commit | commitdiff | tree |
| 2012-08-16 |
Martin Quinson | make it clear that this platform only documents the...
|
commit | commitdiff | tree |
| 2012-08-15 |
Martin Quinson | dafuk did I just see?
|
commit | commitdiff | tree |
| 2012-08-15 |
Martin Quinson | if this line induce a bug (see commit 05cd623), then...
|
commit | commitdiff | tree |
| 2012-08-09 |
Martin Quinson | Various hacks to unbench the logging to disk when run...
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | and now, get the execution sampling macros work also...
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | dafuk? don't mix seconds and flops!
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | rewrite the MPI execution sampling facility (previous...
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | rewrite this example to betterly demo SMPI_SAMPLE_LOCAL...
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | stop being protective against things we cannot deal...
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | variable renaming to try to understand this code
|
commit | commitdiff | tree |
| 2012-08-04 |
Martin Quinson | make an error message marginally more understandable...
|
commit | commitdiff | tree |
| 2012-08-02 |
Martin Quinson | Revert "[trace] something might have failed during...
|
commit | commitdiff | tree |
| 2012-08-02 |
Martin Quinson | more verbose error messages
|
commit | commitdiff | tree |
| 2012-08-02 |
Martin Quinson | cleanups
|
commit | commitdiff | tree |
| 2012-08-02 |
Martin Quinson | useless cosmetic in this code that is full of surprises
|
commit | commitdiff | tree |
| 2012-08-02 |
Martin Quinson | typo--
|
commit | commitdiff | tree |
| 2012-08-02 |
Martin Quinson | expend an example to explain what the prefix, suffix...
|
commit | commitdiff | tree |
| 2012-07-22 |
Martin Quinson | Add some support to bench the sequential and parallel...
|
commit | commitdiff | tree |
| 2012-07-22 |
Martin Quinson | useless tiny cleanups that should be done all over...
|
commit | commitdiff | tree |
| 2012-07-22 |
Martin Quinson | New function: xbt_os_timer_resume() to restart a timer...
|
commit | commitdiff | tree |
| 2012-07-19 |
Martin Quinson | maxmin/precision: reflect the real default value, as...
|
commit | commitdiff | tree |
| 2012-07-17 |
Martin Quinson | regenerate the flexer files with a recent flexml, so...
|
commit | commitdiff | tree |
| 2012-07-17 |
Martin Quinson | Fix a bug making that the simulation ran longer than...
|
commit | commitdiff | tree |
| 2012-07-09 |
Martin Quinson | document the upcoming change in SMPI
|
commit | commitdiff | tree |
| 2012-07-05 |
Martin Quinson | be more verbose on explaining the expected result of...
|
commit | commitdiff | tree |
| 2012-07-05 |
Martin Quinson | regenerate the parser files with flexml 1.9.3 (thx...
|
commit | commitdiff | tree |
| 2012-07-05 |
Martin Quinson | typo on option name
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | more content and cosmetics to the ChangeLog
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | document some of the recent changes that I can remember of
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | make iterating over NULL dynar a no-op that does not...
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | MSG_config mc-related stuff is not enough to activate...
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | oops, we broke non-model-checking builds yesterday...
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | ignore some new binary files
|
commit | commitdiff | tree |
| 2012-06-22 |
Martin Quinson | use an axe (and dupplicate targets) to get the doc...
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | Document the new config options that we introduced...
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | Cleanups in the --cfg options regarding model-checking
|
commit | commitdiff | tree |
| next |
