package ocamlregextkit

  1. Overview
  2. Docs
A regular expression toolkit for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

ocamlregextkit-0.2.0.tbz
sha256=6747cd6898803b73988f0d5fb71945e2196744c6ac87f4f5987e0bd192d2397e
sha512=e3904d2171ef09e6fb64665dc6752e8d70c4ef0d6fd8a360aae3006dc6df6ec90893cbb5f1a7aa15f4d2731f61a06fbdcc8f64ceadd677b26fb54b8d9a7d8ea9

README.md.html

A Regular Expression Toolkit

OCamlregextkit is a library providing simple interface to operations on regular expressions, NFAs, and DFAs.

Written in OCaml, using the Dune build system.

Installation

Requires

  • OCaml v4.14.0 or greater

  • Dune v3.4 or greater

See OCaml docs for installation instructions.

Documentation

Find documentation for the toolkit here

Note: all modules are packaged into a single module Regextkit

Demo

For demonstration purposes, demo is a program built using the toolkit which accepts two regular expressions on the command line, and either verifies that they are equivalent or prints a word that matches one expression but not the other.

Build the Library

make

Build the demo

cd demo
make

Run the demo

dune exec ./demo.exe "<regex>" "<regex>"

To test the demo, run

make test

This will run a set of test cases, which checks correctness of basic parsing, equivalence, and difference of two regular expressions.

Testing

The testing directory contains code to profile and run timing tests for equivalence and minimisation of DFAs.

Run make profile or make test to compile and execute the respective function.

Make Targets

  • make Builds the library with dune

  • make clean Removes dune's build directory

  • make doc Generates documentation for the toolkit

OCaml

Innovation. Community. Security.