projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add link to reddit
[web.git]
/
personal
/
_posts
/
2022-04-11-provenance-exposed.md
2022-05-25
Ralf Jung
note on integer-pointer transmutation
blob
|
commitdiff
|
raw
2022-04-13
Ralf Jung
update PNVI-ae-udi paper URL
blob
|
commitdiff
|
raw
|
diff to current
2022-04-13
Ralf Jung
fix a typo
blob
|
commitdiff
|
raw
|
diff to current
2022-04-12
Ralf Jung
tweak wording
blob
|
commitdiff
|
raw
|
diff to current
2022-04-12
Ralf Jung
tweaks
blob
|
commitdiff
|
raw
|
diff to current
2022-04-12
Ralf Jung
credit where credit is due
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
more on 'udi' and angelic non-determinism; make some...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
add some comments to code snippets
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
fix code snippet
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
link to new LLVM bugtracker
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
more precision around restrict
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
clarify assumption
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
apply some feedback
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
add reddit link
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Ralf Jung
add exposure blog post
blob
|
commitdiff
|
raw
|
diff to current