2
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 25, 2024 — Aug 25, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
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