Support for pruning unused order elements
authorbdemsky <bdemsky@uci.edu>
Tue, 19 Mar 2019 21:18:05 +0000 (14:18 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 19 Mar 2019 21:18:05 +0000 (14:18 -0700)
commit250304ccf75e2f6f6544022234dd5ad3ca7adbb2
treef7d50a33dd9384045a5b76e520ea168e6179ec8d
parentbdb737849a5e0a2620e049dabfc0ba01f4ab23bb
Support for pruning unused order elements
src/AST/order.cc
src/AST/order.h
src/ASTTransform/integerencoding.cc
src/Backend/satorderencoder.cc
src/Collections/hashset.h