Christian Poveda
|
068c448832
|
Add communicate field to evaluator and fix formatting
|
2019-08-06 15:44:44 -05:00 |
|
Christian Poveda
|
655f9af7fe
|
Add flag to enable communication
|
2019-08-06 15:18:22 -05:00 |
|
Ralf Jung
|
f65e7cd2d1
|
adjust for rustc changes
|
2019-08-03 20:31:33 +02:00 |
|
Ralf Jung
|
8071034b93
|
fix for error refactoring
|
2019-08-03 10:25:55 +02:00 |
|
Lzu Tao
|
e6a677fe63
|
build: Warn if not use 2018 idioms
|
2019-07-24 21:24:26 +07: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
|
e7b39e382a
|
reenable all tests on Windows
|
2019-07-11 18:41:53 +02:00 |
|
Ralf Jung
|
11686f4be2
|
we do this these days
|
2019-07-10 14:38:49 +02:00 |
|
Ralf Jung
|
f79f31dfa1
|
adjust for rustc changes; normalize mplace before doing freeze-sensitive visit
|
2019-07-10 14:36:56 +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
|
4d76dd1f09
|
temporarily disable validation on Windows
|
2019-07-05 21:26:58 +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
|
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 |
|