1 Repo
Awesome GitHub RepositoriesCompile-Time Loop Bounds
Enforcement of maximum iteration limits on loops during the compilation phase.
Distinct from Iterative Loop Constructs: Distinct from Iterative Loop Constructs by focusing on the compile-time enforcement of upper bounds to prevent infinite execution.
Explore 1 awesome GitHub repository matching software engineering & architecture · Compile-Time Loop Bounds. Refine with filters or upvote what's useful.
Awesome Compile-Time Loop Bounds GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- vyperlang/vyper
vyperlang/vyper
5,180Auf GitHub ansehenVyper is a security-focused, typed programming language and compiler designed for creating smart contracts that execute on the Ethereum Virtual Machine. It utilizes a Pythonic syntax to define contract logic and state, serving as a target for formal verification to allow for machine-checked proofs of correctness. The language distinguishes itself through strict architectural constraints that prioritize predictability and security. It enforces acyclic call graphs by prohibiting recursion and mandates bounded loops to ensure static gas prediction. Additionally, it features a native fixed-point
Restricts all loops to a compile-time upper bound to ensure predictable gas costs and prevent infinite execution.
Pythonethereumethereum-dapplanguage
