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

3662 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
bors
358cfd290c Auto merge of #996 - christianpoveda:unsup-wo-isolation, r=RalfJung 
Add function to error with enabled isolation

Fixes https://github.com/rust-lang/miri/issues/986
r? @RalfJung
 2019-10-16 08:17:57 +00:00
Ralf Jung
a94d9d2c1d install minimal profile by default 2019-10-16 10:02:31 +02:00
bors
49cab51ac3 Auto merge of #987 - christianpoveda:check-unsupported-fs-flags, r=RalfJung 
Error when there is an unsupported flag for opening a file

@RalfJung this is my attempt to check for undesired flags. I also changed fcntl to error when doing any other action besides getting the flags for a fd
 2019-10-16 07:52:12 +00:00
Christian Poveda
24872230dc Check that access mode flags only use the first two bits 2019-10-15 08:01:07 -05:00
Christian Poveda
78311a7132 Add function to error with enabled isolation 2019-10-15 07:33:14 -05:00
bors
0d01c306fe Auto merge of #998 - RalfJung:comment, r=RalfJung 
explain our shell encoding

Follow-up to https://github.com/rust-lang/miri/pull/980
 2019-10-15 09:25:22 +00:00
Ralf Jung
4ba63fb0fc explain our shell encoding 2019-10-15 11:03:32 +02:00
bors
42c1e779cb Auto merge of #980 - JOE1994:master, r=RalfJung 
change cargo-miri.rs to fix issue #978

In Windows 10, there was an issue with building MIRI locally and getting it running,
due to unpredictable backslash escaping issues in paths.
I added a code snippet that would only be compiled in Windows OS, which replaces all backslashes in paths to slashes.
This fix should only affect Windows users.
Building and testing MIRI locally now works fine after the fix.
![miri_result_after_fix0](https://user-images.githubusercontent.com/10286488/66260998-344abc80-e794-11e9-9d7c-b4ef098443de.PNG)

Fixes https://github.com/rust-lang/miri/issues/978
 2019-10-15 08:22:26 +00:00
bors
d902a11575 Auto merge of #975 - christianpoveda:clock-shim, r=RalfJung 
Add clock_gettime shim

r? @oli-obk

I think there is no way to do proper testing of this other than checking that miri does not crash when calling `clock_gettime`.
 2019-10-15 07:36:42 +00:00
YOUNGSUK_KIM
65fd00665e remove unnecessary line break 2019-10-14 22:37:54 -04:00
YOUNGSUK_KIM
e06ce728ca Ralf Jung's great idea! 2019-10-14 20:57:57 -04:00
Christian Poveda
f9c768864a Use places instead of ptrs to write packed immtys 2019-10-14 16:00:40 -05:00
bors
2adc39f27b Auto merge of #992 - christianpoveda:check-errno-value, r=RalfJung 
Check that fs errors have the proper kind

r? @RalfJung
 2019-10-14 12:54:36 +00:00
Christian Poveda
f425f445d1 Check that fs errors have the proper kind 2019-10-14 07:24:52 -05:00
bors
b0bfe9e89f Auto merge of #994 - RalfJung:rustup, r=RalfJung 
Fix for rustc and compiletest changes

Let's see if just bumping the rustc version is enough...
 2019-10-14 11:17:57 +00:00
Ralf Jung
d8f06523f2 bump compiletest 2019-10-14 13:17:30 +02:00
Ralf Jung
d4d80cbecb rustup 2019-10-14 13:16:21 +02:00
bors
394a9d5d29 Auto merge of #995 - RalfJung:lock, r=RalfJung 
add lockfile

Fixes https://github.com/rust-lang/miri/issues/427
 2019-10-14 07:59:52 +00:00
Ralf Jung
917effada1 CI: force using locked versions 2019-10-14 09:59:27 +02:00
Ralf Jung
d5003bc07d add lockfile 2019-10-14 09:38:12 +02:00
Christian Poveda
50618b55cd Error on negative times 2019-10-13 16:06:37 -05:00
Christian Poveda
f76f8ce63b Correct fcntl behavior 2019-10-12 20:12:26 -05:00
Christian Poveda
508df227e5 Group libc helper functions 2019-10-12 19:48:18 -05:00
bors
c77f0ab707 Auto merge of #990 - RalfJung:rustup2, r=RalfJung 
hopefully harmless Rust bump

Just to make the rust version jump in https://github.com/rust-lang/miri/pull/984 smaller.
 2019-10-12 16:13:03 +00:00
Ralf Jung
19fb53e8a3 better debugging for sysroot check 2019-10-12 18:11:44 +02:00
Ralf Jung
7f28d9631e hopefully harmless Rust bump 2019-10-12 17:51:10 +02:00
bors
6bd64fc4d5 Auto merge of #988 - RalfJung:temp, r=RalfJung 
use temp_dir for FS test

Cc @christianpoveda
 2019-10-11 21:02:44 +00:00
Ralf Jung
9082092a71 use temp_dir for FS test 2019-10-11 23:02:04 +02:00
Christian Poveda
d73fae1b28 Remove F_SETFD command 2019-10-11 12:20:06 -05:00
Christian Poveda
a1c6797c5c Error when there is an unsupported flag 2019-10-11 11:42:12 -05:00
Christian Poveda
2cbf4afa99 Split write_c_ints into less specific helper functions 2019-10-11 11:41:11 -05:00
Christian Poveda
87b210df6c Fix sign when number of seconds is zero 2019-10-11 11:39:32 -05:00
Christian Poveda
8f4d185d1b Move time related functions to its own module 2019-10-11 11:39:31 -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
b7863f2509 Add gettimeofday shim for macOS 2019-10-11 11:36:33 -05:00
Christian Poveda
7a6df8504f Get size of integers using libc 2019-10-11 11:36:33 -05:00
Christian Poveda
adfa2eb062 Return negative times when the current time is before the unix epoch 2019-10-11 11:36:33 -05:00
Christian Poveda
fcf04b5425 Reduce size of nanoseconds 2019-10-11 11:36:33 -05:00
Christian Poveda
aa3e9703d1 Add clock_gettime shim 2019-10-11 11:36:33 -05:00
bors
6a2776e465 Auto merge of #983 - christianpoveda:fs-shims-tweaks, r=RalfJung 
Various fixes to the file related shims

Hi @RalfJung, I'll be working incrementally over your comments for the new `fs` shims module here.
 2019-10-11 13:37:05 +00:00
Christian Poveda
003b257f87 Change error handling style for consistency 2019-10-11 08:20:32 -05:00
Christian Poveda
60cf06a03f Use existing tcx instead 2019-10-11 04:20:18 -05:00
Christian Poveda
67ea454647 Correct style of comments 2019-10-11 04:17:43 -05:00
bors
e10d9d32d7 Auto merge of #985 - christianpoveda:fix-fs-path, r=RalfJung 
Avoid using the tests folder for the file manipualtion test

https://github.com/rust-lang/rust/pull/65278 r? @RalfJung
 2019-10-11 09:03:11 +00:00
Christian Poveda
e9138ab4d6 Rename file manipulation test to fs 2019-10-11 04:01:07 -05:00
Christian Poveda
ae9f4e1e63 Avoid using the tests folder for the file manipualtion test 2019-10-11 04:00:12 -05:00
Christian Poveda
1c64f29811 Add comment for the flag diff check 2019-10-11 03:55:18 -05:00
Christian Poveda
12040aae88 Add comment explaining why buffer isn't overflowed 2019-10-11 03:43:20 -05:00
Christian Poveda
8368d4f2b4 Add comments to explain the chdir test 2019-10-11 02:35:50 -05:00