Robert Ramey
dec518c4a9
Fixed Exception Policies for trap and ignore.
2019-02-24 09:54:13 -08:00
Robert Ramey
a22cf75705
minor documentation corrections
2019-01-23 09:25:22 -08:00
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
52e0a2fe03
correction to exception expected
...
add example8 for difference between two unsigned ints
update documentation - pending issues
2018-09-04 13:37:21 -07:00
Robert Ramey
37457049a3
upgrades in documentation
2018-09-02 11:05:08 -07:00
Robert Ramey
e68037cb32
Update documentation to address PRs
...
update appveyor/travis xml hoping they'll work
2018-08-14 16:46:19 -07:00
Robert Ramey
99ee93d94d
refactored checked operations, added corresponding tests and documentation
...
meant to improve correctness and extendability.
2018-03-24 18:22:48 -07: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
67bc38ac62
added example based on rational.hpp
...
used enable_if on checked functions to pave the way for other checked implementations
2017-06-27 22:56:11 -07:00
Robert Ramey
39e8c30097
used enable if on constructor so that it only gets instantiated when passed an integer type.
...
before this change, it would get instantiated by is_convertible<T, safe<U>> for any type T which created a syntax error.
This problem appears with using rational<safe<int>> but passes tests now.
Switched casting operators back to implicit. Having it explicit makes it safe types more unwieldy to use and breaks some examples.
2017-06-25 11:46:11 -07:00
Robert Ramey
a1ea2eda24
eliminated implicit conversion from safe type to any other type.
...
updated documentation accordingly
2017-06-23 22:13:44 -07:00
Robert Ramey
02b5bc79f8
update documentation changes for automatic promotion policy.
...
made code easier to read by replacing ! no_exception() with exception and no_exception with ! exception
2017-06-11 13:50:00 -07:00
Robert Ramey
6dd1effd77
implemented policy based checking of less than comparison
2017-06-10 16:22:42 -07:00
Robert Ramey
7992e92d1d
misc corrections be for first update to server
2017-04-11 10:33:01 -07:00
insideoutclub
a001df0c15
Update tutorial.xml
2017-03-02 13:42:44 -08:00
insideoutclub
af51dbe585
Update tutorial.xml
2017-03-02 13:33:50 -08:00
insideoutclub
d9fe05b7c5
Update tutorial.xml
2017-03-02 13:29:02 -08:00
insideoutclub
78a52fce00
Update tutorial.xml
2017-03-02 13:09:08 -08:00
insideoutclub
82e4ad1d40
Update tutorial.xml
2017-03-02 12:01:27 -08:00
Robert Ramey
c56bdb5509
generated html documentation
2017-01-16 13:11:27 -08:00
Robert Ramey
80e17943ca
improved explanation of divide by zero
...
refined type requirements for integer vs numeric
fixed bugs in safe literal
added acknowledgement to documentation
2017-01-16 12:14:38 -08:00
Robert Ramey
ecabaaaa76
updated sample for to illustrate safe numerics role in addressing a classic C++ problem
2016-11-07 14:47:40 -08:00
Robert Ramey
aa81803fd7
Merge pull request #10 from akrzemi1/patch-3
...
docs: unsigned overflow is not UB
2016-09-08 21:32:42 -07:00
Robert Ramey
63dd89210e
Enabled Boost Book syntax highlighting
...
improved TOC and chunking. This is complicated by the fact we that we desire different depths.
put copies of boost logo in subdirectories
2016-02-07 14:38:06 -08:00
Robert Ramey
1bc0b94e65
changes to implement the following:
...
a) made trap_exception work
b) updated manual and examples to show how to use library to eliminate runtime penalty
c) added in safe_literal
d) made corrections of various types
2015-12-21 23:14:06 -08:00
Robert Ramey
cd620a8ec5
more complete documentation on eliminating runtime penalty
2015-12-17 17:46:05 -08:00
Robert Ramey
bce3a5536e
intermediate version
...
passes all tests
adds documentation of library internals
implements trap_exception for compile time guarantee for program correctness
still needs update to support the above for operations in addition to + and -
2015-12-15 10:21:08 -08:00
Andrzej Krzemieński
96fc4cd7d3
docs: unsigned overflow is not UB
2015-12-15 11:49:40 +01:00
Robert Ramey
96f829bfe4
updates of manual and examples
2015-12-07 21:46:39 -08:00
Robert Ramey
f7117e7cf3
improved look of documentation
2015-07-30 12:42:31 -07:00
Robert Ramey
0a5822c14d
working version of automatic promotion policy.
...
(right now - only working in addition!)
More examples
More complete documentation
pending issue - compile time trap
2015-07-29 13:55:57 -07:00
Robert Ramey
6b6579d48c
Updated documentation based on Damion's input
2015-06-17 11:25:28 -07:00
Robert Ramey
fcb107840b
addition operator returns safe type - passes all current addition tests.
...
implemented policy design
implemented addition part of native policy
2015-02-16 21:06:40 -08:00
Robert Ramey
b9845327d1
eliminated redundant root directory
2013-11-04 11:44:56 -08:00
