github-actions[bot]
|
84f6564cc0
|
Release preparation for version 2.21.0
|
2025-03-31 17:35:15 +00:00 |
|
Anders Schack-Mulligen
|
a8b19d2b21
|
Merge pull request #19147 from aschackmull/ssa/writedef-source-refactor
Ssa: Refactor data flow integration to make the input signature simpler
|
2025-03-31 10:07:09 +02:00 |
|
Paolo Tranquilli
|
96f7dc7eb4
|
Merge pull request #19083 from github/redsun82/rust-analyzer-update
Rust: update rust-analyzer from `0.0.266` to `0.0.270`
|
2025-03-28 15:04:09 +01:00 |
|
Simon Friis Vindum
|
884c828452
|
Merge pull request #19102 from paldepind/rust-ti-refactor
Shared, type inference: Add inference for type parameters with constraints (base type mentions)
|
2025-03-28 13:58:16 +01:00 |
|
Simon Friis Vindum
|
989c14485d
|
Rust: Minor doc tweaks based on PR comments
|
2025-03-28 13:39:42 +01:00 |
|
Paolo Tranquilli
|
76b1349068
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-28 13:36:48 +01:00 |
|
Anders Schack-Mulligen
|
0d1ac7789b
|
SSA/Ruby: Address review comments.
|
2025-03-28 13:27:56 +01:00 |
|
Simon Friis Vindum
|
623bc232bf
|
Rust: Address PR comments
|
2025-03-28 13:04:55 +01:00 |
|
Anders Schack-Mulligen
|
5a986f5327
|
SSA: Remove empty predicates and dead code.
|
2025-03-28 12:00:38 +01:00 |
|
Anders Schack-Mulligen
|
1ded4df3fd
|
SSA: Add an alternative to ssaDefAssigns/ssaDefInitializesParam.
|
2025-03-28 11:57:26 +01:00 |
|
Anders Schack-Mulligen
|
0c74f21107
|
Merge pull request #19044 from aschackmull/ssa/useuse-trim
Ssa: Trim the use-use relation to skip irrelevant nodes
|
2025-03-28 11:55:34 +01:00 |
|
Anders Schack-Mulligen
|
c6cee489e4
|
SSA: Address review comments.
|
2025-03-28 10:53:03 +01:00 |
|
Michael Nebel
|
8763d18c91
|
C#: Correct printing of out and ref notes in the model generator.
|
2025-03-26 15:06:26 +01:00 |
|
Paolo Tranquilli
|
7cfed3c4a7
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-25 18:29:39 +01:00 |
|
Simon Friis Vindum
|
520e27ccfa
|
Shared: Fix typos in qldoc
|
2025-03-25 15:49:03 +01:00 |
|
Simon Friis Vindum
|
54e7bb7f1a
|
Rust: Fix a bad join by adding bindingset to resolveTypeMentionRoot
|
2025-03-25 14:26:24 +01:00 |
|
Anders Schack-Mulligen
|
d5d0274ce7
|
Java/SSA: Keep proper distinction between cached stages.
|
2025-03-25 13:43:55 +01:00 |
|
Anders Schack-Mulligen
|
4d04391b70
|
C++: Keep all phi input back edges.
|
2025-03-25 13:21:13 +01:00 |
|
Anders Schack-Mulligen
|
0162b84d20
|
SSA: Fix a poor join-order and avoid SSA recomputation.
|
2025-03-25 12:31:03 +01:00 |
|
Anders Schack-Mulligen
|
36532bc58c
|
SSA: Skip identity steps.
|
2025-03-25 12:31:02 +01:00 |
|
Anders Schack-Mulligen
|
4e2ad9712c
|
SSA: Skip phi nodes with unique successor.
|
2025-03-25 12:31:02 +01:00 |
|
Anders Schack-Mulligen
|
669f9261f1
|
SSA: Skip irrelevant phi input nodes.
|
2025-03-25 12:31:01 +01:00 |
|
Anders Schack-Mulligen
|
c778bf6343
|
SSA: Rename SsaInputDefinitionExt
|
2025-03-25 12:31:01 +01:00 |
|
Anders Schack-Mulligen
|
5aa7029934
|
SSA: Add support for skipping WriteDefinitions in use-use.
|
2025-03-25 12:31:00 +01:00 |
|
Simon Friis Vindum
|
06c8963f70
|
Shared: Infer types for type parameters with contraints
|
2025-03-25 09:03:44 +01:00 |
|
Simon Friis Vindum
|
ba9edf8d25
|
Shared: Refactor type inference
|
2025-03-25 06:32:36 +01:00 |
|
Simon Friis Vindum
|
7dc49da6b0
|
Shared: Fix path in qldoc
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2025-03-24 11:38:15 +01:00 |
|
Simon Friis Vindum
|
e0ef24154a
|
Rust: Small tweaks to doc comments based on PR feedback
|
2025-03-21 08:30:14 +01:00 |
|
Paolo Tranquilli
|
13370200cc
|
Cargo: upgrade dependencies
|
2025-03-20 16:48:29 +01:00 |
|
Simon Friis Vindum
|
b2fc4f80fb
|
Rust: Adjustments to type inference
|
2025-03-20 16:38:06 +01:00 |
|
Simon Friis Vindum
|
659077769b
|
Merge pull request #19062 from paldepind/rust-ti-1
Rust: Improve handling of trait bounds
|
2025-03-20 14:38:03 +01:00 |
|
Chris Smowton
|
9a2a13ed55
|
Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc317-into-main
|
2025-03-19 16:01:29 +00:00 |
|
Simon Friis Vindum
|
0d770c8c91
|
Rust: Improve handling of type parameters with trait bounds
|
2025-03-19 16:34:23 +01:00 |
|
github-actions[bot]
|
51cdeefafb
|
Post-release preparation for codeql-cli-2.20.7
|
2025-03-17 13:00:41 +00:00 |
|
Simon Friis Vindum
|
81b28df089
|
Merge branch 'main' into rust-type-inference-tweaks
|
2025-03-17 13:18:45 +01:00 |
|
github-actions[bot]
|
2d64a618e6
|
Release preparation for version 2.20.7
|
2025-03-17 12:15:54 +00:00 |
|
Simon Friis Vindum
|
75355e9e53
|
Rust: Revert conjunct reorder
|
2025-03-17 07:46:54 +01:00 |
|
Tom Hvitved
|
dfc39272b4
|
Rust: Limit TypePaths to at most length 10
|
2025-03-16 20:35:16 +01:00 |
|
Simon Friis Vindum
|
4c3768f771
|
Rust: Add comments for type inference
|
2025-03-15 13:51:15 +01:00 |
|
Simon Friis Vindum
|
422d9e1f93
|
Rust: Minor refactoring of type inference
|
2025-03-15 13:47:08 +01:00 |
|
Simon Friis Vindum
|
210b4db908
|
Rust: Encapsulate type parameter decoding/encoding
|
2025-03-15 13:41:46 +01:00 |
|
Anders Schack-Mulligen
|
ecb5e7ad07
|
C++: Fix spurious ExprNode fanout in DataFlowIntegration.
|
2025-03-14 10:51:26 +01:00 |
|
Anders Schack-Mulligen
|
9375e571b1
|
C++: Use SSA data flow integration module.
|
2025-03-14 10:51:24 +01:00 |
|
Tom Hvitved
|
af91152f5c
|
Address review comments
|
2025-03-13 15:04:59 +01:00 |
|
Tom Hvitved
|
78280af570
|
Rust: Use 'infer' instead of 'resolve' in type inference library
|
2025-03-13 13:34:43 +01:00 |
|
Tom Hvitved
|
3a58611271
|
Shared: Add shared type inference library
|
2025-03-13 13:23:09 +01:00 |
|
Asger F
|
d84368eb54
|
Merge pull request #18858 from Napalys/js/react-relay
JS: React-relay support
|
2025-03-10 14:33:23 +01:00 |
|
Anders Schack-Mulligen
|
d075466958
|
Merge pull request #18941 from aschackmull/ssa/refactor4
Ssa: Extend consistency checks and reduce phi read nodes
|
2025-03-07 15:18:02 +01:00 |
|
Napalys
|
89040d0d06
|
Added missing response and request MaD source kinds.
|
2025-03-06 18:10:25 +01:00 |
|
Anders Schack-Mulligen
|
9e6bdbbcbb
|
SSA: Don't add phi-reads for frontiers of uncertain reads.
|
2025-03-06 12:47:38 +01:00 |
|