townforge/contract
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 9754d1cf05 renamed aux to detail Lorenzo Caminiti 2016-03-01 10:00:31 -0800
  • e7a8c6a502 removed CONFIG infix for all config macros (to better conform to Boost's naming conventions) Lorenzo Caminiti 2016-02-29 07:15:05 -0800
  • b21744fbe1 added all copyrights and rebuilt all tests with msvc, gcc, and clang with all contracts on/off Lorenzo Caminiti 2016-02-20 10:06:57 -0800
  • b1249bc6bc added copyright and fixed all includes Lorenzo Caminiti 2016-02-08 22:14:59 -0800
  • fe3c78ad90 started to compile this lib as dll Lorenzo Caminiti 2016-01-30 13:09:33 -0800
  • 1ab47c587c added max_bases test. renamed aux::test to test::aux. Lorenzo Caminiti 2016-01-27 08:10:48 -0800
  • 8462c58993 tested that removing all friend relationships does not reduce compilation time at all Lorenzo Caminiti 2016-01-24 14:51:53 -0800
  • 035305aff4 tested function overloads and protected bases Lorenzo Caminiti 2016-01-24 09:19:30 -0800
  • 50096d396c supporting configurable public function arity using variadic templates when available, or preprocessor metaprogramming otherwise Lorenzo Caminiti 2016-01-22 08:14:07 -0800
  • 022e1617b4 removed all possible code when contracts off Lorenzo Caminiti 2016-01-13 07:46:46 -0800
  • b23f00d498 disabled more code when contracts are off Lorenzo Caminiti 2016-01-10 20:49:08 -0800
  • 63372678f3 compiled all tests with contracts on/off on msvc, gcc, and clang Lorenzo Caminiti 2016-01-08 05:08:53 -0800
  • 095d72ade4 compiled contracts on/off for all destructor tests Lorenzo Caminiti 2016-01-05 18:30:20 -0800
  • c927e7293c added contract on/off to all constructor tests Lorenzo Caminiti 2016-01-04 07:21:27 -0800
  • ff8b35f9f2 started to implement and test contract compilation on/off Lorenzo Caminiti 2015-12-24 22:32:35 -0800
  • d1e1765cdb renamed ..._failed to ..._fail Lorenzo Caminiti 2015-12-16 21:30:22 -0800
  • ea5c6acd95 checked classes for copyable/non-copyable Lorenzo Caminiti 2015-12-15 15:24:09 -0800
  • ec79700b26 added tests for throwing from .old() Lorenzo Caminiti 2015-12-15 11:51:44 -0800
  • 07248b63ea finished with all decl_* tests Lorenzo Caminiti 2015-12-15 10:41:34 -0800
  • ae62d81def renamed some decl_... Lorenzo Caminiti 2015-12-14 07:59:51 -0800
  • f57c437e8b finshed decl... tests Lorenzo Caminiti 2015-12-13 08:37:33 -0800
  • af37a98f78 fixed and tested run-time error when missing contract guard Lorenzo Caminiti 2015-12-03 08:01:00 -0800
  • 5c047bccb2 started testing with/without pre/post/inv decl. fixed inv not checked on exit when assertion failure handlers throw. made dtors noexcept(false) for c++11 so assertion failure can throw. fixed has_static_inv to not condier static_inv inherited from base classes. Lorenzo Caminiti 2015-12-02 07:25:31 -0800
  • 8e9d7474f1 added const volatile invariants Lorenzo Caminiti 2015-11-11 07:47:36 -0800
  • 72eb227bcf added access for public functions and constructors, destructors done next Lorenzo Caminiti 2015-11-09 07:59:38 -0800
  • 438cb53dc9 returning null old ptr when old value type is not copy constructible Lorenzo Caminiti 2015-11-06 08:08:16 -0800
  • a79f6d3c13 fixed virtual optional result type and simplified inv failure handlers Lorenzo Caminiti 2015-11-04 21:20:21 -0800
  • 9b7d4e5fa0 fixed mixed boost::optional and non result types Lorenzo Caminiti 2015-11-02 06:54:50 -0800
  • 60213457ea updated todos Lorenzo Caminiti 2015-10-30 17:04:51 -0700
  • a88e67c131 added deep search of inheritance graph Lorenzo Caminiti 2015-10-29 19:51:05 -0700
  • 35d14e5e61 renamed make_old() to null_old() Lorenzo Caminiti 2015-10-25 09:33:05 -0700
  • edad097a5d tested old-of under a few corner cases and renamed oldof.hpp to old.hpp Lorenzo Caminiti 2015-10-23 19:38:09 -0700
  • c594323bef added .old(...) Lorenzo Caminiti 2015-10-23 15:46:47 -0700
  • 7e52eb0a96 reviewed all TODOs Lorenzo Caminiti 2015-07-01 17:00:52 -0700
  • f42662e44c completed first revised draft of docs Lorenzo Caminiti 2015-06-30 17:56:22 -0700
  • 2fb2ddc367 started advanced topics section in the docs Lorenzo Caminiti 2015-06-27 08:03:34 -0700
  • be3a974847 implemented call_if Lorenzo Caminiti 2015-06-13 21:19:20 -0700
  • f0ca795867 replaced free/private/protected_function with just function and started to program n1962 examples Lorenzo Caminiti 2015-06-11 08:02:46 -0700
  • 7c9db6c58f renamed ..._member to ..._function, continuing to program more examples Lorenzo Caminiti 2015-06-09 18:50:31 -0700
  • 0445983d4e finished meyer examples, started mitchell examples Lorenzo Caminiti 2015-06-06 21:17:25 -0700
  • aac3e56198 added a version of check_guard (but without any thread sync yet) Lorenzo Caminiti 2015-06-05 08:28:41 -0700
  • d59d75370b finshed a first round of test, starting examples Lorenzo Caminiti 2015-06-04 07:04:12 -0700
  • 3e1fe20b01 subcontracting with virtual_, override_f, old and result values Lorenzo Caminiti 2015-05-31 10:26:02 -0700
  • a9eec21db3 added virtual result Lorenzo Caminiti 2015-05-30 11:10:58 -0700
  • 7bb102aa82 impl virtual_* Lorenzo Caminiti 2015-05-25 15:37:52 -0700
  • 0c90570e6c committing all decl_function stuff, before going back to virtual_ Lorenzo Caminiti 2015-05-19 08:32:16 -0700
  • 343b832779 generated doxygen include diagram. started testing feature-by-feature Lorenzo Caminiti 2015-05-14 08:16:40 -0700
  • effcbf157e started to implement bind for free and member functions, but without subcontracting yet Lorenzo Caminiti 2015-05-10 20:37:01 -0700
  • 71ed05596c fixed virtual_ v Lorenzo Caminiti 2015-05-06 19:05:08 -0700
  • 3d79a32068 fixed oldof for virtual calls Lorenzo Caminiti 2015-05-05 08:32:20 -0700
  • 2d4cf6bfdf added failure handlers and re-run all tests Lorenzo Caminiti 2015-04-27 20:54:30 -0700
  • 3146d3fa3d added oldof test, renamed type to scoped Lorenzo Caminiti 2015-04-25 22:37:35 -0700
  • 524d58ac9a compiling all tests after some reorganization Lorenzo Caminiti 2015-04-25 19:33:48 -0700
  • ab26a9fcc6 moved set/ to public api, added oldof, and started adding failure exceptions/handlers Lorenzo Caminiti 2015-04-25 12:29:00 -0700
  • 605bc7ad5f removed optional empty param list () to all lambdas--so shorter contract syntax Lorenzo Caminiti 2015-04-21 23:59:26 -0700
  • cbd9bae6b9 added setters so pre/post cannot be set twice, ctors and dtors only allow to set post, etc. Lorenzo Caminiti 2015-04-21 23:56:37 -0700
  • 070efff47e reorganized aux_/ code in subdirs/namespaces Lorenzo Caminiti 2015-04-21 18:36:44 -0700
  • 6c0da61a69 eliminated switch on function_key so impl code is more readable Lorenzo Caminiti 2015-04-20 21:09:24 -0700
  • 382b6f6906 tested protected and private member, and free function Lorenzo Caminiti 2015-04-19 20:26:06 -0700
  • 1408423ccb testing public mebmer (virtual and static), constructor, and destructor Lorenzo Caminiti 2015-04-19 19:32:07 -0700
  • b2b6a7cc18 removed precprocessor declaration traits parsing macros Lorenzo Caminiti 2015-04-12 20:07:47 -0700
  • 67a2525146 about to remove macro code Lorenzo Caminiti 2015-04-12 20:01:32 -0700
  • fc059086af cleaned up basic subcontracting test Lorenzo Caminiti 2015-04-08 19:45:53 -0700
  • f1ba7e627c completed first rev of push_back subscontracting example Lorenzo Caminiti 2015-04-07 07:51:56 -0700
  • 5c9d4f89b3 started to program contract non-macro apis Lorenzo Caminiti 2015-04-02 20:27:21 -0700
  • 1759b6f962 starting to try to program non-decl macros instead Lorenzo Caminiti 2015-04-02 09:51:00 -0700
  • 4a871dc233 started to program macros to expand constrated class and function code Lorenzo Caminiti 2015-03-28 16:45:01 -0700
  • 73f2c7ece0 added trailing EMPTY to aux_/type.hpp PARSE macros Lorenzo Caminiti 2015-03-14 06:47:25 -0700
  • be19ee735e removed pp/traits/utility Lorenzo Caminiti 2015-03-14 01:50:42 -0700
  • 39bbdcc4bd moved all from preprocessor/traits/utility to preprocessor/traits/aux_ Lorenzo Caminiti 2015-03-13 20:53:36 -0700
  • 9761ce13f7 resolved a few todos Lorenzo Caminiti 2015-03-13 11:22:04 -0700
  • 13a0dbd594 renamed kind to key Lorenzo Caminiti 2015-03-13 02:36:00 -0700
  • 935221399a fixed a bit the wave targets Lorenzo Caminiti 2015-03-13 02:18:54 -0700
  • 0dc1f8983c fixed wave runs a bit... Lorenzo Caminiti 2015-03-12 23:34:45 -0700
  • 3165c63fd2 completed first version of both function and class pp traits Lorenzo Caminiti 2015-03-12 11:44:42 -0700
  • f963889e85 testing also static-if assertions Lorenzo Caminiti 2015-03-04 20:23:09 -0800
  • 13d2570cb9 tested pp-postconditions Lorenzo Caminiti 2015-03-04 19:43:21 -0800
  • 15e24b1915 tested pp-postconditions Lorenzo Caminiti 2015-03-04 19:38:58 -0800
  • bd5d5133b2 finishing up postcondition assertion parsing Lorenzo Caminiti 2015-02-28 16:07:48 -0800
  • 80b78730ab started to parse if-assertion Lorenzo Caminiti 2015-02-12 18:32:01 -0800
  • 0a50c5e0be started to parse if-assertion Lorenzo Caminiti 2015-02-12 18:16:37 -0800
  • 70586b1b69 started to parse if-assertion Lorenzo Caminiti 2015-02-12 18:15:24 -0800
  • 4c53774633 started to parse if-assertion Lorenzo Caminiti 2015-02-12 18:14:03 -0800
  • 877e526d54 started to parse if-assertion Lorenzo Caminiti 2015-02-12 18:13:14 -0800
  • 5d3b6c46c3 updated pp-traits expansions Lorenzo Caminiti 2015-02-03 11:55:48 -0800
  • 785d09f03c testing iswitch and expansion Lorenzo Caminiti 2015-01-28 21:08:58 -0800
  • 20b9a88ce3 pasring postconditions Lorenzo Caminiti 2015-01-28 13:22:28 -0800
  • 8757a62247 pasring postconditions Lorenzo Caminiti 2015-01-28 13:05:06 -0800
  • fb03c8bdcf pasring postconditions Lorenzo Caminiti 2015-01-28 12:55:08 -0800
  • 30e2c73725 pasring postconditions Lorenzo Caminiti 2015-01-28 12:54:40 -0800
  • 6eb853bfb8 pasring postconditions Lorenzo Caminiti 2015-01-28 12:42:36 -0800
  • 303e76f447 pasring postconditions Lorenzo Caminiti 2015-01-28 12:42:04 -0800
  • ddff0730d0 pasring postconditions Lorenzo Caminiti 2015-01-28 12:40:34 -0800
  • 2f4b620382 pasring postconditions Lorenzo Caminiti 2015-01-28 12:40:21 -0800
  • 95fc82e20e pasring postconditions Lorenzo Caminiti 2015-01-28 12:38:51 -0800
  • 09c6ce4e76 cleaning up before parsing assertions Lorenzo Caminiti 2015-01-21 19:34:15 -0800
  • c9a3d77037 cleaning up before parsing assertions Lorenzo Caminiti 2015-01-21 19:33:55 -0800
  • 2aec5a7f0d cleaning up before parsing assertions Lorenzo Caminiti 2015-01-21 19:33:45 -0800
  • dda44004fd cleaning up before parsing assertions Lorenzo Caminiti 2015-01-21 19:31:49 -0800
  • ab52ae86da cleaning up before parsing assertions Lorenzo Caminiti 2015-01-21 19:30:42 -0800