Adding predicateOperator (equality operation ...)
authorHamed <hamed.gorjiara@gmail.com>
Mon, 3 Jul 2017 21:43:47 +0000 (14:43 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Mon, 3 Jul 2017 21:43:47 +0000 (14:43 -0700)
commit2f171b5db8479462cc953b2663bdaa26c2b3b115
treeb3c1a212fc58a62b0d57713014ddf378648e9f60
parent387503a379e7f28963a34da1396c31fdb16f6a3b
Adding predicateOperator (equality operation ...)
src/AST/predicate.c
src/AST/predicate.h
src/Backend/satencoder.c
src/Backend/satencoder.h