boostorg / contract

Contract programming for C++
http://www.boost.org/doc/libs/develop/libs/contract/doc/html/index.html
Boost Software License 1.0
40 stars 27 forks source link

Still not in Boost release? #1

Closed bc-lee closed 7 years ago

bc-lee commented 7 years ago

Hi, I found that your boost-contract library is suitable for contract-based programming in C++ and I heared your library passed boost code-review, which is cool.

However, the code review was almost 5 years ago.

Are there any plans to release this libray to boost?

lcaminiti commented 7 years ago

Not a commitment but... I'm planning to release this library within a year. Assuming the Boost community still wants it, I'll release it in Boost. Otherwise, I'll just release it on GitHub.

In the meanwhile, you are welcome to use the library from GitHub. Master is stable. I also keep the develop branch pretty stable and it's got the latest and greatest API. The version of the library in the develop branch is pretty much final... all implemented and tested, just doing a final update to the docs now.

Docs from master with examples on how to use the library (including postcondition old values and subcontracting, but the API in the develop branch changed a bit): https://lcaminiti.github.io/boost-contract/doc/html/index.html