insideoutclub
adfee7ba3d
Update trap_exception.xml
2017-03-04 09:09:03 -08:00
insideoutclub
a6e788f167
Update throw_exception.xml
2017-03-04 09:07:29 -08:00
insideoutclub
63b8b63c74
Update cpp.xml
2017-03-04 09:05:57 -08:00
insideoutclub
6db5b10738
Update automatic.xml
2017-03-04 09:01:29 -08:00
insideoutclub
33bbaeacd6
Update native.xml
2017-03-04 09:00:28 -08:00
insideoutclub
0e08284fa7
Update safe_literal.xml
2017-03-04 08:55:27 -08:00
insideoutclub
7816108f17
Update safe_range.xml
2017-03-04 08:14:15 -08:00
insideoutclub
b9568a8ad8
Update safe.xml
2017-03-04 08:10:39 -08:00
insideoutclub
1473b213b8
Update exception_policy_concept.xml
2017-03-04 07:58:15 -08:00
insideoutclub
86465e9d99
Update promotion_policy_concept.xml
2017-03-04 07:54:43 -08:00
insideoutclub
25e2312b9c
Update safe_numeric_concept.xml
2017-03-04 07:50:42 -08:00
insideoutclub
ad173c8930
Update integer_concept.xml
2017-03-04 07:45:24 -08:00
insideoutclub
8a66edc43e
Update numeric_concept.xml
2017-03-04 07:41:29 -08:00
insideoutclub
82b4609186
Update numeric_concept.xml
2017-03-04 07:27:37 -08:00
insideoutclub
78cc93ea8b
Update eliminate_runtime_penalty.xml
2017-03-04 07:19:04 -08:00
insideoutclub
a4753e2401
Update eliminate_runtime_penalty.xml
2017-03-04 06:42:23 -08: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
insideoutclub
039d2a58e3
Update safe_introduction.xml
2017-03-02 11:49:14 -08:00
Robert Ramey
1d7712e1b7
reconciliation between examples and documentation
2017-02-26 11:20:10 -08:00
Robert Ramey
6a0604190a
enhanced return type checking for non-mutable unary operators
...
minor corrections in documentation
update appveyor.yml in yet another attempt to make this work
2017-02-14 10:22:50 -08:00
Robert Ramey
d6b323c23f
next round of changes for overload article
2017-02-04 14:50:32 -08:00
Robert Ramey
d0ca1634fc
documentation updates inspired by ACCU Overload
2017-02-03 14:24:05 -08:00
Robert Ramey
621d2cbe30
Rollin Andrzez's edits + miscellaneaous fixes
2017-01-20 23:22:44 -08: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
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
434ce2cd05
added article for accuracy
...
fixed up CMake files so that they run from the command line
adjusted CMake files so that they exclude tests which can't be run
2017-01-07 22:04:14 -08:00
Robert Ramey
0079d39361
created submission for accu
...
factored out xml files into smaller pieces
2016-12-31 18:32:44 -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
2eba250ddd
Merge commit '4412435dd6bfdb5297734d49608f2d01a33730eb' into develop
2016-09-08 21:36:37 -07: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
01f789fcce
adjustments to discuss -ftrapv and explanation related to drop-in replacements
2016-08-24 16:05:53 -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
83bb543842
distributed CMake implementation
2016-04-19 11:40:20 -07:00
Robert Ramey
18741bdc4c
Merge branch 'develop'
2016-02-26 09:44:07 -08:00
Robert Ramey
c068524b45
added support for integer <-> non-integer conversions - floating and double
2016-02-26 09:38:02 -08:00
Robert Ramey
62739caf1f
reformatted according to C++ standard committee specs
2016-02-23 21:34:49 -08: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
01a3af5cc3
progress on case study on motor.c
...
added intersection to interval
improved
2016-01-04 10:06:43 -08:00
Robert Ramey
006c8147c3
Merge branch 'develop'
2015-12-31 15:21:06 -08:00
Robert Ramey
de48936d0e
fixed problems with bitwise and shift operations
...
diminished dependence on mpl::if and others
made progress on getting trap policy working better
2015-12-28 09:45:20 -08:00
Robert Ramey
c991a84075
Merge branch 'develop'
...
# Conflicts:
# doc/boostbook/HTML.manifest
# doc/boostbook/native.xml
# doc/boostbook/safe_numerics.xml
# doc/html/bibliography.html
# doc/html/checked_integer_arithmetic.html
# doc/html/checked_result.html
# doc/html/exception_policies.html
# doc/html/exception_policy.html
# doc/html/index.html
# doc/html/integer.html
# doc/html/introduction.html
# doc/html/library_implementation.html
# doc/html/numeric.html
# doc/html/pending_issues.html
# doc/html/promotion_policies.html
# doc/html/promotion_policy.html
# doc/html/rationale.html
# doc/html/safe.html
# doc/html/safe_numeric_concept.html
# doc/html/tutorial/7.html
2015-12-22 08:54:35 -08:00
Robert Ramey
61a148cf5b
added new files which were missing
2015-12-21 23:17:05 -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
704f2fa48a
updated proposal
2015-12-10 13:20:45 -08:00
Robert Ramey
36e320d987
Merge branch 'develop'
...
Conflicts:
doc/boostbook/HTML.manifest
doc/boostbook/automatic.xml
doc/boostbook/native.xml
doc/boostbook/safe_numerics.xml
doc/html/bibliography.html
doc/html/exception_policies.html
doc/html/exception_policy.html
doc/html/exception_safety.html
doc/html/index.html
doc/html/integer.html
doc/html/introduction.html
doc/html/numeric.html
doc/html/pending_issues.html
doc/html/promotion_policies.html
doc/html/promotion_policy.html
doc/html/rationale.html
doc/html/safe.html
doc/html/safe_numeric_concept.html
doc/html/safe_unsigned_range.html
doc/html/tutorial/7.html
2015-12-09 21:52:59 -08:00
Robert Ramey
e37b89a969
misc corrections in documentation
...
preparation of proposal for standard library
2015-12-09 21:50:09 -08:00
Robert Ramey
76f1ad225f
html documentation generation
2015-12-07 22:54:41 -08: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
d60bdf1de7
Fleshing out documentation - still in progress
...
This lead to numerous small changes - which of course weren't so small
Added static asserts for some range construction / assignments.
Passing all tests.
2015-07-23 16:52:22 -07:00
Robert Ramey
78111d12e8
attempt to move pointer to common ancestor
2015-07-04 10:04:49 -07:00
Robert Ramey
d33389c450
converted test_conversion to
...
test_construction
test_assignment
pending - make m_t private
eliminate redundant bounds checking
2015-06-28 21:24:04 -07:00
Robert Ramey
6b6579d48c
Updated documentation based on Damion's input
2015-06-17 11:25:28 -07:00
Robert Ramey
00e39147a4
Resolve problems with documentation
...
a) missing concepts
b) missing examples
c) rationalized types
2015-06-10 22:46:58 -07:00
Robert Ramey
f43dfc7b38
first version with working policies
...
promotion pollicy
exception policy
improved documentation
2015-06-08 15:43:23 -07:00
Robert Ramey
5eebc2f1a8
working tests add and subtract with policies
2015-06-08 13:15:37 -07:00
Robert Ramey
7299770bdf
miscellaaneous code clean up
...
added policies documentation
2015-06-02 22:42:39 -07:00
Robert Ramey
471f1b85ec
got test_checked to work.
...
This verifies error detection for instrinsic integers at both compile and run time
2015-05-29 13:06:45 -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
e7ab1a0073
Added one line mission statement to introduction
2015-02-12 11:16:11 -08:00
Robert Ramey
e7baf79c99
correct typo in documentation
2015-02-05 09:22:30 -08:00
Robert Ramey
642438a1fc
fill out documentation and examples 5 & 6
2015-01-31 18:35:53 -08:00
Robert Ramey
0d3af22a53
corrections adjustments motivated by first real review of the library
2015-01-30 15:55:19 -08:00
Robert Ramey
b1d4d43aba
Adjustments to pass all tests with gcc 4.8.1 -std=c++03
2015-01-12 19:06:11 -08:00
Robert Ramey
14608927a4
tweaked specifications to create better looking document with correct navigation headers/footers
2014-12-24 11:18:25 -08:00
Robert Ramey
a08f27290d
go roc parameters right
2014-12-22 22:42:18 -08:00
Robert Ramey
cdce302949
mixup multi-level index
2014-12-22 22:18:42 -08:00
Robert Ramey
f5fafcaeb1
improvement of db2html stye sheet leads to better html presentation ... to be continued
2014-12-21 10:37:12 -08:00
Robert Ramey
dcaceff4f1
corrected html fixe designations
2014-11-10 08:21:56 -08:00
Robert Ramey
c78808aa2f
changes provoked by preparation of talk for CPPCon
2014-09-07 09:21:41 -07:00
Robert Ramey
7fbaff67ba
corrected misc documentation errors
2014-08-31 15:37:28 -07:00
Robert Ramey
2bfc6d4381
fix subtraction
...
passes all tests
2014-04-20 15:24:08 -07:00
Robert Ramey
da574497e5
working
...
test add
test cast
test compare
test conversion
test subtract
test multiply
2014-04-14 14:41:48 -07:00
Robert Ramey
12f5843f90
Fixed problems in testing addition operations
...
More carefully defined the concepts. That is the concept of the library is now clear:
Trap at either compile or runtime integer operations which yield a result which differs from the normal arithmetic result.
Pending on this check in:
a) only addition is fixed up so far
b) uses BOOST_TYPEOF... rather than decltype(... - final decision sill pending.
c) comments out some compile time checks which should be re-instated.
d) fixed tests so that they actually work!
2014-04-05 12:22:25 -07:00
Robert Ramey
b9845327d1
eliminated redundant root directory
2013-11-04 11:44:56 -08:00
