hoice-haskell

A haskell implementation of HoIce¹.

Installation

Install Z3 to your system. A working commit is 907d310600f54fda62ad3b742efe584e7ff21174.

Champion, Adrien, et al. "ICE-based refinement type discovery for higher-order functional programs." International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, Cham, 2018. ↩

Name		Name	Last commit message	Last commit date
Latest commit History 73 Commits
app		app
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
hie.yaml		hie.yaml
hoice-haskell.cabal		hoice-haskell.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock