| 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 |
| 2012-06-21 |
Martin Quinson | improve documentation on the way
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | Various cleanups to the model-checking user interface
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | let model-checking compile without supernovae activated...
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | useless cosmetics
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | remove useless check that will never detect any issue
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | Deprecate functions MSG_global_init() / MSG_global_init_args...
|
commit | commitdiff | tree |
| 2012-06-21 |
Martin Quinson | pebcak protection: some day, someone will use a different...
|
commit | commitdiff | tree |
| 2012-06-20 |
Martin Quinson | MC checkpoints implies MC
|
commit | commitdiff | tree |
| 2012-06-20 |
Martin Quinson | meaningful pebcak message: you need to compile MC in...
|
commit | commitdiff | tree |
| 2012-06-20 |
Martin Quinson | more informative documentation of cmake option, and...
|
commit | commitdiff | tree |
| 2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
|
commit | commitdiff | tree |
| 2012-06-19 |
Martin Quinson | typo (and copyright dates on the way)
|
commit | commitdiff | tree |
| 2012-06-18 |
Martin Quinson | add a new stressing test to GRAS. Yeah, it actually...
|
commit | commitdiff | tree |
| 2012-06-14 |
Martin Quinson | speak nicely to old gcc versions
|
commit | commitdiff | tree |
| 2012-06-13 |
Martin Quinson | New function: MSG_host_set_property_value()
|
commit | commitdiff | tree |
| 2012-06-13 |
Martin Quinson | Enable tracing by default. This modules rocks you should...
|
commit | commitdiff | tree |
| 2012-06-12 |
Martin Quinson | that's perfectly fine to not free that memory on process...
|
commit | commitdiff | tree |
| 2012-06-07 |
Martin Quinson | prepare the ChangeLog and NEWS files for the upcoming...
|
commit | commitdiff | tree |
| 2012-06-07 |
Martin Quinson | a word on installing onto Mac OSX systems
|
commit | commitdiff | tree |
| 2012-06-05 |
Martin Quinson | avoid double free issues when on host failure+process run
|
commit | commitdiff | tree |
| 2012-06-05 |
Martin Quinson | Bug fixes around the resource failures in Simix
|
commit | commitdiff | tree |
| 2012-06-05 |
Martin Quinson | do not hide issues
|
commit | commitdiff | tree |
| 2012-05-30 |
Martin Quinson | update FSF address (thanks to debian's paranoid robots ;)
|
commit | commitdiff | tree |
| 2012-05-29 |
Martin Quinson | make it clear that this is a boolean field
|
commit | commitdiff | tree |
| 2012-05-29 |
Martin Quinson | Improve an error message
|
commit | commitdiff | tree |
| 2012-05-29 |
Martin Quinson | recommit my initial version of cloud stuff for 3.8...
|
commit | commitdiff | tree |
| 2012-05-29 |
Martin Quinson | document Pierre's last change (thx for your work, pierre)
|
commit | commitdiff | tree |
| 2012-05-27 |
Martin Quinson | there is no publication page in the in-tarball documentation...
|
commit | commitdiff | tree |
| 2012-05-24 |
Martin Quinson | here lucas: =<G>= (you deserve it). Closes #14324
|
commit | commitdiff | tree |
| 2012-05-24 |
Martin Quinson | dont include dot graphs on every page: they are redundent...
|
commit | commitdiff | tree |
| 2012-05-15 |
Martin Quinson | tiny post-release adjustment
|
commit | commitdiff | tree |
| 2012-05-15 |
Martin Quinson | Ahem. Typo in release nick name. Retagging and everything
|
commit | commitdiff | tree |
| 2012-05-15 |
Martin Quinson | RELEAAAAAAAASE
|
commit | commitdiff | tree |
| 2012-05-14 |
Martin Quinson | add a short proof of corectness. should work too
|
commit | commitdiff | tree |
| 2012-05-14 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
|
commit | commitdiff | tree |
| 2012-05-14 |
Martin Quinson | argument why parallel execution don't jeopardize reproducibi...
|
commit | commitdiff | tree |
| 2012-05-13 |
Martin Quinson | missing file in .tgz causing errors in ctest
|
commit | commitdiff | tree |
| 2012-05-13 |
Martin Quinson | prepare the NEWS file for next release
|
commit | commitdiff | tree |
| 2012-05-13 |
Martin Quinson | update the ChangeLog
|
commit | commitdiff | tree |
| next |
