Programming Languages Research Group: Git

2016-08-18	tkwa	More minor edits to pseudocode	commit \| commitdiff \| tree
2016-08-16	tkwa	Minor edits	commit \| commitdiff \| tree
2016-08-12	tkwa	Restructured proof; should be complete now	commit \| commitdiff \| tree
2016-08-04	tkwa	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-04	tkwa	Further changes to Lemma 1; still not done	commit \| commitdiff \| tree
2016-08-03	tkwa	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-03	tkwa	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-02	tkwa	Minor changes to proof	commit \| commitdiff \| tree
2016-08-02	tkwa	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-02	tkwa	Improvements to diagram for Lemma 1 of the proof; added...	commit \| commitdiff \| tree
2016-08-02	tkwa	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-02	tkwa	More fixes to Lemma 1 of the proof and misc. subroutines	commit \| commitdiff \| tree
2016-08-01	tkwa	Added simple diagram for lemma in proof	commit \| commitdiff \| tree
2016-08-01	tkwa	Minor fixes to pseudocode and proof	commit \| commitdiff \| tree
2016-07-23	tkwa	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-07-23	tkwa	Added security guarantee	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.