APIs for getDefault filtering
placeholder, update datalog rules
change the APIs for getDefault filter
add an API for allocToFields in Env
complete mapping
alloc mapping to fields
add a merged field selector for merging fields, also on changing some data structure to support merging allocations
Merge branch 'getDefault' of github.com:xwangsd/Scuba into getDefault
testing getDefault field filtering
getDefault field fielter completed, passed regression
codes to merge fields
thisbash optimization interface API
1. heuristic for thisbash, next, pre, last fields in contains. 2. dont instantiate default edges
nothing
nothing
Merge branch 'getDefault' of github.com:xwangsd/Scuba into getDefault
fix a bug in getDefault
before working on shared summary for the original idea
before working on
working on shared summary (MemNode), partially commit for backup