1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
Version 1.5.2
-------------

- more copyright updates in banner
- fixed MinGW cross-compilation (see 'BUILD.md')

Version 1.5.1
-------------

- fixed copyright and added two regression traces

Version 1.5.0
-------------

- added 'constrain' API call described in our FMCAD'21 paper

- replaced "`while () push_back ()`" with "`if () resize ()`" idiom
  (thanks go to Alexander Smal for pointing this out)