Ralf Jung
8264732366
Merge branch 'master' into readme
2018-07-16 09:29:12 +02:00
Oliver Schneider
40ac150712
Merge pull request #408 from RalfJung/rustup
...
Rustup
2018-07-16 09:19:09 +02:00
Oliver Schneider
022bd13bee
Merge branch 'master' into hack_branch_for_miri_do_not_delete_until_merged
2018-07-16 09:16:53 +02:00
Ralf Jung
d11c668a39
no longer run rustc on the tests; instead make sure we actually deny all warnings
...
Also fix the fallout from that
2018-07-16 08:39:06 +02:00
Ralf Jung
a39f25c813
update rustc build instructions to mention keep-stage
...
Also move them further down because it is probably less relevant than some of
the other stuff.
2018-07-15 23:18:36 +02:00
Ralf Jung
5be8bd987d
Test some new capabilities we gained from a rustc update
2018-07-15 21:25:20 +02:00
Ralf Jung
fd6dad78f4
Merge pull request #406 from RalfJung/windows
...
handle all foreign items like we handle C ABI shims
2018-07-15 21:24:43 +02:00
Ralf Jung
60d18dbf87
handle all foreign items like we handle C ABI shims
2018-07-15 21:03:52 +02:00
Ralf Jung
fe4f62ab4a
Merge pull request #404 from RalfJung/error
...
make sure we show error messages even when we cannot show span
2018-07-15 12:57:26 +02:00
Ralf Jung
0b8809bf5f
port some tests to check the new error format
2018-07-15 12:00:02 +02:00
Ralf Jung
30185d09f6
make sure we show error messages even when we cannot show span
2018-07-15 11:40:57 +02:00
Ralf Jung
4112822a84
Merge pull request #403 from RalfJung/readme
...
refine rustc build instructions
2018-07-14 11:41:58 +02:00
Ralf Jung
473c50405d
refine rustc build instructions
2018-07-14 11:02:09 +02:00
Ralf Jung
ff64b420ec
Merge pull request #387 from ecstatic-morse/eq-hash
...
Implement `Eq`, `Clone` and `Hash` for MemoryData and Evaluator
2018-07-13 09:24:32 +02:00
Ralf Jung
a2f4d84f73
Merge branch 'master' into eq-hash
2018-07-13 08:29:42 +02:00
Ralf Jung
19e214e6ad
Merge pull request #400 from RalfJung/tests
...
put everything into a single test to fix interleaved output mess
2018-07-12 15:29:04 +02:00
Ralf Jung
25c067ac7a
testsuite: put everything into a single test to fix interleaved output mess
2018-07-12 15:05:25 +02:00
Ralf Jung
7bf51e6453
Merge pull request #399 from RalfJung/readme
...
update debugging instructions in the README
2018-07-12 15:02:16 +02:00
Ralf Jung
105f7e7fb2
update debugging instructions in the README
2018-07-12 14:27:03 +02:00
Ralf Jung
8a5161ea9d
Merge pull request #398 from RalfJung/tests
...
testsuite: Improve sysroot and fullmir handling
2018-07-12 12:05:26 +02:00
Ralf Jung
4fdcccdc70
Merge branch 'master' into tests
2018-07-12 11:34:26 +02:00
Ralf Jung
a7ae729bce
Merge pull request #397 from RalfJung/deps
...
bump outdated dependencies
2018-07-12 11:33:51 +02:00
Ralf Jung
9718d73ac8
colored test output!
2018-07-12 11:26:09 +02:00
Ralf Jung
af6ede08b0
Merge branch 'master' into deps
2018-07-12 11:08:20 +02:00
Ralf Jung
8ce16a7c30
remove xargo logic; instead rely on MIRI_SYSROOT being set to run full MIR tests
2018-07-12 11:02:48 +02:00
Ralf Jung
01578ca6b3
don't run all compile-fail tests with full MIR
2018-07-12 11:02:48 +02:00
Oliver Schneider
f8fabe4ed1
Merge pull request #395 from RalfJung/tests
...
Test suite work
2018-07-12 11:00:45 +02:00
Ralf Jung
949106148c
ignore panic test on Windows
2018-07-12 10:24:25 +02:00
memoryleak47
eb8195f095
typo
2018-07-12 10:22:23 +02:00
Ralf Jung
5f2f254695
move tests that no longer need MIR out of fullmir
2018-07-12 10:22:23 +02:00
Ralf Jung
ff5b0fee33
fix many tests and ignore some others; enable compile_fail tests again
2018-07-12 10:22:23 +02:00
Ralf Jung
5fc990cebd
bump dependencies
2018-07-12 10:19:14 +02:00
Oliver Schneider
54da84fbd8
Merge pull request #394 from RalfJung/start-fn
...
document -Zmiri-start-fn; make its logic more clear
2018-07-12 00:01:14 +02:00
Ralf Jung
0e0f52df75
Merge branch 'master' into start-fn
2018-07-11 21:30:24 +02:00
Oliver Schneider
1896ba2435
Merge pull request #393 from RalfJung/no-bin
...
stop producing binaries
2018-07-11 21:23:03 +02:00
Ralf Jung
e5de51a322
use -Zmiri-start-fn as a clue to REQUIRE the lang item to be present
2018-07-11 20:25:27 +02:00
Ralf Jung
dd7cc47e5c
document -Zmiri-start-fn; make its logic more clear
2018-07-11 19:39:09 +02:00
Ralf Jung
197b75764c
without aux builds, we don't need to set always-encode-mir any more
2018-07-11 19:36:45 +02:00
Ralf Jung
7023126094
stop producing binaries
2018-07-11 19:36:45 +02:00
Oliver Schneider
ef64c25bd0
Merge pull request #392 from RalfJung/dirs
...
fix deprecation warning: use dirs crate for home_dir
2018-07-11 17:59:04 +02:00
Ralf Jung
d4e8d0b935
fix deprecation warning: use dirs crate for home_dir
2018-07-11 17:42:35 +02:00
Oliver Schneider
8127440014
Merge pull request #391 from bjorn3/clippy_fixes
...
Clippy fixes
2018-07-11 10:53:16 +02:00
bjorn3
52bf4732fd
Fix some clippy lints
2018-07-10 17:32:38 +02:00
bjorn3
f321593655
Workaround for rustc bug
2018-07-10 17:20:07 +02:00
Alexander Regueiro
5b7bb32b0e
Rustup
2018-07-02 17:00:36 +01:00
Oliver Schneider
e1dbbe538f
Rustup
2018-07-01 16:01:42 +02:00
Dylan MacKenzie
5a7f4412ee
Implement Eq and Hash for MemoryData and Evaluator
...
In order to implement infinite loop detection while executing MIR, both
the implementor of `Machine` (`Evaluator`) and its associated type
(`MemoryData`), must implement `Eq` and `Hash`. This PR adds the
required trait implementations.
It's possible that the `Hash` implementations need to be improved; only
the `env_vars` field of `Evaluator` and the `thread_local` field of
`MemoryData` are actually being hashed. Omitting fields from a `Hash`
implementation is not incorrect, but could lead to collisions if the
ignored fields are changing constantly. Perhaps I should instead derive
`Hash` on a few more fields related to MIR validation?
2018-06-29 17:50:57 -07:00
Oliver Schneider
9143a69f4b
Merge pull request #386 from mati865/rustup
...
Rustup
2018-06-29 15:01:11 +02:00
Mateusz Mikuła
d4b98b221d
Rusutp
2018-06-29 14:10:57 +02:00
Oliver Schneider
9d8945e3e8
Merge pull request #385 from bjorn3/patch-1
...
Add missing pub
2018-06-12 06:28:20 -07:00
