stack

Parameterize Expr and Reft by the variable type #512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ghc-9.8.2 z3-4.10.2	11m 0s
ghc-9.6.5 z3-4.10.2	12m 53s
ghc-9.4.8 z3-4.10.2	12m 2s
	35m 55s