2 Commits

Author	SHA1	Message	Date
Ralf Jung	7406c1224b	adjust for asm -> llvm_asm rename	2020-04-20 10:38:38 +02:00
Ralf Jung	71aae4ffa5	test that build scripts do not run in Miri	2019-08-28 09:15:31 +02:00