Lorenzo Caminiti d8afc9bb39 added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00

..

call_if

resolved a few TODOs, also fixing old for except of public functions virtual calls

2016-09-27 20:54:23 -07:00

check

added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00

constructor

added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00

destructor

added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00

detail

passing all tests with all link combinations shared, static, and header

2016-12-15 02:15:50 -08:00

disable

passing all tests with all link combinations shared, static, and header

2016-12-15 02:15:50 -08:00

function

added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00

invariant

built all tests and examples on msvc with all contract_no combinations

2016-12-12 21:07:46 -08:00

old

built all tests and examples on msvc with all contract_no combinations

2016-12-12 21:07:46 -08:00

public_function

added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00

result

built all tests and examples on msvc with all contract_no combinations

2016-12-12 21:07:46 -08:00

specify

made specify copy operations private so using auto instead of check generates compiler error (add tests for that)

2016-12-20 06:19:08 -08:00

Jamfile.v2

added contract_macro.hpp interface

2017-02-10 21:41:58 -08:00