100644 blob c9af4615c3db1d99258eee5076f2af05c298bc95	BuildANTLR2.cmake
100644 blob 16b075555a30db2b1be99ac6413205fbea4a34a3	BuildCVC4.cmake
100644 blob 309c9871cc3cb69921e660212138347f964881ce	BuildCVC4.cmake.bak
100644 blob d40d7b6d841d034d367d36aa146750f7004cc98d	BuildGMP.cmake
100644 blob e1a06a571e8c70c1a286c846fc06054c78e082bf	CodeCoverage.cmake
100644 blob 82d2f6eac467ad93ca5361a0d406242c9b132ee1	DetectRevision.cmake
100644 blob 932507a2113fbb2eff2c0a0a96bd92d4179d79f2	DetectSystem.cmake
100644 blob 300a903da6b91bf1d402c9017051f4b5588f5c65	DetectToolChain.cmake
100644 blob 5922e8c0cd7e1efb315254b24034de93734c24a2	FindANTLR2.cmake
100644 blob ce410656307393481daa3aab146ed011bbbe05f0	FindANTLR3.cmake
100644 blob 36290dddc3503878bbb53fbda97635e4b6ec9dad	FindCVC4.cmake
100644 blob 10260f9ac5211025af619035f4e7a65bbcc55016	FindGMP.cmake
100644 blob 6c5a597ee23f29ac8ea8211d3ca59d3ef2ff9683	GenericOptions.cmake
100644 blob 290242e46d103d802e9091b0973ac7641a84b32e	InitCoverage.cmake
100644 blob 3884bd734aade1aa0321d230c6be6bd5aca7968c	LookForMandatoryPrereq.cmake
100644 blob be4a741f721ff84a9b8d4a07c51c6a5c9e2b789c	LookForSCM.cmake
100644 blob 39f7903d184841b195de36edc9b16ae4641fd32a	PrintBanner.cmake
100644 blob e263ad3df094605ff909d796f98b29fb4b106d7a	SelectSpecificOptions.cmake
100644 blob 110c98d1f4dd1420169e326ab92634bd81597e4d	SpecificOptions-Linux.cmake
100644 blob 3157660900aa659ad301398ad3eb164f5707a54d	SpecificOptions-WinMSYS2.cmake
100644 blob ee301c3956d1fc9a78a342485c0597e894704c1d	SpecificOptions-WinMinGW.cmake
040000 tree 7198db82df2d2a8771c3827406ae49b3d737d165	antlr2-patch
040000 tree 3cc8d2f7d6b0e1ab7baa40f916ef1922d58a38c1	cvc4-1.4-patch
040000 tree e9302df4dfc759b8364d7886b17897e8ba9c02f7	cvc4-master-patch
040000 tree 2027ffd142e8771f50ce8e679118535635c0474b	cvc4-patch