Moving OrderPairTable to the resolver + hide translation complexity in OrderPair...
authorHamed <hamed.gorjiara@gmail.com>
Wed, 6 Sep 2017 18:04:06 +0000 (11:04 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Wed, 6 Sep 2017 18:04:06 +0000 (11:04 -0700)
commit682109617a66ee846aa596e9661363280e517d98
treef2ba0efebd68d1129afb1aadc145b9798ce903cd
parent7f1c113bef0969220c6a9849713e4ba7c2b451c4
Moving OrderPairTable to the resolver + hide translation complexity in OrderPair (useful for partial order)
src/AST/order.cc
src/AST/order.h
src/Backend/orderpair.cc
src/Backend/orderpair.h
src/Backend/satencoder.h
src/Backend/satorderencoder.cc
src/Translator/orderpairresolver.cc
src/Translator/orderpairresolver.h