https://github.com/TakehideSoh/SAF
Tip revision: e9e82f4c7dadd6b023b6e5bdca88feca1ef49bbe authored by Daniel Le Berre on 21 June 2023, 06:10:44 UTC
Running example of tool paper in example directory
Running example of tool paper in example directory
Tip revision: e9e82f4
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)
