8000 Comparing microsoft:main...anakrish:main · microsoft/regorus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: microsoft/regorus
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: anakrish/regorus
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 1 commit
  • 2 files changed
  • 1 contributor

Commits on May 14, 2025

  1. feat: Constant Folding/Partial Evaluation

    A special mode of evaluation is introduced in which
    - access to input is disallowed
    - only those builtin functions that are idempotent are allowed
    - extensions are disallowed
    
    Those rules which evaluate to value other than undefined will
    procduce the same value irrespective of the input.
    Values of such rules are cached so that in regular evaluation
    these rules don't have to be evaluated.
    
    TODO:
    - Currently only one iteration of loops are evaluated.
      Fully constant loops ought to be evaluated completely.
    - Expressions evaluating to values other than undefined can also
      be cached. But this might consume memory.
      - Even if one expression or statement in a query evaluated to
        undefined, evaluation can still proceed to evaluate other
        expressions so that they can be cached if possible.
    - Expensive to create objects such as Regexes can also be cached.
      This will require caching at a lower level than expressions.
      Impact on memory must also be considered.
    
    Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
    anakrish committed May 14, 2025
    Configuration menu
    Copy the full SHA
    5dd21c6 View commit details
    Browse the repository at this point in the history
Loading
0