100644 blob 94840b30d95521d1a2a9601d6b238891970a324e	.envrc
100644 blob dd35b097591138334fb396cd7d0ba720b6de72b5	Makefile
100644 blob b1cb6634be12e2f44bc1a33526a509652be7a93d	cnf-output-format.rst
100644 blob 07afccf5f6ef4895d962479ac3ade90b49631887	code-guide.rst
100644 blob d5b5a357f46bb3ef0dc0c7cb48fbb872a7eab2ce	conf.py
100644 blob a15d94a9f1818692d9d1b0d9445eea57e2c417c9	cvc-input-language.rst
100644 blob 90065d7af6ca981a0e81c291fa7cc9544baf90d0	index.rst
100644 blob 935d0d20215ef2a7d0ab66d0fe5beccb2b92114e	make.bat
040000 tree 0aa1d4db6d7bd2350e6022b3bb8b69f29ea03018	old
100644 blob f0470a68de9b8320d4fec2242020e85c57a60cea	requirements.txt
100644 blob 576b49b662413db71a345aa91578220bad26a102	smt-input-language.rst
100644 blob 841f4723c1034ee0cc88b11edea5c745b2d51b44	testing.rst