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
|
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
|
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
|
fb9fc14f3d
|
C++: Accept test changes in paths.
|
2024-04-16 11:09:22 +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
|
21bc8c4324
|
C++: Accept test changes.
|
2024-04-10 18:32:15 +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 |
|
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 |
|
Geoffrey White
|
138975e4a8
|
C++: Add ZMQ summary models.
|
2024-04-09 18:10:15 +01:00 |
|
Geoffrey White
|
783ce48538
|
C++: Add test cases for ZMQ summary models.
|
2024-04-09 18:08:56 +01:00 |
|
Geoffrey White
|
1264e6e292
|
C++: Fit the function pointer tests better with what is and isn't working.
|
2024-04-09 14:57:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
e9cd2dc9e1
|
C++: Implement 'lambdaCreation' and 'lambdaCall' for models-as-data.
|
2024-04-09 14:05:32 +01:00 |
|
Geoffrey White
|
13734d4e62
|
C++: Improve indirectionForModelledFunction.
|
2024-04-09 12:06:03 +01:00 |
|
Geoffrey White
|
70bb29581d
|
C++: Test failures.
|
2024-04-09 11:53:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
386580fc94
|
C++: Accept test changes.
|
2024-04-08 21:26:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
c389611e5c
|
C++: Add spurious dataflow test.
|
2024-04-08 21:24:59 +01:00 |
|
Geoffrey White
|
e3ce7c608b
|
C++: Fix indirection ambiguity in the test.
|
2024-04-08 18:27:51 +01:00 |
|
Geoffrey White
|
087d689997
|
C++: Additional test cases.
|
2024-04-08 18:18:30 +01:00 |
|
Geoffrey White
|
49ef677b1d
|
C++: Additional test case for function pointers.
|
2024-04-04 16:53:29 +01:00 |
|
Geoffrey White
|
144c19db74
|
C++: Add a test of SummaryCalls, SummarizedCallables and sourceCallables.
|
2024-04-04 16:50:50 +01:00 |
|
Geoffrey White
|
db60360293
|
C++: Add a test case where a function has a MAD model *and* an implementation.
|
2024-04-02 17:50:00 +01:00 |
|
Geoffrey White
|
33164c8a43
|
Merge branch 'main' into mad
|
2024-04-02 16:14:53 +01:00 |
|
Geoffrey White
|
fa26b55452
|
C++: Add models-as-data models for ZMQ networking library + wiring.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
16f9ad06ef
|
C++: Add a test for ZMQ network library sources as well.
|
2024-03-28 21:50:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
ec3d041c8d
|
C++: Accept test changes.
|
2024-03-26 16:40:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
bd2ecd3346
|
C++: Add test.
|
2024-03-26 16:38:28 +00:00 |
|
Geoffrey White
|
58737b1d7e
|
C++: We *could* support .Argument with no index, but I'm not convinced we can do so efficiently, so lets not.
|
2024-03-25 17:08:15 +00:00 |
|
Geoffrey White
|
0a33a6e79b
|
C++: Another test case - Arguments with no specified index.
|
2024-03-25 17:00:46 +00:00 |
|
Geoffrey White
|
cdafb26423
|
C++: Fix test failures.
|
2024-03-25 16:51:36 +00:00 |
|
Geoffrey White
|
88ea9197d9
|
C++: Add more tests for uncommon cases.
|
2024-03-25 11:40:15 +00:00 |
|
Geoffrey White
|
46b8e3be66
|
C++: Fix another mistake in the test.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
dec5fc0f48
|
C++: Switch MAD syntax from *Argument[0] style to Argument[*0] style.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
40270e1f70
|
C++: Fix mistake in test model.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
b598b4ac45
|
C++: Fix for field content indirection (1-based).
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
73e95d67b9
|
C++: Implement Field indirection.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
393bd7277c
|
C++: Add some negative test cases for indirection.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
af4320df50
|
C++: Modify a summary test case to only test the summary model, not a source model as well.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
14deb06e80
|
C++: Implement Argument + Parameter indirection.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
638bfff09d
|
C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).
|
2024-03-25 11:20:09 +00:00 |
|
Geoffrey White
|
19cc620f18
|
C++: Effect of 'Fix dataflow node <> expression problem on prvalues' from main.
|
2024-03-14 09:47:38 +00:00 |
|
Geoffrey White
|
f208594067
|
Merge branch 'main' into mad
|
2024-03-14 09:44:45 +00:00 |
|
Geoffrey White
|
f52b6e0449
|
C++: Add more test cases for taint through qualifier fields.
|
2024-03-13 16:20:12 +00:00 |
|