package tcs-lib

tcs-lib

Copyright (c) 2008-2025

A multi-purpose library for OCaml.

It is developed and maintained by:

• (c) Oliver Friedmann, University of Munich (http://oliverfriedmann.com)
• (c) Martin Lange, University of Kassel (http://carrick.fmv.informatik.uni-kassel.de/~mlange/)

Credits

The code for handling the AVL trees is borrowed from the Objective Caml Standard Library Set module. (c) Xavier Leroy, projet Cristal, INRIA Rocquencourt

OPAM

You can install this package via OPAM under the name tcs-lib.

Commands

Build

dune build

Release

1. Change version in dune-project.
2. Update CHANGES.md.
3. Run dune build.
4. Commit

  git status
  git add -A
  git commit -m "message"
  git tag v0.x [--force]
  git push origin master --tags [--force]

1. Release

  dune-release tag
  dune-release distrib
  dune-release publish
  dune-release opam pkg
  dune-release opam submit