Skip to content

Activity

Showing most recent first

SMTChecker: Refactor processing invariants from the solver

Force push
blishkoforce pushed to smt-refactor • 7d072e5…654416f • 
20 hours ago

SMTChecker: Refactor processing invariants from the solver

Force push
blishkoforce pushed to smt-refactor • 8c93088…7d072e5 • 
20 hours ago

SMTChecker: Refactor processing invariants from the solver

Force push
blishkoforce pushed to smt-refactor • 3eafaab…8c93088 • 
21 hours ago

SMTChecker: Refactor processing invariants from the solver

blishkocreated smt-refactor • 3eafaab • 
21 hours ago

SMTChecker: Loop conditions should be analyzed as in loop context in BMC

Force push
blishkoforce pushed to smt-fix-loops-in-bmc • 343184a…2b4d77d • 
yesterday

Merge pull request #15967 from VolodymyrBg/vbg

Pull request merge
cameelpushed 2 commits to develop • 14fcd5d…a04f946 • 
yesterday

Allow constants in custom storage layout expression

Force push
matheusaaguiarforce pushed to allowConstantsCustomStorageLayout • 4aae044…00ee32e • 
2 days ago

Test: Use new universal compiler host

Force push
erakforce pushed to test-compiler-host • eb50f43…132c6f4 • 
2 days ago

Test: Use new universal compiler host

Force push
erakforce pushed to test-compiler-host • 9e5df30…eb50f43 • 
2 days ago

Test: Use new universal compiler host

Force push
erakforce pushed to test-compiler-host • 59c1aa5…9e5df30 • 
2 days ago

Test: Use new universal compiler host

Force push
erakforce pushed to test-compiler-host • 3b47946…59c1aa5 • 
2 days ago

Deleted branch

nikola-maticdeleted repeats_for_external_benchmarks • 
2 days ago

Merge pull request #15965 from ethereum/repeats_for_external_benchmarks

Pull request merge
nikola-maticpushed 2 commits to develop • 6326b86…14fcd5d • 
2 days ago

WIP

Force push
erakforce pushed to test-compiler-host • f79fbae…3b47946 • 
2 days ago

Remove Yul VarNameCleaner

Force push
clonkerforce pushed to numericalIds • 00d3cd9…ac1fe51 • 
2 days ago

Remove Yul VarNameCleaner

Force push
clonkerforce pushed to numericalIds • c810d1a…00d3cd9 • 
2 days ago

Remove Yul VarNameCleaner

Force push
clonkerforce pushed to numericalIds • a878112…c810d1a • 
2 days ago

Inline assembly uses numerical label IDs

Force push
clonkerforce pushed to numericalIds • 041cd35…a878112 • 
2 days ago

fixup! Update and add tests

matheusaaguiarpushed 2 commits to allowConstantsCustomStorageLayout • 059349f…4aae044 • 
3 days ago

Allow constants in custom storage layout expression

Force push
matheusaaguiarforce pushed to allowConstantsCustomStorageLayout • 944dc30…059349f • 
3 days ago

WIP - Constant Evaluator

Force push
matheusaaguiarforce pushed to builtinERC7201 • 5e1f76b…ed695c3 • 
3 days ago

WIP

erakpushed 1 commit to test-compiler-host • 9e50f8c…f79fbae • 
3 days ago

Remove YulName header

Force push
clonkerforce pushed to numericalIds • dee14c2…041cd35 • 
3 days ago

f

Force push
clonkerforce pushed to numericalIds • 98d2f23…dee14c2 • 
3 days ago

f

Force push
clonkerforce pushed to numericalIds • fbad7d2…98d2f23 • 
3 days ago

add repeats to external.sh

clonkercreated repeats_for_external_benchmarks • 77878e5 • 
3 days ago

Test: Use new universal compiler host

Force push
erakforce pushed to test-compiler-host • 6a47a21…9e50f8c • 
3 days ago

f

Force push
clonkerforce pushed to numericalIds • 52511e0…fbad7d2 • 
3 days ago

Yul: add label id dispenser

Force push
clonkerforce pushed to add_node_id_dispenser • d2d9d5b…d7aa648 • 
3 days ago

Test: Use new universal compiler host

Force push
erakforce pushed to test-compiler-host • 0067fdd…6a47a21 • 
3 days ago