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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Thu, 26 Nov 2020 10:43:19 +0000 (04:43 -0600)
committer	GitHub <noreply@github.com>
	Thu, 26 Nov 2020 10:43:19 +0000 (11:43 +0100)
commit	70f0cddbce01fa17622b7b70b638794181aefec5
tree	d49d38744a10ae902f38ef8508647329e01cb05b	tree
parent	c41a2e9be2422a211b9687833c97ba37485cd946	commit \| diff

Move expand definitions to its own file (#5528)

We are changing our policy on how expand definitions is handled during preprocessing.

This will require some additions to expand definitions handling. This PR makes a standalone module for expanding definitions.

src/CMakeLists.txt		diff \| blob \| history
src/smt/expand_definitions.cpp	[new file with mode: 0644]	blob
src/smt/expand_definitions.h	[new file with mode: 0644]	blob
src/smt/preprocessor.cpp		diff \| blob \| history
src/smt/preprocessor.h		diff \| blob \| history
src/smt/process_assertions.cpp		diff \| blob \| history
src/smt/process_assertions.h		diff \| blob \| history

RSS Atom