SMT Club @ Tufts CS hacking at the z3.
26/09/15
- Worked through the reachability example
- For next week: Given a trace, ask questions about the types in the trace. e.g. Does there exist a LinkedList node with 2 pointers from other LinkedList nodes?
RedlineResearch/FridayFunday
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|