package smt-string

  1. Overview
  2. Docs
A library of Unicode string and regular expression values following the SMT-LIB standard

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. H
    Hichem Rami Ait-El-Hara <hra@ocamlpro.com>

Maintainers

  1. H
    Hichem Rami Ait-El-Hara <hra@ocamlpro.com>

Sources

smt-string-0.2.tbz
sha256=1487dd32e894a3808479ed79bd139509b0a7426bd0bd54e66b3f13464175554d
sha512=82e2ccc4d3176543846bf71c626dcfb2d3708e1131527f24279d0305fb363e4d19d730f2c5c788629f52e4d4968dcb7726d8bcff2e5d4faa734914b40bfaad35

doc/CHANGES.html

0.2

  • Keep only string and regex primitives, SMT-LIB semantics move to dolmen.
  • Drop zarith, require OCaml >= 4.08.1.
  • Ustr: add get_opt, fold_left, sub, find, find_opt.
  • Reglan: expose private term type, add deriv, find_opt.

0.1

  • Initial release.
  • Codepoint: Unicode code points in the range 0x0-0x2FFFF (planes 0-2).
  • Ustr: SMT-LIB Unicode strings and the str.* operations.
  • Reglan: SMT-LIB regular expressions (re.* operations), with membership decided by Brzozowski derivatives.