-
Notifications
You must be signed in to change notification settings - Fork 22
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.
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
reconnect MMIO constraints #1388
base: arith-dev
Are you sure you want to change the base?
reconnect MMIO constraints #1388
Commits on Oct 8, 2024
-
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 0eb9cac - Browse repository at this point
Copy the full SHA 0eb9cacView commit details -
cleaning + fix too much MMIO inst for modexp data if only one MMIO no…
…n trivil inst Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for d2911d0 - Browse repository at this point
Copy the full SHA d2911d0View commit details -
fix no limb for limb vanishes instruction
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 6efb519 - Browse repository at this point
Copy the full SHA 6efb519View commit details -
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 03f2e2b - Browse repository at this point
Copy the full SHA 03f2e2bView commit details -
Configuration menu - View commit details
-
Copy full SHA for fe4276b - Browse repository at this point
Copy the full SHA fe4276bView commit details -
clean: kill duplicate constant
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 1297355 - Browse repository at this point
Copy the full SHA 1297355View commit details
Commits on Oct 9, 2024
-
fix source CN to extract arg for modexp
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 733c301 - Browse repository at this point
Copy the full SHA 733c301View commit details -
fix: generating the limb needs to know TBO
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 039aeb9 - Browse repository at this point
Copy the full SHA 039aeb9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 558fc9f - Browse repository at this point
Copy the full SHA 558fc9fView commit details -
fix source Id for Identity PRC MMU call
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for c32a012 - Browse repository at this point
Copy the full SHA c32a012View commit details
Commits on Oct 10, 2024
-
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 8e4568b - Browse repository at this point
Copy the full SHA 8e4568bView commit details -
Configuration menu - View commit details
-
Copy full SHA for f2a4d0f - Browse repository at this point
Copy the full SHA f2a4d0fView commit details -
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 3037ade - Browse repository at this point
Copy the full SHA 3037adeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4c4b39d - Browse repository at this point
Copy the full SHA 4c4b39dView commit details
Commits on Oct 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 2309d9c - Browse repository at this point
Copy the full SHA 2309d9cView commit details -
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for f13dec3 - Browse repository at this point
Copy the full SHA f13dec3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1c3dd6f - Browse repository at this point
Copy the full SHA 1c3dd6fView commit details
Commits on Oct 16, 2024
-
fix: exo Bytes not known when creaing the create MMU cal
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 934393b - Browse repository at this point
Copy the full SHA 934393bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 17dad7d - Browse repository at this point
Copy the full SHA 17dad7dView commit details -
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for eb15017 - Browse repository at this point
Copy the full SHA eb15017View commit details -
fix lookup mmio into rom for return from deployment
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 25d3aff - Browse repository at this point
Copy the full SHA 25d3affView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3c28763 - Browse repository at this point
Copy the full SHA 3c28763View commit details -
fix(invalidCodePrefex): lookup mmio into mmu
Signed-off-by: Francois Bojarski <francois.bojarski@consensys.net>
Configuration menu - View commit details
-
Copy full SHA for 448335d - Browse repository at this point
Copy the full SHA 448335dView commit details
Commits on Oct 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 167463f - Browse repository at this point
Copy the full SHA 167463fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9c5c654 - Browse repository at this point
Copy the full SHA 9c5c654View commit details
Commits on Oct 21, 2024
-
partly fix source ram Bytes for CallDataLoad
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for dc2cce7 - Browse repository at this point
Copy the full SHA dc2cce7View commit details -
target limb ram can be touched twice at transition
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 70c7e38 - Browse repository at this point
Copy the full SHA 70c7e38View commit details -
fix extCodeCopy mmuCall when empty account (and thus no cfi)
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for d406e26 - Browse repository at this point
Copy the full SHA d406e26View commit details -
fix callDataLoad when loading from transaction call data
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 9c6dd34 - Browse repository at this point
Copy the full SHA 9c6dd34View commit details
Commits on Oct 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for c1f2827 - Browse repository at this point
Copy the full SHA c1f2827View commit details -
fix(ramToRamTwoSource): typo in tracer and constraints
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 088d032 - Browse repository at this point
Copy the full SHA 088d032View commit details -
Configuration menu - View commit details
-
Copy full SHA for 74459d4 - Browse repository at this point
Copy the full SHA 74459d4View commit details
Commits on Oct 23, 2024
-
initialize callerTargetMemorySpan
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 16b5de9 - Browse repository at this point
Copy the full SHA 16b5de9View commit details
Commits on Oct 24, 2024
-
fix(RDC): sourceRamBytes source
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 2ac8620 - Browse repository at this point
Copy the full SHA 2ac8620View commit details -
Configuration menu - View commit details
-
Copy full SHA for e4ad64b - Browse repository at this point
Copy the full SHA e4ad64bView commit details -
fix conversions bytes to Int needs trimming
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 7537e31 - Browse repository at this point
Copy the full SHA 7537e31View commit details -
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for afbbe46 - Browse repository at this point
Copy the full SHA afbbe46View commit details -
fix lookup mmio into shakira for sha3
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for ff4e65a - Browse repository at this point
Copy the full SHA ff4e65aView commit details -
fix lookup mmio into shakira for return and create2
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 037b125 - Browse repository at this point
Copy the full SHA 037b125View commit details -
partly fix lookup mmio into ecdata
Signed-off-by: F Bojarski <ceciestunepoubelle@protonmail.ch>
Configuration menu - View commit details
-
Copy full SHA for 285d914 - Browse repository at this point
Copy the full SHA 285d914View commit details