remove unused code
Need to handle recursive calls
Remove redundant data structures and FuncNode's dependencies on old actions
Run tabbing pass
Add a collision list for FuncInsts with the same source line number
Design a method to select predicate branches based on exploration counts
Avoid using a HashTable to associate FuncInsts with ModelActions; a slight improvement in performance
Do not unset FuncInst locations when new executions start; check if execution numbers match instead
Add comment about the difference between ModelAction::is_write and FuncInst::is_write
add a data structrue to keep track of the run-time position in the predicate tree for each thread
reset memory locations of FuncInsts when new executions start
experiment with adding NULLITY predicate
toward building a naive predicate tree
edits
planning to build a predicate generator based on values that have been written to memory locations historically
commit stuff before merge
add entry atomic instructions to FuncNode
factor out codes for FuncInst class