Khyber Sen

Always says it's installing to `~/.cargo/bin` even when it's not

1

If `$CARGO_HOME` is not `~/.cargo`, `cargo quickinstall` still says it's installing to `~/.cargo/bin`, which is quite confusing. If it could be updated to correctly show where it was installed, that...

Append to `Metadata` and merge upon deserialization

1

Fixes #586. Atomically append to the `Metadata` file (error if not written all at once) and then merge upon deserialization. See https://github.com/immunant/c2rust/issues/586#issuecomment-1210068124 for a discussion of solutions, of which this...

Update `rustc` to `nightly-2022-08-08`

4

Supercedes #513. I kept behavior identical (at least I meant to) during this update, even if it may make more sense to relax a `match` or avoid an `.unwrap()` now....

This adds better `impl`s for some `c2rust-analysis-rt` types. Namely, we * https://github.com/immunant/c2rust/commit/8230808bc590a45a492312cf8052f944d8132ba6: match `rustc`'s derive `impl`s for mirrored types like `Fingerprint` and `DefPathHash` * https://github.com/immunant/c2rust/commit/2f596ae50aac109b1eeaa15eb60e2d2265b810e4: extend those same `impl`s to...

Renamed infos for clarity, consistency, and succinctness

4

Renamed infos for clarity, consistency, and succinctness. Specifically, * `mut` renamed to `store` to match `load` * `non_unique` renamed to `alias`, as this more closely follows Rust's terminology for aliasing,...

This aligns each of the infos printed so that they're much easier to scan while reading. This is done by adding a `NodeInfo::fmt_with_sep` just like `Node::fmt_with_sep`. And non-existent infos are...

Run `cargo add` in `c2rust-instrument` to add `c2rust-analysis-rt` automatically

1

Blocked on #595. Currently, in https://github.com/immunant/c2rust/pull/554, the `c2rust-analysis-rt` runtime must be added as an (optional) dependency in the instrumented crate. This runs `cargo add c2rust-analysis-rt --optional` so that it is...

On Ubuntu 18 and Debian 10, `FileCheck` is not installed by default with `llvm`, so `cargo test -p c2rust-analyze` fails. We can either upgrade `llvm` versions on those distros (and...

Turn on `clippy` in CI

5

Fixes #477.

Catch more compile-time errors in CI

3

Right now in CI, we just test ```sh cargo build ./scripts/test_translator.py tests/ ``` We should test more: ```sh cargo fmt --check RUSTFLAGS='-D warnings' cargo clippy --tests --all --all-features # includes...