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

projects / cvc5.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD

[cvc5.git] / contrib / theoryskel /

drwxr-xr-x		..
-rw-r--r--	1843	README.WHATS-NEXT	blob \| history \| raw
-rw-r--r--	494	kinds	blob \| history \| raw
-rw-r--r--	1166	theory_DIR.cpp	blob \| history \| raw
-rw-r--r--	763	theory_DIR.h	blob \| history \| raw
-rw-r--r--	2566	theory_DIR_rewriter.h	blob \| history \| raw
-rw-r--r--	818	theory_DIR_type_rules.h	blob \| history \| raw