mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,906 Commits 2 Branches 0 Tags 1.4 GiB
5dc60d974b
Commit Graph

3906 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Christian Poveda
5dc60d974b
move environ place to EnvVars 2020-03-08 11:58:20 -05:00
bors
b4032a86ea Auto merge of #1216 - RalfJung:env, r=RalfJung 
move environ init to update_environ

@christianpoveda I thought of a way to simplify initialization a bit. :)
 2020-03-08 16:34:40 +00:00
Ralf Jung
87dbf10e84 move environ init to update_environ 2020-03-08 17:21:02 +01:00
bors
e9a25459e5 Auto merge of #1215 - RalfJung:readme, r=RalfJung 
readme: mention the leaks we found
 2020-03-08 16:16:02 +00:00
bors
689600fa4a Auto merge of #1214 - RalfJung:depup, r=RalfJung 
bump dependencies

"quote 1.0.2" which we used got yanked, so update all the things.
 2020-03-08 15:57:33 +00:00
Ralf Jung
69260115ac readme: mention the leaks we found 2020-03-08 16:50:19 +01:00
bors
574d81ce79 Auto merge of #1208 - christianpoveda:environ-shim, r=RalfJung 
Environ shim

Remake of https://github.com/rust-lang/miri/pull/1147. There are three main problems with this:

1. For some reason `update_environ` is not updating `environ` when `setenv` or `unsetenv` are called. Even then it works during initialization.
2. I am not deallocating the old array with the variables in `update_environ`.
3. I had to store the `environ` place into `MemoryExtra` as a field to update it. I was thinking about changing `extern_statics` to store places instead of `AllocID`s to avoid this.

@RalfJung
 2020-03-08 15:39:43 +00:00
Ralf Jung
5c4cc2e3e0 bump dependencies 2020-03-08 16:29:57 +01:00
Christian Poveda
8392a0c589
only expose environ on linux 2020-03-08 10:16:31 -05:00
Christian Poveda
18a71ef7b3
minor corrections 2020-03-07 11:35:00 -05:00
Christian Poveda
e31b8b3342
add _NSGetEnviron foreign function for macos 2020-03-07 10:06:20 -05:00
Christian Poveda
6eccc809f2
test that environ gets deallocated on changes 2020-03-07 09:39:55 -05:00
Christian Poveda
aedc34c6e5
deallocate old environ 2020-03-06 18:11:05 -05:00
bors
e6a0c60a0f Auto merge of #1212 - RalfJung:tests, r=RalfJung 
expand clock and fs tests a bit
 2020-03-06 13:33:47 +00:00
Ralf Jung
fefa8e5344 expand clock and fs tests a bit 2020-03-06 14:32:46 +01:00
Ralf Jung
7882dfb3f5
fix env update, and expand test 2020-03-06 08:21:53 -05:00
Christian Poveda
a28330febb
add testcase for environ shim 2020-03-06 08:21:53 -05:00
Christian Poveda
4f5fdc5810
update the environ shim when environment changes 2020-03-06 08:21:52 -05:00
Christian Poveda
d13fe01f82
add working shim for environ 2020-03-06 08:19:56 -05:00
bors
c72af45b1c Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk 
Add option to print when an AllocId gets created

r? @oli-obk
 2020-03-06 11:13:57 +00:00
bors
af451e2b65 Auto merge of #1211 - RalfJung:readme, r=RalfJung 
README: add another bug Miri found
 2020-03-06 09:46:48 +00:00
Ralf Jung
6670f43917 README: add another bug Miri found 2020-03-06 10:46:12 +01:00
Ralf Jung
ade4c4e733 make the new option actually do something 2020-03-06 09:11:41 +01:00
Ralf Jung
d82d701360 add option to track a particular AllocId (does nothing yet) 2020-03-06 09:06:23 +01:00
bors
63925169c1 Auto merge of #1206 - RalfJung:int_asooc, r=RalfJung 
finally stop using min/max_value and the integer modules

https://github.com/rust-lang/rust/pull/68952 landed, so we can finally do this :)
 2020-03-04 12:03:00 +00:00
Ralf Jung
148269dd4b finally stop using min/max_value and the integer modules 2020-03-04 13:01:06 +01:00
bors
974c8be95e Auto merge of #1205 - RalfJung:serde, r=RalfJung 
downgrade serde_json to match rustc workspace

@bors r+
 2020-03-04 09:41:01 +00:00
Ralf Jung
5c4dc072bd downgrade serde_json to match rustc workspace 2020-03-04 10:29:00 +01:00
bors
e05639a225 Auto merge of #1204 - RalfJung:rustup, r=RalfJung 
bump Rust
 2020-03-04 09:20:03 +00:00
Ralf Jung
db0d03229c fix allocator tests 2020-03-04 10:19:35 +01:00
Ralf Jung
ad1f0f6e65 bump Rust 2020-03-04 08:54:12 +01:00
bors
ff55294abd Auto merge of #1203 - RalfJung:generator, r=RalfJung 
try even harder to catch invalid generator fields
 2020-03-03 14:02:55 +00:00
Ralf Jung
58519a7a79 try even harder to catch invalid generator fields 2020-03-03 15:02:06 +01:00
bors
4f437099d8 Auto merge of #1202 - RalfJung:symbols, r=RalfJung 
switch extern_statics map to symbols, and use FxHashMap everywhere

Cc @eddyb
 2020-03-02 21:37:08 +00:00
Ralf Jung
92a28f8d8f HashMap -> FxHashMap 2020-03-02 22:36:15 +01:00
Ralf Jung
0e021ad76c switch extern_statics map to symbols 2020-03-02 22:30:20 +01:00
bors
331175638f Auto merge of #1201 - Aaron1011:fix/bootstrap-xargo-check, r=RalfJung 
Rename XARGO env var to XARGO_CHECK

This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo
 2020-03-02 21:11:27 +00:00
Ralf Jung
68f70195fa rename xargo -> xargo_check 2020-03-02 22:10:48 +01:00
Aaron Hill
5960e8b80e
Rename XARGO env var to XARGO_CHECK 
This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo
 2020-03-02 14:17:14 -05:00
bors
7cdcdecb01 Auto merge of #1178 - RalfJung:rustup-visitor, r=RalfJung 
adjust for rustc changes

The Miri side of https://github.com/rust-lang/rust/pull/69257
 2020-03-02 12:52:40 +00:00
Ralf Jung
88c45f9891 adjust for rustc changes 2020-03-02 13:51:08 +01:00
bors
64bfe81cae Auto merge of #1190 - RalfJung:canonical-alloc-id, r=RalfJung 
Canonical AllocID

This is the Miri side of https://github.com/rust-lang/rust/pull/69408.
This just ports the existing extern statics to the new system; no new shims are added.

Cc @christianpoveda
 2020-03-02 08:06:30 +00:00
Ralf Jung
59bddba5f3 remove unused import 2020-03-02 09:05:55 +01:00
Ralf Jung
21a5da99a4 rustup 2020-03-02 09:03:11 +01:00
Ralf Jung
90327335fc canonicalize alloc ID for ptr-to-int cast 2020-03-02 09:03:08 +01:00
Ralf Jung
8ef303cd32 port from find_foreign_static to canonical_alloc_id 2020-03-02 09:03:08 +01:00
Ralf Jung
5d8fbfcb5f rename memory kind: Env -> Machine 2020-03-02 09:01:23 +01:00
Ralf Jung
340e14ee42 tweak benchmark 2020-03-02 09:01:23 +01:00
bors
263eedc6ea Auto merge of #1199 - RalfJung:cargo-miri, r=RalfJung 
cargo-miri: fix trailing indent in xargo files
 2020-03-01 20:24:37 +00:00
Ralf Jung
48a4e3f4d8 format a few things 2020-03-01 11:54:19 +01:00