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
