https://github.com/TakehideSoh/SAF
Tip revision: d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6 authored by TakehideSoh on 23 June 2023, 07:02:26 UTC
Merge pull request #2 from TakehideSoh/dev
Merge pull request #2 from TakehideSoh/dev
Tip revision: d26cc9f
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)
