Lorenzo Caminiti
|
c594323bef
|
added .old(...)
|
2015-10-23 15:46:47 -07:00 |
|
Lorenzo Caminiti
|
f42662e44c
|
completed first revised draft of docs
|
2015-06-30 17:56:22 -07:00 |
|
Lorenzo Caminiti
|
2fb2ddc367
|
started advanced topics section in the docs
|
2015-06-27 08:03:34 -07:00 |
|
Lorenzo Caminiti
|
be3a974847
|
implemented call_if
|
2015-06-13 21:19:20 -07:00 |
|
Lorenzo Caminiti
|
f0ca795867
|
replaced free/private/protected_function with just function and started to program n1962 examples
|
2015-06-11 08:02:46 -07:00 |
|
Lorenzo Caminiti
|
7c9db6c58f
|
renamed ..._member to ..._function, continuing to program more examples
|
2015-06-09 18:50:31 -07:00 |
|
Lorenzo Caminiti
|
0445983d4e
|
finished meyer examples, started mitchell examples
|
2015-06-06 21:17:25 -07:00 |
|
Lorenzo Caminiti
|
aac3e56198
|
added a version of check_guard (but without any thread sync yet)
|
2015-06-05 08:28:41 -07:00 |
|
Lorenzo Caminiti
|
d59d75370b
|
finshed a first round of test, starting examples
|
2015-06-04 07:04:12 -07:00 |
|
Lorenzo Caminiti
|
3e1fe20b01
|
subcontracting with virtual_, override_f, old and result values
|
2015-05-31 10:26:02 -07:00 |
|
Lorenzo Caminiti
|
a9eec21db3
|
added virtual result
|
2015-05-30 11:10:58 -07:00 |
|
Lorenzo Caminiti
|
7bb102aa82
|
impl virtual_*
|
2015-05-25 15:37:52 -07:00 |
|
Lorenzo Caminiti
|
0c90570e6c
|
committing all decl_function stuff, before going back to virtual_
|
2015-05-19 08:32:16 -07:00 |
|
Lorenzo Caminiti
|
343b832779
|
generated doxygen include diagram. started testing feature-by-feature
|
2015-05-14 08:16:40 -07:00 |
|
Lorenzo Caminiti
|
effcbf157e
|
started to implement bind for free and member functions, but without subcontracting yet
|
2015-05-10 20:37:01 -07:00 |
|
Lorenzo Caminiti
|
71ed05596c
|
fixed virtual_ v
|
2015-05-06 19:05:08 -07:00 |
|
Lorenzo Caminiti
|
3d79a32068
|
fixed oldof for virtual calls
|
2015-05-05 08:32:20 -07:00 |
|
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
|
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
|
3165c63fd2
|
completed first version of both function and class pp traits
|
2015-03-12 11:44:42 -07: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
|
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
|
30e2c73725
|
pasring postconditions
|
2015-01-28 12:54:40 -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
|
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 |
|
Lorenzo Caminiti
|
e893cb1da1
|
started pp parsing of assertions
|
2015-01-16 03:06:13 -08:00 |
|
Lorenzo Caminiti
|
0a5539459d
|
pp parsing cleanup
|
2015-01-14 21:17:53 -08:00 |
|
Lorenzo Caminiti
|
27c52325be
|
pp parsing cleanup
|
2015-01-14 20:59:49 -08:00 |
|
Lorenzo Caminiti
|
265b1c6584
|
pp parsing cleanup
|
2015-01-14 20:56:49 -08:00 |
|
Lorenzo Caminiti
|
79dc3cb943
|
pp parsing cleanup
|
2015-01-14 20:56:37 -08:00 |
|
Lorenzo Caminiti
|
9479b1d730
|
pp parsing cleanup
|
2015-01-14 20:55:38 -08:00 |
|
Lorenzo Caminiti
|
67b31f3494
|
parsing trailing return type (for C++11 alternative function syntax)
|
2015-01-13 20:14:25 -08:00 |
|
Lorenzo Caminiti
|
9624d405e9
|
removed 2 files
|
2015-01-13 19:12:56 -08:00 |
|
Lorenzo Caminiti
|
94de0c660e
|
func/251name.hpp
|
2015-01-13 19:09:50 -08:00 |
|
Lorenzo Caminiti
|
e564ee9eb0
|
func/251name.hpp
|
2015-01-13 19:09:37 -08:00 |
|
Lorenzo Caminiti
|
8e1c68eefa
|
parsing exception specifications and virtual specifiers
|
2015-01-13 19:05:56 -08:00 |
|
Lorenzo Caminiti
|
aaac02844e
|
parsing lvalue and rvalue references
|
2015-01-13 16:05:02 -08:00 |
|
Lorenzo Caminiti
|
a404169734
|
parsed cv-qualifiers
|
2015-01-13 15:19:24 -08:00 |
|
Lorenzo Caminiti
|
855652c9a7
|
parsing name traits (with/without operator, keyword type, etc.)
|
2015-01-04 04:05:36 -08:00 |
|
Lorenzo Caminiti
|
50137de90c
|
pp parsing for func return
|
2014-12-31 03:02:43 -08:00 |
|
Lorenzo Caminiti
|
4234f36161
|
before iswitch
|
2014-12-22 01:52:57 -08:00 |
|
Lorenzo Caminiti
|
33c0afdba3
|
testing some classifiers permutations
|
2014-12-18 18:21:45 -08:00 |
|
Lorenzo Caminiti
|
5cd9ec32a5
|
draft of pp parser for fun classifiers inline, static, etc.
|
2014-12-17 18:14:24 -08:00 |
|
Lorenzo Caminiti
|
b690af2de0
|
tested most template type and value parameters
|
2014-12-16 20:55:57 -08:00 |
|
Lorenzo Caminiti
|
542e2f532f
|
tested template template params
|
2014-12-16 20:53:47 -08:00 |
|
Lorenzo Caminiti
|
00f9b4100e
|
tested most template type and value parameters
|
2014-12-16 19:03:48 -08:00 |
|
Lorenzo Caminiti
|
993c972980
|
parsing template parameters
|
2014-12-16 11:43:55 -08:00 |
|
Lorenzo Caminiti
|
ff6eeaab3b
|
parsing template parameters
|
2014-12-16 11:43:48 -08:00 |
|
Lorenzo Caminiti
|
82984cfb15
|
parsing template parameters
|
2014-12-16 11:42:51 -08:00 |
|
Lorenzo Caminiti
|
c76889167f
|
parsing template parameters
|
2014-12-16 11:40:57 -08:00 |
|
Lorenzo Caminiti
|
dba2a745f9
|
parsing template parameters
|
2014-12-16 11:40:17 -08:00 |
|
Lorenzo Caminiti
|
77a2ed6a0f
|
parsing template parameters
|
2014-12-16 09:27:12 -08:00 |
|
Lorenzo Caminiti
|
9982ba4be9
|
parsing template parameters
|
2014-12-16 09:26:29 -08:00 |
|
Lorenzo Caminiti
|
796958eb58
|
parsing template parameters
|
2014-12-16 09:25:54 -08:00 |
|
Lorenzo Caminiti
|
c2ceab73c8
|
parsing template parameters
|
2014-12-16 09:22:48 -08:00 |
|
Lorenzo Caminiti
|
41441cadf2
|
compiled tests up to pp-func-traits template on msvc, gcc, clang, and wave
|
2014-10-21 23:21:56 -07:00 |
|
Lorenzo Caminiti
|
4e7e25ab0b
|
Using NIL instead of EMPTY() to mark empty sign (for correct tuple handling on MSVC).
|
2014-10-21 22:27:47 -07:00 |
|
Lorenzo Caminiti
|
14e9c48dc0
|
tested access on msvc, gcc, clang, and wave
|
2014-10-19 23:39:40 -07:00 |
|
Lorenzo Caminiti
|
2a28645032
|
tested access on msvc, gcc, clang, and wave
|
2014-10-19 23:35:46 -07:00 |
|
Lorenzo Caminiti
|
8adedcadc4
|
Imported prelimiary work to post Contract++ to Boost.Contract.
|
2014-09-27 17:56:02 -07:00 |
|