1. Evaluating a variable that contains variables associated with assumptions
2. Show textstrings / variables and assumptions in pop up window / figure
3. Problem defining assumptions on a set of variables
4. [PATCH 17/25] x86_64 irq: Remove the msi assumption that irq == vector
5. [PATCH 18/25] i386 irq: Remove the msi assumption that irq == vector
6. How do I remove the automatic email assumption when I use @ ?
7. [PATCH 13/33] x86_64: Remove assumptions about the kernel start address from e820/bad_addr()
8. removed symbols in $Assumptions
9. [PATCH][SELINUX] Remove hardcoded policy assumption from get_user_sids logic
10. [PATCH 17/25] x86_64 irq: Remove the msi assumption that irq == vector
11. Are my assumptions about OnInit() correct?
13. Please confirm my assumption
14. Heap/Stack Allocations - Are my assumptions correct?