Skip to content
Build DafnyRef.pdf

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #20283

Sign in to view logs

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #20283

Triggered via pull request July 9, 2025 18:22
@keyboardDrummerkeyboardDrummer
synchronize #6301
keyboardDrummer:refactorBoogieGenerator
Status Success
Total duration 3m 0s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
DafnyRef Expired
1.47 MB
sha256:8bdff52a1b8f6b93c1a1752fcd1f62f1a3449c45b67fe16b9f0c97b4c95fed6f