Revision cdc065eecfa65fc3613cd21ec0882f9209700b02 authored by Christian Doczkal on 11 May 2022, 08:47:50 UTC, committed by Pierre-Yves Strub on 12 May 2022, 06:43:29 UTC
- #non-backward-compatible: this commits generalizes `Bigop.reindex` to restrict the cancellation property to the index list.
1 parent de42d06
dune
(env
(dev (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58))
(release (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58)
(ocamlopt_flags -O3 -unbox-closures)))
(include_subdirs unqualified)
(executable
(public_name easycrypt)
(name ec)
(promote (until-clean))
(libraries batteries dune-build-info inifiles why3 yojson zarith))
(ocamllex ecLexer)
(menhir
(modules ecParser)
(flags --table --explain))
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...