Mathias Vorreiter Pedersen
|
3c2206728d
|
Merge pull request #16333 from MathiasVP/fix-guards-on-pointers
|
2024-04-26 21:33:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
d18cdee0bc
|
C++: Accept test changes.
|
2024-04-26 16:19:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
bf61114284
|
C++: Add a test with pointer comparisons and float comparisons.
|
2024-04-26 16:17:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
d6c57de650
|
C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.
|
2024-04-26 16:11:19 +01:00 |
|
Jeroen Ketema
|
67fb866efa
|
C++: Update test results
|
2024-04-26 16:38:39 +02:00 |
|
erik-krogh
|
0468c5d0bf
|
delete some tests of the old GVN library
|
2024-04-26 07:58:35 +02:00 |
|
Jeroen Ketema
|
05819a52ef
|
C++: Print destructors for children of statements that are again statements
|
2024-04-25 13:25:42 +02:00 |
|
Jeroen Ketema
|
95ec4e8d26
|
C++: Fix comment in IR test
|
2024-04-24 21:47:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
553c09ada3
|
Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2
C++: Implement proper coroutine support in IR
|
2024-04-23 09:19:15 +01:00 |
|
Anders Schack-Mulligen
|
b2f09949df
|
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2
Dataflow: update fieldFlowBranchLimit semantics
|
2024-04-23 10:08:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
24cf75a37c
|
C++: Accept test changes.
|
2024-04-22 21:38:13 +01:00 |
|
Jeroen Ketema
|
76637b0d03
|
C++: Update expected test results
|
2024-04-22 13:01:10 +02:00 |
|
Jeroen Ketema
|
19d0d7bbc0
|
C++: Fix aliased IR test
|
2024-04-22 11:08:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
bcedf687ff
|
Merge pull request #16246 from MathiasVP/parameter-nodes-for-functions-without-bodies
C++: Add Parameter nodes for functions without bodies
|
2024-04-19 15:54:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba99d49b61
|
Merge pull request #16187 from MathiasVP/cfg-for-coroutines
C++: Placeholder CFG for coroutines
|
2024-04-19 11:31:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
45b1a5e29b
|
Merge branch 'main' into fix-tostring-on-nodes
|
2024-04-18 12:48:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
58832a546a
|
C++: Accept test changes.
|
2024-04-18 12:33:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
b43aae18e0
|
C++: Accept test changes.
|
2024-04-18 12:01:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
43df0cd5f4
|
C++: Add a failing test.
|
2024-04-17 21:47:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
a1267d732e
|
Merge pull request #16139 from MathiasVP/enable-sound-ir
C++: Enable sound IR
|
2024-04-17 21:46:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
dd656d34be
|
Merge branch 'main' into break-bigstep-at-store
|
2024-04-16 15:33:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
2627a3dcb7
|
Merge pull request #15371 from geoffw0/mad
C++: Implement models-as-data
|
2024-04-16 14:33:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb9fc14f3d
|
C++: Accept test changes in paths.
|
2024-04-16 11:09:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
54957d6ea4
|
Merge branch 'main' into enable-sound-ir
|
2024-04-16 10:46:59 +01:00 |
|
Anders Schack-Mulligen
|
9e39be5aea
|
C++: Update qltest.
|
2024-04-15 15:13:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
6f08790065
|
C++: Accept test changes.
|
2024-04-13 01:00:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
116664588b
|
Merge pull request #16125 from MathiasVP/destructors-for-unconditional-unnamed
C++: Generate IR for destruction of unconditionally constructed temporaries
|
2024-04-12 16:26:03 +01:00 |
|
Geoffrey White
|
e29ce5f5d5
|
Merge branch 'main' into mad
|
2024-04-12 14:30:44 +01:00 |
|
Geoffrey White
|
1df1f0dbc2
|
C++: Use 'concat' in the variable.ql test.
|
2024-04-12 14:22:21 +01:00 |
|
Geoffrey White
|
0235e9962e
|
C++: Accept test changes (related to getAQlClass).
|
2024-04-12 14:19:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
477322d21d
|
C++: Accept test changes.
|
2024-04-11 15:44:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
8842b974f0
|
C++: Accept test changes.
|
2024-04-11 15:34:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
2a914770ea
|
C++: Accept test changes.
|
2024-04-11 15:27:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
33364a8ab6
|
C++: Accept test changes.
|
2024-04-11 14:28:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e1359b92e
|
C++: Accept test changes.
|
2024-04-11 13:31:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa94ee5b96
|
C++: Accept test changes.
|
2024-04-11 12:27:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
3a18da730e
|
Merge branch 'main' into add-coroutine-tests
|
2024-04-11 11:59:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
736d59c42d
|
Merge branch 'main' into destructors-for-unconditional-unnamed
|
2024-04-11 09:53:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
5c4e02a1da
|
Merge branch 'main' into enable-sound-ir
|
2024-04-10 23:56:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
313501aa29
|
C++: Delete a noisy test that's not very helpful.
|
2024-04-10 18:54:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
21bc8c4324
|
C++: Accept test changes.
|
2024-04-10 18:32:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d96206783
|
Merge branch 'main' into enable-sound-ir
|
2024-04-10 17:39:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
7172e2f445
|
Merge branch 'main' into destructors-for-unconditional-unnamed
|
2024-04-10 17:34:08 +01:00 |
|
Geoffrey White
|
959300f963
|
C++: Fixes for internals that are now private.
|
2024-04-10 17:32:10 +01:00 |
|
Geoffrey White
|
eca112c3bc
|
C++: More autoformatting.
|
2024-04-10 17:21:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
33f6b6a940
|
Merge pull request #16175 from MathiasVP/more-iterator-models
C++: Add alias and side-effect models for more iterator functions
|
2024-04-10 16:55:10 +01:00 |
|
Jeroen Ketema
|
b9b2aa3580
|
Merge pull request #16138 from jketema/coroutine3
C++: Update expected test results
|
2024-04-10 17:48:48 +02:00 |
|
Geoffrey White
|
36db493723
|
C++: Autoformat.
|
2024-04-10 15:02:19 +01:00 |
|
Geoffrey White
|
e0f866f19d
|
Merge branch 'main' into mad
|
2024-04-10 14:58:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
a7c98e3d94
|
C++: Accept test changes.
|
2024-04-10 14:19:06 +01:00 |
|