Commit Graph

149 Commits

Author SHA1 Message Date
insideoutclub
531cd8a8d6 Update safe_numerics.xml 2017-03-04 11:55:22 -08:00
insideoutclub
297a3888f0 Update checked.xml 2017-03-04 11:52:13 -08:00
insideoutclub
401f02e5ec Update checked_result.xml 2017-03-04 11:41:46 -08:00
insideoutclub
b3a86bd247 Update interval.xml 2017-03-04 11:38:43 -08:00
insideoutclub
8ba476fbed Update safe_numerics.xml 2017-03-04 11:35:15 -08:00
insideoutclub
d0485aa619 Update no_exception_support.xml 2017-03-04 09:11:04 -08:00
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
135fe9f1fd merged in changes from John MacFarlane
and documentation improvements from Andre ...
2016-09-08 21:57:15 -07: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
ef1b61a6f2 adding missing *.html files 2016-02-07 14:57:00 -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
45357c63bf improved documentation formatting 2015-07-30 00:15:50 -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
bb96ebfc14 Moved policies implementation to development 2015-07-03 22:40:22 -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
569dc083c9 updated html documentation 2015-02-01 21:14:12 -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
52a8c3ddf9 removed .DS_Store files 2014-01-31 16:52:30 -08:00
Robert Ramey
41b6082351 moved png files 2013-11-22 16:41:50 -08:00
Robert Ramey
8b3467cb39 moved png images 2013-11-22 16:38:40 -08:00
Robert Ramey
3c43e56952 added png for navigation 2013-11-22 16:23:31 -08:00
Robert Ramey
b9845327d1 eliminated redundant root directory 2013-11-04 11:44:56 -08:00