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

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Sat, 27 Feb 2010 18:34:44 +0000 (18:34 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Sat, 27 Feb 2010 18:34:44 +0000 (18:34 +0000)
commit	e56c41f47d43103a6e8bf744e12229ed6e5a8f19
tree	39be4124610edf8072206aa85b178b8fe3eab2e2	tree
parent	14c22833d05f632eb40eb68cc3c68345d891005c	commit \| diff

Adding --mmap option to use memory-mapped file input, which provides a marginal improvement (<5%) on big benchmarks.

src/main/getopt.cpp		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/main/usage.h		diff \| blob \| history
src/parser/Makefile.am		diff \| blob \| history
src/parser/memory_mapped_input_buffer.h	[new file with mode: 0644]	blob
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/util/options.h		diff \| blob \| history