package aifad
AIFAD - Automated Induction of Functions over Algebraic Datatypes
Install
Dune Dependency
mmottl.github.io
Readme
Changelog
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License
Edit opam file
Versions (5)
Authors
Maintainers
Sources
aifad-2.3.1.tbz
sha256=8bc849773cb4f16de93725a7012b05e9a98e38d654c87140fa4c18ebac61dd1a
sha512=09d4b6dac5c1f891c4328c2d01eff4300ad7edcaa640552852f45d622e13efd2c4a73ecc5f899dbfa521aceb0fbe8eb6334be6850841302b1915a28a498a0084
CHANGES.md.html
2.3.1 (2024-11-23)
Reformatted everything with ocamlformat
Added missing Menhir version constraint
2.3.0 (2022-03-27)
Switched to OPAM file generation via
dune-projectSwitched to Menhir for parser generation
2.2.2 (2018-10-24)
Updated to OPAM 2.0
2.2.1 (2018-08-16)
Upgraded to Dune 1.1.0
2.2.0 (2018-07-25)
Switched to dune and dune-release
2.1.0 (2017-07-30)
Switched to jbuilder and topkg