Revision history for rme-what4

0.1.2 -- 2026-01-26

• Synchronize with rme release.

0.1.1

• Added support for uninterpreted functions

0.1

• First version.