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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Sat, 20 Oct 2018 21:53:19 +0000 (14:53 -0700)
committer	Andres Noetzli <andres.noetzli@gmail.com>
	Sat, 20 Oct 2018 21:53:19 +0000 (14:53 -0700)
commit	0b515de430771d9bdc15fc29d41b391f1cc7c1fd
tree	afa45c418e24d6479a470a0428db39a99be76cd9	tree
parent	f3e1b280ae2bcea29856b9a113633e7064a08faa	commit \| diff

Remove antlr_undefines.h. (#2664)

Is not required anymore since we don't use autotools anymore.

19 files changed:

cmake/ConfigureCVC4.cmake		diff \| blob \| history
cvc4autoconfig.h.in		diff \| blob \| history
src/base/configuration.cpp		diff \| blob \| history
src/parser/CMakeLists.txt		diff \| blob \| history
src/parser/antlr_input.cpp		diff \| blob \| history
src/parser/antlr_input.h		diff \| blob \| history
src/parser/antlr_input_imports.cpp		diff \| blob \| history
src/parser/antlr_line_buffered_input.cpp		diff \| blob \| history
src/parser/antlr_line_buffered_input.h		diff \| blob \| history
src/parser/antlr_undefines.h	[deleted file]	blob \| history
src/parser/cvc/Cvc.g		diff \| blob \| history
src/parser/cvc/cvc_input.cpp		diff \| blob \| history
src/parser/smt1/Smt1.g		diff \| blob \| history
src/parser/smt1/smt1_input.cpp		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/parser/smt2/smt2_input.cpp		diff \| blob \| history
src/parser/smt2/sygus_input.cpp		diff \| blob \| history
src/parser/tptp/Tptp.g		diff \| blob \| history
src/parser/tptp/tptp_input.cpp		diff \| blob \| history