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.
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
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
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
Christian Poveda
c8df0171e8
Move functions to eval libc constants to helpers
2019-10-11 01:53:31 -05:00
Christian Poveda
976c976f09
Rename shims::io to shims::fs
2019-10-11 01:49:28 -05:00
YOUNGSUK_KIM
610dbdd562
fixed cargo-miri bug for windows users
2019-10-10 11:03:20 -04:00
bors
3899dce3b6
Auto merge of #982 - RalfJung:rustup, r=RalfJung
...
bump to latest nightly
Just because it has been a while since the last bump.
2019-10-09 11:01:53 +00:00
Ralf Jung
c2e4c877c5
bump to latest nightly
2019-10-09 11:11:56 +02:00
bors
d57de39141
Auto merge of #981 - RalfJung:atomic, r=RalfJung
...
also test AcqRel fence
Missing from https://github.com/rust-lang/miri/pull/979
2019-10-09 08:32:58 +00:00
Ralf Jung
62f08eb416
also test AcqRel fence
2019-10-09 10:29:08 +02:00
bors
cc0468b4bc
Auto merge of #976 - christianpoveda:unlink-shim, r=oli-obk
...
Add unlink shim to delete files
r? @oli-obk
This closes the whole create, write, read, delete circle for file handling.
2019-10-08 16:14:41 +00:00
Christian Poveda
187361996f
Add errno_location shim for MacOS
2019-10-08 10:22:39 -05:00
