Merging with branch Master
authorHamed <hamed.gorjiara@gmail.com>
Thu, 31 Aug 2017 02:32:15 +0000 (19:32 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Thu, 31 Aug 2017 02:32:15 +0000 (19:32 -0700)
commit87e67ce60ad79d235655d7c74276ba27d1d98632
tree47603b9609c04825e5d256e588bdc309824e3cff
parentdbf84edf074b9d65971f8e0991459efeda91fa5a
parent83849cbb24f9680d1ca7c09d09ecefc6fe461d66
Merging with branch Master
src/ASTTransform/integerencoding.cc
src/ASTTransform/integerencodingrecord.cc
src/ASTTransform/integerencodingrecord.h
src/ASTTransform/transformer.cc
src/Backend/orderelement.h
src/Collections/structs.cc
src/Collections/structs.h
src/classes.h
src/classlist.h
src/csolver.cc
src/csolver.h