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 |
|