Christian Poveda
|
78311a7132
|
Add function to error with enabled isolation
|
2019-10-15 07:33:14 -05:00 |
|
Christian Poveda
|
f9c768864a
|
Use places instead of ptrs to write packed immtys
|
2019-10-14 16:00:40 -05:00 |
|
Christian Poveda
|
508df227e5
|
Group libc helper functions
|
2019-10-12 19:48:18 -05:00 |
|
Christian Poveda
|
2cbf4afa99
|
Split write_c_ints into less specific helper functions
|
2019-10-11 11:41:11 -05:00 |
|
Christian Poveda
|
b8ee90d22e
|
Throw error instead of panicking for unfittable bits
|
2019-10-11 11:38:24 -05:00 |
|
Christian Poveda
|
9f24c12624
|
Add helper function to write structs
|
2019-10-11 11:38:22 -05:00 |
|
Christian Poveda
|
003b257f87
|
Change error handling style for consistency
|
2019-10-11 08:20:32 -05:00 |
|
Christian Poveda
|
67ea454647
|
Correct style of comments
|
2019-10-11 04:17:43 -05:00 |
|
Christian Poveda
|
c8df0171e8
|
Move functions to eval libc constants to helpers
|
2019-10-11 01:53:31 -05:00 |
|
Oliver Scherer
|
9fdb347ad7
|
Rustup to sty -> kind changes
|
2019-09-26 11:41:11 +02:00 |
|
Santiago Pastorino
|
5ecb2d9356
|
Place projection field is now Box<[PlaceElem<'tcx>]>
|
2019-09-15 00:05:52 -03:00 |
|
Ralf Jung
|
f3ff10005a
|
small optimization
|
2019-08-28 18:45:10 +02:00 |
|
Ralf Jung
|
79dd70fd9b
|
Stacked Borrows: don't read from memory during retagging
|
2019-08-28 18:41:30 +02:00 |
|
Christian Poveda
|
98129631b5
|
Use err_unsup_format instead
|
2019-08-20 12:20:50 -05:00 |
|
Christian Poveda
|
b44fd97af6
|
Use host's rng when communication is enabled
|
2019-08-19 10:43:09 -05:00 |
|
Aaron Hill
|
4d3398fc62
|
Replace match with expect()
|
2019-08-04 15:49:14 -04:00 |
|
Aaron Hill
|
c2f681f005
|
Add semicolon
Co-Authored-By: Ralf Jung <post@ralfj.de>
|
2019-08-04 10:13:29 -04:00 |
|
Aaron Hill
|
0505868d18
|
Do nothing when we try to generate random data of length 0
This preserves compatibility with programs that pass a null pointer and
a length of zero to getrandom(), or their platform's equivalent.
|
2019-08-04 09:21:17 -04:00 |
|
Ralf Jung
|
0096a0df2a
|
gen_random helper: move ptr argument to front
|
2019-08-04 14:49:10 +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
|
70a5bb7dbb
|
force pointers before reborrowing; fixes cargo miri test suite
|
2019-07-10 14:36:56 +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
|
3ca934f07d
|
gen_random: use check_ptr_access
|
2019-07-06 10:07:22 +02:00 |
|
Ralf Jung
|
8093a59ffb
|
move gen_random to helpers
|
2019-07-06 10:07:21 +02:00 |
|
Ralf Jung
|
07d5e9917c
|
avoid Scalar::is_null_ptr, it is going away
|
2019-07-05 09:56:42 +02:00 |
|
Ralf Jung
|
c3da843ca0
|
we don't need zero-sized freeze-sensitive visiting
|
2019-07-03 10:47:28 +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 |
|
Ralf Jung
|
ad0c941547
|
rustup for lifetime refactorings
|
2019-06-13 09:18:03 +02:00 |
|
Ralf Jung
|
d6bcfc58e3
|
rustup for EvalResult rename
|
2019-06-08 22:14:47 +02:00 |
|
Ralf Jung
|
bc0c76d861
|
fix for latest rustc
|
2019-05-13 22:07:24 +02:00 |
|
Ralf Jung
|
be47fae173
|
build with latest version
|
2019-05-13 11:37:54 +02:00 |
|
Ralf Jung
|
3f0a2a2941
|
rewrite Stacked Borrows Core. this passes stacked-borrows.rs!
|
2019-04-17 16:02:57 +02:00 |
|
Oliver Scherer
|
9a0eaf6ebd
|
Update to rustc nightly
|
2019-04-03 10:48:11 +02:00 |
|
Ralf Jung
|
a9b03f9411
|
avoid [..]
|
2019-02-27 11:39:59 +01:00 |
|
Alexander Regueiro
|
12d3ecbaff
|
Various cosmetic improvements.
|
2019-02-26 18:37:46 +00:00 |
|
Ralf Jung
|
6b376dc394
|
get rid of to_bytes hack
|
2018-12-11 14:32:59 +01:00 |
|
Ralf Jung
|
9de605b32f
|
avoid repeating signatures in EvalContext extension traits
|
2018-12-11 14:16:58 +01:00 |
|
Ralf Jung
|
68ba6cdbaa
|
fix for new Align type
|
2018-11-23 09:46:51 +01:00 |
|
Ralf Jung
|
a1f895d6f2
|
retagging: descent into values, type-driven
|
2018-11-16 11:09:33 +01:00 |
|
Ralf Jung
|
020313dd85
|
make freezing inherently part of the high-level reactivate/initiate operations
|
2018-11-15 09:35:40 +01:00 |
|
Ralf Jung
|
f4e45ff2b7
|
sort the fields ourselves
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
74635a57e2
|
re-do large parts of stacked borrows, now with proper support for partiall frozen data
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
27b1f47b0a
|
use crate:: where appropriate
|
2018-11-01 08:57:22 +01:00 |
|
Ralf Jung
|
957d18c343
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-22 08:41:01 +02:00 |
|
Ralf Jung
|
186e42d088
|
move resolve_path to helpers module
|
2018-10-19 09:54:41 +02:00 |
|
Ralf Jung
|
b84f7e2029
|
add Borrow tag to pointers; remove old locking code
|
2018-10-16 18:35:27 +02:00 |
|
Ralf Jung
|
904923fa7a
|
move some more helpers to rustc
|
2018-08-30 10:42:18 +02:00 |
|
Ralf Jung
|
1a4ad2bb9f
|
update for miri engine: new function handling, new static handling, fixed leaks
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
ea27e46a38
|
fix compilation after rustc change
|
2018-08-17 09:36:53 +02:00 |
|
Ralf Jung
|
259cc6e3dc
|
rustup for big refactor; kill most of validation
|
2018-08-16 10:30:43 +02:00 |
|
Oliver Schneider
|
be91aea0fa
|
Rustup
|
2018-08-07 15:22:11 +02:00 |
|
bjorn3
|
52bf4732fd
|
Fix some clippy lints
|
2018-07-10 17:32:38 +02:00 |
|
bjorn3
|
4143922d1d
|
Partial rustup
|
2018-06-03 13:08:51 +02:00 |
|
Oliver Schneider
|
27fe263669
|
Move back to a normal folder structure
|
2018-05-09 14:37:00 +02:00 |
|