Christian Poveda
|
f53b5b0fb4
|
Update -Zmiri-enable-communication docs
|
2019-08-20 12:22:49 -05:00 |
|
Ralf Jung
|
4f1c9bb607
|
adjust for typed binary/unary_op
|
2019-08-18 07:42:15 +02:00 |
|
Christian Poveda
|
46f902b67d
|
Rename export for shims::env::EnvVars
|
2019-08-14 11:31:29 -05:00 |
|
Christian Poveda
|
afc6713e41
|
Reorganize shims::env::EnvVars
|
2019-08-13 16:17:41 -05:00 |
|
Christian Poveda
|
666cd22fa6
|
Wrap hashmap for env vars in its own type
|
2019-08-13 11:34:43 -05:00 |
|
Christian Poveda
|
068c448832
|
Add communicate field to evaluator and fix formatting
|
2019-08-06 15:44:44 -05:00 |
|
Ralf Jung
|
b0cb603e3a
|
rustup
|
2019-08-05 15:49:19 +02:00 |
|
Ralf Jung
|
f65e7cd2d1
|
adjust for rustc changes
|
2019-08-03 20:31:33 +02:00 |
|
Ralf Jung
|
bb6a91dc94
|
adjust for ptr_op now being called type-based
|
2019-08-03 14:38:36 +02:00 |
|
Ralf Jung
|
8071034b93
|
fix for error refactoring
|
2019-08-03 10:25:55 +02:00 |
|
Ralf Jung
|
068517ae66
|
make sure we always have an RNG
|
2019-07-23 21:38:53 +02:00 |
|
Ralf Jung
|
a2541aacd6
|
bump rust
|
2019-07-21 11:56:10 +02:00 |
|
Ralf Jung
|
9e130c6c6f
|
fix for changd machine trait signatures
|
2019-07-06 10:07:22 +02:00 |
|
Ralf Jung
|
4f6a56f54f
|
better error message when the program tries to spawn a thread
|
2019-07-06 10:07:21 +02:00 |
|
Ralf Jung
|
2ca1b94e6d
|
update to FnVal changes; implement basic Dlsym support and use it for getentropy
|
2019-07-06 10:07:21 +02:00 |
|
Ralf Jung
|
b324cbf282
|
Merge remote-tracking branch 'origin/master' into rustup
|
2019-07-06 09:29:17 +02:00 |
|
Ralf Jung
|
1729965808
|
rename InterpretCx -> InterpCx
|
2019-07-05 23:48:51 +02:00 |
|
Ralf Jung
|
f23b782101
|
align small malloc-allocations even less, and test that we do
|
2019-07-05 23:48:48 +02:00 |
|
Ralf Jung
|
eb4128fb42
|
don't call Stacked Borrows hooks at all when validation is disabled
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
e82693fa23
|
Merge branch 'master' into rustup
|
2019-07-01 13:01:28 +02:00 |
|
Ralf Jung
|
11457a4ad9
|
fix comparing function pointers with intptrcast
|
2019-06-30 11:21:31 +02:00 |
|
bors
|
1ec279f290
|
Auto merge of #801 - RalfJung:num_cpus, r=RalfJung
support num_cpus crate and test that
Also make some magic numbers into proper global constants.
|
2019-06-30 08:42:25 +00:00 |
|
Ralf Jung
|
ba47d73041
|
Merge branch 'master' into rustup
|
2019-06-29 16:19:27 +02:00 |
|
Ralf Jung
|
019ad4bab4
|
move constants to machine.rs
|
2019-06-29 14:37:41 +02:00 |
|
Ralf Jung
|
c0b44ca98c
|
tweak inttoptr allocation behavior
- Make `align_addr` not offset by `align` for no reason.
- Add some random slack between allocations to give them the chance to not be aligned.
|
2019-06-29 14:31:54 +02:00 |
|
Ralf Jung
|
aa5a9bc152
|
some module comments
|
2019-06-29 14:15:05 +02:00 |
|
Ralf Jung
|
857305ff67
|
Merge remote-tracking branch 'ralf/machine' into rustup
|
2019-06-29 14:04:50 +02:00 |
|
Ralf Jung
|
67d3779b0c
|
move most of the stuff from lib.rs into machine.rs, and initialization + main loop into eval.rs
|
2019-06-29 13:48:59 +02:00 |
|