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.

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

Add support for user-defined rules #177

Closed
wants to merge 16 commits into from
Closed

Add support for user-defined rules #177

wants to merge 16 commits into from

Commits on Oct 10, 2022

  1. Implement custom rules support

    Co-authored-by: William Moses <gh@wsmoses.com>
    Co-authored-by: Valentin Churavy <v.churavy@gmail.com>
    vchuravy and wsmoses committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    b429b03 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    645d15d View commit details
    Browse the repository at this point in the history
  3. cleanup fwd rules test

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    c8a6f28 View commit details
    Browse the repository at this point in the history
  4. add has_frule_from_sig

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    a8c0ed5 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    6afebc5 View commit details
    Browse the repository at this point in the history
  6. Propose rewrite of rrule

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    a07953b View commit details
    Browse the repository at this point in the history
  7. Ensure RT is a ghost

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    0bf3fdd View commit details
    Browse the repository at this point in the history
  8. add safe_debug

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    49f62ae View commit details
    Browse the repository at this point in the history
  9. Fix abs_interp

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    a7575e7 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    9ad03aa View commit details
    Browse the repository at this point in the history
  11. fixup

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    b2bdf2a View commit details
    Browse the repository at this point in the history
  12. FWD rules work again

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    559cd46 View commit details
    Browse the repository at this point in the history
  13. propagate world

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    e94179d View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    27daf86 View commit details
    Browse the repository at this point in the history
  15. start reverse mode rewrite

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    6ce55c5 View commit details
    Browse the repository at this point in the history
  16. Working codegen for rrules

    vchuravy committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    fd06f49 View commit details
    Browse the repository at this point in the history