Commit Graph

842 Commits

Author SHA1 Message Date
Scott Olson
29afc84f04 Merge pull request #109 from oli-obk/patch-2
add docs for `cargo miri`
2017-02-03 15:22:40 -08:00
Scott Olson
3fe45572c1 Merge pull request #110 from oli-obk/rename_map_hir
rustup
2017-02-03 15:22:02 -08:00
Scott Olson
2ba883ce98 Merge pull request #107 from canndrew/rename_map_hir
TyCtxt's map renamed to hir
2017-02-03 15:20:05 -08:00
Oliver Schneider
0e77dd9473 rustup 2017-02-03 15:47:23 +01:00
Oliver Schneider
02a6937926 add docs for cargo miri 2017-02-02 12:59:41 +01:00
Scott Olson
b490a4077c Merge pull request #103 from oli-obk/tuples
allow using tuple variant names as function handles
2017-01-29 03:27:29 -08:00
Andrew Cann
1752af689f TyCtxt's map renamed to hir 2017-01-29 15:21:24 +08:00
Scott Olson
dc336eecac Merge pull request #104 from oli-obk/cargo
add cargo-miri subcommand
2017-01-28 15:42:54 -08:00
Oliver Schneider
4650e75d60 travis cargo doesn't support custom subcommands 2017-01-28 16:14:32 +01:00
Oliver Schneider
ce95ae5927 correctly implement pointers to enum variant constructors 2017-01-28 15:46:46 +01:00
Oliver Schneider
b6e79dbbf5 fix some ICEs 2017-01-28 15:28:24 +01:00
Oliver Schneider
8f7e492305 drive-by rust update 2017-01-28 15:27:20 +01:00
Oliver Schneider
17090b8524
add tests for cargo miri and run them on travis 2017-01-28 11:57:53 +01:00
Oliver Schneider
2cca377bd4
add cargo miri test sub sub command 2017-01-28 11:57:53 +01:00
Oliver Schneider
5adb84645f
add cargo-miri subcommand to directly interpret the main binary of a crate 2017-01-28 11:57:52 +01:00
Oliver Schneider
e22cceaceb
allow using tuple variant names as function handles in presence of NonZero optimizations 2017-01-23 12:56:40 +01:00
Oliver Schneider
04eadedb28
allow using tuple variant names as function handles 2017-01-23 12:56:40 +01:00
Scott Olson
684f757139 Make clippy-suggested fixes. 2017-01-22 00:19:35 -08:00
Scott Olson
53fa985fc4 Update for changes in rustc. 2017-01-16 19:37:53 -08:00
Scott Olson
ac2bf50f9d Use the new field init shorthand. 2017-01-16 18:45:30 -08:00
Scott Olson
267f4a124d Merge pull request #102 from oli-obk/rustup
rustup to 2017-01-12
2017-01-14 10:59:32 -08:00
Oliver Schneider
1838ef6bda
rustup to 2017-01-12 2017-01-13 17:16:19 +01:00
Scott Olson
d889deda5a Merge pull request #101 from oli-obk/small_fixes
various small fixes
2017-01-12 15:04:59 -08:00
Oliver Schneider
e7ef118138
fix copy pasted code 2017-01-12 12:43:37 +01:00
Oliver Schneider
927844ab24
priroda required functions 2017-01-12 12:43:37 +01:00
Oliver Schneider
8084d60f54
add test for unions and remove needles forced alloc 2017-01-12 12:43:37 +01:00
Oliver Schneider
374232c832
add memrchr libc function 2017-01-12 12:43:37 +01:00
Oliver Schneider
24870428a7
more intrinsics 2017-01-12 12:43:37 +01:00
Scott Olson
f3752220af Merge pull request #100 from oli-obk/tuple_struct_constructor_as_fn
allow the use of tuple struct constructors as functions
2017-01-12 02:35:36 -08:00
Oliver Schneider
0595f95460
remove old comment 2017-01-12 11:27:04 +01:00
Oliver Schneider
548a6baec0
also test transmutes to empty enums 2017-01-12 11:23:44 +01:00
Oliver Schneider
a58170a4c6
prevent intrinsics from creating uninhabited types 2017-01-12 10:37:14 +01:00
Oliver Schneider
b5f824fd9c
fix ICE when transmuting inhabited types to uninhabited 2017-01-12 09:59:00 +01:00
Oliver Schneider
753dbcf158
add a test for dereferencing a pointer to a ! 2017-01-12 09:41:36 +01:00
Scott Olson
0daa3b2898 Merge pull request #99 from oli-obk/travis
various travis cleanups + run miri tests on travis against 4 major targets
2017-01-12 00:14:41 -08:00
Oliver Schneider
3ee34381b6
remove typo 2017-01-12 08:53:03 +01:00
Oliver Schneider
7c486416cb
allow the use of tuple struct constructors as functions 2017-01-12 08:52:22 +01:00
Oliver Schneider
ccfcc12a58
aux tests only run if the host is set 2017-01-12 08:45:09 +01:00
Oliver Schneider
ae7d69a5bd
msvc has different internals for mutexes and thus fails on a different function 2017-01-12 08:41:57 +01:00
Oliver Schneider
421b537f80
travis fix 2017-01-12 08:41:46 +01:00
Oliver Schneider
f47aa03f6f
analyze travis 2017-01-12 08:41:39 +01:00
Oliver Schneider
3084aa8052
test more targets on travis 2017-01-12 08:41:31 +01:00
Oliver Schneider
2f51310a80
clamp down on hacks in compiletest 2017-01-12 08:41:22 +01:00
Oliver Schneider
1f40819315
try to pin down the travis failure 2017-01-12 08:41:12 +01:00
Oliver Schneider
5d7b92a6e3
fix travis 2017-01-12 08:40:53 +01:00
Scott Olson
57b983862e Merge pull request #98 from oli-obk/rustup
rustup (i128)
2017-01-11 23:40:37 -08:00
Oliver Schneider
32cd8efb97
re-enable auxiliary tests for the host only 2017-01-12 08:40:16 +01:00
Oliver Schneider
3a658e09e8
rustup (i128) 2017-01-12 08:28:42 +01:00
Scott Olson
d6e35fe46f Add test for #95. 2016-12-21 17:26:52 -08:00
Scott Olson
6d1c47b6ef Update for changes in rustc. 2016-12-21 17:23:28 -08:00