Skip to content
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

Fix Git clone instructions to work out of the box. #823

Merged
merged 7 commits into from
Aug 26, 2021
Merged

Fix Git clone instructions to work out of the box. #823

merged 7 commits into from
Aug 26, 2021

Commits on Aug 26, 2021

  1. Fix Git clone instructions to work out of the box. GaloisInc#821

    @varosi
    varosi committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    e046cea View commit details
    Browse the repository at this point in the history

  2. Adding some macOS prerequisites for installing crux-llvm

    @varosi
    varosi committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    a017a3d View commit details
    Browse the repository at this point in the history

  3. Fix wording in README.md file

    @varosi
    varosi committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    a7368f1 View commit details
    Browse the repository at this point in the history

  4. Restore erased line in README.md file

    @varosi
    varosi committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    b229306 View commit details
    Browse the repository at this point in the history

  5. Fixed an extra whitespace

    @varosi
    varosi committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    3ca3a06 View commit details
    Browse the repository at this point in the history

  6. Apply suggestions from code review 

    Co-authored-by: Ryan Scott <[email protected]>
    @varosi-chaosgroup @RyanGlScott
    varosi-chaosgroup and RyanGlScott committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    ae32799 View commit details
    Browse the repository at this point in the history

  7. Update crux-llvm/README.md 

    Co-authored-by: Ryan Scott <[email protected]>
    @varosi-chaosgroup @RyanGlScott
    varosi-chaosgroup and RyanGlScott committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    0d609cc View commit details
    Browse the repository at this point in the history