Skip to content

Actions: Consensys/linea-constraints

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,699 workflow runs
2,699 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: STP: adapation to the fact that only CALL cares about EXISTS Check compilation #2474: Commit 6622a72 pushed by OlivierBBB
November 21, 2024 08:33 17s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 21, 2024 08:33 17s
The HUB debugging never stops Check compilation #2473: Pull request #512 synchronize by OlivierBBB
November 21, 2024 07:43 13s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 21, 2024 07:43 13s
fix: "setStpInstructionCall" update in spec Check compilation #2472: Commit a455869 pushed by OlivierBBB
November 21, 2024 07:43 19s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 21, 2024 07:43 19s
fix: exo sum must be decoded for LIMB_VANISHES MMIO inst Check compilation #2471: Pull request #509 synchronize by letypequividelespoubelles
November 20, 2024 07:02 13s 508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
November 20, 2024 07:02 13s
Merge branch 'master' into 508-need-to-decode-exosum-for-limb-vanishe… Check compilation #2470: Commit b47a666 pushed by letypequividelespoubelles
November 20, 2024 07:02 13s 508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
November 20, 2024 07:02 13s
The HUB debugging never stops Check compilation #2469: Pull request #512 opened by OlivierBBB
November 20, 2024 04:43 13s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 20, 2024 04:43 13s
fix: EXP's lookup indicator flag vanishes outside of preprocessing rows Check compilation #2468: Commit 9fa4ea7 pushed by OlivierBBB
November 20, 2024 04:43 13s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 20, 2024 04:43 13s
ras: renaming + formatting Check compilation #2467: Commit af444c1 pushed by OlivierBBB
November 16, 2024 14:19 19s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 16, 2024 14:19 19s
Merge branch 'master' into the-HUB-debugging-never-stops Check compilation #2466: Commit 5d9c3c8 pushed by OlivierBBB
November 16, 2024 12:14 14s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 16, 2024 12:14 14s
remove nbAdded and nbAdded (#511) Check compilation #2465: Commit adba474 pushed by OlivierBBB
November 16, 2024 07:29 13s master
master
November 16, 2024 07:29 13s
fix: typo in CALL instruction's new-call-value Check compilation #2464: Commit 29e300b pushed by OlivierBBB
November 15, 2024 16:16 19s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 15, 2024 16:16 19s
remove nbAdded and nbAdded Check compilation #2463: Pull request #511 opened by letypequividelespoubelles
November 15, 2024 16:02 14s 510-rm-hubnbadded
510-rm-hubnbadded
November 15, 2024 16:02 14s
and in ref tables too Check compilation #2462: Commit e2113be pushed by letypequividelespoubelles
November 15, 2024 16:02 14s 510-rm-hubnbadded
510-rm-hubnbadded
November 15, 2024 16:02 14s
ras: splitting of constraints Check compilation #2461: Commit 324a345 pushed by OlivierBBB
November 15, 2024 16:02 14s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 15, 2024 16:02 14s
remove nbAdded and nbAdded Check compilation #2460: Commit 6e2b8d9 pushed by letypequividelespoubelles
November 15, 2024 16:01 16s 510-rm-hubnbadded
510-rm-hubnbadded
November 15, 2024 16:01 16s
feat(mmio): plug MMIO (#313) Check compilation #2459: Commit dcc15ce pushed by letypequividelespoubelles
November 15, 2024 15:42 15s 510-rm-hubnbadded
510-rm-hubnbadded
November 15, 2024 15:42 15s
fix: exo sum must be decoded for LIMB_VANISHES MMIO inst Check compilation #2458: Pull request #509 opened by letypequividelespoubelles
November 15, 2024 13:59 13s 508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
November 15, 2024 13:59 13s
fix: exo sum must be decoded for LIMB_VANISHES MMIO inst Check compilation #2457: Commit 0507c9f pushed by letypequividelespoubelles
November 15, 2024 13:58 16s 508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
November 15, 2024 13:58 16s
feat(mmio): plug MMIO (#313) Check compilation #2456: Commit dcc15ce pushed by letypequividelespoubelles
November 15, 2024 13:56 18s 508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
508-need-to-decode-exosum-for-limb-vanishes-mmio-inst
November 15, 2024 13:56 18s
fix: CALL_SMC_FAILURE_WILL_REVERT case had wrong guard Check compilation #2455: Commit 870c339 pushed by OlivierBBB
November 14, 2024 16:31 15s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 14, 2024 16:31 15s
feat(mmio): plug MMIO (#313) Check compilation #2454: Commit dcc15ce pushed by OlivierBBB
November 13, 2024 17:19 14s master
master
November 13, 2024 17:19 14s
feat(mmio): plug MMIO Check compilation #2453: Pull request #313 synchronize by letypequividelespoubelles
November 13, 2024 15:13 14s feat/issue-144/switch-on-mmio-constraints
feat/issue-144/switch-on-mmio-constraints
November 13, 2024 15:13 14s
Merge branch 'master' into feat/issue-144/switch-on-mmio-constraints Check compilation #2452: Commit 1715992 pushed by letypequividelespoubelles
November 13, 2024 15:13 15s feat/issue-144/switch-on-mmio-constraints
feat/issue-144/switch-on-mmio-constraints
November 13, 2024 15:13 15s
fix: using named offsets in KECCAK instruction family Check compilation #2451: Commit 763a606 pushed by OlivierBBB
November 12, 2024 04:21 18s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 12, 2024 04:21 18s
fix: REVERT was incoherently updating return data twice Check compilation #2450: Commit d22dbc6 pushed by OlivierBBB
November 11, 2024 14:51 15s the-HUB-debugging-never-stops
the-HUB-debugging-never-stops
November 11, 2024 14:51 15s
ProTip! You can narrow down the results and go further in time using created:<2024-11-11 or the other filters available.