Termination Analysis of the Borrow Checker of Rust

Name		Name	Last commit message	Last commit date
Latest commit History 132 Commits
.github		.github
svg-inkscape		svg-inkscape
.gitignore		.gitignore
000_rust.tex		000_rust.tex
001_abstract.tex		001_abstract.tex
010_introduction.tex		010_introduction.tex
015_rust.tex		015_rust.tex
020_featherweight.tex		020_featherweight.tex
025_borrow_checker.tex		025_borrow_checker.tex
030_termination.tex		030_termination.tex
040_invariant.tex		040_invariant.tex
060_relwork.tex		060_relwork.tex
090_conclusion.tex		090_conclusion.tex
README.md		README.md
abbrevs-short.bib		abbrevs-short.bib
biblio.bib		biblio.bib
listings-rust.sty		listings-rust.sty
llncs.cls		llncs.cls
makefile		makefile
references.bib		references.bib

LedgerProject/safepkt_paper