diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-07-12 09:10:59 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-07-12 09:10:59 +1000 |
| commit | a489bbd5fb9f6a2a97243dd95b580080bb83272d (patch) | |
| tree | 81f3799f96bc3b2431dc1be095c28a5c6cd78a76 /makefile | |
| parent | 42a265e80a9ed551fd519a88ed1d063435385b9f (diff) | |
Functions to linearise a graph into a proof trace (currently include removing unused portions and resolving single-output commands)
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions