https://github.com/viperproject/rust-life

Simple explanations for some complex Rust lifetime errors.
https://github.com/viperproject/rust-life

lifetimes rust vscode-extension

Last synced: 5 months ago
JSON representation

Simple explanations for some complex Rust lifetime errors.

• Host: GitHub
• URL: https://github.com/viperproject/rust-life
• Owner: viperproject
• License: mpl-2.0
• Created: 2020-09-09T12:23:51.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-09-09T12:33:54.000Z (about 5 years ago)
• Last Synced: 2025-04-01T19:49:09.051Z (7 months ago)
• Topics: lifetimes, rust, vscode-extension
• Language: Rust
• Homepage:
• Size: 230 KB
• Stars: 7
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Rust Life

> Simple explanations for some complex Rust lifetime errors.

This repository contains the prototype of a custom Rust compiler driver (`compiler_mod`) and of a VS Code IDE extensions (`rust-life-assistant`) that together provide simple explanations for some complex Rust lifetime errors.

Reports:

* Dominic Dietler, BSc thesis "Visualization of Reference Lifetimes in Rust", AS 2018: [description](https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/David_Blaser_BA_description.pdf), [report](https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/David_Blaser_BA_Report.pdf).

* David Blaser, BSc thesis "Simple Explanation of Complex Lifetime Errors in Rust", SS 2019: [description](https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/Dominik_Dietler_BA_description.pdf), [report](https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/Dominik_Dietler_BA_report.pdf).

## License

Copyright 2020, ETH Zurich

This project is released under the Mozilla Public License, v. 2.0 except for:

* the file `compiler_mod/src/facts.rs`, which is an adaptation of https://github.com/rust-lang/polonius/blob/master/src/facts.rs and is thus released under the Apache License, v. 2.0

* the files in the `collected_code` folder, each of which specify their origin and are thus released under their respective licenses