repos
/
INblobs
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Reduction Bug Fix
author
Miguel Vilaca <jmvilaca@di.uminho.pt>
local date
Mon, 26 Nov 2007 12:13:15
date
Mon, 26 Nov 2007 12:13:15
hash
20071126121315-970b1-6309c2a1f1e240668ace4250a32db23e4147b423
Reduction Bug Fix
Bug fix to reduction of nets with edges between two ports of the same agent.
1 file(s) changed:
src/INReduction.hs
+2 -1
diff
|
history
|
annotate