6 commits

Author	SHA1	Message	Date
Yatao Li	0a6a76734a	docker: ubuntu 14.04 dotnet source fix	2019-01-13 00:08:32 +08:00
Yatao Li	5474e1675a	CI: Dockerfile: install curl before dotnet	2018-09-12 00:53:10 +08:00
Yatao Li	5fdf3ff799	CI: Dockerfile: use curl instead of wget	2018-09-12 00:37:06 +08:00
Yatao Li	5bc7a5d673	CI: configure dotnet via docker	2018-09-12 00:29:58 +08:00
Dan Liew	4db5980a23	[TravisCI] Fix getting proper stack traces for ASan/LSan. The ... `llvm-symbolizer` tool needs to be installed and ASan/LSan needs to be told where to find it.	2017-10-16 08:56:17 +01:00
Dan Liew	8310fed528	[TravisCI] Implement TravisCI build and testing infrastructure for Linux ... The Linux builds rely on Docker (using Ubuntu 16.04LTS and Ubuntu 14.04LTS) to build and test Z3 so that builds are easily reproducible. A build status button has been added to `README.md` so that it is easy to see the current build status. More documentation can be found in `contrib/ci/README.md`. This implementation currently tests 13 different configurations. If build times become too long we can remove some of them. Although it would be nice to test macOS builds that requires significantly more work so I have left this as future work.	2017-07-01 11:51:30 +01:00