Oliver Schneider 695f9723d2 Merge pull request #222 from oli-obk/const_eval_checks ...

Address comments to previous PR

2017-06-28 23:08:58 +02:00

..

bin

run test suite also against libstd with full MIR

2017-05-31 13:39:40 -07:00

terminator

Address comments

2017-06-28 10:17:14 +02:00

cast.rs

handle ptr-int casts explicitly in cast.rs

2017-06-24 11:05:13 -07:00

error.rs

Initial work towards checking const eval rules in miri

2017-06-26 17:58:47 +02:00

eval_context.rs

Merge pull request #222 from oli-obk/const_eval_checks

2017-06-28 23:08:58 +02:00

lib.rs

Removed unused crate imports

2017-05-05 10:37:04 +02:00

lvalue.rs

Simplify all the code

2017-06-27 13:36:41 +02:00

memory.rs

fetch_tls_dtor "read" an Undef as nonzero

2017-06-23 13:31:00 +02:00

operator.rs

Address comments

2017-06-28 10:17:14 +02:00

step.rs

Simplify all the code

2017-06-27 13:36:41 +02:00

traits.rs

correctly reject functions pointers that had arithmetic done to them

2017-06-21 21:45:51 -07:00

value.rs

PrimVal used to allow comparing Undef

2017-06-23 16:12:03 +02:00