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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 2c2981d) | patch

author	Gereon Kremer <nafur42@gmail.com>
	Tue, 3 Aug 2021 21:44:35 +0000 (14:44 -0700)
committer	GitHub <noreply@github.com>
	Tue, 3 Aug 2021 21:44:35 +0000 (14:44 -0700)
commit	1cb1934d76f25e9f42f51b2eead733b3e9e12236
tree	1a8aa189baa114a9af340e15fb138186664833d6	tree
parent	2c2981d419bdf5a7bbf424f62266883724e85168	commit \| diff

Use int64_t, uint64_t or double for all numeric options. (#6970)

This PR further simplifies the option setup by only using int64_t or uint64_t for integer options.

13 files changed: