Commit Graph

12 Commits

Author SHA1 Message Date
Robert Ramey
a06d9f7a69 added constexpr tests to checked result operations
added tests for check result < and == operations
correct implementation of some checked result types
added constexpr example
2018-12-10 14:12:47 -08:00
Robert Ramey
e26fb7fcee generated html and pdf documentation 2018-09-05 09:56:32 -07:00
Robert Ramey
b62ef86e28 Added case study for embedded system
corrections in cpp promotion
added make_safe_literal
separated integers from other types
dropped example91
updated CMakeLists.txt and Jamfile.v2 accordingly
2018-07-21 09:57:35 -07:00
Robert Ramey
d8e3a5e0a8 build documentation 2018-04-24 21:48:33 -07:00
Robert Ramey
67a7eaa2ad Make checked<...> an arithmetic type
adjust rest of program accordingly
this should
a) factor casts out of checked operations and put them in safe_base_operations
b) simplify interval which will not explicitly check for overflows etc.

First milestone - make test_add_native pass all addition tests.
2017-11-07 09:57:09 -08:00
Robert Ramey
4153b7f58a Numerous changes to better handle floating point.
Turns out that these changes should also better position us to handle other underlying types - but we're not there yet.
Added example for composition with other types - example boost rational and boost multi precision
Added performance test using boost multi precision
Many other small corrections
2017-07-16 13:36:09 -07:00
Robert Ramey
2d02afb145 fix some bugs in html documentation generation 2017-06-03 14:26:31 -07:00
Robert Ramey
f6c1a06960 changes in response to article preparation for accuracy 2017-01-19 16:00:36 -08:00
Robert Ramey
c56bdb5509 generated html documentation 2017-01-16 13:11:27 -08:00
Robert Ramey
135fe9f1fd merged in changes from John MacFarlane
and documentation improvements from Andre ...
2016-09-08 21:57:15 -07:00
Robert Ramey
97100f96fe made adjustments to produce pdf documentation for both the package and the proposal 2016-08-24 11:22:48 -07:00
Robert Ramey
61a148cf5b added new files which were missing 2015-12-21 23:17:05 -08:00