Anders Schack-Mulligen
|
e1d4fe8605
|
C#: Accept test changes.
|
2026-06-23 14:42:20 +02:00 |
|
Anders Schack-Mulligen
|
6b6df374fa
|
C#/Java: Accept test changes.
|
2026-05-07 15:07:31 +02:00 |
|
Tom Hvitved
|
cbe207ab65
|
C#: Include parameters and their defaults in the CFG
|
2026-04-29 14:01:09 +02:00 |
|
Tom Hvitved
|
d792e11b7f
|
C#: Add tests for methods with default parameters
|
2026-04-29 14:01:08 +02:00 |
|
Anders Schack-Mulligen
|
9de02b7ae6
|
Cfg: Use consistent casing in additional node tags.
|
2026-04-21 10:56:10 +02:00 |
|
Anders Schack-Mulligen
|
2d5a1840f4
|
C#: Accept new CFG in tests.
|
2026-04-10 15:47:24 +02:00 |
|
Anders Schack-Mulligen
|
a69581966b
|
C#: Accept CFG changes for "first" relation.
|
2026-04-10 15:47:21 +02:00 |
|
Anders Schack-Mulligen
|
a997d9f80c
|
C#: Accept fixed consistency check.
|
2026-04-10 15:47:20 +02:00 |
|
Anders Schack-Mulligen
|
88256eeee8
|
C#: GuardedExpr no longer contains expressions guarded solely by disjunctions.
|
2026-04-10 15:47:19 +02:00 |
|
Anders Schack-Mulligen
|
a5c99f9693
|
C#: Accept harmless CFG changes.
|
2026-04-10 15:47:17 +02:00 |
|
Anders Schack-Mulligen
|
6010640cea
|
C#: Accept bugfix.
|
2026-04-10 15:47:17 +02:00 |
|
Anders Schack-Mulligen
|
ff978d1a8c
|
C#: Replace CFG.
|
2026-04-10 15:47:13 +02:00 |
|
Anders Schack-Mulligen
|
9cf9a36d0d
|
C#: Rename ControlFlow::BasicBlock to BasicBlock.
|
2026-04-10 15:47:12 +02:00 |
|
Anders Schack-Mulligen
|
13a4141cc6
|
C#: Rename remaining references to ControlFlow::Nodes.
|
2026-04-10 15:47:12 +02:00 |
|
Anders Schack-Mulligen
|
03f6bdbdd2
|
C#: Update some references in preparation for CFG swap.
|
2026-04-10 15:47:11 +02:00 |
|
Anders Schack-Mulligen
|
61976e3ef0
|
C#: Rename ControlFlow::Node to ControlFlowNode.
|
2026-04-10 15:47:10 +02:00 |
|
Michael Nebel
|
55516342b2
|
C#: Add/update tests and expected output.
|
2026-03-24 15:32:11 +01:00 |
|
Michael Nebel
|
33fc2bab33
|
C#: Update test expected output.
|
2026-01-19 10:19:15 +01:00 |
|
Michael Nebel
|
86198e3c43
|
C#: Add tests for out writeacceses.
|
2026-01-16 11:54:10 +01:00 |
|
Michael Nebel
|
4ba89230db
|
C#: Update test expected output.
|
2026-01-16 11:53:59 +01:00 |
|
Michael Nebel
|
0bf0cbae8f
|
C#: Add some null conditional assignments CFG tests.
|
2026-01-16 11:53:57 +01:00 |
|
Michael Nebel
|
b061c4d083
|
C#: Update test expected output.
|
2026-01-16 11:53:55 +01:00 |
|
Anders Schack-Mulligen
|
7e4e872430
|
C#: Accept expected changes.
|
2025-12-02 13:49:16 +01:00 |
|
Anders Schack-Mulligen
|
dc029e8da9
|
C#: Accept qltest weirdness.
|
2025-11-14 11:38:13 +01:00 |
|
Anders Schack-Mulligen
|
4f6528a9fb
|
C#: Deprecate AbstractValue.
|
2025-10-31 14:23:23 +01:00 |
|
Anders Schack-Mulligen
|
900d0d2477
|
C#: Accept test changes for assert split removal.
|
2025-10-29 15:17:34 +01:00 |
|
Anders Schack-Mulligen
|
cbfb8fd110
|
C#: Accept some test changes.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
7241bedf05
|
C#: Replace Guards with the new implementation.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
e3fc3192ac
|
C#: Remove tests referencing impliesStep.
|
2025-10-29 13:02:06 +01:00 |
|
Anders Schack-Mulligen
|
ebb50cd402
|
C#: Accept qltest changes.
|
2025-10-23 12:48:44 +02:00 |
|
Anders Schack-Mulligen
|
613c789378
|
C#: Remove some obsolete tests.
|
2025-10-03 15:29:36 +02:00 |
|
Anders Schack-Mulligen
|
b392767252
|
C#: Accept qltest changes.
|
2025-10-03 15:29:35 +02:00 |
|
Anders Schack-Mulligen
|
6cfadbfe90
|
C#: Clean up.
|
2025-10-03 15:29:33 +02:00 |
|
Anders Schack-Mulligen
|
c1662cf05c
|
C#/Ruby: Accept qltest changes.
Mostly toString changes, and a slight change to
splitting in C#.
|
2025-09-01 12:56:07 +02:00 |
|
Anders Schack-Mulligen
|
8b50ac291f
|
C#: Use shared SuccessorType.
|
2025-09-01 12:53:24 +02:00 |
|
Tom Hvitved
|
e79a906426
|
C#: Fix CFG for fall-through switch statements
|
2025-04-25 11:48:30 +02:00 |
|
Tom Hvitved
|
a991ef0f87
|
C#: Add a CFG test for switch fall-through
|
2025-04-25 10:32:48 +02:00 |
|
Michael Nebel
|
5ae7e5ddb3
|
C#: Update other test expected output files.
|
2025-03-21 13:23:11 +01:00 |
|
Tom Hvitved
|
9d8e9975de
|
C#: Update expected test output
|
2025-02-20 10:18:15 +01:00 |
|
Simon Friis Vindum
|
820d2cbeb8
|
Shared: Use edge dominance in basic block library
|
2025-02-06 10:38:32 +01:00 |
|
Tom Hvitved
|
16813240ae
|
Shared: Do not use @kind graph for CFG test output
|
2024-09-19 18:13:31 +02:00 |
|
Tom Hvitved
|
8ec4f0b5bd
|
C#: Update expected test output
|
2024-05-02 14:53:02 +02:00 |
|
Tom Hvitved
|
1c344d6735
|
C#: Adjust conditional access locations
|
2024-04-10 16:21:58 +02:00 |
|
Michael Nebel
|
2e5155d1f8
|
C#: Remove all CIL related tests.
|
2024-03-12 11:12:55 +01:00 |
|
Tom Hvitved
|
5b6e76c030
|
Move View CFG implementation from Ruby/Swift into shared library
|
2024-02-26 11:23:49 +01:00 |
|
Michael Nebel
|
a24a57c586
|
C#: Update most other test cases to reflect the synthesized constructor calls and bodies.
|
2024-02-22 13:33:30 +01:00 |
|
Michael Nebel
|
a4ab163532
|
C#: Update test output for cfg tests.
|
2024-02-22 13:33:29 +01:00 |
|
Michael Nebel
|
1252d3ee89
|
C#: Rename CollectionExpr to EnumerableCollectionExpr.
|
2024-01-25 19:53:51 +01:00 |
|
Tom Hvitved
|
b69188fee9
|
C#: Adopt shared CFG construction library from shared controlflow pack
|
2023-08-03 14:12:24 +02:00 |
|
Tom Hvitved
|
3c173df69e
|
C#: Update expected test output
|
2023-05-15 09:35:20 +02:00 |
|