This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

CI for proof generation #36

Open

5 tasks

nishantjr opened this issue May 17, 2023 · 0 comments

Contributor

nishantjr commented May 17, 2023 •

edited

Loading

Currently, CI only runs scripts/test, which only runs python unit-tests.

CI builds reference metamath
CI runs metamath against mm files in theory directory
CI builds K
CI runs examples/oopsla23 against reference metamath implementation (For this to pass we will need an older version of K)
CI builds KEVM

The text was updated successfully, but these errors were encountered:

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.