12 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	19a64a6540	update dist ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 15:51:07 -07:00
Nikolaj Bjorner	d4c9b20dad	test ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 13:56:55 -07:00
Nikolaj Bjorner	9b412a1f3d	configure git identity ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 13:55:51 -07:00
Nikolaj Bjorner	5c9c76055e	merge ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 13:19:37 -07:00
Nikolaj Bjorner	2d95e8de54	update cmd ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 11:17:09 -07:00
Nikolaj Bjorner	721bb0d314	remove githash ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 09:06:18 +01:00
Nikolaj Bjorner	f379a3f8b3	refer to z3.snk ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 09:06:18 +01:00
Nikolaj Bjorner	35b36168a3	fix to 32 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 09:06:18 +01:00
Nikolaj Bjorner	8f2cc6c03d	updated dist cmd wrapper ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-05 09:06:18 +01:00
Nikolaj Bjorner	da2fcac272	other path? ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-03 16:32:15 -07:00
Nikolaj Bjorner	dd4088dd25	update path ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-03 16:15:30 -07:00
Nikolaj Bjorner	be570c212f	add windist cmd ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-03 16:04:15 -07:00