A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Tweak a bit the dependence function
2010-08-10
cristianrosa
Tweak a bit the dependence function
commit
|
commitdiff
|
tree
2010-08-05
cristianrosa
Improve handling of WaitAny transitions.
commit
|
commitdiff
|
tree
2010-08-05
cristianrosa
Show more information on dead-lock'ed transitions
commit
|
commitdiff
|
tree
2010-08-03
cristianrosa
Tweak the handling of WaitAny transitions. It should...
commit
|
commitdiff
|
tree
2010-07-29
cristianrosa
Enable using the MC with SMPI
commit
|
commitdiff
|
tree
2010-07-29
cristianrosa
Fix a bug in the MC that enables running programs that...
commit
|
commitdiff
|
tree
2010-07-05
cristianrosa
Change dependence function to mimic the one in AVOCS...
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Remove the transitions from the model-checker's setset...
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Remove the reference count of the elements from the...
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Improve setset iterator
commit
|
commitdiff
|
tree
2010-05-27
cristianrosa
Transform transitions of type "mc_waitany" into multiple...
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Transform random transitions into multiple // transitions...
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Add logging for transitions
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Add MC support for processes with multiple enabled...
commit
|
commitdiff
|
tree
2010-05-26
cristianrosa
Bugfix: setset cursors were incorrectly implemented...
commit
|
commitdiff
|
tree
2010-05-21
cristianrosa
Improve support for WaitAny transitions, not usable...
commit
|
commitdiff
|
tree
2010-05-20
cristianrosa
Rework MC transition interception/creation. Now it...
commit
|
commitdiff
|
tree
2010-05-20
cristianrosa
Compile fix, size_t != int in 64 bits
commit
|
commitdiff
|
tree
2010-05-18
cristianrosa
Fix problem on merge from svn
commit
|
commitdiff
|
tree
2010-05-18
cristianrosa
Import portability macro in mmalloc
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Initial FAQ section for using the model-checking mode.
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Add dead-lock detection to MC
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Improve comments on examples
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Add new example: "Shared buffer between asynchronous...
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Improve independence detection of transitions (more...
commit
|
commitdiff
|
tree
2010-05-17
cristianrosa
Bugfix: Do not copy the communication data in the model...
commit
|
commitdiff
|
tree
2010-05-14
cristianrosa
Free MC memory on exit
commit
|
commitdiff
|
tree
2010-05-14
cristianrosa
Bugfix: destroy all the sets when destroying a setset...
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: delete the set of created transitions, otherwise...
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: do not assume that the object still exists...
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: delete the tasks after using them
commit
|
commitdiff
|
tree
2010-05-12
cristianrosa
Bugfix: fix memory leak related to transition creation...
commit
|
commitdiff
|
tree
2010-05-11
cristianrosa
Bugfix:delete unused variables in order to compile
commit
|
commitdiff
|
tree
2010-05-11
cristianrosa
Add new example to test MC_random function
commit
|
commitdiff
|
tree
2010-05-11
cristianrosa
Add int MC_random(int min, int max) function that will...
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Improve the transition's dependence detection in MC
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Do not use the src_buff and dst_buff to flag that the...
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Delay the copy of the data of the communication actions...
commit
|
commitdiff
|
tree
2010-05-10
cristianrosa
Bugfix: make mmalloc build in x64
commit
|
commitdiff
|
tree
2010-05-08
cristianrosa
Bugfix: initialize the model checker memory subsystem...
commit
|
commitdiff
|
tree
2009-10-14
cristianrosa
Fix invalid memory references in SIMIX network.
commit
|
commitdiff
|
tree
2009-10-13
cristianrosa
Fix some memory leaks and invalid read/delete
commit
|
commitdiff
|
tree
2009-10-05
cristianrosa
Fix some conflicts with modifications introduced in...
commit
|
commitdiff
|
tree
2009-08-25
cristianrosa
Test for debug state before calling debug printing...
commit
|
commitdiff
|
tree
2009-08-18
cristianrosa
The exception associated to each process was relocated...
commit
|
commitdiff
|
tree
2009-08-18
cristianrosa
Merge java simix process creation with the standard...
commit
|
commitdiff
|
tree
2009-08-18
cristianrosa
Fix bug related to the exception mechanism once the...
commit
|
commitdiff
|
tree
2009-08-17
cristianrosa
Update the ChangeLog
commit
|
commitdiff
|
tree
2009-08-17
cristianrosa
Finally the Java interface is working again! (It was...
commit
|
commitdiff
|
tree
2009-08-17
cristianrosa
Trying to fix another java bug
commit
|
commitdiff
|
tree
2009-08-17
cristianrosa
Fix another bug in the java context implementation
commit
|
commitdiff
|
tree
2009-08-17
cristianrosa
Fixed bug in smx_context_mod_exit.
commit
|
commitdiff
|
tree
2009-08-17
cristianrosa
Fix try to fix the JAVA crap!
commit
|
commitdiff
|
tree