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

Asl constant analysis #751

Closed
wants to merge 10 commits into from
Closed

Asl constant analysis #751

wants to merge 10 commits into from

Commits on Jan 9, 2024

  1. [asldoc] Fix Makefile building

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    c6a0db8 View commit details
    Browse the repository at this point in the history

  2. [asl] Remove undetermined bitvectors

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    d664e71 View commit details
    Browse the repository at this point in the history

  3. [asl] Hide names of stdlib locals.

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    59ec6de View commit details
    Browse the repository at this point in the history

  4. [asl] Insure unicity of parameters with uids 

    Also fix some the place of a few typing rules that made no sense.
    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    f2f7e91 View commit details
    Browse the repository at this point in the history

  5. [asl] Use syntax-based domains for constraints

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    399f513 View commit details
    Browse the repository at this point in the history

  6. [asl] Increase robustness and improve types 

    Fix `make test-aarch64-asl`.
    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    7efac1f View commit details
    Browse the repository at this point in the history

  7. [asl] Add tests

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    dcae90d View commit details
    Browse the repository at this point in the history

  8. [asl] Remove primitive bodies from AST.

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    e9b6593 View commit details
    Browse the repository at this point in the history

  9. [asl] Type-checks in one pass in DAG order.

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    45d5164 View commit details
    Browse the repository at this point in the history

  10. [asl] Check type validity on user input

    @HadrienRenaud
    HadrienRenaud committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    a715e76 View commit details
    Browse the repository at this point in the history