2010-06-01 |
navarrop | Save script for pipol. |
commit | commitdiff | tree | snapshot |
2010-06-01 |
navarrop | Solve variable init value for windows. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | No more mail. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | Memcheck timeout set to 300s. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | Memcheck mode. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | On Mac set smpi to off by default. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | OUps. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | Add notes to cdash. |
commit | commitdiff | tree | snapshot |
2010-05-31 |
navarrop | Add a forget s to an variable and Cosmetics. |
commit | commitdiff | tree | snapshot |
2010-05-27 |
navarrop | Cosmetics |
commit | commitdiff | tree | snapshot |
2010-05-27 |
navarrop | Add full path for some files. |
commit | commitdiff | tree | snapshot |
2010-05-27 |
navarrop | Cosmetics |
commit | commitdiff | tree | snapshot |
2010-05-27 |
navarrop | Maintainer mode works without project directory. |
commit | commitdiff | tree | snapshot |
2010-05-27 |
cristianrosa | Remove the transitions from the model-checker's setset... |
commit | commitdiff | tree | snapshot |
2010-05-27 |
cristianrosa | Remove the reference count of the elements from the... |
commit | commitdiff | tree | snapshot |
2010-05-27 |
cristianrosa | Improve setset iterator |
commit | commitdiff | tree | snapshot |
2010-05-27 |
navarrop | Add a variable HAVE_MC for enable model-checking. |
commit | commitdiff | tree | snapshot |
2010-05-27 |
cristianrosa | Transform transitions of type "mc_waitany" into multipl... |
commit | commitdiff | tree | snapshot |
2010-05-26 |
cristianrosa | Transform random transitions into multiple // transitio... |
commit | commitdiff | tree | snapshot |
2010-05-26 |
cristianrosa | Add logging for transitions |
commit | commitdiff | tree | snapshot |
2010-05-26 |
cristianrosa | Add MC support for processes with multiple enabled... |
commit | commitdiff | tree | snapshot |
2010-05-26 |
cristianrosa | Bugfix: setset cursors were incorrectly implemented... |
commit | commitdiff | tree | snapshot |
2010-05-25 |
navarrop | MAJ FAQ. |
commit | commitdiff | tree | snapshot |
2010-05-25 |
navarrop | Generate tests for memcheck. |
commit | commitdiff | tree | snapshot |
2010-05-25 |
navarrop | Disable make test if memcheck, now make memcheck tests. |
commit | commitdiff | tree | snapshot |
2010-05-25 |
navarrop | Change perl script for valgrind path. |
commit | commitdiff | tree | snapshot |
2010-05-25 |
navarrop | Test if valgrind is found for enable memcheck. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
coldpeace | tricky way to bypass XML parser and setup the environme... |
commit | commitdiff | tree | snapshot |
2010-05-21 |
navarrop | Add a path to smpicc for find libsimgrid. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
navarrop | Make to file in project_directory for the moment. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
navarrop | Cosmetics and generate lib links for bindings correctely. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
navarrop | And path to testing progams too. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
navarrop | Changes path to find cmake files. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
navarrop | Reorganize cmake directory. |
commit | commitdiff | tree | snapshot |
2010-05-21 |
cristianrosa | Improve support for WaitAny transitions, not usable... |
commit | commitdiff | tree | snapshot |
2010-05-20 |
cristianrosa | Rework MC transition interception/creation. Now it... |
commit | commitdiff | tree | snapshot |
2010-05-20 |
cristianrosa | Compile fix, size_t != int in 64 bits |
commit | commitdiff | tree | snapshot |
2010-05-20 |
navarrop | Add stdarg.h for va_list. |
commit | commitdiff | tree | snapshot |
2010-05-20 |
navarrop | Cosmetics and again windows compilation. |
commit | commitdiff | tree | snapshot |
2010-05-20 |
schnorr | bug fixes: correct use of xbt dictionaries and arrays |
commit | commitdiff | tree | snapshot |
2010-05-20 |
schnorr | correct duplication of a variable |
commit | commitdiff | tree | snapshot |
2010-05-19 |
mquinson | fix a bunch of issues found by make distcheck |
commit | commitdiff | tree | snapshot |
2010-05-19 |
navarrop | Delete error in windows. |
commit | commitdiff | tree | snapshot |
2010-05-19 |
navarrop | Again for windows. |
commit | commitdiff | tree | snapshot |
2010-05-19 |
navarrop | Prepare to windows. |
commit | commitdiff | tree | snapshot |
2010-05-19 |
navarrop | Kill old README, now in the FAQ. |
commit | commitdiff | tree | snapshot |
2010-05-19 |
navarrop | Be compatible with all plateforms. |
commit | commitdiff | tree | snapshot |
2010-05-18 |
navarrop | Rename some variales and cosmetics. |
commit | commitdiff | tree | snapshot |
2010-05-18 |
navarrop | Generate files correctely with gras_stub_generator. |
commit | commitdiff | tree | snapshot |
2010-05-18 |
cristianrosa | Fix problem on merge from svn |
commit | commitdiff | tree | snapshot |
2010-05-18 |
cristianrosa | Import portability macro in mmalloc |
commit | commitdiff | tree | snapshot |
2010-05-18 |
mquinson | Import portability macros in mmalloc |
commit | commitdiff | tree | snapshot |
2010-05-18 |
mquinson | Ongoing work to port GRAS to smx_network. Not working yet |
commit | commitdiff | tree | snapshot |
2010-05-18 |
navarrop | Add option enable_modele-checking. |
commit | commitdiff | tree | snapshot |
2010-05-18 |
navarrop | Clean old command install-simgrid. |
commit | commitdiff | tree | snapshot |
2010-05-18 |
navarrop | Print install doc IGNORED if it is necessary. |
commit | commitdiff | tree | snapshot |
2010-05-18 |
navarrop | This commit 590f9c7e65ce6a64705272d79443599877d5cb72... |
commit | commitdiff | tree | snapshot |
2010-05-18 |
mquinson | Damn, once again, I forgot do document my changes |
commit | commitdiff | tree | snapshot |
2010-05-18 |
mquinson | A working 'make install' target |
commit | commitdiff | tree | snapshot |
2010-05-18 |
mquinson | further cleanups to the cmake files. We now have a... |
commit | commitdiff | tree | snapshot |
2010-05-18 |
mquinson | Document last changes |
commit | commitdiff | tree | snapshot |
2010-05-17 |
mquinson | Little cleanups to the install target. Still a long... |
commit | commitdiff | tree | snapshot |
2010-05-17 |
mquinson | install MSG_colorize.pl under the name simgrid-colorizer |
commit | commitdiff | tree | snapshot |
2010-05-17 |
mquinson | Install the libraries carefully so that we have a link... |
commit | commitdiff | tree | snapshot |
2010-05-17 |
mquinson | Rebuild the jar file only on need. The examples are... |
commit | commitdiff | tree | snapshot |
2010-05-17 |
cristianrosa | Initial FAQ section for using the model-checking mode. |
commit | commitdiff | tree | snapshot |
2010-05-17 |
cristianrosa | Add dead-lock detection to MC |
commit | commitdiff | tree | snapshot |
2010-05-17 |
cristianrosa | Improve comments on examples |
commit | commitdiff | tree | snapshot |
2010-05-17 |
cristianrosa | Add new example: "Shared buffer between asynchronous... |
commit | commitdiff | tree | snapshot |
2010-05-17 |
cristianrosa | Improve independence detection of transitions (more... |
commit | commitdiff | tree | snapshot |
2010-05-17 |
cristianrosa | Bugfix: Do not copy the communication data in the model... |
commit | commitdiff | tree | snapshot |
2010-05-17 |
navarrop | No error if there is no file into doc/html. |
commit | commitdiff | tree | snapshot |
2010-05-17 |
navarrop | Add verification before install doc. Cosmetics. |
commit | commitdiff | tree | snapshot |
2010-05-14 |
cristianrosa | Free MC memory on exit SVN |
commit | commitdiff | tree | snapshot |
2010-05-14 |
cristianrosa | Bugfix: destroy all the sets when destroying a setset... |
commit | commitdiff | tree | snapshot |
2010-05-12 |
cristianrosa | Bugfix: delete the set of created transitions, otherwis... |
commit | commitdiff | tree | snapshot |
2010-05-12 |
cristianrosa | Bugfix: do not assume that the object still exists... |
commit | commitdiff | tree | snapshot |
2010-05-12 |
cristianrosa | Bugfix: delete the tasks after using them |
commit | commitdiff | tree | snapshot |
2010-05-12 |
cristianrosa | Bugfix: fix memory leak related to transition creation... |
commit | commitdiff | tree | snapshot |
2010-05-11 |
cristianrosa | Bugfix:delete unused variables in order to compile |
commit | commitdiff | tree | snapshot |
2010-05-11 |
cristianrosa | Add new example to test MC_random function |
commit | commitdiff | tree | snapshot |
2010-05-11 |
cristianrosa | Add int MC_random(int min, int max) function that will... |
commit | commitdiff | tree | snapshot |
2010-05-10 |
suter | Add a small example for SD_workstation_get_current_task |
commit | commitdiff | tree | snapshot |
2010-05-10 |
suter | Add a SD_workstation_get_current_task function |
commit | commitdiff | tree | snapshot |
2010-05-10 |
suter | In SD_SEQUENTIAL_ACCESS_MODE, when we check if all... |
commit | commitdiff | tree | snapshot |
2010-05-10 |
mquinson | MSG_task_isend/irecv and MSG_comm_test/wait added in... |
commit | commitdiff | tree | snapshot |
2010-05-10 |
mquinson | Improve error message since this can also be caused... |
commit | commitdiff | tree | snapshot |
2010-05-10 |
cristianrosa | Improve the transition's dependence detection in MC |
commit | commitdiff | tree | snapshot |
2010-05-10 |
cristianrosa | Do not use the src_buff and dst_buff to flag that the... |
commit | commitdiff | tree | snapshot |
2010-05-10 |
cristianrosa | Delay the copy of the data of the communication actions... |
commit | commitdiff | tree | snapshot |
2010-05-10 |
cristianrosa | Bugfix: make mmalloc build in x64 |
commit | commitdiff | tree | snapshot |
2010-05-10 |
mquinson | factorize error testing in waitany with the one done... |
commit | commitdiff | tree | snapshot |
2010-05-08 |
mquinson | The mallocators of dict and fifo are created in pre... |
commit | commitdiff | tree | snapshot |
2010-05-08 |
cristianrosa | Bugfix: initialize the model checker memory subsystem... |
commit | commitdiff | tree | snapshot |
2010-05-07 |
pini | The eager limit size itself is part of the RDV protocol. |
commit | commitdiff | tree | snapshot |
2010-05-07 |
navarrop | Enable mac compilation with MMAP. |
commit | commitdiff | tree | snapshot |
2010-05-07 |
mquinson | well, yes, we need to distribute mmalloc.h (even if... |
commit | commitdiff | tree | snapshot |
2010-05-07 |
mquinson | new option to any SimGrid-based simulator: --cfg=model... |
commit | commitdiff | tree | snapshot |
2010-05-07 |
navarrop | Add mc bins to ignored files. |
commit | commitdiff | tree | snapshot |
2010-05-07 |
navarrop | Add tests for msg/mc. |
commit | commitdiff | tree | snapshot |
next |