Michael Nebel
|
ee83ca9125
|
Java: Update model generator implementation and test expected output.
|
2025-05-13 13:44:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
bce5f2539f
|
C++/C#/Java/Rust: Fixup tests.
|
2025-05-02 16:52:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
4d2f2b89e7
|
Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.
|
2025-05-02 14:02:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5bc95daeb
|
Merge branch 'main' into generate-more-value-preserving-summaries-2
|
2025-05-02 10:51:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
07641e48ab
|
Java: Fixup queries and accept test changes.
|
2025-04-30 20:34:32 +01:00 |
|
Michael Nebel
|
2535055de0
|
Java: Re-factor implementation to use the new model generator interface.
|
2025-04-29 15:22:07 +02:00 |
|
Michael Nebel
|
71d0409bb7
|
Java: Convert the model generator neutral test to use the combined neutral generator.
|
2025-04-25 15:50:00 +02:00 |
|
Michael Nebel
|
7e51dae743
|
Java: Change the heuristic summary test tag to heuristic-summary.
|
2025-04-25 15:49:58 +02:00 |
|
Michael Nebel
|
08f7caaf39
|
Java: Adjust model generator test cases to the new implementation.
|
2025-04-25 15:49:56 +02:00 |
|
Michael Nebel
|
0a1d2d0bbb
|
Java: Update all test util paths to point to the new location.
|
2024-12-12 13:21:25 +01:00 |
|
Michael Nebel
|
23d285c698
|
Java: Update model generator expected output.
|
2024-10-21 15:19:44 +02:00 |
|
Michael Nebel
|
7919dcfb12
|
Java: Add modelgenerator clone example.
|
2024-10-21 15:19:42 +02:00 |
|
Michael Nebel
|
24d1e9927b
|
Java: Update expected test output for the model editor tests.
|
2024-10-21 15:19:32 +02:00 |
|
Michael Nebel
|
0b39c5b982
|
C#/Java: Update model generator expected output.
|
2024-09-27 09:22:29 +02:00 |
|
Michael Nebel
|
8310faa2e9
|
C#/Java: Add a query that uses both content based and non-content based model generation.
|
2024-09-27 09:22:11 +02:00 |
|
Michael Nebel
|
9a923d62ad
|
C#/Java: Updated expected test output.
|
2024-09-26 13:00:52 +02:00 |
|
Michael Nebel
|
0cd4ccb790
|
C#/Java: Update model generator expected test output.
|
2024-09-26 12:49:18 +02:00 |
|
Michael Nebel
|
aae8660acc
|
C#/Java: Add some examples of missing synthetic field element flow.
|
2024-09-26 12:00:29 +02:00 |
|
Michael Nebel
|
58513cadbf
|
C#/Java: Add model generator test examples.
|
2024-09-26 12:00:25 +02:00 |
|
Michael Nebel
|
e6085759ae
|
Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.
|
2024-09-24 15:46:44 +02:00 |
|
Michael Nebel
|
22c2522aac
|
Shared: Make a ContentSensitive module with predicates and classes related to content flow.
|
2024-09-24 15:16:16 +02:00 |
|
Michael Nebel
|
0fbeca14ad
|
Java: Add content based example with multiple paths.
|
2024-09-10 15:23:44 +02:00 |
|
Michael Nebel
|
d7e61d07d1
|
Java: Update some model generator test cases.
|
2024-09-10 15:23:34 +02:00 |
|
Michael Nebel
|
5ddcb16cd6
|
Java: Add content based model generation test.
|
2024-09-03 12:58:01 +02:00 |
|
Michael Nebel
|
eaf4f5eeab
|
C#/Java: Update model generation expected output.
|
2024-08-14 09:57:49 +02:00 |
|
Michael Nebel
|
046018fa25
|
Java: Add example of missing sink generation.
|
2024-08-14 09:50:34 +02:00 |
|
Michael Nebel
|
2796597d1a
|
Code quality improvements.
|
2024-07-19 09:36:17 +02:00 |
|
Michael Nebel
|
0bf1ed1d96
|
C#/Java: Update model generator expected output.
|
2024-07-18 16:35:40 +02:00 |
|
Michael Nebel
|
c9832df3c0
|
C#/Java: Add test for missing neutral summary generation.
|
2024-07-18 16:29:34 +02:00 |
|
Michael Nebel
|
9cb7018215
|
Java: Update the model generator expected test output.
|
2024-06-27 11:35:07 +02:00 |
|
Michael Nebel
|
22e9ae2793
|
Java: Add some source/sink examples where lifting is applied.
|
2024-06-27 11:15:06 +02:00 |
|
Michael Nebel
|
24685a07c0
|
Java: Update model generator test expected output.
|
2024-06-24 13:07:42 +02:00 |
|
Michael Nebel
|
30249e4f2b
|
Java: Add some spurious source and sink examples.
|
2024-06-24 13:07:34 +02:00 |
|
Michael Nebel
|
aa962f9b03
|
Java: Update expected output of model generation.
|
2024-06-19 14:10:59 +02:00 |
|
Michael Nebel
|
1185e28ea2
|
Java: Add some spurious source and sink model generation examples.
|
2024-06-19 14:10:56 +02:00 |
|
Michael Nebel
|
7f7c5d7c94
|
Java: Update model generator expected test output.
|
2024-06-13 10:57:15 +02:00 |
|
Michael Nebel
|
e56c185f32
|
Java: Add some model generator sink examples.
|
2024-06-13 10:49:57 +02:00 |
|
Michael Nebel
|
9cf0995720
|
Java: Update test expected output.
|
2024-05-23 16:33:04 +02:00 |
|
Michael Nebel
|
1e54422662
|
Java: Add neutral implementations.
|
2024-05-23 15:00:23 +02:00 |
|
Michael Nebel
|
5e2e224c9c
|
Java: Updated expected test output.
|
2024-05-08 14:42:53 +02:00 |
|
Michael Nebel
|
2a40a2a57f
|
Java: Add some inheritance test cases for the model generator and updated expected test output.
|
2024-05-08 13:01:41 +02:00 |
|
Michael Nebel
|
b53fa0f7f3
|
Java: Ensure that it is the callable for the model origin that carries the comment containing the model.
|
2024-05-06 16:41:58 +02:00 |
|
Michael Nebel
|
a8549d2e23
|
Java: Convert remaining tests to inline flow tests.
|
2024-05-06 15:54:01 +02:00 |
|
Michael Nebel
|
95ddd6ec74
|
Java: Generalize the inline mad test to allow further re-use.
|
2024-05-06 13:57:18 +02:00 |
|
Michael Nebel
|
51e7f3be1a
|
Java: Rename MaD to summary.
|
2024-05-06 13:03:38 +02:00 |
|
Michael Nebel
|
a33393d452
|
Java: Delete old summary models expected output.
|
2024-05-06 11:02:04 +02:00 |
|
Michael Nebel
|
7cb8a6c52f
|
Java: Inline models as data expected output as comments in the java files and add a test.
|
2024-05-06 11:01:23 +02:00 |
|
Michael Nebel
|
6815bcaa80
|
Java: Move param module into TestUtilities.
|
2024-05-06 10:19:39 +02:00 |
|
Michael Nebel
|
105984f7de
|
Java: Make param module for MaD inline test.
|
2024-05-06 10:01:34 +02:00 |
|
Owen Mansel-Chan
|
2d24fe011b
|
Accept that lots of sinks are now summaries as well
|
2024-04-01 14:03:36 +01:00 |
|