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

Add opam tree subcommand #5171

Merged
merged 11 commits into from
Sep 12, 2022
Merged

Add opam tree subcommand #5171

merged 11 commits into from
Sep 12, 2022

Commits on Sep 9, 2022

  1. compat: add Int.equal

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    c2ad920 View commit details
    Browse the repository at this point in the history

  2. std.list: add find_map_opt and fold_left_map

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    226756b View commit details
    Browse the repository at this point in the history

  3. formula: add formula_to_cnf and formula_to_cnf

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    ce78ed1 View commit details
    Browse the repository at this point in the history

  4. filter: add customisation function to to_string

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    a24f0ef View commit details
    Browse the repository at this point in the history

  5. types: add condition type, filter of filtered formula

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    1f51378 View commit details
    Browse the repository at this point in the history

  6. console: add tree printing module

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    fde4a3a View commit details
    Browse the repository at this point in the history

  7. solution: add dry_run function to simulate a state from a solution

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    fafdf10 View commit details
    Browse the repository at this point in the history

  8. tree: implement tree command

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    29ac61b View commit details
    Browse the repository at this point in the history

  9. add opam tree command

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    8ea9c3b View commit details
    Browse the repository at this point in the history

  10. reftests: add tree test

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    30754fc View commit details
    Browse the repository at this point in the history

  11. update changes

    @cannorin @rjbou
    cannorin authored and rjbou committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    eece100 View commit details
    Browse the repository at this point in the history