package psmt2-frontend

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