Update CSV framework coverage reports#2
Closed
github-actions[bot] wants to merge 1 commit intomainfrom
Closed
Conversation
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
6 times, most recently
from
671e671 to
875f7d0
Compare
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
7 times, most recently
from
909b4b4 to
1b47b5f
Compare
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
8 times, most recently
from
40df81a to
2509374
Compare
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
7 times, most recently
from
0f9a711 to
ba206a1
Compare
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
2 times, most recently
from
aec8ac2 to
948681f
Compare
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
5 times, most recently
from
11b422c to
5884854
Compare
github-actions
bot
force-pushed
the
workflow/coverage/update
branch
from
5884854 to
5d80b5c
Compare
yoff
pushed a commit
that referenced
this pull request
Dec 6, 2021
This is in order to avoid name clash with the often so-named IPA type for data- flow nodes. The name clash is not problematic because they are both in scope, but because (cached) IPA types with overlapping names are known to sometimes result in re-evaluation of cached stages, when one of the IPA types gets an internal `#2` suffix in one query run, and the other IPA type gets the suffix in another run.
yoff
pushed a commit
that referenced
this pull request
Oct 11, 2022
DIL before
```
/* AST::AstNode */ AST#87953007::Cached::TAstNode result) =
fastTC(AST#a6718388::AstNode::getAChild#0#dispred#ff/2)
.
Synthesis#d9ff06b1::isInDesugaredContext#1#f(/* AST::AstNode */ unique AST#87953007::Cached::TAstNode n)
:-
exists(int arg1, /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, n)
);
exists(/* AST::AstNode */ AST#87953007::Cached::TAstNode call_result#2 |
exists(int arg1,
/* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, call_result#2)
),
#AST#a6718388::AstNode::getAChild#0#dispredPlus#ff(call_result#2, n)
)
.
```
DIL after
```
incremental
Synthesis#d9ff06b1::isInDesugaredContext#1#f(/* AST::AstNode */ unique AST#87953007::Cached::TAstNode n)
:-
exists(int arg1, /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, n)
);
exists(/* AST::AstNode */ AST#87953007::Cached::TAstNode any#expr##2 |
rec Synthesis#d9ff06b1::isInDesugaredContext#1#f(any#expr##2),
exists(cached dontcare string _ |
AST#a6718388::AstNode::getAChild#1#dispred(any#expr##2, _, n)
)
)
| [base_case]
exists(int arg1, /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, n)
)
| [delta_order]
exists(/* AST::AstNode */ AST#87953007::Cached::TAstNode any#expr##2 |
delta previous rec Synthesis#d9ff06b1::isInDesugaredContext#1#f(any#expr##2),
project#AST#a6718388::AstNode::getAChild#1#dispred(any#expr##2, n)
),
not(previous rec Synthesis#d9ff06b1::isInDesugaredContext#1#f(n))
.
``
yoff
pushed a commit
that referenced
this pull request
Jul 17, 2023
…for-unused-parameters-2 Go: make `ParameterNode`s for unused parameters #2 (make a disjoint class for unused ones)
yoff
pushed a commit
that referenced
this pull request
Mar 25, 2025
Go: Add database source models for the github.com/couchbase/gocb package (#2)
yoff
pushed a commit
that referenced
this pull request
Mar 28, 2025
Go: Add `database` source models for the `squirrel` package (#2)
yoff
pushed a commit
that referenced
this pull request
Apr 30, 2025
JS: Add isMiddlewareSetup() hook to Routing model
yoff
pushed a commit
that referenced
this pull request
May 12, 2025
Implement first stage cryptography modelling and queries
yoff
pushed a commit
that referenced
this pull request
Nov 18, 2025
…8e3d-0895-49ec-9025-a9864c8e5367 Fix generate-code-scanning-query-list.py to handle empty code-quality-extended suites
yoff
pushed a commit
that referenced
this pull request
Dec 9, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR changes the CSV framework coverage reports.