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

Develop lock files and their handling in the package system #370

Merged
merged 28 commits into from
Nov 3, 2022
Merged

Develop lock files and their handling in the package system #370

merged 28 commits into from
Nov 3, 2022

Commits on Oct 29, 2022

  1. begin to develop lock files

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    f353f0d View commit details
    Browse the repository at this point in the history

  2. develop 'LockConfig'

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    4042936 View commit details
    Browse the repository at this point in the history

  3. develop 'ClosedLockDependencyResolver'

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    8032ea5 View commit details
    Browse the repository at this point in the history

  4. make 'demo.saty' compile

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    1b57b87 View commit details
    Browse the repository at this point in the history

  5. make 'doc-primitives.saty' compile

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    cf87e3d View commit details
    Browse the repository at this point in the history

  6. make 'doc-lang.saty' compile

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    7ed051d View commit details
    Browse the repository at this point in the history

  7. make 'math1.saty' compile

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    4628b61 View commit details
    Browse the repository at this point in the history

  8. make 'tests/**/*.saty' compile

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    5be494d View commit details
    Browse the repository at this point in the history

  9. slight refactoring of 'YamlDecoder'

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    50c6e2e View commit details
    Browse the repository at this point in the history

  10. add contexts to 'YamlDecoder.error'

    @gfngfn
    gfngfn committed Oct 29, 2022
    Configuration menu
    Copy the full SHA
    c7a98d1 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Merge branch 'dev-0-1-0-package-system' into dev-0-1-0-lock-file

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    828140f View commit details
    Browse the repository at this point in the history

  2. remove 'OpenPackageDependencyResolver'

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    2b5a855 View commit details
    Browse the repository at this point in the history

  3. refactor 'ClosedFileDependencyResolver'

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    fc0b29f View commit details
    Browse the repository at this point in the history

  4. add 'CannotUseHeaderUseOf'

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    00685b8 View commit details
    Browse the repository at this point in the history

  5. remove 'fileDependencyGraph.{ml,mli}'

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    bcf9776 View commit details
    Browse the repository at this point in the history

  6. slight improvement on 'FileModuleNameConflict'

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    15d25a9 View commit details
    Browse the repository at this point in the history

  7. improve error propagation around 'YamlDecoder' and 'Config'

    @gfngfn
    gfngfn committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    ae8f50f View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2022

  1. move 'stdlib'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    56df525 View commit details
    Browse the repository at this point in the history

  2. move 'math'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    255c55e View commit details
    Browse the repository at this point in the history

  3. move 'code'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    921f91b View commit details
    Browse the repository at this point in the history

  4. move 'annot'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    892ed44 View commit details
    Browse the repository at this point in the history

  5. move 'itemize'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    cd296e3 View commit details
    Browse the repository at this point in the history

  6. move 'tabular'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    7ec14c4 View commit details
    Browse the repository at this point in the history

  7. move 'footnote-scheme'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    5998011 View commit details
    Browse the repository at this point in the history

  8. move 'proof'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    9dac222 View commit details
    Browse the repository at this point in the history

  9. move 'md-ja'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    c509f94 View commit details
    Browse the repository at this point in the history

  10. move 'std-ja{,-report,-book}'

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    86a1a17 View commit details
    Browse the repository at this point in the history

  11. lessen contents of package config files

    @gfngfn
    gfngfn committed Nov 2, 2022
    Configuration menu
    Copy the full SHA
    0b4c770 View commit details
    Browse the repository at this point in the history