Skip to content

Commit 5b48bc4

Browse files
committed
C#: Delete the experimental IR queries.
1 parent 48fcec8 commit 5b48bc4

File tree

193 files changed

+0
-29894
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

193 files changed

+0
-29894
lines changed

csharp/ql/src/experimental/ir/IR.qll

Lines changed: 0 additions & 6 deletions
This file was deleted.

csharp/ql/src/experimental/ir/IRConfiguration.qll

Lines changed: 0 additions & 1 deletion
This file was deleted.

csharp/ql/src/experimental/ir/IRConsistency.ql

Lines changed: 0 additions & 8 deletions
This file was deleted.

csharp/ql/src/experimental/ir/PrintIR.ql

Lines changed: 0 additions & 8 deletions
This file was deleted.

csharp/ql/src/experimental/ir/PrintIR.qll

Lines changed: 0 additions & 1 deletion
This file was deleted.

csharp/ql/src/experimental/ir/Util.qll

Lines changed: 0 additions & 43 deletions
This file was deleted.

csharp/ql/src/experimental/ir/ValueNumbering.qll

Lines changed: 0 additions & 1 deletion
This file was deleted.

csharp/ql/src/experimental/ir/implementation/EdgeKind.qll

Lines changed: 0 additions & 139 deletions
This file was deleted.

csharp/ql/src/experimental/ir/implementation/IRConfiguration.qll

Lines changed: 0 additions & 45 deletions
This file was deleted.

0 commit comments

Comments
 (0)