|
127 | 127 | , .targetIx = ty_u |
128 | 128 | , .cost = 49087 /* milli weight units */ |
129 | 129 | } |
| 130 | +,[BROKEN_DO_NOT_USE_CHECK_LOCK_DISTANCE] = |
| 131 | +{ .tag = JET |
| 132 | +, .jet = simplicity_broken_do_not_use_check_lock_distance |
| 133 | +, .cmr = {{0x7f78c7a7u, 0x7a25ada2u, 0x23267d23u, 0x9a5922f7u, 0x64b8ac0cu, 0x2fcef68eu, 0xb93c0d92u, 0xda4af515u}} |
| 134 | +, .sourceIx = ty_w16 |
| 135 | +, .targetIx = ty_u |
| 136 | +, .cost = 105 /* milli weight units */ |
| 137 | +} |
| 138 | +,[BROKEN_DO_NOT_USE_CHECK_LOCK_DURATION] = |
| 139 | +{ .tag = JET |
| 140 | +, .jet = simplicity_broken_do_not_use_check_lock_duration |
| 141 | +, .cmr = {{0x73dac8e2u, 0x5d87eaf3u, 0x82c2a772u, 0x06ad38b9u, 0x384361e7u, 0xd0dc87c0u, 0xfa7af7eau, 0x524597b7u}} |
| 142 | +, .sourceIx = ty_w16 |
| 143 | +, .targetIx = ty_u |
| 144 | +, .cost = 102 /* milli weight units */ |
| 145 | +} |
| 146 | +,[BROKEN_DO_NOT_USE_TX_LOCK_DISTANCE] = |
| 147 | +{ .tag = JET |
| 148 | +, .jet = simplicity_broken_do_not_use_tx_lock_distance |
| 149 | +, .cmr = {{0x4c7773b8u, 0x18cb7ee5u, 0xf54f925au, 0xad015677u, 0xa043a72fu, 0x316a187cu, 0xc28c696cu, 0xfcb90807u}} |
| 150 | +, .sourceIx = ty_u |
| 151 | +, .targetIx = ty_w16 |
| 152 | +, .cost = 91 /* milli weight units */ |
| 153 | +} |
| 154 | +,[BROKEN_DO_NOT_USE_TX_LOCK_DURATION] = |
| 155 | +{ .tag = JET |
| 156 | +, .jet = simplicity_broken_do_not_use_tx_lock_duration |
| 157 | +, .cmr = {{0xcc9c64c8u, 0xb6eb4bf0u, 0x9694af5au, 0x35d957a4u, 0x05e66c1bu, 0x35224ed6u, 0x75878918u, 0x452440b2u}} |
| 158 | +, .sourceIx = ty_u |
| 159 | +, .targetIx = ty_w16 |
| 160 | +, .cost = 84 /* milli weight units */ |
| 161 | +} |
130 | 162 | ,[BUILD_TAPBRANCH] = |
131 | 163 | { .tag = JET |
132 | 164 | , .jet = simplicity_build_tapbranch |
|
223 | 255 | , .targetIx = ty_w8 |
224 | 256 | , .cost = 77 /* milli weight units */ |
225 | 257 | } |
226 | | -,[CHECK_LOCK_DISTANCE] = |
227 | | -{ .tag = JET |
228 | | -, .jet = simplicity_check_lock_distance |
229 | | -, .cmr = {{0x7f78c7a7u, 0x7a25ada2u, 0x23267d23u, 0x9a5922f7u, 0x64b8ac0cu, 0x2fcef68eu, 0xb93c0d92u, 0xda4af515u}} |
230 | | -, .sourceIx = ty_w16 |
231 | | -, .targetIx = ty_u |
232 | | -, .cost = 105 /* milli weight units */ |
233 | | -} |
234 | | -,[CHECK_LOCK_DURATION] = |
235 | | -{ .tag = JET |
236 | | -, .jet = simplicity_check_lock_duration |
237 | | -, .cmr = {{0x73dac8e2u, 0x5d87eaf3u, 0x82c2a772u, 0x06ad38b9u, 0x384361e7u, 0xd0dc87c0u, 0xfa7af7eau, 0x524597b7u}} |
238 | | -, .sourceIx = ty_w16 |
239 | | -, .targetIx = ty_u |
240 | | -, .cost = 102 /* milli weight units */ |
241 | | -} |
242 | 258 | ,[CHECK_LOCK_HEIGHT] = |
243 | 259 | { .tag = JET |
244 | 260 | , .jet = simplicity_check_lock_height |
|
3639 | 3655 | , .targetIx = ty_b |
3640 | 3656 | , .cost = 71 /* milli weight units */ |
3641 | 3657 | } |
3642 | | -,[TX_LOCK_DISTANCE] = |
3643 | | -{ .tag = JET |
3644 | | -, .jet = simplicity_tx_lock_distance |
3645 | | -, .cmr = {{0x4c7773b8u, 0x18cb7ee5u, 0xf54f925au, 0xad015677u, 0xa043a72fu, 0x316a187cu, 0xc28c696cu, 0xfcb90807u}} |
3646 | | -, .sourceIx = ty_u |
3647 | | -, .targetIx = ty_w16 |
3648 | | -, .cost = 91 /* milli weight units */ |
3649 | | -} |
3650 | | -,[TX_LOCK_DURATION] = |
3651 | | -{ .tag = JET |
3652 | | -, .jet = simplicity_tx_lock_duration |
3653 | | -, .cmr = {{0xcc9c64c8u, 0xb6eb4bf0u, 0x9694af5au, 0x35d957a4u, 0x05e66c1bu, 0x35224ed6u, 0x75878918u, 0x452440b2u}} |
3654 | | -, .sourceIx = ty_u |
3655 | | -, .targetIx = ty_w16 |
3656 | | -, .cost = 84 /* milli weight units */ |
3657 | | -} |
3658 | 3658 | ,[TX_LOCK_HEIGHT] = |
3659 | 3659 | { .tag = JET |
3660 | 3660 | , .jet = simplicity_tx_lock_height |
|
0 commit comments