6 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	dc452b92e1	update tag ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 20:11:00 -07:00
Nikolaj Bjorner	87116b7086	Merge branch 'nomp' of https://github.com/z3prover/z3 into nomp	2019-06-05 19:40:31 -07:00
Nikolaj Bjorner	75b92df1d0	change cp command ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 19:40:24 -07:00
Nikolaj Bjorner	7c034827cb	Update nightly-ubuntu.yaml for Azure Pipelines	2019-06-06 04:15:43 +02:00
Nikolaj Bjorner	ae93469e17	Set up CI with Azure Pipelines ... [skip ci]	2019-06-06 02:29:06 +02:00
Nikolaj Bjorner	5687cda101	add ubuntu nightly ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 17:25:21 -07:00