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

drwxr-xr-x		..
-rw-r--r--	382	abt-min.smt2	blob \| history \| raw
-rw-r--r--	297	abt-te-exh.smt2	blob \| history \| raw
-rw-r--r--	551	abt-te-exh2.smt2	blob \| history \| raw
-rw-r--r--	260	card-2.smt2	blob \| history \| raw
-rw-r--r--	162	card-3sets.cvc	blob \| history \| raw
-rw-r--r--	218	card.smt2	blob \| history \| raw
-rw-r--r--	143	card3-ground.smt2	blob \| history \| raw
-rw-r--r--	312	comp-qf-error.smt2	blob \| history \| raw
-rw-r--r--	145	complement.cvc	blob \| history \| raw
-rw-r--r--	182	complement2.cvc	blob \| history \| raw
-rw-r--r--	367	complement3.cvc	blob \| history \| raw
-rw-r--r--	963	cvc-sample.cvc	blob \| history \| raw
-rw-r--r--	240	dt-simp-mem.smt2	blob \| history \| raw
-rw-r--r--	108	emptyset.smt2	blob \| history \| raw
-rw-r--r--	536	eqtest.smt2	blob \| history \| raw
-rw-r--r--	273	error1.smt2	blob \| history \| raw
-rw-r--r--	117	error2.smt2	blob \| history \| raw
-rw-r--r--	176	insert.smt2	blob \| history \| raw
-rw-r--r--	274	int-real-univ-unsat.smt2	blob \| history \| raw
-rw-r--r--	270	int-real-univ.smt2	blob \| history \| raw
drwxr-xr-x	-	jan24	tree \| history
drwxr-xr-x	-	jan27	tree \| history
drwxr-xr-x	-	jan28	tree \| history
drwxr-xr-x	-	jan30	tree \| history
drwxr-xr-x	-	mar2014	tree \| history
-rw-r--r--	275	nonvar-univ.smt2	blob \| history \| raw
-rw-r--r--	228	pre-proc-univ.smt2	blob \| history \| raw
-rw-r--r--	5450	rec_copy_loop_check_heap_access_43_4.smt2	blob \| history \| raw
-rw-r--r--	244	setel-eq.smt2	blob \| history \| raw
-rw-r--r--	329	sets-equal.smt2	blob \| history \| raw
-rw-r--r--	294	sets-extr.smt2	blob \| history \| raw
-rw-r--r--	281	sets-inter.smt2	blob \| history \| raw
-rw-r--r--	370	sets-new.smt2	blob \| history \| raw
-rw-r--r--	329	sets-of-sets-subtypes.smt2	blob \| history \| raw
-rw-r--r--	553	sets-poly-int-real.smt2	blob \| history \| raw
-rw-r--r--	290	sets-poly-nonint.smt2	blob \| history \| raw
-rw-r--r--	1599	sets-sample.smt2	blob \| history \| raw
-rw-r--r--	191	sets-sharing.smt2	blob \| history \| raw
-rw-r--r--	153	sets-testlemma-ints.smt2	blob \| history \| raw
-rw-r--r--	155	sets-testlemma-reals.smt2	blob \| history \| raw
-rw-r--r--	170	sets-testlemma.smt2	blob \| history \| raw
-rw-r--r--	333	sets-union.smt2	blob \| history \| raw
-rw-r--r--	324	sharing-simp.smt2	blob \| history \| raw
-rw-r--r--	334	union-1a-flip.smt2	blob \| history \| raw
-rw-r--r--	334	union-1a.smt2	blob \| history \| raw
-rw-r--r--	334	union-1b-flip.smt2	blob \| history \| raw
-rw-r--r--	334	union-1b.smt2	blob \| history \| raw
-rw-r--r--	301	union-2.smt2	blob \| history \| raw
-rw-r--r--	510	univset-simp.smt2	blob \| history \| raw