projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1937d2b) | patch
build pruned graphs that encode conflict information...
authorbdemsky <bdemsky>
Fri, 1 Apr 2011 21:52:15 +0000 (21:52 +0000)
committerbdemsky <bdemsky>
Fri, 1 Apr 2011 21:52:15 +0000 (21:52 +0000)
commit31f3f372d8440f7de0732fecbd4dcb247dff3e66
tree7615a4c3e3c98d97dbba4826d8afecfc2310b64ftree | snapshot
parent1937d2bdcb4a4ac145eb392728d83e970e18ff4bcommit | diff
build pruned graphs that encode conflict information...
double periphery nodes may contain conflicts...conflict effects are put in brackets...
edges that have conflicts are dashed
Robust/src/Analysis/Disjoint/SMFEState.java diff | blob | history
Irvine Research Compiler