Skip to content

Fix variable references in leq check #10

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

Open
bkushigian wants to merge 1 commit into
base: main
Choose a base branch
from
+3 −3
Open

Fix variable references in leq check #10

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions 03-analysis.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -205,9 +205,9 @@ <h1># E-class analysis</h1>
<pre><code class="language-egglog">(<span class="keyword">let</span> expr1 (Add (Var "y") (Add (Num two) (Var "x"))))
(<span class="keyword">let</span> expr2 (Add (Add (Add (Var "x") (Var "y")) (Num one)) (Num two)))

(<span class="keyword">fail</span> (<span class="keyword">check</span> (leq e1 e2)))
(<span class="keyword">fail</span> (<span class="keyword">check</span> (leq expr1 expr2)))
(<span class="keyword">run-schedule</span> (saturate (<span class="keyword">run</span>)))
(<span class="keyword">check</span> (leq e1 e2)) ; should pass</code></pre>
(<span class="keyword">check</span> (leq expr1 expr2)) ; should pass</code></pre>
<p>A useful special case of the leq analysis is if an expression is upper bounded
or lower bounded by certain numbers, i.e., interval analysis:</p>
<pre><code class="language-egglog">(<span class="keyword">function</span> upper-bound (Expr) BigRat :merge (min old new))
Expand Down Expand Up @@ -334,4 +334,4 @@ <h1># E-class analysis</h1>
<p>Generated from <code>03-analysis.egg</code> | <a href="https://github.com/egraphs-good/egglog" target="_blank">The egglog project</a></p>
</footer>
</body>
</html>
</html>