Skip to content
Check formatting

Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) #2032

Sign in to view logs

Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality)

Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) #2032

Triggered via pull request February 10, 2025 20:22
@benjaminselfridgebenjaminselfridge
synchronize #954
GaloisInc:feature/lean_external_arith
Status Success
Total duration 45s
Artifacts –

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 notices
764 tests found
There are 764 tests, see "Raw output" for the full list of tests.
764 tests found
There are 764 tests, see "Raw output" for the full list of tests.