7 Commits

Author	SHA1	Message	Date
Ryan Scott	adb73d2a82	Update some copyright years to 2023	2023-07-06 08:25:54 -04:00
Aaron Tomb	2f4684c8af	Build system and documentation cleanup (#816) ... * Remove `Makefile` * Remove Travis and AppVeyor configurations * Improve portability of the `cry` script * Fix Docker builds * Update documentation to remove references to `make` * Update copyright dates * Fix omitted section of CONTRIBUTING.md * Update Z3 installation instructions Fixes #570, #603, #790, #807.	2020-07-14 10:58:38 -07:00
Aaron Tomb	2ce982ab49	Update copyright dates	2019-04-30 09:13:37 -07:00
Aaron Tomb	7027b599a7	Update some copyright notices	2018-07-26 09:08:32 -07:00
Adam C. Foltzer	4d3fc9a413	Update copyright dates and add missing headers	2016-01-19 18:19:35 -08:00
Adam C. Foltzer	3f5c05b93d	bump license years	2015-03-02 15:48:39 -08:00
Adam C. Foltzer	4e31cd7b4c	fix license file for Windows installer	2014-04-18 10:51:55 -07:00