[Only for CI] Extensions - #2475

Draft

ThrudPrimrose wants to merge 4893 commits into

mainfrom

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 1, 2026

Judge a map's trip count rather than its bounds before calling it ramped
Yakup Koray Budanaz
committed
8a145a3
Stop two tests asserting the machine they were written on
Yakup Koray Budanaz
committed
8250c2b
Let an OpenMP chunk be an expression rather than one machine's constant
Yakup Koray Budanaz
committed
5cadcb6
Broadcast an operand into a fancy-indexed augmented assignment
ThrudPrimrose
committed
f4c59f0
Broadcast an operand into a fancy-indexed augmented assignment
ThrudPrimrose
committed
ad8d9a0
Merge remote-tracking branch 'upstream/main' into extended
ThrudPrimrose
committed
920dfc4
Make the canonicalize gate fail when the sweep measured nothing
ThrudPrimrose
committed
c9b11d9
Update the stride-permutation tests to the policy the pass now follows
ThrudPrimrose
committed
5476884
Keep a view's ordering edges, and the plane a dst-keyed copy leaves unspelled
ThrudPrimrose
committed
13cecd5
[WIP] Dump the ScaLAPACK grid and descriptors from pgemm
ThrudPrimrose
committed
d1fe819
[WIP] Dump the runner's generated pgemm program and raw operands
ThrudPrimrose
committed
9999356
[WIP] Isolate the pgemm red: coverage vs full collection, plus MPI sanity
ThrudPrimrose
committed
eebe6d2
[WIP] Cross MPI4PY_RC_INITIALIZE and OMP_NUM_THREADS against the pgemm red
ThrudPrimrose
committed
66a3c6e
Run the numerical-accuracy comparisons multithreaded
ThrudPrimrose
committed
ff5bd2b
[WIP] Dump symbol bindings and loaded libraries from the pgemm tasklet
ThrudPrimrose
committed
8853d1f
Keep CloudSC's machine-precision tolerance: it has no maps to reassociate
ThrudPrimrose
committed
fc19b19
[WIP] Bisect which collected test directory breaks the PBLAS numbers
ThrudPrimrose
committed
ccded5b

Commits on Sep 2, 2026

fix[symbolic]: round-trip __-prefixed operator classes and preserve is_integer
edopao
committed
6e25a02
Drop the [WIP] pgemm bisect instrumentation
ThrudPrimrose
committed
f57c07b
Bring MPI up at a thread level a DaCe process can keep
ThrudPrimrose
committed
3cf0998
Make the PBLAS nodes refuse the two states that answer with wrong numbers
ThrudPrimrose
committed
cb89ec0
[WIP] Probe what full collection leaves behind that breaks pgemm
ThrudPrimrose
committed
a1e94a4
[WIP] Probe round 2: which collected directory, and does the SDFG change
ThrudPrimrose
committed
226e5a9
Print a stored ceiling over an integer as its argument (#8)
havogt
authored
cecb1be
Match the rounding normalizer against the real int_ceil and int_floor classes
Yakup Koray Budanaz
committed
4670e80
Size the anti-dependence seam by the thread count instead of a fixed chunk
Yakup Koray Budanaz
committed
e6f2d46
[WIP] Probe round 3: diff the generated pgemm program across collections
ThrudPrimrose
committed
07580d3
[WIP] Probe round 4: libgomp presence, and a real OpenBLAS pin
ThrudPrimrose
committed
475b0c3
Stop pytest collecting a hand-run perf job
ThrudPrimrose
committed
8e44965
Cover pgemv's descinit info the way pgemm's is covered
ThrudPrimrose
committed
4ae0b9f
Stop six tests dlopening libgomp into the whole session
ThrudPrimrose
committed
de7b2c3
Keep the rest of the suite's OpenMP runtime out of the interpreter too
ThrudPrimrose
committed
e8beb04
Restore the ScaLAPACK step, plus one [WIP] probe of the thread level
ThrudPrimrose
committed
1bbe3fb
Drop the last probe, and say what the thread-level guard does not do
ThrudPrimrose
committed
7b57d7a
Name the reduce node's connectors in the reconstruction fixture
Yakup Koray Budanaz
committed
bf4c6aa
Merge remote-tracking branch 'origin/extended' into extended
Yakup Koray Budanaz
committed
036b734
Merge branch 'pr2550' into extended
Yakup Koray Budanaz
committed
957871f
Resolve a known-integer rounding in the normalizer, and give floor the same rule as ceiling
Yakup Koray Budanaz
committed
34a10e2
Re-home a claimed region's nested SDFGs, so a cloned loop body validates
Yakup Koray Budanaz
committed
0d340b0
Key the hash cache folder on the SDFG's identity, not its serialization
ThrudPrimrose
committed
3958ad9
Compare the readable smoke outputs at tolerance, and keep the threads
ThrudPrimrose
committed
ca896e9
Stop using id() as an identity in code generation
ThrudPrimrose
committed
078774b
Read B's block sizes from B, and store the range where it is read
ThrudPrimrose
committed
462fa26
Read the stream index a gpu_streams edge names, rather than int()ing a Range
ThrudPrimrose
committed
e2b1d3e
Qualify sqrt, exp and log so a 16-bit float reaches its own overload
ThrudPrimrose
committed
2ef0bd2
Type a ternary's literal arm in the remainder, and let TileITE promote like its siblings
ThrudPrimrose
committed
32ad53b
Resolve the dialect in front of symstr's cache, not inside it
ThrudPrimrose
committed
facca02
Qualify sqrt, exp and log wherever they are printed, not only in a tasklet
ThrudPrimrose
committed
8512584
Hop a 16-bit float through float before it meets another type
ThrudPrimrose
committed
e296c72
Merge upstream/main into extended
ThrudPrimrose
committed
8bc4b13
Report a missing SDFG library as the missing file it is
ThrudPrimrose
committed
b628958
Declare the thread-count symbol in frame code, and infer a loop's type from readable parts
Yakup Koray Budanaz
committed
c96a40a
Merge remote-tracking branch 'origin/extended' into extended
Yakup Koray Budanaz
committed
aeff507
Merge remote-tracking branch 'origin/extended' into extended
Yakup Koray Budanaz
committed
7ce6b8a
Add the thread-count supply pass frame code imports
Yakup Koray Budanaz
committed
603f77e
Land the canonicalization passes the pipeline already calls
Yakup Koray Budanaz
committed
f75f954
Carry the reduction and frontend edits the pass work depended on
Yakup Koray Budanaz
committed
8a0d400
Apply the formatting gate to today's passes
Yakup Koray Budanaz
committed
7979635
Run the ScaLAPACK tests at whatever rank count the workflow gives them
ThrudPrimrose
committed
e21d2f9
Expect the qualified sqrt this suite's own change produced
ThrudPrimrose
committed
fffd7ac
Admit a rounding as a divisor, and re-home a claimed block wherever one is claimed
Yakup Koray Budanaz
committed
b8ef7ea
Follow _match_inner_case's fourth field into its other consumer
ThrudPrimrose
committed
4b23a08
Merge remote-tracking branch 'upstream/extended' into extended
ThrudPrimrose
committed
8265484
Let a pure expansion see a weight the GPU transform staged
ThrudPrimrose
committed
6f9f297
Key a reduction's gradient names by the connectors they belong to
ThrudPrimrose
committed
e5666d9
Nest the carry loop this test needs, instead of hoping a pass still does
ThrudPrimrose
committed
b9987c3
Name the fill connector the lint gate asks for
ThrudPrimrose
committed
0c829c8
Call a read with no writer none, not a write-after-read
ThrudPrimrose
committed
8d0f36f
Leave a rolled-back SDFG owning itself
ThrudPrimrose
committed
32416e5
Refuse to re-point an accumulation at another buffer
ThrudPrimrose
committed
6acff98
Guard the scatter that still needs guarding
ThrudPrimrose
committed
cdd36cc
Say what every loop in the rendered form is
ThrudPrimrose
committed
bd5d9fe
Size lu's tolerance to the reassociation it actually shows
ThrudPrimrose
committed
106c0ca
Let the block size wait for the thread-block map that is coming
ThrudPrimrose
committed
17394fd
Pin the OpenMP runtime that is already loaded, not just the variable
ThrudPrimrose
committed
587a0a7
Check CloudSC numerics across simplify on the parallel schedule
Yakup Koray Budanaz
committed
7ab17a7
Merge branch 'cloudsc-simplify-numerics' of https://github.com/spcl/dace into extended
ThrudPrimrose
committed
ef87a7f
Never choose a parallel CPU schedule for a map with a loop-carried dependency
dace agent
committed
06dfeda
Type the CUB reduce from the array, not from the connector
ThrudPrimrose
committed
1f2e3e2

Commits on Sep 3, 2026

Give a ternary's literal arm a dtype, and stop the kernel lift at the levels it reshaped
ThrudPrimrose
committed
c69e4f7
Restate the cleanup contract tests against the composition that landed
ThrudPrimrose
committed
4066b13
Give a ternary's literal arm a dtype, and stop the kernel lift at the levels it reshaped
ThrudPrimrose
committed
25064b1
Gather from an extent-1 dimension instead of raising
ThrudPrimrose
committed
9c5f257
Assert the hazard s115's snapshot count stood in for
ThrudPrimrose
committed
78c547f
linalg.solve: vendor path takes a single right-hand side
Yakup Koray Budanaz
committed
452036d
Scatter a store's index arrays over one shared iteration space
ThrudPrimrose
committed
1029cc6
Follow a write out of a nested scope before calling the map carried
ThrudPrimrose
committed
ebbce9b
Drop the duplicate ITE literal-arm cast; 32ad53b5e already places it correctly
ThrudPrimrose
committed
7448945
Give a wired mask tile the Register storage its consumer locks
ThrudPrimrose
committed
b0ea13e
Cover fp16 arithmetic on the GPU, and give it its own CI leg
ThrudPrimrose
committed
3a46221
Keep a slice view alive while its container is read and written in one state
ThrudPrimrose
committed
8730823
clean up unit tests
FinnHeckman
committed
5da1ce5
Order a folded copy's ordering edge on the producers, not the access node
ThrudPrimrose
committed
427b838
delete previous GPU transform and adjust all files that reference it
FinnHeckman
committed
00fb109
Merge origin/main (036a963bf) into extended

ThrudPrimrose
and
claude
committed
0a6025a
Keep a folded boundary write's ordering when a map scope is nested
ThrudPrimrose
committed
a5245c9
Let a library node's host connectors sit out the schedule vote

ThrudPrimrose
and
claude
committed
ede05b0
Reduce a strided or transformed ArgReduce on the device, through a gather iterator

ThrudPrimrose
and
claude
committed
2b8db51
Carry the BLACS context through the graph, so an SDFG can hold more than one process grid

ThrudPrimrose
and
claude
committed
9601073
Decide the HIP header probe by what it opened, not by whether it compiled

ThrudPrimrose
and
claude
committed
69ca846
Treat bfloat16 and the fp8 types as the floats they are

ThrudPrimrose
and
claude
committed
66a89f4
Write a dot's accumulator identity from a map, so it lands where the result does

ThrudPrimrose
and
claude
committed
a0e79c8
Rebind the GPU stream symbol only where the body actually names it

ThrudPrimrose
and
claude
committed
0717481
Read the stream count when the pass runs, not when it was built

ThrudPrimrose
and
claude
committed
9d3454b
Skip the bert test when its fixtures are unreachable, rather than failing it

ThrudPrimrose
and
claude
committed
e8fc9ba

Commits on Sep 4, 2026

Commits on Sep 6, 2026

clean up PR based on comments
FinnHeckman
committed
74f38c9
Let the accelerator offloader keep streams, in-kernel library nodes and kernel-local transients

ThrudPrimrose
and
claude
committed
43af262
Type a bare literal against the fp16 operand it is combined with

ThrudPrimrose
and
claude
committed
a31f431
Pass dynamic map range bounds into the kernel that reads them

ThrudPrimrose
and
claude
committed
44b9b01
Anchor a boundary memlet on the container the parent side actually holds

ThrudPrimrose
and
claude
committed
45fccc7
Stop leaking libgomp into collection, and cast ITE arms in one place

ThrudPrimrose
and
claude
committed
72675cf
Mark the nvcc-skipping vectorization tests as gpu tests

ThrudPrimrose
and
claude
committed
09fab34
Run the vectorization tests that were skipped as redundant

ThrudPrimrose
and
claude
committed
55d2da8
Pin the literal typing in the readable CPU generator, without a GPU

ThrudPrimrose
and
claude
committed
b8e34d2
Run the canonicalization performance tests in CI, as a ratchet

ThrudPrimrose
and
claude
committed
df118cc
Pin the three boundary-memlet shapes that nesting used to get wrong

ThrudPrimrose
and
claude
committed
9917a5e
Rename the maximal parallel representation to the canonical parallel form
Yakup Koray Budanaz
committed
270f609
Name the iterator type on a device scan seed's FutureValue
Yakup Koray Budanaz
committed
0503735
fix: use google bert-tiny checkpoint, add pure ONNX And, drop large_ML_models group
ThrudPrimrose
committed
c24aa29
Keep the batch measurement sweep out of the per-push perf job

ThrudPrimrose
and
claude
committed
cea86ee
Add the four-way CloudSC target pipeline integration test

ThrudPrimrose
and
claude
committed
5310ebb
Give the CloudSC target pipelines two runners of their own

ThrudPrimrose
and
claude
committed
071e64a
Take hipCUB's iterators on HIP, and keep GPU indices off container names
Yakup Koray Budanaz
committed
17a500c
Declare the gather iterator's own random-access category
Yakup Koray Budanaz
committed
5e8e432
Report what the offloader placed on the device

ThrudPrimrose
and
claude
committed
03278b6
Fuse the short CI jobs onto shared runners

ThrudPrimrose
and
claude
committed
e21fae8
Lift a host single-element WCR stage-out to an explicit copy
Yakup Koray Budanaz
committed
8bc2046
Test thread and block specialization on a kernel that has blocks

ThrudPrimrose
and
claude
committed
e92cd79
Let CPF pick a copy's implementation instead of pinning MappedTasklet

Yakup Koray Budanaz
and
claude
committed
1a20df8
fix: pass a 4D attention mask so the ONNX export does not hit the mask factory
ThrudPrimrose
committed
258b3d4
Give a standalone unit's nested-SDFG functions internal linkage

Yakup Koray Budanaz
and
claude
committed
dac557d
Include <assert.h> / <cassert> in standalone output

Yakup Koray Budanaz
and
claude
committed
d629b1c
Pin the parallel side of the copy size threshold

Yakup Koray Budanaz
and
claude
committed
e79f136

Commits on Sep 7, 2026

Merge branch 'main' into copy_analysis_pass
ThrudPrimrose
committed
974d43f
Retarget two tests their own commits made stale

Yakup Koray Budanaz
and
claude
committed
ab9866a
Finish removing GPUTransformSDFG from its callers, docs and tests
ThrudPrimrose
committed
2532ef2
Make the offloading package importable, deterministic and collectable
ThrudPrimrose
committed
6fc2f1e
Fix the offloading defects the newly collectable tests exposed
ThrudPrimrose
committed
ac55c72
Keep the maps a caller names, and every callback, on the host
ThrudPrimrose
committed
f89710b
Make the parallelize pipeline specialize, uniquify iterators and fuse

ThrudPrimrose
and
claude
committed
bad10a0
Run the parallelize pipeline on CloudSC as an integration test

ThrudPrimrose
and
claude
committed
e367172
fix: keep the export wrapper in eval mode so the reference is not run with dropout
ThrudPrimrose
committed
652ff89
Band a carried loop nest instead of a barrier per trip

Yakup Koray Budanaz
and
claude
committed
6e7d68d
Pin that only a gather on the carried array blocks banding

Yakup Koray Budanaz
and
claude
committed
e175e23
Merge spcl/dace#2555: fetch bert-tiny from the HF hub instead of a dead host
ThrudPrimrose
committed
595b4f8
Keep the offloading default path unchanged, and follow the house conventions
ThrudPrimrose
committed
c5b8e2d
Cover the offloading over the npbench kernels without needing a GPU
ThrudPrimrose
committed
84f9da1
Let CPF render ArgReduce's parallel OpenMP lowering

Yakup Koray Budanaz
and
claude
committed
70ce0bf
Give the CPF scan helpers three independent types

Yakup Koray Budanaz
and
claude
committed
b004d4b
Merge the CPF scan-helper fix

Yakup Koray Budanaz
and
claude
committed
02efe05
Derive the C scan accumulator with typeof_unqual

Yakup Koray Budanaz
and
claude
committed
76d1cc4
Merge origin/extended

Yakup Koray Budanaz
and
claude
committed
cea8fe6
Place a view with the container it aliases, and skip what has no place
ThrudPrimrose
committed
4df89ad
Merge PR #2555: fetch bert-tiny from the HF hub instead of the dead spclstorage host
ThrudPrimrose
committed
6ff8d86
Let a caller name host maps through apply_gpu_transformations
ThrudPrimrose
committed
59f0ce9
Default host_maps to False, and give the empty spellings one meaning
ThrudPrimrose
committed
c0e69e9
Format the offloading sources and tests with yapf
Yakup Koray Budanaz
committed
93ac0e0
Merge branch 'main' into copy_analysis_pass
ThrudPrimrose
authored
432d240
Accumulate a GPU reduction at the width it writes

Yakup Koray Budanaz
and
claude
committed
47edf91
Refuse a null CUB workspace in the scan and sort wrappers

Yakup Koray Budanaz
and
claude
committed
1317f54
Lift loops as a pass, fuse as a pipeline
ThrudPrimrose
committed
da7bce3
Stop recomputing what canonicalization already knows
ThrudPrimrose
committed
ea37ac1
Keep offset subsets and reduced descriptors readable back
Yakup Koray Budanaz
committed
a53d1f4
Keep the device states contiguous, and leave the stream default alone
Yakup Koray Budanaz
committed
2c1e40c
Merge remote-tracking branch 'finn/copy_analysis_pass' into pr2553-clean
Yakup Koray Budanaz
committed
6e750e8
Keep offset subsets and reduced descriptors readable back

Yakup Koray Budanaz
authored and
ThrudPrimrose
committed
3690c73
Fold a subset offset against a differently minted twin symbol
Yakup Koray Budanaz
committed
e2e7b08
Merge origin/extended into the canonicalize performance work
ThrudPrimrose
committed
01f2f8c
Merge origin/main to unblock the CI pull request
ThrudPrimrose
committed
24004e8
Reuse the analysis a lift cannot invalidate, not the verdict
ThrudPrimrose
committed
8560164
Lift loops with the pass, not the pattern matcher
ThrudPrimrose
committed
65b9b00
Fold the repeated symbol name in map fusion, not in Range.offset
Yakup Koray Budanaz
committed
7828c8e
Answer a cross-boundary copy with a Memcpy, or refuse it

Yakup Koray Budanaz
authored and
ThrudPrimrose
committed
8f89f74
Merge branch 'main' into copy_analysis_pass
ThrudPrimrose
authored
ed942a6
Apply the canonicalize pattern units once, not to a fixpoint
ThrudPrimrose
committed
ac7a76a
Merge remote-tracking branch 'finn/copy_analysis_pass' into pr2553-clean
Yakup Koray Budanaz
committed
83612c1
Merge remote-tracking branch 'origin/extended' into extended
ThrudPrimrose
committed
75fe49e
Hoist the per-lift whole-graph work out of the loop lift
ThrudPrimrose
committed
d04a671
Merge remote-tracking branch 'origin/extended' into extended
ThrudPrimrose
committed
89f5d79
Look a descriptor's symbols up once per symbol walk
ThrudPrimrose
committed
8f449c8
Fold the repeated name in Range.compose as well
Yakup Koray Budanaz
committed
0b8dabc
Memoize what a lift outside a loop cannot change

ThrudPrimrose
and
claude
committed
311d6db
Merge extended into the loop-lift memo work
ThrudPrimrose
committed
dd3732a
Ask a block for its symbols once, not three times
ThrudPrimrose
committed
d98a891
Fold the repeated name in Range.compose as well
Yakup Koray Budanaz
committed
a26bd5b
Take the subset fold from upstream instead of carrying a fusion-local copy
Yakup Koray Budanaz
committed
abb2083
Find fusable map pairs by walking the graph, not by subgraph isomorphism
ThrudPrimrose
committed
cce2cde
Re-home the CFG list after a condition fusion grafts copies

ThrudPrimrose
and
claude
committed
633191e
Collect the fusion region list once, not per fusion

ThrudPrimrose
and
claude
committed
999d4c7
Merge branch 'main' into copy_analysis_pass
ThrudPrimrose
authored
c258470
Merge branch 'main' into fix/copy-auto-cross-boundary
ThrudPrimrose
authored
2a4b953
Test the coalescing band where it now lives
ThrudPrimrose
committed
5878963
Drop personal notes that a broad git add swept into the tree
ThrudPrimrose
committed
bb2b91e
Merge branch 'main' into copy_analysis_pass
ThrudPrimrose
authored
ae3201b
Merge remote-tracking branch 'origin/main' into extended
ThrudPrimrose
committed
a121f0d
Merge branch 'pr2561' into extended
ThrudPrimrose
committed
cf8a67b
Merge branch 'pr2560' into extended
ThrudPrimrose
committed
af1657e
Merge branch 'pr2553' into extended
ThrudPrimrose
committed
9dbfa43
Give the new offloading suite a unique module basename

ThrudPrimrose
and
claude
committed
80b0190
Ask every control-flow block for its meta accesses, not only the regions

Yakup Koray Budanaz
and
claude
committed
acf6e86
Move every array to the device and let the offload stage the host reads

Yakup Koray Budanaz
and
claude
committed
a1fb4bb
Wire the reduce fixtures through the library node's connectors

ThrudPrimrose
and
claude
committed
5c5ca12
Inline a tasklet connector only where its container is inlined everywhere

ThrudPrimrose
and
claude
committed
04f380e
Render a conflicting WCR as an atomic that says it is not reduced

Yakup Koray Budanaz
and
claude
committed
834c5f9
Skip the whole-graph symbol walk a lift cannot need

ThrudPrimrose
and
claude
committed
c7c39e6
Size a thread block in warps, not in threads

Yakup Koray Budanaz
and
claude
committed
311cb39
Patch an enclosing region's read/write sets instead of rebuilding them

ThrudPrimrose
and
claude
committed
6524bd0
Fuse the wavefront nest's states with the pass, not the repeated matcher

ThrudPrimrose
and
claude
committed
9961c9e
Fuse the cleanup block's states with the matcher and then the walk

ThrudPrimrose
and
claude
committed
7b8f256
Bind the WCR output to the array its edge writes

ThrudPrimrose
and
claude
committed
f31ef0b
Keep the accumulator load when something else writes the accumulator

ThrudPrimrose
and
claude
committed
5f7e37f
Lift a recurrence whose carry distance is a symbol

Yakup Koray Budanaz
and
claude
committed
fad6f34
Render the device form of an SDFG as one self-contained HIP unit

Yakup Koray Budanaz
and
claude
committed
5f54f10
Refuse an unclassifiable carrier subset before measuring its distance

Yakup Koray Budanaz
and
claude
committed
1465178
Ask the inliner which containers it will actually inline

Yakup Koray Budanaz
and
claude
committed
05e75e7
Take the wider GPU wavefront tile

Yakup Koray Budanaz
and
claude
committed
58bee79
Walk the edges of a straight-line region instead of its dominators

ThrudPrimrose
and
claude
committed
9b0f3e2
Merge remote-tracking branch 'origin/extended' into parloops-perf-snapshot
ThrudPrimrose
committed
e852919
Read an affine scan operand where it lies instead of copying it

Yakup Koray Budanaz
and
claude
committed
95d4315
Import the Tuple the annotation names

Yakup Koray Budanaz
and
claude
committed
9026177
Score a split against remembered verdicts, not a fresh scan each probe

ThrudPrimrose
and
claude
committed
d6fa149
Merge remote-tracking branch 'origin/extended' into extended
ThrudPrimrose
committed
ee6e306
Pin a zero carry distance by value, not by symbol name

ThrudPrimrose
and
claude
committed
72b9664
Drop an unused import ruff flags

ThrudPrimrose
and
claude
committed
1af177a
Dispatch a symbol read on the block it is, not on SDFGState alone

ThrudPrimrose
and
claude
committed
783eba9
Version the index symbols short-loop unrolling multiplies

ThrudPrimrose
and
claude
committed
523f2ac
Match the trivial copy on the AST, not on an unparse

ThrudPrimrose
and
claude
committed
c8a8343
Merge remote-tracking branch 'origin/extended' into extended
ThrudPrimrose
committed
89e786f
Pin what SymbolSSA must not version: the induction variable

ThrudPrimrose
and
claude
committed
7869691
Merge remote-tracking branch 'origin/extended' into parloops-perf-snapshot
ThrudPrimrose
committed
7903c1e
Keep SymbolSSA to the unroll, not every cleanup boundary

ThrudPrimrose
and
claude
committed
f247321
Drive the accumulator WCR rewrite one state at a time

ThrudPrimrose
and
claude
committed
d8896f3
Merge remote-tracking branch 'origin/extended' into extended
ThrudPrimrose
committed
1b6b5e2
Stop two symbolic rounds that never decide anything

ThrudPrimrose
and
claude
committed
b4c518b
Probe a split against one lift context, not one per loop

ThrudPrimrose
and
claude
committed
7854e2d