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

Cryptol Projects #1526

Draft
wants to merge 21 commits into
base: master
Choose a base branch
from
Draft

Cryptol Projects #1526

wants to merge 21 commits into from
+1,017 −200

Commits on Nov 1, 2024

  1. Name main modules using their file path

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    b36f3ad View commit details
    Browse the repository at this point in the history

  2. Disallow parameterized main modules

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    c53d26b View commit details
    Browse the repository at this point in the history

  3. Slightly modify main module name formatting

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    08204d7 View commit details
    Browse the repository at this point in the history

  4. Tweak unnamed module naming again

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    5f65211 View commit details
    Browse the repository at this point in the history

  5. Update tests for Main module name change

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    5075049 View commit details
    Browse the repository at this point in the history

  6. Implement project config file, loading all modules

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    9e4e5a9 View commit details
    Browse the repository at this point in the history

  7. Revert "Update tests for Main module name change" 

    This reverts commit 6674db1.
    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    061f38e View commit details
    Browse the repository at this point in the history

  8. Name parameterized main modules in tests

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    a8ddabe View commit details
    Browse the repository at this point in the history

  9. Change displayed name of main modules back to Main

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    e826893 View commit details
    Browse the repository at this point in the history

  10. Projects: Add caching for loading modules

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    4617dd1 View commit details
    Browse the repository at this point in the history

  11. Projects: Switch to HsYAML for config file parsing

    @qsctr @glguy
    qsctr authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    56a4049 View commit details
    Browse the repository at this point in the history

  12. This should be just refactoring and comments. 

    Hopefully, does not change any functionality.
    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    754f007 View commit details
    Browse the repository at this point in the history

  13. fixup test results

    @glguy
    glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    70ccfd9 View commit details
    Browse the repository at this point in the history

  14. More refactoring. 

    There should be no semantic changes here.
    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    5e5e2ea View commit details
    Browse the repository at this point in the history

  15. Comments and wibbles

    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    b447e82 View commit details
    Browse the repository at this point in the history

  16. Read cache file strictly, otherwise we can't overwrite it.

    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    8643d28 View commit details
    Browse the repository at this point in the history

  17. Ignore . and ..

    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    9786ed2 View commit details
    Browse the repository at this point in the history

  18. Move printing to monad

    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    adcb03f View commit details
    Browse the repository at this point in the history

  19. Add a function for catching errors. 

    This can be useful to implement loading projects partially, when
some of the files in them are broken.
    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    e300802 View commit details
    Browse the repository at this point in the history

  20. Simplify things a bit. 

    For the moment we separate loading files and just parsing to check
for changes.
    @yav @glguy
    yav authored and glguy committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    445df7d View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. Project load with docstrings checkpoint

    @glguy
    glguy committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    9270c4c View commit details
    Browse the repository at this point in the history