~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-12-13	FreeBSD CI: Use FreeBSD 12.2 instead of 12.1 and LLVM 9 instead of LLVM 8.	Gleb Popov
2020-09-04	CirrusCI: Switch FreeBSD 11.3 to 11.4, remove old hack.	Gleb Popov
2020-06-26	[FreeBSD] Assume always yes for installing packages as well	Martin Nowack
2020-06-26	Revert to FreeBSD 12.1-STABLE (13.0-CURRENT has started running into issues)	Cristian Cadar
2020-04-05	Run "pkg update -f" before installing dependencies on FreeBSD	Cristian Cadar
2020-03-10	Use -snap VMs on Cirrus for FreeBSD	Cristian Cadar
2020-02-23	Use FreeBSD 11.3-STABLE instead of EoLed 11.2.	Gleb Popov
2020-02-23	Workaround `pkg` breakage on FreeBSD CI.	Gleb Popov
2020-01-08	Upgraded FreeBSD Python packages from 3.6 to 3.7	Cristian Cadar
2019-05-06	Use 'latest' branch of FreeBSD packages on Cirrus CI.	Gleb Popov
2019-04-29	Add a configuration file for Cirrus CI.	Gleb Popov