diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 20:46:17 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 05:17:02 +0330 |
| commit | a1d546cc74a72abc4973bf96f72bbd529320d711 (patch) | |
| tree | 68cd489b7558d169d1f9e5f4230d1fc63e0d6501 /tests/programs/float.zc | |
| parent | o3: use new_k (size-class free lists) like plain code (diff) | |
wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested
Diffstat (limited to 'tests/programs/float.zc')
0 files changed, 0 insertions, 0 deletions