Ralf Jung eafe659ee0 hooking mmap is no longer needed

2017-07-11 17:24:15 -07:00

..

bin

get cargo-miri to work

2017-06-29 13:06:36 -04:00

terminator

hooking mmap is no longer needed

2017-07-11 17:24:15 -07:00

cast.rs

handle ptr-int casts explicitly in cast.rs

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

error.rs

Rename Pointer to MemoryPointer

2017-07-11 10:32:01 +02:00

eval_context.rs

Simplify with_extra

2017-07-11 12:39:12 +02:00

lib.rs

Rename Pointer to MemoryPointer

2017-07-11 10:32:01 +02:00

lvalue.rs

Simplify with_extra

2017-07-11 12:39:12 +02:00

memory.rs

Use a wrapper type to differentiate between PrimVal and pointers

2017-07-11 12:28:11 +02:00

operator.rs

Use a wrapper type to differentiate between PrimVal and pointers

2017-07-11 12:28:11 +02:00

step.rs

Add a dedicated write_null method

2017-07-11 10:32:01 +02:00

traits.rs

Rename Pointer to MemoryPointer

2017-07-11 10:32:01 +02:00

value.rs

Document the reason for Pointer's existence

2017-07-11 12:50:03 +02:00