8 commits

Author	SHA1	Message	Date
Gabriel Ebner	440c63a38a	vampire: 4.2.2 -> 4.4	2019-08-25 14:43:51 +02:00
Michael Raskin	a8c4b37063	vampire: switch off the fragile fetchSubmodules/leaveDotGit	2019-05-09 22:57:59 +02:00
Gabriel Ebner	4e1323a0cf	vampire: fix nondeterministic hash ... Probably related to #8567	2018-11-22 14:15:55 +01:00
Gabriel Ebner	da3326902a	vampire: fix nondeterministic hash ... Probably related to #8567	2018-09-01 15:03:31 +02:00
Will Dietz	7353d8396d	vampire: enable parallel building	2018-07-05 10:13:40 -05:00
Will Dietz	600abbedc9	vampire: portability fixes ... These have been submitted upstream, but seconds before writing this message so naturally no upstream response "yet" :). Regardless of response, fetch patches from the corresponding PR's for context and of course hopefully they'll be included in next version.	2018-07-05 10:13:32 -05:00
Will Dietz	8e6db30bb7	vampire: use CC/CXX from env, instead of always g++	2018-07-05 10:11:32 -05:00
Gabriel Ebner	57ae4e8d8e	vampire: init at 4.2.2	2018-07-05 09:34:28 +02:00