Dan Liew 6e07d6dd2d [CMake] Override CMake's default flags for GCC/Clang as we were doing ... before 4cc2b292c0. It's useful to be able to control the defaults and CMake's internal logic for GCC/Clang is simple enough that doing this makes sense. It would be nice to do the same for MSVC but CMake's internal logic is more complicated so for now it's better that we just use CMake's default.		2017-04-29 17:45:02 +01:00
..
cmake	[CMake] Override CMake's default flags for GCC/Clang as we were doing	2017-04-29 17:45:02 +01:00
doc	[CMake] Teach CMake to build the documentation for the API bindings	2017-04-26 11:02:36 +01:00
examples	[CMake] On Windows when building the examples copy the Z3 library	2017-03-13 12:37:29 +00:00
src	tuning and fixing consequence finding, adding dimacs evaluation	2017-04-26 13:53:37 -07:00
bootstrap.py	Fix running the CMake bootstrap script under Python 2.7	2016-03-04 15:26:09 +00:00
maintainers.txt	Add bootstrap.py script to copy CMake files into their correct location	2016-03-04 15:26:09 +00:00