coq-community / reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]

Mozilla Public License 2.0

6 stars 6 forks source link

coq coq-ci coq-plugin side-effects

readme

Reduction Effects

Meta

Author(s):
- Hugo Herbelin (initial)
Coq-community maintainer(s):
- Yishuai Li (@liyishuai)
- Jason Gross (@JasonGross)
License: Mozilla Public License 2.0
Compatible Coq versions: Coq 8.10 or later
Additional dependencies:
- Cppo
Coq namespace: ReductionEffect
Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Reduction Effects is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-reduction-effects

To instead build and install manually, do:

git clone https://github.com/coq-community/reduction-effects.git
cd reduction-effects
make   # or make -j <number-of-cores-on-your-machine> 
make install