repos
/
INblobs
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Multiple edges between 2 agents but at different ports.
author
Miguel Vilaca <jmvilaca@di.uminho.pt>
local date
Thu, 06 Jul 2006 16:23:05
date
Thu, 06 Jul 2006 15:23:05
hash
20060706152305-970b1-5ac14913bff46a2d1bfefba7d9f9bc0553f0cdf1
Multiple edges between 2 agents but at different ports.
Fixed a bug that was forbidding 2 agents of arity n>1 of having multiple edges between them since they were at disjoint ports.
1 file(s) changed:
src/NetworkFile.hs
+10 -6
diff
|
history
|
annotate