Tighten up general solve checker a bit |
|
More...
|
about 9 years ago
|
Use new proper errors in test check, if available |
|
More...
|
about 9 years ago
|
Don't put a network name on root in mkAtom |
|
More...
|
about 9 years ago
|
Docs on sourceMismatchFailure properties |
|
More...
|
about 9 years ago
|
Add more support funcs for data generation |
|
More...
|
about 9 years ago
|
Remove old junky solveError type |
|
More...
|
about 9 years ago
|
s/sortedDeps/sortedConstraints/ |
|
More...
|
about 9 years ago
|
Various and sundry override and ignore hash tests |
|
More...
|
about 9 years ago
|
Move ignores out of params, into RootManifest |
|
More...
|
about 9 years ago
|
Add RootManifest |
|
More...
|
about 9 years ago
|
Fix the example, and have CI verify it compiles |
|
More...
|
about 9 years ago
|
Merge branch 'refactor-analyzer' |
|
More...
|
about 9 years ago
|
Rename in the bridge, too |
|
More...
|
about 9 years ago
|
Change the names just once more |
|
More...
|
about 9 years ago
|
Add analyzer info to input hash func |
|
More...
|
about 9 years ago
|
ProjectAnalyzer: s/GetInfo()/Analyze()/ |
|
More...
|
about 9 years ago
|
Add Info method to ProjectAnalyzer |
|
More...
|
about 9 years ago
|
Merge branch 'improved-trace' |
|
More...
|
about 9 years ago
|
More README wording touchups |
|
More...
|
about 9 years ago
|
Basically overhaul tracing |
|
More...
|
about 9 years ago
|
Add explicit backtrack trace output |
|
More...
|
about 9 years ago
|
Deal with "root at " problem in trace output |
|
More...
|
about 9 years ago
|
Fold select methods into selectAtom() |
|
More...
|
about 9 years ago
|
Fold checkPackage(), checkProject() into check() |
|
More...
|
about 9 years ago
|
Different traceVisit for proj vs. pkg |
|
More...
|
about 9 years ago
|
Remove zero-args case from traceInfo() |
|
More...
|
about 9 years ago
|
s/s.log*()/s.trace*()/ |
|
More...
|
about 9 years ago
|
Separate out logSelect() |
|
More...
|
about 9 years ago
|
Put tracing in its own file |
|
More...
|
about 9 years ago
|
Consolidate into logFinish() |
|
More...
|
about 9 years ago
|