git.libre-soc.org Git - cvc5.git/tree

-rw-r--r--	391	.clang-format	blob \| history \| raw
-rw-r--r--	406	.gitignore	blob \| history \| raw
-rw-r--r--	1517	.mailmap	blob \| history \| raw
-rw-r--r--	4504	.travis.yml	blob \| history \| raw
-rw-r--r--	1999	AUTHORS	blob \| history \| raw
-rw-r--r--	22971	CMakeLists.txt	blob \| history \| raw
-rw-r--r--	5913	COPYING	blob \| history \| raw
-rw-r--r--	12291	INSTALL	blob \| history \| raw
-rw-r--r--	7989	Makefile	blob \| history \| raw
-rw-r--r--	5725	Makefile.am	blob \| history \| raw
-rw-r--r--	4268	Makefile.builds.in	blob \| history \| raw
-rw-r--r--	1439	Makefile.subdir	blob \| history \| raw
-rw-r--r--	7374	NEWS	blob \| history \| raw
-rw-r--r--	4720	README	blob \| history \| raw
-rw-r--r--	6581	RELEASE-NOTES	blob \| history \| raw
-rw-r--r--	1495	THANKS	blob \| history \| raw
-rwxr-xr-x	47499	autogen.sh	blob \| history \| raw
drwxr-xr-x	-	cmake	tree \| history
drwxr-xr-x	-	config	tree \| history
-rw-r--r--	57796	configure.ac	blob \| history \| raw
drwxr-xr-x	-	contrib	tree \| history
-rw-r--r--	4388	cvc4autoconfig.new.h.in	blob \| history \| raw
drwxr-xr-x	-	doc	tree \| history
drwxr-xr-x	-	examples	tree \| history
-rw-r--r--	3521	library_versions	blob \| history \| raw
drwxr-xr-x	-	licenses	tree \| history
drwxr-xr-x	-	proofs	tree \| history
drwxr-xr-x	-	src	tree \| history
drwxr-xr-x	-	test	tree \| history