| 2010-05-27 |
navarrop | Cosmetics |
tree | commitdiff |
| 2010-05-27 |
cristianrosa | Remove the transitions from the model-checker's setset... |
tree | commitdiff |
| 2010-05-27 |
cristianrosa | Remove the reference count of the elements from the... |
tree | commitdiff |
| 2010-05-27 |
cristianrosa | Improve setset iterator |
tree | commitdiff |
| 2010-05-27 |
navarrop | Add a variable HAVE_MC for enable model-checking. |
tree | commitdiff |
| 2010-05-27 |
cristianrosa | Transform transitions of type "mc_waitany" into multipl... |
tree | commitdiff |
| 2010-05-26 |
cristianrosa | Transform random transitions into multiple // transitio... |
tree | commitdiff |
| 2010-05-26 |
cristianrosa | Add logging for transitions |
tree | commitdiff |
| 2010-05-26 |
cristianrosa | Add MC support for processes with multiple enabled... |
tree | commitdiff |
| 2010-05-26 |
cristianrosa | Bugfix: setset cursors were incorrectly implemented... |
tree | commitdiff |
| 2010-05-21 |
coldpeace | tricky way to bypass XML parser and setup the environme... |
tree | commitdiff |
| 2010-05-21 |
navarrop | Add a path to smpicc for find libsimgrid. |
tree | commitdiff |
| 2010-05-21 |
cristianrosa | Improve support for WaitAny transitions, not usable... |
tree | commitdiff |
| 2010-05-20 |
cristianrosa | Rework MC transition interception/creation. Now it... |
tree | commitdiff |
| 2010-05-20 |
cristianrosa | Compile fix, size_t != int in 64 bits |
tree | commitdiff |
| 2010-05-20 |
schnorr | bug fixes: correct use of xbt dictionaries and arrays |
tree | commitdiff |
| 2010-05-20 |
schnorr | correct duplication of a variable |
tree | commitdiff |
| 2010-05-18 |
cristianrosa | Fix problem on merge from svn |
tree | commitdiff |
| 2010-05-18 |
cristianrosa | Import portability macro in mmalloc |
tree | commitdiff |
| 2010-05-18 |
mquinson | Import portability macros in mmalloc |
tree | commitdiff |
| 2010-05-18 |
mquinson | Ongoing work to port GRAS to smx_network. Not working yet |
tree | commitdiff |
| 2010-05-18 |
navarrop | Add option enable_modele-checking. |
tree | commitdiff |
| 2010-05-18 |
navarrop | This commit 590f9c7e65ce6a64705272d79443599877d5cb72... |
tree | commitdiff |
| 2010-05-18 |
mquinson | further cleanups to the cmake files. We now have a... |
tree | commitdiff |
| 2010-05-17 |
cristianrosa | Add dead-lock detection to MC |
tree | commitdiff |
| 2010-05-17 |
cristianrosa | Improve comments on examples |
tree | commitdiff |
| 2010-05-17 |
cristianrosa | Improve independence detection of transitions (more... |
tree | commitdiff |
| 2010-05-17 |
cristianrosa | Bugfix: Do not copy the communication data in the model... |
tree | commitdiff |
| 2010-05-14 |
cristianrosa | Free MC memory on exit SVN |
tree | commitdiff |
| 2010-05-14 |
cristianrosa | Bugfix: destroy all the sets when destroying a setset... |
tree | commitdiff |
| 2010-05-12 |
cristianrosa | Bugfix: delete the set of created transitions, otherwis... |
tree | commitdiff |
| 2010-05-12 |
cristianrosa | Bugfix: do not assume that the object still exists... |
tree | commitdiff |
| 2010-05-12 |
cristianrosa | Bugfix: fix memory leak related to transition creation... |
tree | commitdiff |
| 2010-05-11 |
cristianrosa | Add int MC_random(int min, int max) function that will... |
tree | commitdiff |
| 2010-05-10 |
suter | Add a SD_workstation_get_current_task function |
tree | commitdiff |
| 2010-05-10 |
suter | In SD_SEQUENTIAL_ACCESS_MODE, when we check if all... |
tree | commitdiff |
| 2010-05-10 |
mquinson | MSG_task_isend/irecv and MSG_comm_test/wait added in... |
tree | commitdiff |
| 2010-05-10 |
mquinson | Improve error message since this can also be caused... |
tree | commitdiff |
| 2010-05-10 |
cristianrosa | Improve the transition's dependence detection in MC |
tree | commitdiff |
| 2010-05-10 |
cristianrosa | Do not use the src_buff and dst_buff to flag that the... |
tree | commitdiff |
| 2010-05-10 |
cristianrosa | Delay the copy of the data of the communication actions... |
tree | commitdiff |
| 2010-05-10 |
cristianrosa | Bugfix: make mmalloc build in x64 |
tree | commitdiff |
| 2010-05-10 |
mquinson | factorize error testing in waitany with the one done... |
tree | commitdiff |
| 2010-05-08 |
mquinson | The mallocators of dict and fifo are created in pre... |
tree | commitdiff |
| 2010-05-08 |
cristianrosa | Bugfix: initialize the model checker memory subsystem... |
tree | commitdiff |
| 2010-05-07 |
pini | The eager limit size itself is part of the RDV protocol. |
tree | commitdiff |
| 2010-05-07 |
navarrop | Enable mac compilation with MMAP. |
tree | commitdiff |
| 2010-05-07 |
mquinson | new option to any SimGrid-based simulator: --cfg=model... |
tree | commitdiff |
| 2010-05-07 |
mquinson | now that mmalloc doesn't break tesh anymore nor nothing... |
tree | commitdiff |
| 2010-05-07 |
mquinson | cosmetics (kill unused var, and kill/improve debug... |
tree | commitdiff |
| 2010-05-07 |
mquinson | let malloc(0) work (and kill debug outputs) |
tree | commitdiff |
| 2010-05-07 |
mquinson | Do not share anonymous pages accross forks, damnit... |
tree | commitdiff |
| 2010-05-06 |
mquinson | Fight for better integration of mmalloc, mc and xbt |
tree | commitdiff |
| 2010-05-06 |
mquinson | Improve the integration of mmalloc and mc_memory into... |
tree | commitdiff |
| 2010-05-06 |
mquinson | Stupid me, xbt_init is called by each GRAS process |
tree | commitdiff |
| 2010-05-06 |
mquinson | Let xbt_exit() issue a warning stating that this is... |
tree | commitdiff |
| 2010-05-06 |
mquinson | Use library init/fini functions for xbt initialization |
tree | commitdiff |
| 2010-05-05 |
mquinson | Let's still pass the tests with mmalloc and MC in the... |
tree | commitdiff |
| 2010-05-05 |
mquinson | Add the model-checker to the build tree. It's not used yet |
tree | commitdiff |
| 2010-05-05 |
mquinson | Unify the copyright headers of mmalloc with the rest... |
tree | commitdiff |
| 2010-05-05 |
mquinson | change mmalloc.h into a public header |
tree | commitdiff |
| 2010-05-05 |
mquinson | We don't intend to support pre-ansi platforms, so clean... |
tree | commitdiff |
| 2010-05-05 |
mquinson | Update mmalloc to compile with paranoid flags used... |
tree | commitdiff |
| 2010-05-05 |
mquinson | New module: mmalloc (mapped malloc) |
tree | commitdiff |
| 2010-05-05 |
mquinson | New data container: setset (set of sets of elements) |
tree | commitdiff |
| 2010-05-05 |
mquinson | Bug fix in xbt_dynar_shrink(): use the right element... |
tree | commitdiff |
| 2010-05-05 |
mquinson | New function: xbt_fifo_get_last_item() |
tree | commitdiff |
| 2010-05-05 |
mquinson | New function: xbt_dict_cursor_set_data() |
tree | commitdiff |
| 2010-05-05 |
pini | Cleanup. |
tree | commitdiff |
| 2010-05-04 |
mquinson | Fix a bug occuring when a host involved in a communicat... |
tree | commitdiff |
| 2010-05-04 |
mquinson | Obey the control-flow dependencies of DAX files |
tree | commitdiff |
| 2010-05-04 |
mquinson | Add a warning if the DAX file contains loop dependencie... |
tree | commitdiff |
| 2010-05-03 |
mquinson | Fix the mess around task references: the JVM should... |
tree | commitdiff |
| 2010-04-27 |
mquinson | Allow to cross compile simgrid.dll using the autotools... |
tree | commitdiff |
| 2010-04-25 |
mquinson | Fix copyright headers |
tree | commitdiff |
| 2010-04-25 |
mquinson | Kill old $Id$ command dating from CVS |
tree | commitdiff |
| 2010-04-25 |
mquinson | Add some missing copyright headers |
tree | commitdiff |
| 2010-04-25 |
mquinson | Improve the code dynar example by explaining that freei... |
tree | commitdiff |
| 2010-04-23 |
schnorr | new tracing mask TRACE_VOLUME to trace the msg tasks... |
tree | commitdiff |
| 2010-04-23 |
schnorr | new function to generate a paje start link with a volum... |
tree | commitdiff |
| 2010-04-23 |
schnorr | splitting the code of one tracing function in two ... |
tree | commitdiff |
| 2010-04-21 |
pini | Added persistent communications (working but not yet... |
tree | commitdiff |
| 2010-04-21 |
pini | Cleanup toward persistent communications. |
tree | commitdiff |
| 2010-04-21 |
schnorr | set the category for process containers also |
tree | commitdiff |
| 2010-04-21 |
schnorr | setting the type of the task so we can define its color... |
tree | commitdiff |
| 2010-04-21 |
schnorr | fix: correct trace mask checking |
tree | commitdiff |
| 2010-04-21 |
schnorr | allowing the user to set the three tracing masks |
tree | commitdiff |
| 2010-04-21 |
schnorr | re-organizing tracing masks and first support for ... |
tree | commitdiff |
| 2010-04-20 |
schnorr | fix: MSG_task_execute was not being simulated |
tree | commitdiff |
| 2010-04-20 |
schnorr | renaming value of presence state to "presence" (to... |
tree | commitdiff |
| 2010-04-20 |
schnorr | renaming more tracing functions |
tree | commitdiff |
| 2010-04-15 |
mquinson | Improve the license statement of these files |
tree | commitdiff |
| 2010-04-15 |
mquinson | improve the license statement to make it clear that... |
tree | commitdiff |
| 2010-04-15 |
mquinson | Close useless tasks in the trace also (thanks to Ghisla... |
tree | commitdiff |
| 2010-04-15 |
mquinson | Make sure that it's ok to execute 0-sized tasks |
tree | commitdiff |
| 2010-04-15 |
pini | Actually, we want a RDV not a deadlock. |
tree | commitdiff |
| 2010-04-15 |
schnorr | renaming the tracing functions that set the host/link... |
tree | commitdiff |
| 2010-04-15 |
schnorr | removing code that was used to trace every single surf... |
tree | commitdiff |
| 2010-04-15 |
schnorr | renaming some tracing functions to make easy to remembe... |
tree | commitdiff |
| 2010-04-15 |
schnorr | fix so enable_compile_warnings works nice when enable_t... |
tree | commitdiff |
| next |
