Make integerencoding a completely separate pass... Fix issue of changing ordersets
authorbdemsky <bdemsky@uci.edu>
Sat, 2 Sep 2017 07:00:52 +0000 (00:00 -0700)
committerbdemsky <bdemsky@uci.edu>
Sat, 2 Sep 2017 07:00:52 +0000 (00:00 -0700)
commit04b29ee98bb1e665842f1cf1513b5a48f2b8c9c5
treefeda969b8321a3a2e08f7995fb53a71c4f7b0728
parentd46ee65a6767e2016cab629220a60c3e39b366f1
Make integerencoding a completely separate pass...  Fix issue of changing ordersets
src/ASTTransform/decomposeordertransform.cc
src/ASTTransform/decomposeordertransform.h
src/ASTTransform/integerencoding.cc
src/ASTTransform/integerencoding.h
src/Collections/corestructs.h
src/csolver.cc
src/csolver.h