Version 0.4.0

Add support for :

• (maximize <term>) and (minimize <term>) commands
• (check-all-sat) command

Version 0.3.1

• fix typing support for incremental commands

Version 0.3

• Switch to drom build system (dune + opam)
• Incremental command are now supported

Second release

• 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 release

Merge pull request #2 from Coquera/next

Next