koika icon indicating copy to clipboard operation
koika copied to clipboard
verified publisher icon mit-plv

Updates and improvements

Open spacefrogg opened this issue 1 year ago • 0 comments

This PR brings:

  • Code updates to support Coq 8.18 and OCaml 8.14
  • Tool chain rewrite to use Dune 3 instead of Make
  • Nix flake for stable development environment + GitHub CI runner
  • New testing utilities to aid development projects that use Koika
  • Decoupling some output features from cuttlec (C++ code formatting) for better separation of concern
  • Documentation updates / improvements (e.g. contribution guide, machine-readable citation data)

spacefrogg avatar Sep 13 '24 10:09 spacefrogg