1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other...
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 7 Feb 2019 00:21:09 +0000 (16:21 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 7 Feb 2019 00:21:09 +0000 (16:21 -0800)
commit51799c65144abda2e95b5bab5a0af868b3378714
treebd6e75e448e6f9064c7d4c54c92bef2f721a4ef5
parent829b44197d915859a76704b501ebe14105b7585e
1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other logical operations
src/AlloyEnc/alloyenc.cc
src/AlloyEnc/signature.cc
src/AlloyEnc/signature.h
src/AlloyEnc/signatureenc.cc
src/AlloyEnc/signatureenc.h
src/classlist.h