Skip to content
Kissat

Incremental precision in DPW encoding #192

Sign in to view logs

Incremental precision in DPW encoding

Incremental precision in DPW encoding #192

Triggered via pull request June 11, 2024 12:14
@chrjabschrjabs
synchronize #104
feat/dpw-precision
Status Success
Total duration 4m 43s
Artifacts –

kissat.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in