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

Allows implicit clock to double conversions in ternary conditional operators during type checking #61

Merged
merged 15 commits into from
Sep 15, 2023
Merged

Allows implicit clock to double conversions in ternary conditional operators during type checking #61

merged 15 commits into from
Sep 15, 2023

Commits on Aug 17, 2023

  1. Allowed double and clock combination

    @thorulf4
    thorulf4 committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    20200ec View commit details
    Browse the repository at this point in the history

  2. Relax for integers

    @thorulf4
    thorulf4 committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    d8afe9a View commit details
    Browse the repository at this point in the history

  3. Added tests for ternary operator with implicit conversions

    @thorulf4
    thorulf4 committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    55e2b46 View commit details
    Browse the repository at this point in the history

  4. Unrelaxed integer conversion

    @thorulf4
    thorulf4 committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    f9e499b View commit details
    Browse the repository at this point in the history

  5. Propagate the proper type

    @thorulf4
    thorulf4 committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    ab5ca11 View commit details
    Browse the repository at this point in the history

  6. Added further checks to ensure correct conversion

    @thorulf4
    thorulf4 committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    75a54de View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Fixed unary minus typing and added tests

    @thorulf4
    thorulf4 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    398e3de View commit details
    Browse the repository at this point in the history

  2. Make tests non trivially optimizable 

    Co-authored-by: Marius Mikučionis <marius@cs.aau.dk>
    @thorulf4 @mikucionisaau
    thorulf4 and mikucionisaau authored Aug 31, 2023
    Configuration menu
    Copy the full SHA
    50c2b63 View commit details
    Browse the repository at this point in the history

  3. Used concept of common type from c++ and added more tests

    @thorulf4
    thorulf4 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    2077667 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/ternery_operator' into ternery_o… 

    …perator
    @thorulf4
    thorulf4 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    26831e9 View commit details
    Browse the repository at this point in the history

  5. Made tests more consistent

    @thorulf4
    thorulf4 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    43d4ac5 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. Merge branch 'main' into ternery_operator

    @thorulf4
    thorulf4 authored Sep 1, 2023
    Configuration menu
    Copy the full SHA
    4ddfa11 View commit details
    Browse the repository at this point in the history

  2. Added more tests

    @thorulf4
    thorulf4 committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    04caf75 View commit details
    Browse the repository at this point in the history

  3. Added additional test and improved naming

    @thorulf4
    thorulf4 committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    fd9f12a View commit details
    Browse the repository at this point in the history

  4. Moved tests

    @thorulf4
    thorulf4 committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    b3c6954 View commit details
    Browse the repository at this point in the history