Oliver Schneider 82dc95c3ad

create a miri-pass test that allows us to run miri for arbitrary targets

2016-06-15 16:01:00 +02:00

..

bin

create a miri-pass test that allows us to run miri for arbitrary targets

2016-06-15 16:01:00 +02:00

interpreter

Merge pull request #24 from oli-obk/typesafe_fn_calls

2016-06-15 05:05:50 -06:00

error.rs

forbid calling functions through pointers of a different type

2016-06-14 10:34:54 +02:00

lib.rs

Merge remote-tracking branch 'oli/function_pointers2' into fixup-function_pointers2

2016-06-11 16:46:01 -06:00

memory.rs

forbid calling functions through pointers of a different type

2016-06-14 10:34:54 +02:00

primval.rs

forbid calling functions through pointers of a different type

2016-06-14 10:34:54 +02:00