1315 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	97f0c759c0	C++: Accept test changes.	2024-06-05 09:58:47 +01:00
Mathias Vorreiter Pedersen	ceccc9294c	C++: Add a testcase that failed during development.	2024-06-04 17:19:41 +01:00
Mathias Vorreiter Pedersen	43c7ac36d9	C++: Add a test with spurious flow.	2024-06-04 17:19:36 +01:00
Geoffrey White	79e9198b20	C++: An empty models-as-data namespace / type is not 'dubious' in CPP.	2024-06-04 10:21:06 +01:00
Geoffrey White	f479649727	C++: Add Boost::Asio models.	2024-06-04 10:21:05 +01:00
Geoffrey White	7e5b7346c0	C++: Add flow test cases for Boost::Asio.	2024-06-04 10:21:05 +01:00
Geoffrey White	8a5b5d220a	C++: Add source/sink test cases for Boost::Asio.	2024-06-04 10:21:05 +01:00
Geoffrey White	94413c8c2e	C++: Implement YML extension models.	2024-06-03 13:49:38 +01:00
Geoffrey White	34130d50d3	C++: Add library tests for YML extension models.	2024-06-03 13:49:26 +01:00
Anders Schack-Mulligen	e7f24318cd	C++: Accept qltest .expected file changes.	2024-05-22 15:36:30 +02:00
Anders Schack-Mulligen	f977a4206a	C++: Accept qltest .expected file changes (interesting).	2024-05-22 15:35:28 +02:00
Rasmus Wriedt Larsen	2451a6d3f6	Accept .expected changes	2024-05-21 14:47:42 +02:00
Mathias Vorreiter Pedersen	401717d739	C++: Add a missing taint step and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	527409d05f	C++: Fix iterator return types and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	d3d2e2188d	C++: Accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	5f0efc19fa	C++: Accept test changes.	2024-04-29 09:38:41 +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	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