git.libre-soc.org Git - cvc5.git/tree - test/regress/regress0/precedence/

drwxr-xr-x		..
-rw-r--r--	128	and-not.cvc	blob \| history \| raw
-rw-r--r--	135	and-xor.cvc	blob \| history \| raw
-rw-r--r--	172	bool-cmp.cvc	blob \| history \| raw
-rw-r--r--	194	cmp-plus.cvc	blob \| history \| raw
-rw-r--r--	161	eq-fun.cvc	blob \| history \| raw
-rw-r--r--	129	iff-assoc.cvc	blob \| history \| raw
-rw-r--r--	134	iff-implies.cvc	blob \| history \| raw
-rw-r--r--	124	implies-assoc.cvc	blob \| history \| raw
-rw-r--r--	132	implies-iff.cvc	blob \| history \| raw
-rw-r--r--	129	implies-or.cvc	blob \| history \| raw
-rw-r--r--	131	not-and.cvc	blob \| history \| raw
-rw-r--r--	118	not-eq.cvc	blob \| history \| raw
-rw-r--r--	129	or-implies.cvc	blob \| history \| raw
-rw-r--r--	178	or-xor.cvc	blob \| history \| raw
-rw-r--r--	214	plus-mult.cvc	blob \| history \| raw
-rw-r--r--	135	xor-and.cvc	blob \| history \| raw
-rw-r--r--	128	xor-assoc.cvc	blob \| history \| raw
-rw-r--r--	132	xor-or.cvc	blob \| history \| raw