remove unused code
Eliminate system context
Edits
Fix memory issue; ModelList should be cleared before deletion; use ModelVector instead
Add failed predicates to predicate trace; remove unused codes
Bug fix
Remove the uses of inst_act_maps
Fix bug about recursive function calls
Remove redundant data structures and FuncNode's dependencies on old actions
Eager update predicate trees rather than lazy update; under construction
Fix typo
Complete the transfer of deletions of some actions
Separate the marking algorithm and action removal algorithm
Toward transferring the removal of some actions from ModelExecution to FuncNode or ModelHistory
Bug fixes and make Fuzzer selectable
merge
Delete set iterator pointers to prevent memory leaks and enable updating of predicate weights at function exits
Merge
Add functions to SnapList plus tabbing
Fix a bug in predicate.cc and declare 3 hashtables in funcnode.h as non-snapshotted memory to avoid repeatedly constructing and destructing them