8000 Clearly distinguish and inter-link between tools.galois.com/saw/crux and Crux-{LLVM,MIR} READMEs · Issue #1376 · GaloisInc/crucible · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Clearly distinguish and inter-link between tools.galois.com/saw/crux and Crux-{LLVM,MIR} READMEs #1376

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
langston-barrett opened this issue Apr 11, 2025 · 0 comments
Open

Clearly distinguish and inter-link between tools.galois.com/saw/crux and Crux-{LLVM,MIR} READMEs #1376

langston-barrett opened this issue Apr 11, 2025 · 0 comments
Assignees
@langston-barrett @ChrisEPhifer
Labels
documentation

Comments

@langston-barrett
Copy link
Contributor

We've got an official website for Crux, but Crux-LLVM and Crux-MIR both have their own documentation in their READMEs. We should (1) have a clear distinction between what should live in these respective sources, (2) enact such distinction, and (3) have both sources link to each other, very near the beginning, with a clear explanation of what to expect when the link is followed vs. continuing to read the current source.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@langston-barrett langston-barrett

@ChrisEPhifer ChrisEPhifer

Labels
documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@langston-barrett @ChrisEPhifer
0