package psmt2-frontend

  1. Overview
  2. Docs
The psmt2-frontend project

Install

Dune Dependency

Authors

Maintainers

Sources

0.4.0.tar.gz
sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780

CHANGES.md.html

second public release 0.2, January 18, 2019

  • Add some small examples and a standalone binary for parsing and typing smt2 language.

  • Improve ReadMe

  • Add more options for logic and verbose

  • Correct bug in lexing for hexadecimal and binary number

  • Add support for "_" in pattern matching in parsing/syntax

  • Correct typing for DataTypes

  • Improve typing of logic for futur support of BV and FP

  • Add option for keeping location in parsed tree

first public release 0.1, April 20, 2018

  • First release

OCaml

Innovation. Community. Security.