mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,584 Commits 2 Branches 0 Tags 1.4 GiB
25e0f5b5db
Commit Graph

1584 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Oliver Schneider
25e0f5b5db Rustup 2017-10-16 16:21:49 +02:00
Oliver Schneider
042430270f repeat expressions abort due to OOM instead of execution time exhaustion 2017-10-12 11:13:56 +02:00
Oliver Schneider
f7f789a547 Use host floats for the intrinsics that we don't have soft float impls for 2017-10-12 11:13:34 +02:00
Oliver Schneider
072c02f9a3
Use numbers instead of indentations 
Noone can differentiate between 8 and 9 spaces if they aren't aligned
 2017-10-06 17:14:12 +02:00
Oliver Schneider
8d546e8b9a
Use rustc's logging libraries in order to be able to log rustc::mir::interpret 2017-10-06 17:14:12 +02:00
Oliver Schneider
52599adf27
Miri core has moved to rustc::mir::interpret 2017-10-06 17:13:59 +02:00
Oliver Schneider
cf0f6da9af Merge pull request #354 from king6cong/readme 
update README.md
 2017-09-30 11:22:04 +02:00
Oliver Schneider
fd5ededb29 Merge branch 'master' into readme 2017-09-30 10:46:34 +02:00
Oliver Schneider
cf4b28a5ac Merge pull request #353 from king6cong/master 
update trans_fulfill_obligation call signature
 2017-09-30 10:46:01 +02:00
king6cong
3d1332d7f8 update README.md 2017-09-30 15:07:07 +08:00
king6cong
6221bbc5a7 update trans_fulfill_obligation call signature 2017-09-30 14:55:16 +08:00
Oliver Schneider
ed674f7cb3 Merge pull request #351 from RalfJung/exchange_malloc 
Call exchange_malloc for box stmt
 2017-09-27 21:46:41 +02:00
Ralf Jung
6e8650395d fix oom2 test 2017-09-25 16:21:20 +02:00
Ralf Jung
a8980fd5e8 use exchange_malloc lang item for Box statements 2017-09-25 15:55:21 +02:00
Eduard-Mihai Burtescu
a5503a33e6 Merge pull request #350 from RalfJung/inhabited 
get rid of ad-hoc inhabitedness test
 2017-09-22 14:48:59 +03:00
Ralf Jung
1ad9709e00 get rid of ad-hoc inhabitedness test 2017-09-22 13:24:55 +02:00
Oliver Schneider
728e664739 Merge pull request #348 from RalfJung/tests 
update compiletest
 2017-09-19 16:23:18 +02:00
Ralf Jung
383153f887 update compiletest 2017-09-19 13:27:13 +02:00
Oliver Schneider
11e4859ee1 Merge pull request #347 from RalfJung/readme 
README: show AppVeyor status
 2017-09-18 13:56:12 +02:00
Ralf Jung
44fac716a6 fix AppVeyor URL 2017-09-18 11:17:21 +02:00
Ralf Jung
bf890b99dd README: show AppVeyor status 2017-09-18 11:13:01 +02:00
Ralf Jung
b20c038a99 Merge pull request #346 from solson/oli-obk-patch-3 
Only run appveyor on the master branch and on PRs
 2017-09-18 11:12:53 +02:00
Oliver Schneider
8419abe86e Only run appveyor on the master branch and on PRs 2017-09-17 22:02:30 +02:00
Oliver Schneider
80853e2f24 Merge pull request #334 from solson/windows 
Windows support in the test suite + appveyor
 2017-09-17 16:08:23 +02:00
Oliver Schneider
0320a77358 Run appveyor tests in release mode 2017-09-16 15:44:35 +02:00
Oliver Schneider
709ab245df Merge branch 'master' into windows 2017-09-16 15:06:26 +02:00
Oliver Schneider
cf92528426 Add windows support 2017-09-16 14:02:59 +02:00
Ralf Jung
8bddd6a065 Merge pull request #344 from RalfJung/test 
get rid of the --miri_host_target hack
 2017-09-16 13:49:01 +02:00
Ralf Jung
5a5aa49db7 get rid of the --miri_host_target hack 2017-09-16 13:29:38 +02:00
Ralf Jung
605c82be7a Merge pull request #343 from RalfJung/tests 
use ui test mode rather than mir-opt
 2017-09-16 13:09:28 +02:00
Ralf Jung
e7b0637e68 Merge branch 'master' into tests 2017-09-16 12:55:49 +02:00
Ralf Jung
060bb2fa9f use ui test mode rather than mir-opt 
These tests are not run per default
 2017-09-16 12:36:31 +02:00
Oliver Schneider
6d4840e929 Merge pull request #342 from RalfJung/mir-validate 
validation: check that int, float etc. are not undef
 2017-09-16 12:31:36 +02:00
Ralf Jung
bc240ff606 add an undef validation test 2017-09-16 12:11:48 +02:00
Ralf Jung
8509dbbafe validation: allow undef integers and raw pointers, as a crude work-around 2017-09-16 12:08:26 +02:00
Ralf Jung
2ea6663440 validation: check that int, float etc. are not undef 2017-09-16 11:45:56 +02:00
Oliver Schneider
1fc3a00c90 Merge pull request #341 from solson/babysteps 
Use rustc's APFloat impl instead of interpreter host floats
 2017-09-15 15:45:33 +02:00
Oliver Schneider
ec5820c273
Use rustc's APFloat impl instead of interpreter host floats 2017-09-15 15:06:27 +02:00
Oliver Schneider
f13455af2b Merge pull request #340 from solson/babysteps 
Remove `#[linkage(foo)]` statics from core miri
 2017-09-15 14:14:46 +02:00
Oliver Schneider
8cbfbf77f8
Remove #[linkage(foo)] statics from core miri 2017-09-15 13:03:07 +02:00
Oliver Schneider
e8ea7da201 Merge pull request #339 from RalfJung/rustup 
Storage{Live,Dead} in generators got fixed
 2017-09-15 09:22:18 +02:00
Ralf Jung
9db9308a79 Storage{Live,Dead} in generators got fixed 2017-09-15 08:58:12 +02:00
Ralf Jung
02e09dc187 Merge pull request #337 from RalfJung/rustup 
rustup
 2017-09-14 11:00:45 +02:00
Ralf Jung
ca0f063489 fix rustc_tests build 2017-09-14 10:40:22 +02:00
Oliver Schneider
7ec04cb676 cargo install only takes --debug, not --release 2017-09-14 10:34:07 +02:00
Ralf Jung
24e45de953 travis: more consistent cargo flags (--locked, --release) 2017-09-14 10:04:28 +02:00
Ralf Jung
91d9b83db2 validation: remove a hack that is no longer necessary 2017-09-14 10:00:37 +02:00
Ralf Jung
a66f622a98 rustup 2017-09-14 09:55:17 +02:00
Ralf Jung
237590ada3 Merge pull request #336 from RalfJung/mir-validate 
Valiation: Identify write locks using an abstract lvalue
 2017-09-13 18:32:39 +02:00
Ralf Jung
5d2ed4d2ba Something in panic handling fails validation with full-MIR 2017-09-13 18:15:59 +02:00