Lorenzo Caminiti
|
2d4cf6bfdf
|
added failure handlers and re-run all tests
|
2015-04-27 20:54:30 -07:00 |
|
Lorenzo Caminiti
|
3146d3fa3d
|
added oldof test, renamed type to scoped
|
2015-04-25 22:37:35 -07:00 |
|
Lorenzo Caminiti
|
524d58ac9a
|
compiling all tests after some reorganization
|
2015-04-25 19:33:48 -07:00 |
|
Lorenzo Caminiti
|
ab26a9fcc6
|
moved set/ to public api, added oldof, and started adding failure exceptions/handlers
|
2015-04-25 12:29:00 -07:00 |
|
Lorenzo Caminiti
|
605bc7ad5f
|
removed optional empty param list () to all lambdas--so shorter contract syntax
|
2015-04-21 23:59:26 -07:00 |
|
Lorenzo Caminiti
|
cbd9bae6b9
|
added setters so pre/post cannot be set twice, ctors and dtors only allow to set post, etc.
|
2015-04-21 23:56:37 -07:00 |
|
Lorenzo Caminiti
|
070efff47e
|
reorganized aux_/ code in subdirs/namespaces
|
2015-04-21 18:36:44 -07:00 |
|
Lorenzo Caminiti
|
6c0da61a69
|
eliminated switch on function_key so impl code is more readable
|
2015-04-20 21:09:24 -07:00 |
|
Lorenzo Caminiti
|
382b6f6906
|
tested protected and private member, and free function
|
2015-04-19 20:26:06 -07:00 |
|
Lorenzo Caminiti
|
1408423ccb
|
testing public mebmer (virtual and static), constructor, and destructor
|
2015-04-19 19:32:07 -07:00 |
|
Lorenzo Caminiti
|
b2b6a7cc18
|
removed precprocessor declaration traits parsing macros
|
2015-04-12 20:07:47 -07:00 |
|
Lorenzo Caminiti
|
67a2525146
|
about to remove macro code
|
2015-04-12 20:01:32 -07:00 |
|
Lorenzo Caminiti
|
fc059086af
|
cleaned up basic subcontracting test
|
2015-04-08 19:45:53 -07:00 |
|
Lorenzo Caminiti
|
f1ba7e627c
|
completed first rev of push_back subscontracting example
|
2015-04-07 07:51:56 -07:00 |
|
Lorenzo Caminiti
|
5c9d4f89b3
|
started to program contract non-macro apis
|
2015-04-02 20:27:21 -07:00 |
|
Lorenzo Caminiti
|
1759b6f962
|
starting to try to program non-decl macros instead
|
2015-04-02 09:51:00 -07:00 |
|
Lorenzo Caminiti
|
4a871dc233
|
started to program macros to expand constrated class and function code
|
2015-03-28 16:45:01 -07:00 |
|
Lorenzo Caminiti
|
73f2c7ece0
|
added trailing EMPTY to aux_/type.hpp PARSE macros
|
2015-03-14 06:47:25 -07:00 |
|
Lorenzo Caminiti
|
be19ee735e
|
removed pp/traits/utility
|
2015-03-14 01:50:42 -07:00 |
|
Lorenzo Caminiti
|
39bbdcc4bd
|
moved all from preprocessor/traits/utility to preprocessor/traits/aux_
|
2015-03-13 20:53:36 -07:00 |
|
Lorenzo Caminiti
|
9761ce13f7
|
resolved a few todos
|
2015-03-13 11:22:04 -07:00 |
|
Lorenzo Caminiti
|
13a0dbd594
|
renamed kind to key
|
2015-03-13 02:36:00 -07:00 |
|
Lorenzo Caminiti
|
935221399a
|
fixed a bit the wave targets
|
2015-03-13 02:18:54 -07:00 |
|
Lorenzo Caminiti
|
0dc1f8983c
|
fixed wave runs a bit...
|
2015-03-12 23:34:45 -07:00 |
|
Lorenzo Caminiti
|
3165c63fd2
|
completed first version of both function and class pp traits
|
2015-03-12 11:44:42 -07:00 |
|
Lorenzo Caminiti
|
f963889e85
|
testing also static-if assertions
|
2015-03-04 20:23:09 -08:00 |
|
Lorenzo Caminiti
|
13d2570cb9
|
tested pp-postconditions
|
2015-03-04 19:43:21 -08:00 |
|
Lorenzo Caminiti
|
15e24b1915
|
tested pp-postconditions
|
2015-03-04 19:38:58 -08:00 |
|
Lorenzo Caminiti
|
bd5d5133b2
|
finishing up postcondition assertion parsing
|
2015-02-28 16:07:48 -08:00 |
|
Lorenzo Caminiti
|
80b78730ab
|
started to parse if-assertion
|
2015-02-12 18:32:01 -08:00 |
|
Lorenzo Caminiti
|
0a50c5e0be
|
started to parse if-assertion
|
2015-02-12 18:16:37 -08:00 |
|
Lorenzo Caminiti
|
70586b1b69
|
started to parse if-assertion
|
2015-02-12 18:15:24 -08:00 |
|
Lorenzo Caminiti
|
4c53774633
|
started to parse if-assertion
|
2015-02-12 18:14:03 -08:00 |
|
Lorenzo Caminiti
|
877e526d54
|
started to parse if-assertion
|
2015-02-12 18:13:14 -08:00 |
|
Lorenzo Caminiti
|
5d3b6c46c3
|
updated pp-traits expansions
|
2015-02-03 11:55:48 -08:00 |
|
Lorenzo Caminiti
|
785d09f03c
|
testing iswitch and expansion
|
2015-01-28 21:08:58 -08:00 |
|
Lorenzo Caminiti
|
20b9a88ce3
|
pasring postconditions
|
2015-01-28 13:22:28 -08:00 |
|
Lorenzo Caminiti
|
8757a62247
|
pasring postconditions
|
2015-01-28 13:05:06 -08:00 |
|
Lorenzo Caminiti
|
fb03c8bdcf
|
pasring postconditions
|
2015-01-28 12:55:08 -08:00 |
|
Lorenzo Caminiti
|
30e2c73725
|
pasring postconditions
|
2015-01-28 12:54:40 -08:00 |
|
Lorenzo Caminiti
|
6eb853bfb8
|
pasring postconditions
|
2015-01-28 12:42:36 -08:00 |
|
Lorenzo Caminiti
|
303e76f447
|
pasring postconditions
|
2015-01-28 12:42:04 -08:00 |
|
Lorenzo Caminiti
|
ddff0730d0
|
pasring postconditions
|
2015-01-28 12:40:34 -08:00 |
|
Lorenzo Caminiti
|
2f4b620382
|
pasring postconditions
|
2015-01-28 12:40:21 -08:00 |
|
Lorenzo Caminiti
|
95fc82e20e
|
pasring postconditions
|
2015-01-28 12:38:51 -08:00 |
|
Lorenzo Caminiti
|
09c6ce4e76
|
cleaning up before parsing assertions
|
2015-01-21 19:34:15 -08:00 |
|
Lorenzo Caminiti
|
c9a3d77037
|
cleaning up before parsing assertions
|
2015-01-21 19:33:55 -08:00 |
|
Lorenzo Caminiti
|
2aec5a7f0d
|
cleaning up before parsing assertions
|
2015-01-21 19:33:45 -08:00 |
|
Lorenzo Caminiti
|
dda44004fd
|
cleaning up before parsing assertions
|
2015-01-21 19:31:49 -08:00 |
|
Lorenzo Caminiti
|
ab52ae86da
|
cleaning up before parsing assertions
|
2015-01-21 19:30:42 -08:00 |
|