Skip to content

Conversation

@letypequividelespoubelles
Copy link
Collaborator

No description provided.

@letypequividelespoubelles letypequividelespoubelles linked an issue Jul 30, 2025 that may be closed by this pull request
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
@letypequividelespoubelles letypequividelespoubelles linked an issue Jul 31, 2025 that may be closed by this pull request
letypequividelespoubelles and others added 16 commits August 1, 2025 15:37
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
…ys/linea-constraints into 713-rlp_utils-constraints-implem
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: F Bojarski <[email protected]>
CT and CT_MAX are now i16
added @prove to a few binary columns (which may be redundant for LX/LT)
cursor[bot]

This comment was marked as outdated.

cursor[bot]

This comment was marked as outdated.

cursor[bot]

This comment was marked as outdated.

@OlivierBBB OlivierBBB force-pushed the 713-rlp_utils-constraints-implem branch from 16f005f to 52b406d Compare August 11, 2025 16:03
cursor[bot]

This comment was marked as outdated.

cursor[bot]

This comment was marked as outdated.

@OlivierBBB OlivierBBB changed the title feat: add rlp_utils constraints RLP_UTILS and RLP_TXN constraints implementation Aug 12, 2025
@OlivierBBB OlivierBBB self-requested a review August 12, 2025 12:40
Copy link
Collaborator

@OlivierBBB OlivierBBB left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@OlivierBBB OlivierBBB merged commit 21fecff into master Aug 12, 2025
4 checks passed
@OlivierBBB OlivierBBB deleted the 713-rlp_utils-constraints-implem branch August 12, 2025 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

RLP_UTILS constraints implem RLP_TXN constraints implementation

3 participants