2012-09-14 | Brian Norris | Merge branch 'norris' | blob | commitdiff | raw |
2012-09-14 | Brian Norris | config: don't enable graph dumping in master repo | blob | commitdiff | raw |
2012-09-14 | Brian Demsky | (1) add actions for the fence | blob | commitdiff | raw | diff to current |
2012-09-14 | Brian Demsky | add support for dumping cyclegraphs as dot files..... | blob | commitdiff | raw |
2012-08-02 | Brian Demsky | move more configurables and add documentation | blob | commitdiff | raw | diff to current |
2012-07-17 | Brian Norris | config: automatically determine BIT48 | blob | commitdiff | raw | diff to current |
2012-07-13 | Brian Norris | datarace: fixup, properly document BIT48 | blob | commitdiff | raw | diff to current |
2012-07-06 | Brian Demsky | add forgetten file | blob | commitdiff | raw | diff to current |