git.ralfj.de Git - web.git/history - personal/_posts/2022-04-11-provenance-exposed.md

[web.git] / personal / _posts / 2022-04-11-provenance-exposed.md

2022-10-06	Ralf Jung	add 'programming' category	blob \| commitdiff \| raw
2022-09-14	Ralf Jung	tweak the update	blob \| commitdiff \| raw \| diff to current
2022-09-14	Ralf Jung	add update on the current state on ptr2int transmutation	blob \| commitdiff \| raw \| diff to current
2022-05-25	Ralf Jung	note on integer-pointer transmutation	blob \| commitdiff \| raw \| diff to current
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

sources for my website

RSS Atom