Revision history for rme-what4

0.1.1

• Added support for uninterpreted functions

0.1

• First version.