Skip to content

Releases: ymyzk/lambda-dti

v2.2

08 Apr 13:18
Compare
Choose a tag to compare

Maintenance release to support recent build environments. There are no changes to the interpreter implementation.

  • Use GitHub Actions instead of Travis CI
  • Add OCaml 4.08 to 4.14 to test matrix
  • Update outdated documentation
  • Upgrade OPAM version from 1.2 to 2.0
  • Upgrade dune from 1.2 to 2.0 or later
  • Upgrade base image for Docker images

v2.1

16 Nov 14:35
Compare
Choose a tag to compare

Final version for POPL 2019

v2.0

27 Oct 13:41
544a582
Compare
Choose a tag to compare

Submission to POPL AE