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

drwxr-xr-x		..
-rw-r--r--	350	apply-collapse-sat.smt2	blob \| history \| raw
-rw-r--r--	412	apply-collapse-unsat.smt2	blob \| history \| raw
-rw-r--r--	2049	bug_nodbuilding_interpreted_SYO042^1.p	blob \| history \| raw
-rw-r--r--	246	cong-full-apply.smt2	blob \| history \| raw
-rw-r--r--	311	cong.smt2	blob \| history \| raw
-rw-r--r--	168	datatype-field-ho.smt2	blob \| history \| raw
-rw-r--r--	249	declare-fun-variants.smt2	blob \| history \| raw
-rw-r--r--	230	def-fun-flatten.smt2	blob \| history \| raw
-rw-r--r--	285	ext-finite-unsat.smt2	blob \| history \| raw
-rw-r--r--	296	ext-ho-nested-lambda-model.smt2	blob \| history \| raw
-rw-r--r--	263	ext-ho.smt2	blob \| history \| raw
-rw-r--r--	290	ext-sat-partial-eval.smt2	blob \| history \| raw
-rw-r--r--	247	ext-sat.smt2	blob \| history \| raw
-rw-r--r--	211	finite-fun-ext.smt2	blob \| history \| raw
-rw-r--r--	1379	fta0144-alpha-eq.smt2	blob \| history \| raw
-rw-r--r--	2696	fta0210.smt2	blob \| history \| raw
-rw-r--r--	377	fun-subtyping.smt2	blob \| history \| raw
-rw-r--r--	807	ho-exponential-model.smt2	blob \| history \| raw
-rw-r--r--	236	ho-match-fun-suffix.smt2	blob \| history \| raw
-rw-r--r--	327	ho-matching-enum-2.smt2	blob \| history \| raw
-rw-r--r--	400	ho-matching-enum.smt2	blob \| history \| raw
-rw-r--r--	274	ho-matching-nested-app.smt2	blob \| history \| raw
-rw-r--r--	462	ho-std-fmf.smt2	blob \| history \| raw
-rw-r--r--	2846	hoa0008.smt2	blob \| history \| raw
-rw-r--r--	200	issue4434-const-preserve.smt2	blob \| history \| raw
-rw-r--r--	312	issue4477.smt2	blob \| history \| raw
-rw-r--r--	194	issue4990-care-graph.smt2	blob \| history \| raw
-rw-r--r--	129	issue5233-part1-usort-owner.smt2	blob \| history \| raw
-rw-r--r--	140	issue5371.smt2	blob \| history \| raw
-rw-r--r--	662	issue5741-1-cg-model.smt2	blob \| history \| raw
-rw-r--r--	202	issue5741-3-cg-model.smt2	blob \| history \| raw
-rw-r--r--	211	issue5744-cg-model.smt2	blob \| history \| raw
-rw-r--r--	87	issue6526.smt2	blob \| history \| raw
-rw-r--r--	318	issue6536.smt2	blob \| history \| raw
-rw-r--r--	228	ite-apply-eq.smt2	blob \| history \| raw
-rw-r--r--	159	lambda-equality-non-canon.smt2	blob \| history \| raw
-rw-r--r--	301	lazy-lambda-model.smt2	blob \| history \| raw
-rw-r--r--	412	match-middle.smt2	blob \| history \| raw
-rw-r--r--	265	modulo-func-equality.smt2	blob \| history \| raw
-rw-r--r--	205	qgu-fuzz-ho-1-dd.smt2	blob \| history \| raw
-rw-r--r--	257	qgu-fuzz-ho-2-dd-no-ext.smt2	blob \| history \| raw
-rw-r--r--	2067	shadowing-defs.smt2	blob \| history \| raw
-rw-r--r--	265	simple-conf-lazy-lambda-lift-app.smt2	blob \| history \| raw
-rw-r--r--	238	simple-conf-lazy-lambda-lift.smt2	blob \| history \| raw
-rw-r--r--	490	simple-matching-partial.smt2	blob \| history \| raw
-rw-r--r--	227	simple-matching.smt2	blob \| history \| raw
-rw-r--r--	234	trans.smt2	blob \| history \| raw