5 Commits

Author	SHA1	Message	Date
Oliver Schneider	29a3c4d28c	Produce backtraces for miri internals	2017-08-02 16:59:01 +02:00
Oliver Schneider	393216d410	Add a better error message than syscall 318 not found	2017-08-01 16:12:29 +02:00
Oliver Schneider	23d351d6d4	Move tls code to its own file	2017-08-01 09:56:21 +02:00
Oliver Schneider	adfea61665	Allow machines to create new memory kinds	2017-08-01 09:56:21 +02:00
Oliver Schneider	e5799a6af3	Reduce the chance of accidentally calling functions in CTFE ... previously miri had a check for const fn and other cases that CTFE requires. Instead the function call is completely processed inside the machine. This allows CTFE to have full control over what is called and miri to not have useless CTFE-checks in normal mode.	2017-08-01 09:56:21 +02:00