Semantic
— checks
Put your Rx compiler to the test.
— checks
— checks
— checks
— checks
| Submission | Language | Verdict | Tests |
|---|
Sign in to start your first run.
Current test suite commit
Loading…
YOUR COMPILER / IN THE QUEUE
A little patience. The open road is just ahead.
Waiting for a worker
Beat the Rust baseline. Climb the ranks.
Sign in to see the Rust baseline.
| Rank | Account | Score | Best submission | Language | Achieved |
|---|
Sign in to see the leaderboard.
Find a run. Follow its progress. Keep the scores fair.
Sign in as an administrator to manage runs.
Only passes on the current test commit count.
| Student | Semantic | IR | Codegen | Optimization | Score |
|---|
Voided runs keep their history and do not count toward optimization scores.
| Run | Account | Suite / language | Status | Passed | Test commit | Actions |
|---|
Try another search or clear the filters.
From your first build to your best score.
Your score is the geometric mean of the Rust baseline cycles divided by your cycles for each optimization testcase, with cycles summed across all inputs. The baseline uses the lowest correct total across Rust optimization levels 0, 1, 2, 3, s, and z. 1.0 matches Rust; scores above 1.0 beat the baseline. Your best fully accepted optimization run on the current test catalog counts; Voided runs are excluded.
After fetching your repository, the judge detects the selected language’s
dependency manifest and prepares packages before running BUILD.
Compiler builds and all tests run without network access.
The commands below run automatically inside the judge. Downloads only allow from crates.io, PyPI, npm, or Maven Central.
Commit Cargo.toml and Cargo.lock.
cargo fetch --locked
Cargo uses the prepared cache with CARGO_NET_OFFLINE=true
during builds. Your BUILD command still needs to compile
your project, for example with cargo build --release --locked.
Commit requirements.txt with pinned versions and hashes
for every direct and transitive dependency. Packages must have wheels
compatible with the judge’s Python version and platform.
python3 -m pip download \
--require-hashes --only-binary=:all: \
--dest /workspace/.rx-oj-deps/wheels \
-r requirements.txt
python3 -m venv /workspace/.venv
/workspace/.venv/bin/python -m pip install \
--no-index --find-links /workspace/.rx-oj-deps/wheels \
--require-hashes --only-binary=:all: \
-r requirements.txt
Build and testcase commands automatically use this virtual environment.
Commit package.json and package-lock.json.
npm ci --no-audit --no-fund --ignore-scripts
npm ci --no-audit --no-fund --offline
Commit pom.xml and pin dependency and plugin versions.
mvn -B -ntp -s /opt/rx-oj/maven-settings.xml \
org.apache.maven.plugins:maven-dependency-plugin:3.8.1:go-offline
Builds inherit
MAVEN_ARGS="-o -s /opt/rx-oj/maven-settings.xml" to stay
offline. Your BUILD command can run mvn package.
There is no automatic dependency fetch command.
Manifests are detected at the repository root by default. To prepare
dependencies elsewhere, commit .rx-oj.toml at the root:
[dependencies]
directory = "crates/compiler"
Without a manifest, the judge skips preparation. For a fully vendored project, use
enabled = false in the [dependencies] section.