Sirui Lu

icon indicating an email [email protected]

icon company @uwplse icon location Seattle, WA icon location PhD candidate at the University of Washington.

Results 12 comments of Sirui Lu

add vanilla cabal/ghc build matrix too?

Hi Carter, Thank you for your interest in Grisette! 1. We attach great importance to the compatibility of the tool, and we have tested on GHC 8.10-9.4. I assume that...

add vanilla cabal/ghc build matrix too?

As for the SMT solvers, we manage the testing environment in the CI script via nix, and the file [.github/workflows/flake-ci.nix](https://github.com/lsrcz/grisette/blob/main/.github/workflows/flake-ci.nix) specifies the environment. Thanks for pointing this out.