Anders Schack-Mulligen
|
d5ac5b4654
|
SSA: Replace uncertainWriteDefinitionInput implementation.
This yields a tiny bit of additional tuples consistent with the prior
Java implementation.
|
2025-02-18 14:01:18 +01:00 |
|
Anders Schack-Mulligen
|
a4fee2e299
|
SSA: Minor perf tweak to reduce tuple duplication.
|
2025-02-18 14:01:18 +01:00 |
|
Anders Schack-Mulligen
|
7e441d9eca
|
SSA: Fold getImmediateBasicBlockDominator into loop-invariant predicate.
|
2025-02-18 14:01:17 +01:00 |
|
Anders Schack-Mulligen
|
77ccff6be8
|
SSA: Replace exported def-reaches predicates (behaviour-preserving).
|
2025-02-18 14:01:17 +01:00 |
|
Anders Schack-Mulligen
|
6e272d07af
|
SSA: Ignore phi-reads in the new def-reaches module.
|
2025-02-18 14:01:16 +01:00 |
|
Anders Schack-Mulligen
|
ea08c60326
|
SSA: Copy 3 predicates from the outer scope verbatim into the new Reaches module.
|
2025-02-18 14:01:16 +01:00 |
|
Anders Schack-Mulligen
|
613323ee3a
|
SSA: Copy parts of SsaDefReaches verbatim to new module.
|
2025-02-18 14:01:15 +01:00 |
|
Anders Schack-Mulligen
|
81b3035160
|
SSA: Inline predicate
|
2025-02-18 14:01:15 +01:00 |
|
Anders Schack-Mulligen
|
f80cd97232
|
SSA: Factor out phi-read construction in its own predicate.
|
2025-02-18 14:01:14 +01:00 |
|
Anders Schack-Mulligen
|
5723d27428
|
SSA: Make inReadDominanceFrontier a bit smaller without affecting phi-read creation.
|
2025-02-18 14:01:14 +01:00 |
|
Anders Schack-Mulligen
|
c5e28842fb
|
SSA: Remove superfluous column from liveAtRank.
|
2025-02-18 14:01:13 +01:00 |
|
Anders Schack-Mulligen
|
b62432fc80
|
SSA: Remove superfluous boolean.
|
2025-02-18 14:01:13 +01:00 |
|
Anders Schack-Mulligen
|
36613e150b
|
SSA: Remove superfluous conjunct (implied by refRank).
|
2025-02-18 14:01:13 +01:00 |
|
Anders Schack-Mulligen
|
3822d149af
|
SSA: Elaborate qldoc.
|
2025-02-18 14:01:12 +01:00 |
|
github-actions[bot]
|
ad24f94a77
|
Post-release preparation for codeql-cli-2.20.5
|
2025-02-17 17:58:24 +00:00 |
|
github-actions[bot]
|
6f4562f3bd
|
Release preparation for version 2.20.5
|
2025-02-17 16:55:54 +00:00 |
|
Anders Schack-Mulligen
|
0b5270979d
|
SSA: Remove the need for ExitBasicBlock in SSA.
|
2025-02-10 14:36:18 +01:00 |
|
Anders Schack-Mulligen
|
34edda6b9b
|
C#/Ruby/Rust: Deprecate dead code.
|
2025-02-10 14:24:38 +01:00 |
|
github-actions[bot]
|
f1b05a79a4
|
Post-release preparation for codeql-cli-2.20.4
|
2025-02-04 09:25:09 +00:00 |
|
github-actions[bot]
|
573e53e454
|
Release preparation for version 2.20.4
|
2025-02-03 15:19:35 +00:00 |
|
github-actions[bot]
|
fbb7f0a0c6
|
Post-release preparation for codeql-cli-2.20.2
|
2025-01-20 21:11:14 +00:00 |
|
github-actions[bot]
|
a0512a50f2
|
Release preparation for version 2.20.2
|
2025-01-20 21:11:12 +00:00 |
|
github-actions[bot]
|
fb20f6ca63
|
Post-release preparation for codeql-cli-2.20.1
|
2025-01-07 22:07:40 +00:00 |
|
github-actions[bot]
|
88b6f1e79a
|
Release preparation for version 2.20.1
|
2025-01-07 20:50:36 +00:00 |
|
Dave Bartolomeo
|
72a53c4b23
|
Revert "Release preparation for version 2.20.1"
|
2025-01-07 13:32:23 -05:00 |
|
github-actions[bot]
|
fbf9f2fff8
|
Release preparation for version 2.20.1
|
2025-01-07 17:20:13 +00:00 |
|
Dave Bartolomeo
|
22e030584c
|
Revert "Release preparation for version 2.20.1"
|
2025-01-07 12:14:27 -05:00 |
|
github-actions[bot]
|
a121c5a5d0
|
Release preparation for version 2.20.1
|
2025-01-06 18:20:22 +00:00 |
|
github-actions[bot]
|
cf71a1525b
|
Post-release preparation for codeql-cli-2.20.0
|
2024-12-04 18:36:17 +00:00 |
|
github-actions[bot]
|
96564b7128
|
Release preparation for version 2.20.0
|
2024-12-04 16:01:14 +00:00 |
|
Alexander Eyers-Taylor
|
c0474c4e45
|
Revert "Revert "Post-release preparation for codeql-cli-2.19.4""
|
2024-11-21 15:37:52 +00:00 |
|
Alexander Eyers-Taylor
|
4effe9e364
|
Revert "Post-release preparation for codeql-cli-2.19.4"
|
2024-11-21 14:43:15 +00:00 |
|
github-actions[bot]
|
3909df75dc
|
Post-release preparation for codeql-cli-2.19.4
|
2024-11-19 17:54:03 +00:00 |
|
github-actions[bot]
|
9783a11565
|
Release preparation for version 2.19.4
|
2024-11-19 16:21:37 +00:00 |
|
github-actions[bot]
|
f107d16b4e
|
Post-release preparation for codeql-cli-2.19.3
|
2024-11-04 17:20:08 +00:00 |
|
github-actions[bot]
|
cc7b724123
|
Release preparation for version 2.19.3
|
2024-11-04 16:37:28 +00:00 |
|
github-actions[bot]
|
079ab77a38
|
Post-release preparation for codeql-cli-2.19.2
|
2024-10-15 12:16:59 +00:00 |
|
github-actions[bot]
|
255f55cf1a
|
Release preparation for version 2.19.2
|
2024-10-15 10:29:25 +00:00 |
|
Asger F
|
1ce0ba5083
|
SSA: Make WithState private
|
2024-10-07 14:48:28 +02:00 |
|
Asger F
|
9902874ddd
|
SSA: Add BarrierGuardWithState
|
2024-10-03 13:48:44 +02:00 |
|
github-actions[bot]
|
e97878ed63
|
Post-release preparation for codeql-cli-2.19.1
|
2024-09-30 19:49:00 +00:00 |
|
github-actions[bot]
|
455c8c5953
|
Release preparation for version 2.19.1
|
2024-09-30 17:59:48 +00:00 |
|
github-actions[bot]
|
79be301984
|
Post-release preparation for codeql-cli-2.19.0
|
2024-09-16 14:09:32 +00:00 |
|
github-actions[bot]
|
acdafd9646
|
Release preparation for version 2.19.0
|
2024-09-16 10:56:10 +00:00 |
|
github-actions[bot]
|
97edff3f70
|
Post-release preparation for codeql-cli-2.18.4
|
2024-09-09 18:45:46 +00:00 |
|
github-actions[bot]
|
91537cdf9a
|
Release preparation for version 2.18.4
|
2024-09-09 16:08:48 +00:00 |
|
github-actions[bot]
|
0724fd7ce2
|
Post-release preparation for codeql-cli-2.18.3
|
2024-08-21 18:25:54 +00:00 |
|
github-actions[bot]
|
17cd9624fb
|
Release preparation for version 2.18.3
|
2024-08-21 17:13:52 +00:00 |
|
github-actions[bot]
|
cc6d87c276
|
Post-release preparation for codeql-cli-2.18.2
|
2024-08-08 12:56:21 +00:00 |
|
github-actions[bot]
|
019da8c287
|
Release preparation for version 2.18.2
|
2024-08-07 14:02:38 +00:00 |
|