Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minor changes #1459

Open
wants to merge 8 commits into
base: arith-dev
Choose a base branch
from
Open

Minor changes #1459

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
624a73e
ras
OlivierBBB Oct 28, 2024
e241e7c
Merge branch 'arith-dev' into minor-changes
OlivierBBB Oct 28, 2024
1917c72
Merge branch 'arith-dev' into minor-changes
OlivierBBB Nov 4, 2024
3665f94
ras: constraints commit update
OlivierBBB Nov 4, 2024
9086694
Merge branch 'arith-dev' into minor-changes
OlivierBBB Nov 4, 2024
df496db
spotless
OlivierBBB Nov 4, 2024
85d2304
Merge branch 'arith-dev' into minor-changes
OlivierBBB Nov 4, 2024
c81961c
ras: constraints commit again points to Makefile with HUB_COLUMNS
OlivierBBB Nov 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 1 addition & 4 deletions arithmetization/src/main/java/net/consensys/linea/zktracer/ZkTracer.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,10 +39,7 @@
import net.consensys.linea.zktracer.types.FiniteList;
import net.consensys.linea.zktracer.types.Utils;
import org.apache.tuweni.bytes.Bytes;
import org.hyperledger.besu.datatypes.Address;
import org.hyperledger.besu.datatypes.Hash;
import org.hyperledger.besu.datatypes.PendingTransaction;
import org.hyperledger.besu.datatypes.Transaction;
import org.hyperledger.besu.datatypes.*;
import org.hyperledger.besu.evm.frame.MessageFrame;
import org.hyperledger.besu.evm.gascalculator.GasCalculator;
import org.hyperledger.besu.evm.gascalculator.LondonGasCalculator;
Expand Down
232 changes: 116 additions & 116 deletions arithmetization/src/main/java/net/consensys/linea/zktracer/module/ext/ExtOperation.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -152,132 +152,132 @@ void trace(Trace trace, int stamp) {
final int accLength = i + 1;
trace
// Byte A and Acc A
.byteA0(UnsignedByte.of(this.aBytes.get(0).get(i)))
.byteA1(UnsignedByte.of(this.aBytes.get(1).get(i)))
.byteA2(UnsignedByte.of(this.aBytes.get(2).get(i)))
.byteA3(UnsignedByte.of(this.aBytes.get(3).get(i)))
.accA0(this.aBytes.get(0).slice(0, accLength))
.accA1(this.aBytes.get(1).slice(0, accLength))
.accA2(this.aBytes.get(2).slice(0, accLength))
.accA3(this.aBytes.get(3).slice(0, accLength))
.byteA0(UnsignedByte.of(aBytes.get(0).get(i)))
.byteA1(UnsignedByte.of(aBytes.get(1).get(i)))
.byteA2(UnsignedByte.of(aBytes.get(2).get(i)))
.byteA3(UnsignedByte.of(aBytes.get(3).get(i)))
.accA0(aBytes.get(0).slice(0, accLength))
.accA1(aBytes.get(1).slice(0, accLength))
.accA2(aBytes.get(2).slice(0, accLength))
.accA3(aBytes.get(3).slice(0, accLength))
// Byte B and Acc B
.byteB0(UnsignedByte.of(this.bBytes.get(0).get(i)))
.byteB1(UnsignedByte.of(this.bBytes.get(1).get(i)))
.byteB2(UnsignedByte.of(this.bBytes.get(2).get(i)))
.byteB3(UnsignedByte.of(this.bBytes.get(3).get(i)))
.accB0(this.bBytes.get(0).slice(0, accLength))
.accB1(this.bBytes.get(1).slice(0, accLength))
.accB2(this.bBytes.get(2).slice(0, accLength))
.accB3(this.bBytes.get(3).slice(0, accLength))
.byteB0(UnsignedByte.of(bBytes.get(0).get(i)))
.byteB1(UnsignedByte.of(bBytes.get(1).get(i)))
.byteB2(UnsignedByte.of(bBytes.get(2).get(i)))
.byteB3(UnsignedByte.of(bBytes.get(3).get(i)))
.accB0(bBytes.get(0).slice(0, accLength))
.accB1(bBytes.get(1).slice(0, accLength))
.accB2(bBytes.get(2).slice(0, accLength))
.accB3(bBytes.get(3).slice(0, accLength))
// Byte C and Acc C
.byteC0(UnsignedByte.of(this.cBytes.get(0).get(i)))
.byteC1(UnsignedByte.of(this.cBytes.get(1).get(i)))
.byteC2(UnsignedByte.of(this.cBytes.get(2).get(i)))
.byteC3(UnsignedByte.of(this.cBytes.get(3).get(i)))
.accC0(this.cBytes.get(0).slice(0, accLength))
.accC1(this.cBytes.get(1).slice(0, accLength))
.accC2(this.cBytes.get(2).slice(0, accLength))
.accC3(this.cBytes.get(3).slice(0, accLength))
.byteC0(UnsignedByte.of(cBytes.get(0).get(i)))
.byteC1(UnsignedByte.of(cBytes.get(1).get(i)))
.byteC2(UnsignedByte.of(cBytes.get(2).get(i)))
.byteC3(UnsignedByte.of(cBytes.get(3).get(i)))
.accC0(cBytes.get(0).slice(0, accLength))
.accC1(cBytes.get(1).slice(0, accLength))
.accC2(cBytes.get(2).slice(0, accLength))
.accC3(cBytes.get(3).slice(0, accLength))
// Byte Delta and Acc Delta
.byteDelta0(UnsignedByte.of(this.deltaBytes.get(0).get(i)))
.byteDelta1(UnsignedByte.of(this.deltaBytes.get(1).get(i)))
.byteDelta2(UnsignedByte.of(this.deltaBytes.get(2).get(i)))
.byteDelta3(UnsignedByte.of(this.deltaBytes.get(3).get(i)))
.accDelta0(this.deltaBytes.get(0).slice(0, accLength))
.accDelta1(this.deltaBytes.get(1).slice(0, accLength))
.accDelta2(this.deltaBytes.get(2).slice(0, accLength))
.accDelta3(this.deltaBytes.get(3).slice(0, accLength))
.byteDelta0(UnsignedByte.of(deltaBytes.get(0).get(i)))
.byteDelta1(UnsignedByte.of(deltaBytes.get(1).get(i)))
.byteDelta2(UnsignedByte.of(deltaBytes.get(2).get(i)))
.byteDelta3(UnsignedByte.of(deltaBytes.get(3).get(i)))
.accDelta0(deltaBytes.get(0).slice(0, accLength))
.accDelta1(deltaBytes.get(1).slice(0, accLength))
.accDelta2(deltaBytes.get(2).slice(0, accLength))
.accDelta3(deltaBytes.get(3).slice(0, accLength))
// Byte H and Acc H
.byteH0(UnsignedByte.of(this.hBytes.get(0).get(i)))
.byteH1(UnsignedByte.of(this.hBytes.get(1).get(i)))
.byteH2(UnsignedByte.of(this.hBytes.get(2).get(i)))
.byteH3(UnsignedByte.of(this.hBytes.get(3).get(i)))
.byteH4(UnsignedByte.of(this.hBytes.get(4).get(i)))
.byteH5(UnsignedByte.of(this.hBytes.get(5).get(i)))
.accH0(this.hBytes.get(0).slice(0, accLength))
.accH1(this.hBytes.get(1).slice(0, accLength))
.accH2(this.hBytes.get(2).slice(0, accLength))
.accH3(this.hBytes.get(3).slice(0, accLength))
.accH4(this.hBytes.get(4).slice(0, accLength))
.accH5(this.hBytes.get(5).slice(0, accLength))
.byteH0(UnsignedByte.of(hBytes.get(0).get(i)))
.byteH1(UnsignedByte.of(hBytes.get(1).get(i)))
.byteH2(UnsignedByte.of(hBytes.get(2).get(i)))
.byteH3(UnsignedByte.of(hBytes.get(3).get(i)))
.byteH4(UnsignedByte.of(hBytes.get(4).get(i)))
.byteH5(UnsignedByte.of(hBytes.get(5).get(i)))
.accH0(hBytes.get(0).slice(0, accLength))
.accH1(hBytes.get(1).slice(0, accLength))
.accH2(hBytes.get(2).slice(0, accLength))
.accH3(hBytes.get(3).slice(0, accLength))
.accH4(hBytes.get(4).slice(0, accLength))
.accH5(hBytes.get(5).slice(0, accLength))
// Byte I and Acc I
.byteI0(UnsignedByte.of(this.iBytes.get(0).get(i)))
.byteI1(UnsignedByte.of(this.iBytes.get(1).get(i)))
.byteI2(UnsignedByte.of(this.iBytes.get(2).get(i)))
.byteI3(UnsignedByte.of(this.iBytes.get(3).get(i)))
.byteI4(UnsignedByte.of(this.iBytes.get(4).get(i)))
.byteI5(UnsignedByte.of(this.iBytes.get(5).get(i)))
.byteI6(UnsignedByte.of(this.iBytes.get(6).get(i)))
.accI0(this.iBytes.get(0).slice(0, accLength))
.accI1(this.iBytes.get(1).slice(0, accLength))
.accI2(this.iBytes.get(2).slice(0, accLength))
.accI3(this.iBytes.get(3).slice(0, accLength))
.accI4(this.iBytes.get(4).slice(0, accLength))
.accI5(this.iBytes.get(5).slice(0, accLength))
.accI6(this.iBytes.get(6).slice(0, accLength))
.byteI0(UnsignedByte.of(iBytes.get(0).get(i)))
.byteI1(UnsignedByte.of(iBytes.get(1).get(i)))
.byteI2(UnsignedByte.of(iBytes.get(2).get(i)))
.byteI3(UnsignedByte.of(iBytes.get(3).get(i)))
.byteI4(UnsignedByte.of(iBytes.get(4).get(i)))
.byteI5(UnsignedByte.of(iBytes.get(5).get(i)))
.byteI6(UnsignedByte.of(iBytes.get(6).get(i)))
.accI0(iBytes.get(0).slice(0, accLength))
.accI1(iBytes.get(1).slice(0, accLength))
.accI2(iBytes.get(2).slice(0, accLength))
.accI3(iBytes.get(3).slice(0, accLength))
.accI4(iBytes.get(4).slice(0, accLength))
.accI5(iBytes.get(5).slice(0, accLength))
.accI6(iBytes.get(6).slice(0, accLength))
// Byte J and Acc J
.byteJ0(UnsignedByte.of(this.jBytes.get(0).get(i)))
.byteJ1(UnsignedByte.of(this.jBytes.get(1).get(i)))
.byteJ2(UnsignedByte.of(this.jBytes.get(2).get(i)))
.byteJ3(UnsignedByte.of(this.jBytes.get(3).get(i)))
.byteJ4(UnsignedByte.of(this.jBytes.get(4).get(i)))
.byteJ5(UnsignedByte.of(this.jBytes.get(5).get(i)))
.byteJ6(UnsignedByte.of(this.jBytes.get(6).get(i)))
.byteJ7(UnsignedByte.of(this.jBytes.get(7).get(i)))
.accJ0(this.jBytes.get(0).slice(0, accLength))
.accJ1(this.jBytes.get(1).slice(0, accLength))
.accJ2(this.jBytes.get(2).slice(0, accLength))
.accJ3(this.jBytes.get(3).slice(0, accLength))
.accJ4(this.jBytes.get(4).slice(0, accLength))
.accJ5(this.jBytes.get(5).slice(0, accLength))
.accJ6(this.jBytes.get(6).slice(0, accLength))
.accJ7(this.jBytes.get(7).slice(0, accLength))
.byteJ0(UnsignedByte.of(jBytes.get(0).get(i)))
.byteJ1(UnsignedByte.of(jBytes.get(1).get(i)))
.byteJ2(UnsignedByte.of(jBytes.get(2).get(i)))
.byteJ3(UnsignedByte.of(jBytes.get(3).get(i)))
.byteJ4(UnsignedByte.of(jBytes.get(4).get(i)))
.byteJ5(UnsignedByte.of(jBytes.get(5).get(i)))
.byteJ6(UnsignedByte.of(jBytes.get(6).get(i)))
.byteJ7(UnsignedByte.of(jBytes.get(7).get(i)))
.accJ0(jBytes.get(0).slice(0, accLength))
.accJ1(jBytes.get(1).slice(0, accLength))
.accJ2(jBytes.get(2).slice(0, accLength))
.accJ3(jBytes.get(3).slice(0, accLength))
.accJ4(jBytes.get(4).slice(0, accLength))
.accJ5(jBytes.get(5).slice(0, accLength))
.accJ6(jBytes.get(6).slice(0, accLength))
.accJ7(jBytes.get(7).slice(0, accLength))
// Byte Q and Acc Q
.byteQ0(UnsignedByte.of(this.qBytes.get(0).get(i)))
.byteQ1(UnsignedByte.of(this.qBytes.get(1).get(i)))
.byteQ2(UnsignedByte.of(this.qBytes.get(2).get(i)))
.byteQ3(UnsignedByte.of(this.qBytes.get(3).get(i)))
.byteQ4(UnsignedByte.of(this.qBytes.get(4).get(i)))
.byteQ5(UnsignedByte.of(this.qBytes.get(5).get(i)))
.byteQ6(UnsignedByte.of(this.qBytes.get(6).get(i)))
.byteQ7(UnsignedByte.of(this.qBytes.get(7).get(i)))
.accQ0(this.qBytes.get(0).slice(0, accLength))
.accQ1(this.qBytes.get(1).slice(0, accLength))
.accQ2(this.qBytes.get(2).slice(0, accLength))
.accQ3(this.qBytes.get(3).slice(0, accLength))
.accQ4(this.qBytes.get(4).slice(0, accLength))
.accQ5(this.qBytes.get(5).slice(0, accLength))
.accQ6(this.qBytes.get(6).slice(0, accLength))
.accQ7(this.qBytes.get(7).slice(0, accLength))
.byteQ0(UnsignedByte.of(qBytes.get(0).get(i)))
.byteQ1(UnsignedByte.of(qBytes.get(1).get(i)))
.byteQ2(UnsignedByte.of(qBytes.get(2).get(i)))
.byteQ3(UnsignedByte.of(qBytes.get(3).get(i)))
.byteQ4(UnsignedByte.of(qBytes.get(4).get(i)))
.byteQ5(UnsignedByte.of(qBytes.get(5).get(i)))
.byteQ6(UnsignedByte.of(qBytes.get(6).get(i)))
.byteQ7(UnsignedByte.of(qBytes.get(7).get(i)))
.accQ0(qBytes.get(0).slice(0, accLength))
.accQ1(qBytes.get(1).slice(0, accLength))
.accQ2(qBytes.get(2).slice(0, accLength))
.accQ3(qBytes.get(3).slice(0, accLength))
.accQ4(qBytes.get(4).slice(0, accLength))
.accQ5(qBytes.get(5).slice(0, accLength))
.accQ6(qBytes.get(6).slice(0, accLength))
.accQ7(qBytes.get(7).slice(0, accLength))
// Byte R and Acc R
.byteR0(UnsignedByte.of(this.rBytes.get(0).get(i)))
.byteR1(UnsignedByte.of(this.rBytes.get(1).get(i)))
.byteR2(UnsignedByte.of(this.rBytes.get(2).get(i)))
.byteR3(UnsignedByte.of(this.rBytes.get(3).get(i)))
.accR0(this.rBytes.get(0).slice(0, accLength))
.accR1(this.rBytes.get(1).slice(0, accLength))
.accR2(this.rBytes.get(2).slice(0, accLength))
.accR3(this.rBytes.get(3).slice(0, accLength))
.byteR0(UnsignedByte.of(rBytes.get(0).get(i)))
.byteR1(UnsignedByte.of(rBytes.get(1).get(i)))
.byteR2(UnsignedByte.of(rBytes.get(2).get(i)))
.byteR3(UnsignedByte.of(rBytes.get(3).get(i)))
.accR0(rBytes.get(0).slice(0, accLength))
.accR1(rBytes.get(1).slice(0, accLength))
.accR2(rBytes.get(2).slice(0, accLength))
.accR3(rBytes.get(3).slice(0, accLength))
// other
.arg1Hi(this.arg1.getHigh())
.arg1Lo(this.arg1.getLow())
.arg2Hi(this.arg2.getHigh())
.arg2Lo(this.arg2.getLow())
.arg3Hi(this.arg3.getHigh())
.arg3Lo(this.arg3.getLow())
.resHi(this.result.getHigh())
.resLo(this.result.getLow())
.cmp(this.cmp[i])
.ofH(this.overflowH[i])
.ofJ(this.overflowJ[i])
.ofI(this.overflowI[i])
.ofRes(this.overflowRes[i])
.arg1Hi(arg1.getHigh())
.arg1Lo(arg1.getLow())
.arg2Hi(arg2.getHigh())
.arg2Lo(arg2.getLow())
.arg3Hi(arg3.getHigh())
.arg3Lo(arg3.getLow())
.resHi(result.getHigh())
.resLo(result.getLow())
.cmp(cmp[i])
.ofH(overflowH[i])
.ofJ(overflowJ[i])
.ofI(overflowI[i])
.ofRes(overflowRes[i])
.ct(i)
.inst(UnsignedByte.of(this.opCode.byteValue()))
.oli(this.isOneLineInstruction)
.bit1(this.getBit1())
.bit2(this.getBit2())
.bit3(this.getBit3())
.inst(UnsignedByte.of(opCode.byteValue()))
.oli(isOneLineInstruction)
.bit1(getBit1())
.bit2(getBit2())
.bit3(getBit3())
.stamp(stamp)
.validateRow();
}
Expand Down
19 changes: 9 additions & 10 deletions .../src/main/java/net/consensys/linea/zktracer/module/hub/section/TxFinalizationSection.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,9 +36,9 @@ public class TxFinalizationSection extends TraceSection implements PostTransacti
private final AccountSnapshot senderSnapshotBeforeFinalization;
private final AccountSnapshot recipientSnapshotBeforeFinalization;
private final AccountSnapshot coinbaseSnapshotBeforeTxFinalization;
private @Setter AccountSnapshot senderSnapshotAfterTxFinalization;
private @Setter AccountSnapshot recipientSnapshotAfterTxFinalization;
private @Setter AccountSnapshot coinbaseSnapshotAfterFinalization;
@Setter private AccountSnapshot senderSnapshotAfterTxFinalization;
@Setter private AccountSnapshot recipientSnapshotAfterTxFinalization;
@Setter private AccountSnapshot coinbaseSnapshotAfterFinalization;

public TxFinalizationSection(Hub hub, WorldView world) {
super(hub, (short) 4);
Expand All @@ -53,13 +53,12 @@ public TxFinalizationSection(Hub hub, WorldView world) {
recipientSnapshotBeforeFinalization = AccountSnapshot.canonical(hub, recipientAddress);
coinbaseSnapshotBeforeTxFinalization = AccountSnapshot.canonical(hub, coinbaseAddress);

// TODO: re-enable checks
// checkArgument(
// senderSnapshotBeforeFinalization.isWarm(),
// "The sender account ought to be warm during TX_FINL");
// checkArgument(
// recipientSnapshotBeforeFinalization.isWarm(),
// "The recipient account ought to be warm during TX_FINL");
checkArgument(
senderSnapshotBeforeFinalization.isWarm(),
"The sender account ought to be warm during TX_FINL");
checkArgument(
recipientSnapshotBeforeFinalization.isWarm(),
"The recipient account ought to be warm during TX_FINL");
checkArgument(
txMetadata.isCoinbaseWarmAtTransactionEnd()
== coinbaseSnapshotBeforeTxFinalization.isWarm(),
Expand Down
38 changes: 38 additions & 0 deletions ...ion/src/test/java/net/consensys/linea/zktracer/instructionprocessing/SelfBalanceTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
/*
* Copyright Consensys Software Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on
* an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the
* specific language governing permissions and limitations under the License.
*
* SPDX-License-Identifier: Apache-2.0
*/
package net.consensys.linea.zktracer.instructionprocessing;

import net.consensys.linea.testing.BytecodeCompiler;
import net.consensys.linea.testing.BytecodeRunner;
import net.consensys.linea.zktracer.opcode.OpCode;
import org.apache.tuweni.bytes.Bytes;
import org.junit.jupiter.api.Test;

public class SelfBalanceTest {

@Test
void selfbalanceTest() {
final Bytes bytecode =
BytecodeCompiler.newProgram()
.op(OpCode.ORIGIN)
.op(OpCode.BALANCE)
.push("0dde8be8f613e000")
.op(OpCode.EQ)
.op(OpCode.JUMPDEST)
.compile();
System.out.println(bytecode.toHexString());
BytecodeRunner.of(bytecode).run();
}
}
40 changes: 34 additions & 6 deletions ...ation/src/test/java/net/consensys/linea/zktracer/module/ext/TestDuplicatedOperations.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,19 +24,20 @@
import org.junit.jupiter.api.Test;

public class TestDuplicatedOperations {

Bytes maxUint256 =
Bytes.fromHexString("0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
Bytes twoToThe128 = Bytes.fromHexString("0100000000000000000000000000000000");

@Test
void testDuplicate() {
BytecodeRunner.of(
BytecodeCompiler.newProgram()
.push(
Bytes.fromHexString(
"0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"))
.push(maxUint256)
.push(0)
.push(0)
.op(OpCode.MULMOD)
.push(
Bytes.fromHexString(
"0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"))
.push(maxUint256)
.push(0)
.push(0)
.op(OpCode.MULMOD)
Expand All @@ -47,4 +48,31 @@ void testDuplicate() {
})
.run();
}

@Test
void testSimpleMulmod() {
BytecodeRunner.of(
BytecodeCompiler.newProgram()
.push(maxUint256)
.push(twoToThe128)
.push(twoToThe128)
.op(OpCode.MULMOD)
.compile())
.run();
}

@Test
void testWcpVsExt() {
BytecodeRunner.of(
BytecodeCompiler.newProgram()
.push(0)
.push(1)
.op(OpCode.LT) // false
.push(maxUint256)
.push(1)
.push(maxUint256)
.op(OpCode.ADDMOD)
.compile())
.run();
}
}
2 changes: 1 addition & 1 deletion linea-constraints
Open in desktop
Submodule linea-constraints updated 23 files
+9 −7 Makefile
+35 −35 hub/columns/account.lisp
+0 −7 hub/columns/consistency.lisp
+0 −4 hub/columns/storage.lisp
+1 −1 hub/constants.lisp
+27 −25 hub/constraints/consistency/context/constraints.lisp
+4 −3 hub/constraints/generalities/auxiliary_stamps.lisp
+18 −10 hub/constraints/generalities/context.lisp
+34 −36 hub/constraints/generalities/exceptions.lisp
+12 −12 hub/constraints/generalities/program_counter.lisp
+8 −7 hub/constraints/instruction-handling/copy/calldatacopy.lisp
+6 −7 hub/constraints/instruction-handling/copy/codecopy.lisp
+5 −4 hub/constraints/instruction-handling/copy/extcodecopy.lisp
+5 −2 hub/constraints/instruction-handling/copy/returndatacopy.lisp
+6 −14 hub/constraints/instruction-handling/halting/return.lisp
+11 −15 hub/constraints/instruction-handling/halting/revert.lisp
+15 −14 hub/constraints/instruction-handling/jump.lisp
+23 −7 hub/constraints/instruction-handling/machine_state.lisp
+13 −8 hub/constraints/instruction-handling/sto.lisp
+33 −19 hub/constraints/instruction-handling/txn.lisp
+9 −9 hub/constraints/stack_patterns.lisp
+0 −0 hub/lookups/hub_into_hub.lispX
+1 −1 logdata/constraints.lisp
Loading