aifad
aifad copied to clipboard

Published 20 hours ago •

mmottl

→

Metadata

AIFAD - Automated Induction of Functions over Algebraic Data Types

Reame
Issues

Results 1 aifad issues

Sort by recently updated

FreeBSD build/install

===> Building for aifad-2.2.1 --- all --- dune build @install getconf (internal) getconf: no such configuration parameter `_NPROCESSORS_ONLN' ocamlc src/.aifad.eobjs/typing.{cmi,cmti} (exit 2) (cd _build/default && /usr/local/bin/ocamlc.opt -w @a-4-29-40-41-42-44-45-48-58-59-60-40 -strict-sequence -strict-formats...

ndowens