File stp.changes of Package stp
-------------------------------------------------------------------
Mon Feb 27 09:22:51 UTC 2017 - jslaby@suse.com
- require only boost-program-options in tumbleweed
-------------------------------------------------------------------
Sat Feb 18 18:19:46 UTC 2017 - jslaby@suse.com
- create libstp2_1 for library as required by policy
-------------------------------------------------------------------
Sun Nov 20 18:29:42 UTC 2016 - jslaby@suse.com
- require minisat-devel and boost-devel in -devel
-------------------------------------------------------------------
Fri Nov 18 15:09:25 UTC 2016 - jslaby@suse.com
- package also stp_simple, needed for cmake find_package
- Update to version 2.2+20161105:
* Improve performance by creating fewer strings.
* GitSHA1: really disable timestamp when requested
* ASTNode rvalue reference assignment and copy constructor.
* simplifier: use abort() after assert(false)
* bug fix.
* (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst.
* Might fix the issue described in #235. Missing dependencies.
* oops. fix build.
-------------------------------------------------------------------
Fri Oct 28 06:59:23 UTC 2016 - jslaby@suse.com
- update to 20161028
- remove simplifier-use-abort-instead-of-assert-false.patch
- remove GitSHA1-really-disable-timestamp-when-requested.patch
-------------------------------------------------------------------
Wed Oct 19 06:12:01 UTC 2016 - jslaby@suse.com
- update to 20161005
- switch to ninja and %cmake macros
- disable timestamps
- add simplifier-use-abort-instead-of-assert-false.patch
- add GitSHA1-really-disable-timestamp-when-requested.patch
-------------------------------------------------------------------
Fri Nov 27 10:58:16 UTC 2015 - jslaby@suse.com
- update to 20151122
-------------------------------------------------------------------
Tue Nov 3 10:40:57 UTC 2015 - jslaby@suse.com
- update to 20151030
- package AUTHORS and LICENSE
-------------------------------------------------------------------
Fri Sep 4 08:31:18 UTC 2015 - jslaby@suse.com
- update to 20150904
* remove: AST-simplify-FatalError-and-mark-as-noreturn.patch
-------------------------------------------------------------------
Fri Sep 4 08:09:59 UTC 2015 - jslaby@suse.com
- remove: fix-no-return-in-nonvoid.patch
- add: AST-simplify-FatalError-and-mark-as-noreturn.patch
-------------------------------------------------------------------
Thu Sep 3 17:56:22 UTC 2015 - jslaby@suse.com
- update to 20150828
* drop one hunk from fix-no-return-in-nonvoid.patch
-------------------------------------------------------------------
Mon Apr 20 12:14:45 UTC 2015 - jslaby@suse.com
- update to 20150418
* remove: fix-install-paths.patch
* remove: no-build-timestamps.patch
-------------------------------------------------------------------
Thu Apr 16 09:09:41 UTC 2015 - jslaby@suse.com
- update to 20150415
* drop one hunk from fix-no-return-in-nonvoid.patch
-------------------------------------------------------------------
Thu Oct 30 10:36:12 UTC 2014 - jslaby@suse.com
- add no-build-timestamps.patch
-------------------------------------------------------------------
Mon Oct 20 13:51:24 UTC 2014 - jslaby@suse.com
- update to 20140928
* many fixes
* remove-broken-functions.patch: remove, upstream
-------------------------------------------------------------------
Tue Apr 15 09:49:38 UTC 2014 - jslaby@suse.com
- initial commit