openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File stp.changes of Package stp (Revision ced2594c82f162efea7ba896cdcf5189)

Currently displaying revision ced2594c82f162efea7ba896cdcf5189 , Show latest

-------------------------------------------------------------------
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

Places

File stp.changes of Package stp (Revision ced2594c82f162efea7ba896cdcf5189)

Places