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

OTP 26 Incremental dialyzer #1081

Merged
merged 15 commits into from
Mar 15, 2024
Merged

OTP 26 Incremental dialyzer #1081

merged 15 commits into from
Mar 15, 2024

Commits on Mar 11, 2024

  1. fix typo

    @lukaszsamson
    lukaszsamson committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    d379604 View commit details
    Browse the repository at this point in the history

  2. PoC incremental dialyzer

    @lukaszsamson
    lukaszsamson committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    8ba6db1 View commit details
    Browse the repository at this point in the history

  3. acquire build lock 

    trigger next analysis
    @lukaszsamson
    lukaszsamson committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    eaed235 View commit details
    Browse the repository at this point in the history

  4. implement suggest contracts

    @lukaszsamson
    lukaszsamson committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    8a3f437 View commit details
    Browse the repository at this point in the history

  5. apply some improvements introduced since the initial PoC

    @lukaszsamson
    lukaszsamson committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    41bc332 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. add error reporting

    @lukaszsamson
    lukaszsamson committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    23ef583 View commit details
    Browse the repository at this point in the history

  2. add env

    @lukaszsamson
    lukaszsamson committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    97cfb7c View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. update readme

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    9962d22 View commit details
    Browse the repository at this point in the history

  2. remove not needed erts app

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    fed55a5 View commit details
    Browse the repository at this point in the history

  3. fix suggest contracts

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    7b41626 View commit details
    Browse the repository at this point in the history

  4. fix diagnostic emit

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    25aeee5 View commit details
    Browse the repository at this point in the history

  5. we no longer consolidate protocols

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    0627cf9 View commit details
    Browse the repository at this point in the history

  6. make old dialyzer tests pass

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    99e4ca2 View commit details
    Browse the repository at this point in the history

  7. add tests

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    33e4b06 View commit details
    Browse the repository at this point in the history

  8. add OTP 26 dialyzer options

    @lukaszsamson
    lukaszsamson committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    dd67dc4 View commit details
    Browse the repository at this point in the history