projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
783a9c3
)
add forum link
author
Ralf Jung
<post@ralfj.de>
Wed, 26 Dec 2018 16:03:23 +0000
(17:03 +0100)
committer
Ralf Jung
<post@ralfj.de>
Wed, 26 Dec 2018 16:03:23 +0000
(17:03 +0100)
personal/_posts/2018-12-26-stacked-borrows-barriers.md
patch
|
blob
|
history
diff --git
a/personal/_posts/2018-12-26-stacked-borrows-barriers.md
b/personal/_posts/2018-12-26-stacked-borrows-barriers.md
index e68663dbb919f7730be38866742423c036544ddf..a598903f7ecbb78c57b3d56a0362463cc408e6ce 100644
(file)
--- a/
personal/_posts/2018-12-26-stacked-borrows-barriers.md
+++ b/
personal/_posts/2018-12-26-stacked-borrows-barriers.md
@@
-1,6
+1,7
@@
---
title: "Barriers and Two-phase Borrows in Stacked Borrows"
categories: internship rust
+forum: https://internals.rust-lang.org/t/barriers-and-two-phase-borrows-in-stacked-borrows/9100
---
My internship ("research assistantship") with Mozilla has ended several weeks ago, and this post is a report of the most recent tweaks I made to Miri and Stacked Borrows.