| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixed bnode collision bug. | Jim McCusker | 2015-08-09 | 1 | -0/+2 |
| * | test for #494 (canonicalization sometimes collapses BNodes) | Joern Hees | 2015-07-13 | 1 | -4/+103 |
| * | added benchmark and related instrumentation | Jim McCusker | 2014-11-18 | 1 | -4/+9 |
| * | First pass at a traces implementation, not full pruning yet | Jim McCusker | 2014-11-15 | 1 | -0/+146 |
