Terms

# evo-CC Software Licence

Copyright © 2026 **Velobyte, Inc.**, a Delaware corporation ("Velobyte"). All
rights reserved except as expressly granted below.

## 1. Definitions

**"Software"** means the evo-CC compiler and client executables Velobyte
distributes — including `evocc` and `evolve` — together with any transformation
**Library** (the admitted Method definitions and the data they carry) contained
within them, however obtained.

**"Compiler Artifact"** means a compiler produced through Velobyte's service
and delivered to a user, including one obtained from another user.

**"You"** means any person or entity that installs, imports, runs or otherwise
uses the Software or a Compiler Artifact, whether obtained directly from
Velobyte or from another user.

**"Your Content"** means source code, data and other material You supply to the
Software or to Velobyte's service.

## 2. Grant of use

Subject to this licence, Velobyte grants You a worldwide, royalty-free,
non-exclusive, non-transferable licence to install and use the Software and any
Compiler Artifact You have imported, to compile Your Content, for any purpose
including commercial use.

## 3. Restrictions

The grant in §2 does not permit You to, and You shall not:

(a) extract, decompile, disassemble or otherwise recover the Library or any
    Method definition from the Software or from a Compiler Artifact, except to
    the limited extent that applicable law grants a right that cannot be waived
    by contract;

(b) republish, redistribute, sublicense, sell or incorporate the Library or any
    Method definition, in whole or in part, into any other product or compiler;
    or

(c) remove, obscure or alter any provenance, attribution, watermark or licence
    notice the Software or a Compiler Artifact emits or contains.

Sharing a Compiler Artifact with another user is permitted and is not a breach
of (b), provided the recipient imports it through Velobyte's service and is
thereby bound by this licence.

The transformations the Software applies are Velobyte's. The compiled **output**
produced from Your Content is Yours, and nothing in this section restricts Your
use of that output.

## 4. Derived works and continuous derivation

(a) **What You receive.** Where the Software or Velobyte's service produces an
    artifact for You, You receive that artifact and the rights stated in §2. You
    receive nothing further by implication.

(b) **What Velobyte retains.** In the course of operating the service Velobyte
    derives further works — including proofs, lemmas, generalised
    transformations, admitted Library entries, measurements and statistical
    models — from material reaching the service, including from Your Content.
    All such derived works are Velobyte's, are owned by Velobyte as and when
    they are created, and are not delivered, licensed, escrowed or otherwise
    made available to You, whether or not they were derived from Your material
    and whether or not they were created while performing work for You.

(c) **Continuity.** The rights in (b) attach continuously and automatically as
    derived works are created. Nothing in this licence requires Velobyte to
    identify, enumerate, deliver or account for them.

(d) **Export scope.** Where You export, or Velobyte supplies, a copy of material
    associated with Your account, that export is scoped to Your Content and the
    outputs produced for You. Derived works under (b) — in particular proofs
    derived from Your Content — are Velobyte's derived work and do not travel
    with such an export.

(e) **Your Content.** Nothing in this section transfers ownership of Your
    Content to Velobyte.

## 5. Retention and use of Your Content

Velobyte collects and retains Your Content submitted to the service and may use
it to operate, evaluate and improve the service and the Library, including to
train models. This is a separate permission from the grant in §2 and from the
ownership stated in §4(e), which is unaffected.

## 6. No warranty

THE SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS
OF ANY KIND, express or implied, including without limitation any warranties of
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, or NON-INFRINGEMENT.

## 7. No performance or correctness guarantee

The Software optimises and transforms code on a best-effort basis. Velobyte does
not warrant that compiled output is faster than, equivalent to, or correct with
respect to any other compiler's output, or that any optimisation applies to Your
Content. A Compiler Artifact produced for one program carries no assurance of
benefit for any other. **You are responsible for validating the correctness and
performance of all output before relying on it.**

## 8. Limitation of liability

IN NO EVENT shall Velobyte be liable for any direct, indirect, incidental,
special, exemplary or consequential damages arising out of the use or inability
to use the Software or any Compiler Artifact, however caused and on any theory
of liability.

## 9. Excluded uses and device testing

(a) **Safety-critical systems.** The Software is not licensed for, and must not
    be used in, the development or operation of any safety-critical system,
    including without limitation medical devices, avionics, automotive safety
    systems, weapons systems or life-support equipment.

(b) **Device isolation.** Tuning builds, flashes and executes code on hardware
    You supply. You are responsible for ensuring that any device You connect for
    measurement is completely disconnected from anything its pins drive or are
    driven by before a run begins. Velobyte cannot observe what a device is
    wired to.

(c) **No liability for physical outcomes.** Velobyte is not liable for any
    damage to, destruction of, or loss caused by or to any device, connected
    equipment or surrounding property arising from a measurement run, however
    caused.

(d) **Device maps are best effort.** Where the Software ships or derives a map
    of device-memory regions for a part, that map is provided on a best-effort
    basis and is not a guarantee that every such region on Your hardware has
    been identified.

## 10. Host toolchain

The Software invokes a host C compiler (for example `gcc` or `cc`) as a separate
program to assemble output. Such invocation is use of a separate work as a tool
and does not make the Software a derivative of that compiler.

## 11. Termination

This licence terminates automatically if You breach §3 or §4. On termination You
must cease use of the Software and all Compiler Artifacts and destroy all
copies.

Sections 4, 5, 6, 7, 8 and 9 survive termination.

## 12. Governing law

This licence is governed by the laws of the State of Delaware, without regard to
its conflict-of-laws rules. The exclusive venue for any dispute arising under it
is the state and federal courts located in Delaware, and You consent to the
jurisdiction of those courts.

## 13. Entire agreement and severability

This licence is the entire agreement between You and Velobyte concerning the
Software and any Compiler Artifact, and supersedes any prior understanding on
that subject. If any provision is held unenforceable, it shall be modified to
the minimum extent necessary to make it enforceable, and the remaining
provisions shall remain in full force.