How to generate coq sail library files? #352
-
|
Hello, I'm trying to learn how to use sail generated coq code, but can't find docs about generating lib files. So far I've generated coq files for duopod model and it has imports like "Require Import Sail.Base." I assume I need to generate "Sail.Base" from some another file? How can I do this? |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
|
The library files are in the https://github.com/rems-project/coq-sail repository. It's also available as an opam package in the Coq opam repository. |
Beta Was this translation helpful? Give feedback.
-
|
@bacam Thanks, that works! |
Beta Was this translation helpful? Give feedback.
The library files are in the https://github.com/rems-project/coq-sail repository. It's also available as an opam package in the Coq opam repository.