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 odoc API documentation #1055

Merged
merged 24 commits into from
May 25, 2023
Merged

Add odoc API documentation #1055

merged 24 commits into from
May 25, 2023

Commits on May 22, 2023

  1. Add API docs workflow

    @sim642
    sim642 committed May 22, 2023
    Configuration menu
    Copy the full SHA
    a903e75 View commit details
    Browse the repository at this point in the history

  2. Add semi-organized Goblint_lib interface

    @sim642
    sim642 committed May 22, 2023
    Configuration menu
    Copy the full SHA
    99cd65a View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Add organized Goblint_lib interface

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    a1964c6 View commit details
    Browse the repository at this point in the history

  2. Add framework synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    7979db7 View commit details
    Browse the repository at this point in the history

  3. Add analyses synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    3405067 View commit details
    Browse the repository at this point in the history

  4. Add domains synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    c5a9d9d View commit details
    Browse the repository at this point in the history

  5. Add incremental synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    b4d550f View commit details
    Browse the repository at this point in the history

  6. Add solver synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    118cd38 View commit details
    Browse the repository at this point in the history

  7. Add I/O synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    a9e177a View commit details
    Browse the repository at this point in the history

  8. Add transformation synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    87a3f9e View commit details
    Browse the repository at this point in the history

  9. Add utilities synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    b51e516 View commit details
    Browse the repository at this point in the history

  10. Add library extensions synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    9c86837 View commit details
    Browse the repository at this point in the history

  11. Add framework functionality synopses

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    0c18a50 View commit details
    Browse the repository at this point in the history

  12. Merge branch 'master' into api-docs

    @sim642
    sim642 committed May 23, 2023
    Configuration menu
    Copy the full SHA
    920587e View commit details
    Browse the repository at this point in the history

Commits on May 24, 2023

  1. Add API reference to Readthedocs

    @sim642
    sim642 committed May 24, 2023
    Configuration menu
    Copy the full SHA
    802a8cd View commit details
    Browse the repository at this point in the history

  2. Add signs tutorial link to ocamldoc

    @sim642
    sim642 committed May 24, 2023
    Configuration menu
    Copy the full SHA
    e238008 View commit details
    Browse the repository at this point in the history

  3. Fix some ocamldoc typos 

    Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
    @sim642 @michael-schwarz
    sim642 and michael-schwarz committed May 24, 2023
    Configuration menu
    Copy the full SHA
    cdd47e0 View commit details
    Browse the repository at this point in the history

  4. Add some ocamldoc references 

    Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
    @sim642 @michael-schwarz
    sim642 and michael-schwarz committed May 24, 2023
    Configuration menu
    Copy the full SHA
    c3444ac View commit details
    Browse the repository at this point in the history

  5. Fix some ocamldoc syntax

    @sim642
    sim642 committed May 24, 2023
    Configuration menu
    Copy the full SHA
    65f12bb View commit details
    Browse the repository at this point in the history

  6. Add threadJoins arXiv reference

    @sim642
    sim642 committed May 24, 2023
    Configuration menu
    Copy the full SHA
    d2941b9 View commit details
    Browse the repository at this point in the history

  7. Improve some ocamldoc synopses 

    Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
    @sim642 @michael-schwarz
    sim642 and michael-schwarz committed May 24, 2023
    Configuration menu
    Copy the full SHA
    2a64ceb View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. Improve some ocamldoc synopses 

    Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
    @sim642 @michael-schwarz
    sim642 and michael-schwarz committed May 25, 2023
    Configuration menu
    Copy the full SHA
    03048e6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into api-docs

    @sim642
    sim642 committed May 25, 2023
    Configuration menu
    Copy the full SHA
    58cefe5 View commit details
    Browse the repository at this point in the history

  3. Switch docs workflow to master branch only

    @sim642
    sim642 committed May 25, 2023
    Configuration menu
    Copy the full SHA
    1208190 View commit details
    Browse the repository at this point in the history