Commit Graph

2625 Commits

Author SHA1 Message Date
Ralf Jung
4b9e1544c2 give up on two-phase borrows 2019-05-17 15:02:31 +02:00
Ralf Jung
3618992a39 deduplicate tests 2019-05-15 18:12:58 +02:00
Ralf Jung
b9517ca9f3 this also fixed our 2-phase woes 2019-05-15 18:12:58 +02:00
Ralf Jung
1447242bf9 refactor to simplify 2019-05-15 18:12:58 +02:00
Ralf Jung
f676f2265b make writes act stack-like 2019-05-15 18:12:58 +02:00
Ralf Jung
77737cdb29
make printing return place less verbose (#728)
make printing return place less verbose
2019-05-15 18:12:46 +02:00
Ralf Jung
9b3f07b161 make printing return place less verbose 2019-05-15 17:23:33 +02:00
Ralf Jung
3d43a0b840
Rustup (#723)
Rustup
2019-05-15 09:29:26 +02:00
Ralf Jung
7a5a0303be bump Rust 2019-05-15 08:58:43 +02:00
Ralf Jung
bc0c76d861 fix for latest rustc 2019-05-13 22:07:24 +02:00
Ralf Jung
ada5edbf96 RUST_LOG got renamed to RUSTC_LOG 2019-05-13 14:10:52 +02:00
Ralf Jung
7f09e61c31 make HashMap test a bit nicer 2019-05-13 11:45:39 +02:00
Ralf Jung
be47fae173 build with latest version 2019-05-13 11:37:54 +02:00
Oliver Scherer
260256923e
Merge pull request #726 from RalfJung/stacked-borrows-2
rename per-location aprt of reborowing to 'granting'
2019-05-13 10:48:08 +02:00
Ralf Jung
a9e66928d6
Update src/stacked_borrows.rs
Co-Authored-By: bjorn3 <bjorn3@users.noreply.github.com>
2019-05-11 12:07:25 +02:00
Ralf Jung
8530080d03 rename per-location part of reborowing to 'granting' 2019-05-11 12:06:59 +02:00
Oliver Scherer
72698b1b30
Merge pull request #725 from RalfJung/xargo
switch back to upstream xargo
2019-05-10 11:40:23 +02:00
Ralf Jung
0f96676f43 switch back to upstream xargo 2019-05-10 08:28:02 +02:00
Oliver Scherer
053aa69499
Merge pull request #720 from RalfJung/rustup
fix for latest Rust
2019-05-02 09:09:15 +02:00
Ralf Jung
b08bf47606 fix tests for latest Rust 2019-05-01 20:43:43 +02:00
Ralf Jung
d05159f3a9 switch to my xargo fork, because that one works with current libstd 2019-05-01 20:37:08 +02:00
Ralf Jung
41d1602c90
Merge pull request #719 from RalfJung/stacked-borrows-2
add arielby's example
2019-04-30 21:14:41 +02:00
Ralf Jung
617195eb12 add arielby's example 2019-04-30 20:18:29 +02:00
Ralf Jung
784233573f
Merge pull request #718 from RalfJung/stacked-borrows-2
SharedReadOnly reborrows are never weak
2019-04-30 20:03:16 +02:00
bjorn3
17643af868
Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
2019-04-30 15:31:53 +02:00
Ralf Jung
59985157d3 SharedReadOnly reborrows are never weak 2019-04-30 13:55:04 +02:00
Ralf Jung
048ce3cb1c
Merge pull request #717 from Eijebong/metadata
Update cargo_metadata to 0.7
2019-04-27 23:59:44 +02:00
Bastien Orivel
69a252c1b3 Update cargo_metadata to 0.7 2019-04-27 23:31:48 +02:00
Ralf Jung
0f0c5f6d9a
Merge pull request #716 from RalfJung/rustup
fix HeapFree return value
2019-04-27 18:45:22 +02:00
Ralf Jung
53f59431a5 fix HeapFree return value 2019-04-27 18:21:10 +02:00
Ralf Jung
d30141693e bump Rust 2019-04-27 17:58:43 +02:00
Oliver Scherer
b46e523c20
Merge pull request #714 from RalfJung/readme
trophy case: add rand
2019-04-26 13:29:39 +02:00
Ralf Jung
f9cf78d685 trophy case: add rand; separate definite bugs from stacked-borrows-is-not-yet-official bugs 2019-04-26 09:08:30 +02:00
Oliver Scherer
b916a079d1
Merge pull request #702 from RalfJung/exit
implement exit
2019-04-22 16:41:35 +02:00
Ralf Jung
aaa8ee743b unify code paths 2019-04-22 13:20:51 +02:00
Ralf Jung
42b70f17d2
Merge branch 'master' into exit 2019-04-22 11:35:36 +02:00
Ralf Jung
1c07cd53e9
Merge pull request #709 from RalfJung/macos-rand
implement SecRandomCopyBytes for macOS RNG
2019-04-22 11:32:12 +02:00
Ralf Jung
b7314369e2 make run-test runnable from other directories 2019-04-22 11:11:06 +02:00
Ralf Jung
8cb0b23c08 no need to allow any more 2019-04-22 11:08:53 +02:00
Ralf Jung
131548a748 gen_random: handle size 0 and writing to mem 2019-04-22 11:08:23 +02:00
Ralf Jung
703b7f8a7e implement SecRandomCopyBytes for macOS RNG 2019-04-22 11:08:23 +02:00
Ralf Jung
298bd1f9ce
Merge pull request #710 from RalfJung/travis
Travis: test cargo miri on foreign arch
2019-04-22 00:27:22 +02:00
Ralf Jung
7bb461362e Travis: test cargo miri on foreign arch 2019-04-21 22:35:47 +02:00
Ralf Jung
8fd40db4bc
Merge pull request #708 from RalfJung/alloc-tests
test System/Global allocator API: alloc_zeroed, realloc
2019-04-21 17:22:39 +02:00
Ralf Jung
e4970fe6ff Windows: implement heap functions 2019-04-21 16:48:02 +02:00
Ralf Jung
a87a7338e6 test System/Global allocator API: alloc_zeroed, realloc 2019-04-21 13:47:12 +02:00
Ralf Jung
6a6c0cd5f0 implement ExitProcess for Windows 2019-04-21 13:25:24 +02:00
Ralf Jung
d410b13139 fix compile-fail ref files 2019-04-21 13:18:05 +02:00
Ralf Jung
0694435650 implement exit
implement exit code via new error kind
2019-04-21 12:36:17 +02:00
Ralf Jung
788616d0f0
Merge pull request #704 from RalfJung/dev
Hopefully make it a bit easier to develop on Miri
2019-04-21 12:23:54 +02:00