The following past Tripos questions are from ancestors of the current Part II course Hoare Logic. The comments indicate which parts are (or are not) relevant to the 2015 course. If there is no comment, then the whole question is relevant.
1993 Paper 10 Question 12
1993 Paper 11 Question 12
1994 Paper 7 Question 11 only the first part
1994 Paper 8 Question 10
1995 Paper 7 Question 1
1995 Paper 8 Question 1
1996 Paper 7 Question 1
1996 Paper 8 Question 1
1997 Paper 7 Question 1
1997 Paper 8 Question 1 not part (c)
1998 Paper 7 Question 2
1998 Paper 8 Question 1
1999 Paper 7 Question 2
1999 Paper 8 Question 2 not the second part
2000 Paper 7 Question 1
2000 Paper 8 Question 2 not the third part
2001 Paper 7 Question 1 not part (e)
2001 Paper 8 Question 12
2002 Paper 7 Question 1
2002 Paper 8 Question 12 none of this question
2003 Paper 7 Question 6
2003 Paper 8 Question 12 question OK, but original had error: I := 0
2003 Paper 8 Question 12 (corrected)     question now OK, has correct I := 1
2004 Paper 7 Question 6 not parts (c) and (d)
2004 Paper 8 Question 13 not part (b)
2005 Paper 7 Question 6
2005 Paper 8 Question 13 not parts (f), (g) and (i)
2006 Paper 7 Question 6 not part (i)
2006 Paper 8 Question 15
2007 Paper 7 Question 6 not parts (d), (f) and (h)
2007 Paper 8 Question 16
2008 Paper 7 Question 15
2008 Paper 8 Question 16 not parts (d) and (e)
2009 Paper 7 Question 14
2009 Paper 8 Question 12 none of this question
2010 Paper 7 Question 14 not parts (b) and (c)
2010 Paper 8 Question 12
2011 Paper 8 Question 2
2011 Paper 7 Question 6
2012 Paper 8 Question 7
2012 Paper 8 Question 8 not clear how much of separation logic will be covered
2013 Paper 7 Question 7
2013 Paper 8 Question 8 (a), (b), (c) good, but not clear if background to (d), (e), (f) will be covered
2014 Paper 7 Question 7