https://github.com/TakehideSoh/SAF
Tip revision: e66d2177e28e3d67e22eb746ad49bc8884f5b055 authored by TakehideSoh on 22 June 2023, 06:04:05 UTC
Merge pull request #1 from TakehideSoh/dev
Merge pull request #1 from TakehideSoh/dev
Tip revision: e66d217
NEWS.md
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)
