Commit Graph

2518 Commits

Author SHA1 Message Date
Ralf Jung
4816bfb774
Merge pull request #629 from RalfJung/rename
Rename things away from 'Shr'
2019-02-12 13:02:49 +01:00
Ralf Jung
fd6bd5ba4b rename things away from 'Shr' that are used for much more than just shared references 2019-02-12 10:58:18 +01:00
Ralf Jung
3c652032c0 be more clear which stack we are talking about 2019-02-12 10:51:03 +01:00
Ralf Jung
258cc493ef
Merge pull request #627 from RalfJung/appveyor
TIL that you can also use .appveyor.yml
2019-02-11 12:57:02 +01:00
Ralf Jung
bab9abefa1
Merge branch 'master' into appveyor 2019-02-11 10:05:29 +01:00
Ralf Jung
88bb7a1525 TIL that you can also use .appveyor.yml 2019-02-11 10:03:07 +01:00
Oliver Scherer
ecb8755c97
Merge pull request #624 from RalfJung/args
implement passing arguments to the interpreted program
2019-02-10 15:11:56 +01:00
Ralf Jung
866aeaecfc explain arument passing in the docs 2019-02-09 20:00:40 +01:00
Ralf Jung
35ed590075 also enable passing arguments through from cargo-miri 2019-02-09 20:00:40 +01:00
Ralf Jung
5e468766b7 also pass actual arguments to Windows 2019-02-09 20:00:40 +01:00
Ralf Jung
e400b42c21 fix build 2019-02-09 20:00:40 +01:00
Ralf Jung
0802b3a108 implement passing arguments to the interpreted program 2019-02-09 20:00:40 +01:00
Ralf Jung
7827924bfc test padding in format strings 2019-02-09 15:52:59 +01:00
Ralf Jung
df659d9ae6
Merge pull request #625 from RalfJung/likely
fix (un)likely intrinsics
2019-02-09 13:30:11 +01:00
Ralf Jung
0f6e82db36 fix (un)likely intrinsics 2019-02-09 13:08:23 +01:00
Ralf Jung
c4c12ade33
Merge pull request #621 from RalfJung/bash
make bash more strict
2019-02-08 13:58:40 +01:00
Ralf Jung
b7e6212df2
Merge branch 'master' into bash 2019-02-08 12:54:51 +01:00
Ralf Jung
75444e16fa
Merge pull request #620 from RalfJung/stderr-flush
we don't need to flush stderr
2019-02-08 12:14:15 +01:00
Ralf Jung
e747c65f8d make bash more strict 2019-02-08 12:13:07 +01:00
Ralf Jung
7af75abdd7 we don't need to flush stderr 2019-02-08 10:41:44 +01:00
Oliver Scherer
77d12bb465
Merge pull request #619 from RalfJung/stderr-flush
flush stdout/stderr to make sure it appears on the screen
2019-02-08 09:47:39 +01:00
Ralf Jung
68e8ff1a09 flush stdout/stderr to make sure it appears on the screen 2019-02-07 18:04:58 +01:00
Ralf Jung
b1b9387c33
Merge pull request #618 from RalfJung/cargo-miri
Fix cargo miri test on lib crates
2019-02-07 18:03:47 +01:00
Ralf Jung
e0891bd619 Fix cargo miri test on lib crates 2019-02-07 16:33:46 +01:00
Ralf Jung
1e14e66e32
Merge pull request #617 from RalfJung/cargo-miri
update docs
2019-02-07 15:27:08 +01:00
Ralf Jung
08180f07ba update docs 2019-02-07 14:44:30 +01:00
Oliver Scherer
1889b9fe5a
Merge pull request #616 from RalfJung/cargo-miri
Fix cargo miri on unit tests, refactor it a bit, set rust flag instead of feature flag
2019-02-07 14:44:14 +01:00
Ralf Jung
5766b32871 update test for cargo-miri 2019-02-07 13:03:03 +01:00
Ralf Jung
4309539efe cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests 2019-02-07 13:00:27 +01:00
Ralf Jung
e36a90de98 make release builds have debug info 2019-02-07 12:59:35 +01:00
Ralf Jung
2d4ebf017d
Merge pull request #610 from RalfJung/panic
Support panic_impl and atomic_nand
2019-02-06 13:55:17 +01:00
Ralf Jung
e5972c38a3 test mutable string slice indexing 2019-02-06 11:47:32 +01:00
Ralf Jung
48ac35f072 panic_impl is another way to panic 2019-02-06 11:41:45 +01:00
Ralf Jung
661ed7b82d implement atomic_nand 2019-02-06 11:40:10 +01:00
Ralf Jung
9e0e219917
Merge pull request #609 from RalfJung/readme
update development instructions in README
2019-02-05 21:54:21 +01:00
Ralf Jung
f3becd810e explain how to run cargo miri with a locally compiled rustc 2019-02-05 21:35:15 +01:00
Ralf Jung
7dbd23626e update development instructions in README 2019-02-05 15:03:11 +01:00
Oliver Scherer
e501e13fa9
Merge pull request #607 from solson/travis
Try out more email notifications
2019-02-01 10:01:37 +01:00
Oliver Scherer
35809441cd Try out more email notifications 2019-01-30 14:09:37 +01:00
Ralf Jung
a9505a8fb8
Merge pull request #606 from solson/rustup
Rustup
2019-01-30 12:58:17 +01:00
Ralf Jung
e827f7b238 bump Rust 2019-01-30 11:51:17 +01:00
Ralf Jung
6b855573bd fix generator test case 2019-01-30 11:51:06 +01:00
Oliver Scherer
be511b3041
Merge pull request #604 from solson/rustup
Rustup
2019-01-28 09:45:14 +01:00
Ralf Jung
ce8cf6425e bump Rust 2019-01-28 09:20:06 +01:00
Ralf Jung
f7519f36e6 fix tests to avoid deprecated constants 2019-01-28 09:19:56 +01:00
Ralf Jung
39bf6087a2
Merge pull request #601 from RalfJung/comment
remove outdated comment
2019-01-25 15:51:04 +01:00
Ralf Jung
76985f1e2d remove outdated comment 2019-01-25 08:59:12 +01:00
Ralf Jung
91c96b4cd4
Merge pull request #600 from solson/rustup
Expose `AllocId`s for priroda
2019-01-22 19:32:06 +01:00
Oliver Scherer
9f06cdc87a Explain Ref problems 2019-01-22 17:19:19 +01:00
Oliver Scherer
7269a884c9 Expose AllocIds for priroda 2019-01-22 16:46:45 +01:00