Commits · main · Colin Watson / rust-partial-borrow

05 Sep, 2022 21 commits

Bump version to 1.0.0 (fix) · 7fb652a4
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
7fb652a4
Bump version to 1.0.0 · 4e5e9837
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
4e5e9837
cargo: upgrade darling · bf8e593b
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
bf8e593b
cargo: Update example lockfile · 46f822eb
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
46f822eb
docs: More about safety and MIRI and compatibility · 4b2b8fea
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
4b2b8fea
scripts: argument/check-equiv: Use new argument-to-blank · 2cd0ba2d
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
2cd0ba2d

scripts: Change how we run cargo · 56fc18cf

Ian Jackson authored Sep 05, 2022



This new approach gives better control and better reporting.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

56fc18cf

scripts: Use x function in argument/merge · 23769296
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
23769296

scripts: Replace set -x with x function · 123f7c1c

Ian Jackson authored Sep 05, 2022



This makes the output nicer.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

123f7c1c

scripts: Run miri with nightly · 8666b075
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
8666b075
scripts: Set MIRIFLAGS · e3cc7fc3
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
e3cc7fc3
scripts: Move common.sh to topleve, change to use bash everywhere · aa139e8c
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
aa139e8c

Update trybuild output for Rust 1.63 · 529a2060

Ian Jackson authored Sep 05, 2022



I have eyeballed these message changes while staging them.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

529a2060

No longer require mightly exit_status_error feature · 6427a94b
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
6427a94b

provenance: use integer roundtrip in macros · e652a49c

Ian Jackson authored Sep 05, 2022



Also update argument.rs, and rerun argument/argument-to-blank.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

e652a49c

provenance: use integer roundtrip in byhand.rs · e1af9afa
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
e1af9afa

argument: Remove a blank linke · 1de5a567

Ian Jackson authored Sep 05, 2022



With this change, argument/argument-to-blank produces the current
blank.rs, so that everything is consistent.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

1de5a567

argument/argument-to-blank: New utility script · bd5989d8
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
bd5989d8
argument/merge: Print a message · 0c614a89
Ian Jackson authored Sep 05, 2022
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
0c614a89

mut_or_const: Provide `m` binding if desired · 2d82c810

Ian Jackson authored Sep 05, 2022



This will let us pass the `m` by value through to something that is
using `mut_or_const_bind`.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

2d82c810

Introduce mut_or_const_bind · 96755059

Ian Jackson authored Sep 05, 2022



We're going to want this shortly.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

96755059

02 Sep, 2021 1 commit

Fix typo "borred" · a25d9596

Ian Jackson authored Sep 02, 2021



Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

a25d9596

29 Aug, 2021 18 commits
- add link to argument.rs · 4eb55772
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  4eb55772
- docs · 0977be27
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  0977be27
- bump versions, docs · 077b5a57
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  077b5a57
- docs, mysteriously this does not appear · 0e1ea0e1
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  0e1ea0e1
- docs · ae66e1bb
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  ae66e1bb
- docs · 4339221f
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  4339221f
- done a todo · 0ed78015
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  0ed78015
- make-rejects rename · ec7bce44
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  ec7bce44
- make-rejects rename · b574f310
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  b574f310
- make-rejects deref whole · 70d075e5
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  70d075e5
- make-rejects deref whole · f8256734
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  f8256734
- make-rejects deref whole · 49b7441c
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  49b7441c
- make-rejects deref whole · 38158a85
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  38158a85
- make-rejects deref · 4d2d207c
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  4d2d207c
- make-rejects, wip deref · 2b0d0c82
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  2b0d0c82
- make-rejects, wip deref · 7808c8a7
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  7808c8a7
- make-rejects, wip deref · 6b8a1ee0
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  6b8a1ee0
- make-rejects, wip deref · 8f131e2e
  Ian Jackson authored Aug 29, 2021
```
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
```
  8f131e2e