ci/llvm-monorepo.git - [no description]

Age	Commit message (Expand)	Author
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-07-26	Patch by Dan Liew that adds support for building Doxygen out-of-source.	Cristian Cadar
2012-07-26	Patch by Dan Liew: "Improved AutoRegen script so that it supports newer versi...	Cristian Cadar
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2011-05-18	Use local Makefile.rules	Peter Collingbourne
2010-10-04	Fix the Release+Asserts build-type-overwrite logic,	Dylan Noblesmith
2010-09-30	Tweak configure to deal with another LLVM "Release -> Release+Asserts" rename on	Daniel Dunbar
2010-08-05	Add support for Debug+Asserts configuration	Peter Collingbourne
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2010-04-05	Fix some final objdir != src problems.	Daniel Dunbar
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
2010-04-05	Update config.{guess,sub}.	Daniel Dunbar
2009-10-24	Update configure logic to detect LLVM version (for use in config.h).	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar