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
e5be7cb20a
adjustments to IDE layout
2016-04-19 21:23:19 -07:00
Robert Ramey
e709c9ead4
added CTestConfig.cmake to library root.
2016-04-19 13:30:44 -07:00
Robert Ramey
83bb543842
distributed CMake implementation
2016-04-19 11:40:20 -07:00
Robert Ramey
5f47f4a418
corrections/improvements in handling interaction with non integer types
2016-03-02 12:26:33 -08:00
Robert Ramey
18741bdc4c
Merge branch 'develop'
2016-02-26 09:44:07 -08:00
Robert Ramey
d78a6ade10
removed commented out code from safe_base
2016-02-26 09:43:15 -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
43a2406cf6
added support for integer <-> non-integer conversions
2016-02-26 09:37:10 -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
bb54d2bf8f
factored checked::cast to move operations to compile time
2016-01-15 18:30:59 -08:00
Robert Ramey
89ec0c69f8
eliminated dependence upon boost/mpl/or_.hpp
2016-01-15 17:02:51 -08:00
Robert Ramey
5f71b0342a
replaced typedef with using for better code reading consistency
2016-01-15 16:39:11 -08:00
Robert Ramey
18ecefb095
Tests pass with gcc !!!
2016-01-12 22:30:16 -08:00
Robert Ramey
29cf7f3d12
progress on example 93 to demonstrate trapping all potential exceptions at compile time
...
removed constexpr from exception policies.
this eliminates obstacle to gcc compilation which doesn't support constexpr throw
unfortunately, all versions of gcc trip compiler fault so gcc not supported for now
safe_literal - make this an unsafe type since it doesn't have policies - this might change in the future
2016-01-11 11:01:15 -08:00
Robert Ramey
511046c972
fixed bitwise or / and
...
re fixed examples - still some checking to do
2016-01-09 22:37:57 -08:00
Robert Ramey
a98fdd1edb
corrected bitwise & operator
...
backed out some previous changes
2016-01-09 15:23:48 -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
ced5ce83f4
implemented op= versions of binary operands
...
first cut of cpp example
fixed misc bugs
2015-12-31 15:14:29 -08:00
Robert Ramey
686a58b991
fixed test_left_shift_native
2015-12-28 09:55:15 -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
bb737b4ead
made changes to support correct handling of trap_exception
...
added accidentally deleted tests for left and right shift
changed print_type to recommendation
2015-12-15 14:19:24 -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
Andrzej Krzemieński
7ccf5f8981
Small doc typeos
...
There is also a bullet at the bottom: "Among others". I suppose it was not the intent.
2015-12-15 11:06:41 +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
5f488b2040
update github read to properly display documentation
2015-12-07 23:06:19 -08:00
Robert Ramey
76f1ad225f
html documentation generation
2015-12-07 22:54:41 -08:00
Robert Ramey
e03097dfa4
changed SAFECONSTEXPR to constexpr
2015-12-07 22:04:32 -08:00
Robert Ramey
96f829bfe4
updates of manual and examples
2015-12-07 21:46:39 -08:00
Robert Ramey
004149ee1d
corrected implementation of safe shift operations in left/right native/automatic variations
...
added and updated tests for these operations
2015-12-04 15:15:28 -08:00
Robert Ramey
8c7884ba57
implemented compile time arithmetic for module
...
updated checked
added tests
passes all current tests
2015-12-02 15:58:19 -08:00
Robert Ramey
d72b625595
added new tests
2015-11-15 21:47:25 -08:00
Robert Ramey
82cb6e4b60
working on modulus
2015-11-15 20:24:17 -08:00
Robert Ramey
1336d0ddb0
added termination messages
2015-11-09 16:06:06 -08:00
Robert Ramey
7af42f2765
resolved division
2015-11-04 21:26:07 -08:00
Robert Ramey
370427c9f9
factor out test divide so more easily make test_divide_auto, test_divide_native, etc.
2015-09-12 13:26:57 -07:00
Robert Ramey
1871e498f5
version of checked which works with automatic type promotion. Still more work to do:
...
a) remove min/max checks
b) make promotion policy select checked implementation via a table
2015-09-12 13:26:02 -07:00
Robert Ramey
5ed3f3a945
attempt to get division with automatic type promotion working
2015-09-05 17:16:19 -07:00
Robert Ramey
21178d2ea1
corrected error in multiply
2015-08-02 13:51:34 -07:00
