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

[bugfix] Non-local edges: fix validation, Consts inside CFG, no Static Dom edges #258

Merged
merged 29 commits into from
Jul 12, 2023
Merged

[bugfix] Non-local edges: fix validation, Consts inside CFG, no Static Dom edges #258

merged 29 commits into from
Jul 12, 2023

Commits on Jul 10, 2023

  1. Fix ConstValue::predicate, must provide the value

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    88227ad View commit details
    Browse the repository at this point in the history

  2. Common-up impl of new_unit

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    76b4723 View commit details
    Browse the repository at this point in the history

  3. Remove new_unit

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    a3f04c7 View commit details
    Browse the repository at this point in the history

  4. Fix some ConstTypeErrors for F64 and containers

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    a880759 View commit details
    Browse the repository at this point in the history

  5. Comment the assert re. github issue

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    05b7d5a View commit details
    Browse the repository at this point in the history

  6. Some typecheck_const tests

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    db1f69d View commit details
    Browse the repository at this point in the history

  7. Add should_panic test of ConstValue doc'ing failure

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    5c25773 View commit details
    Browse the repository at this point in the history

  8. clippy

    @acl-cqc
    acl-cqc committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    e6cf2c5 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. validate_intergraph_edge: check all constant edges. Maybe validate_ed… 

    …ge??
    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    2d0119f View commit details
    Browse the repository at this point in the history

  2. Fix inverted CFG ancestor test

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    a09a06e View commit details
    Browse the repository at this point in the history

  3. Fix ConstValue test_bad_predicate now behaviour is correct

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    d9f5776 View commit details
    Browse the repository at this point in the history

  4. Make test look for post-231-fix Err value

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    ffacca8 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/main' into cleanup/const_predicate

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    e507e73 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'cleanup/const_predicate' into bugfix/validate_intergraph

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    3b35a8a View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/main' into cleanup/const_predicate

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    fc09bed View commit details
    Browse the repository at this point in the history

  8. Merge branch 'cleanup/const_predicate' into bugfix/validate_intergraph

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    3c0c32c View commit details
    Browse the repository at this point in the history

  9. fmt

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    0774cc0 View commit details
    Browse the repository at this point in the history

  10. Rename to validate_edge, update comment

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    8152501 View commit details
    Browse the repository at this point in the history

  11. drop comment, revert whitespace

    @acl-cqc
    acl-cqc committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    c2bff74 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Save one line using matches!

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    0937a9e View commit details
    Browse the repository at this point in the history

  2. Add OpTag::ControlFlowChild, allowing Consts in CFGs

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    91c6cee View commit details
    Browse the repository at this point in the history

  3. build_cond_then_loop_cfg: put constants in CFG, fixing broken test

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a7d8041 View commit details
    Browse the repository at this point in the history

  4. Don't allow Dom static edges, fix tests to match

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    b2cc934 View commit details
    Browse the repository at this point in the history

  5. Update spec: Scoped definitions may appear in Control-flow Sibling Gr… 

    …aphs
    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    5a83a72 View commit details
    Browse the repository at this point in the history

  6. Static edges may not have locality Dom

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    67bb0b6 View commit details
    Browse the repository at this point in the history

  7. Correct comment, no static Dom

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    2335559 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/main' into bugfix/validate_inter… 

    …graph
    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    d717e6b View commit details
    Browse the repository at this point in the history

  9. Weird special character, oops

    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    c346403 View commit details
    Browse the repository at this point in the history

  10. Merge remote-tracking branch 'origin/main' into bugfix/validate_inter… 

    …graph
    @acl-cqc
    acl-cqc committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    38bce0d View commit details
    Browse the repository at this point in the history