https://github.com/TakehideSoh/SAF
Tip revision: 3b45819df15225431050eeb48c1a31ffdd580af7 authored by Daniel Le Berre on 22 June 2023, 20:02:19 UTC
Typo in README
Typo in README
Tip revision: 3b45819
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)
