Add prod_rect rewrite rule for saturated arithmetic · mit-plv/fiat-crypto@7ad7c2d

Triggered via pull request December 9, 2023 00:20

JasonGross

opened #1780

Status Failure

Total duration 45m 42s

Artifacts 3

coq-alpine.yml

on: pull_request

Matrix: build

Matrix: test-standalone

2 errors

Process completed with exit code 2.

Process completed with exit code 1.

Produced during runtime

Name	Size
ExtractionHaskell-edge Expired	5.41 KB
ExtractionOCaml-edge Expired	3.55 KB
generated-files-edge Expired	4.72 MB