Download Latest Version intervals_1_13.tgz (767.4 kB)
Email in envelope

Get an email when there's a new version of Interval arithmetic for Ada

Home / sources
Name Modified Size InfoDownloads / Week
Parent folder
test_intervals 2025-07-12
0
test_units 2025-07-12
0
test_strings_edit 2025-07-12
0
test_tables 2025-07-12
0
units-examples 2014-07-26
0
readme_intervals.txt 2025-07-12 179 Bytes
0
readme_units.txt 2025-07-12 178 Bytes
0
readme_strings_edit.txt 2025-07-12 190 Bytes
0
readme_tables.txt 2025-07-12 202 Bytes
0
strings_edit-streams.adb 2025-07-12 4.8 kB
0
strings_edit-utf8-maps.adb 2025-07-12 69.4 kB
0
strings_edit-streams.ads 2025-07-12 5.1 kB
0
strings_edit-utf8-maps.ads 2025-07-12 23.2 kB
0
tables.gpr 2025-06-29 8.7 kB
0
strings_edit.gpr 2025-06-29 14.3 kB
0
units-gtk.gpr 2025-06-22 975 Bytes
0
units.gpr 2025-06-22 1.7 kB
0
strings_edit-utf8-categorization.adb 2025-03-11 90.1 kB
0
strings_edit-utf8-mapping.adb 2025-03-11 139.9 kB
0
strings_edit-utf8-handling.ads 2025-01-30 4.5 kB
0
complex_measures.ads 2023-04-22 2.2 kB
0
generic_complex_measures.adb 2023-04-22 19.8 kB
0
generic_complex_measures.ads 2023-04-22 11.2 kB
0
measures.ads 2023-04-22 11.6 kB
0
measures_generic_edit.adb 2022-11-26 66.4 kB
0
tables.adb 2022-11-26 13.4 kB
0
strings_edit-utf8-iso_8859_2.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_3.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_4.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_5.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_6.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_7.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_8.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_9.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-iso_8859_10.ads 2022-08-18 4.3 kB
0
strings_edit-utf8-itu_t61.ads 2022-08-18 4.2 kB
0
strings_edit-utf8-koi8.ads 2022-08-18 3.6 kB
0
strings_edit-utf8-macos_roman.ads 2022-08-18 3.8 kB
0
strings_edit-utf8-radix50.ads 2022-08-18 3.4 kB
0
strings_edit-utf8-windows_1250.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1251.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1252.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1253.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1254.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1255.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1256.ads 2022-08-18 3.8 kB
0
strings_edit-utf8-windows_1257.ads 2022-08-18 4.4 kB
0
strings_edit-utf8-windows_1258.ads 2022-08-18 4.4 kB
0
strings_edit-iso_8601.adb 2022-08-04 27.6 kB
0
tables-names.adb 2022-05-19 11.6 kB
0
strings_edit-streams-generic_integer.adb 2020-11-29 7.8 kB
0
strings_edit-streams-generic_modular.adb 2020-11-29 5.5 kB
0
strings_edit-streams-generic_unsigned.adb 2020-11-29 5.7 kB
0
strings_edit-quoted.ads 2020-08-30 4.1 kB
0
measures_gtk_edit-dialogs.adb 2020-05-29 10.6 kB
0
measures_gtk_edit-gentry-cell_renderer.adb 2020-05-29 21.7 kB
0
measures_gtk_edit-gentry.adb 2020-05-29 16.7 kB
0
measures_gtk_edit.adb 2020-05-29 34.9 kB
0
strings_edit-chacha20-aead.adb 2020-05-29 9.0 kB
0
strings_edit-chacha20-aead.ads 2020-05-29 3.8 kB
0
strings_edit-chacha20.adb 2020-05-29 21.2 kB
0
strings_edit-utf8-blocks.ads 2020-05-29 16.0 kB
0
strings_edit-integer_edit.ads 2020-01-02 7.2 kB
0
strings_edit-utf8-maps-constants.ads 2019-09-14 4.6 kB
0
tables-names.ads 2019-09-14 5.6 kB
0
tables.ads 2019-09-14 11.4 kB
0
strings_edit-distinguished_names.adb 2019-08-01 51.7 kB
0
strings_edit-float_edit.adb 2019-08-01 19.7 kB
0
strings_edit-object_identifiers.adb 2019-08-01 7.6 kB
0
strings_edit-text_edit.adb 2019-08-01 7.1 kB
0
strings_edit-base64.adb 2019-08-01 15.5 kB
0
strings_edit-base64.ads 2019-08-01 7.9 kB
0
strings_edit-distinguished_names.ads 2019-08-01 15.1 kB
0
strings_edit-iso_8601.ads 2019-08-01 5.4 kB
0
strings_edit-object_identifiers.ads 2019-08-01 5.7 kB
0
strings_edit-utf8-itu_t61.adb 2019-06-23 13.8 kB
0
strings_edit-long_floats.ads 2019-06-23 2.0 kB
0
strings_edit-utf8-windows_1258.adb 2018-11-04 20.0 kB
0
strings_edit-chacha20-poly1305.adb 2018-11-04 16.6 kB
0
strings_edit-utf8-iso_8859_2.adb 2018-11-04 17.4 kB
0
strings_edit-utf8-iso_8859_3.adb 2018-11-04 16.8 kB
0
strings_edit-utf8-iso_8859_4.adb 2018-11-04 17.4 kB
0
strings_edit-utf8-iso_8859_5.adb 2018-11-04 17.4 kB
0
strings_edit-utf8-iso_8859_6.adb 2018-11-04 13.0 kB
0
strings_edit-utf8-iso_8859_7.adb 2018-11-04 17.1 kB
0
strings_edit-utf8-iso_8859_8.adb 2018-11-04 13.9 kB
0
strings_edit-utf8-iso_8859_9.adb 2018-11-04 17.4 kB
0
strings_edit-utf8-iso_8859_10.adb 2018-11-04 17.4 kB
0
strings_edit-utf8-koi8.adb 2018-11-04 19.0 kB
0
strings_edit-utf8-macos_roman.adb 2018-11-04 19.1 kB
0
strings_edit-utf8-radix50.adb 2018-11-04 9.5 kB
0
strings_edit-utf8-recoding_streams.adb 2018-11-04 13.5 kB
0
strings_edit-utf8-windows_1250.adb 2018-11-04 20.3 kB
0
strings_edit-utf8-windows_1251.adb 2018-11-04 20.9 kB
0
strings_edit-utf8-windows_1252.adb 2018-11-04 10.6 kB
0
strings_edit-utf8-windows_1253.adb 2018-11-04 19.3 kB
0
strings_edit-utf8-windows_1254.adb 2018-11-04 20.1 kB
0
strings_edit-utf8-windows_1255.adb 2018-11-04 18.7 kB
0
strings_edit-utf8-windows_1256.adb 2018-11-04 19.2 kB
0
strings_edit-utf8-windows_1257.adb 2018-11-04 19.8 kB
0
strings_edit-utf8-recoding_streams.ads 2018-11-04 5.5 kB
0
strings_edit-chacha20-poly1305.ads 2018-08-03 5.1 kB
0
strings_edit-chacha20.ads 2018-08-03 10.8 kB
0
intervals.gpr 2018-07-24 790 Bytes
0
measures_gtk_edit-dialogs.ads 2016-07-21 6.8 kB
0
measures_generic_edit.ads 2016-04-09 11.5 kB
0
units-utf8_edit.adb 2016-04-09 6.6 kB
0
intervals-measures.adb 2016-04-08 22.1 kB
0
strings_edit-integer_edit.adb 2016-04-07 8.7 kB
0
strings_edit-lexicographical_order.adb 2016-04-07 6.8 kB
0
strings_edit-utf8-integer_edit.adb 2016-04-07 7.8 kB
0
strings_edit-utf8-subscript.adb 2016-04-07 4.5 kB
0
strings_edit-utf8-wildcards.adb 2016-04-07 11.2 kB
0
strings_edit-utf8-wildcards.ads 2016-04-07 3.8 kB
0
strings_edit-utf8.adb 2016-04-07 10.6 kB
0
strings_edit-streams-generic_integer.ads 2016-04-07 3.7 kB
0
strings_edit-streams-generic_modular.ads 2016-04-07 3.7 kB
0
strings_edit-streams-generic_unsigned.ads 2016-04-07 3.8 kB
0
strings_edit-streams-integers.ads 2014-11-22 2.1 kB
0
strings_edit-streams-integers_32.ads 2014-11-22 2.1 kB
0
strings_edit-streams-integers_64.ads 2014-11-22 2.1 kB
0
strings_edit-streams-naturals.ads 2014-11-22 2.1 kB
0
strings_edit-streams-unsigneds_32.ads 2014-11-22 2.1 kB
0
strings_edit-streams-unsigneds_64.ads 2014-11-22 2.1 kB
0
intervals-floats.ads 2014-06-06 12.1 kB
0
strings_edit-float_edit.ads 2014-06-06 9.8 kB
0
strings_edit-integers-subscript.ads 2014-06-06 2.1 kB
0
strings_edit-integers-superscript.ads 2014-06-06 2.1 kB
0
measures_gtk_edit-gentry-cell_renderer.ads 2014-05-30 14.5 kB
0
measures_gtk_edit-gentry.ads 2014-05-30 10.9 kB
0
measures_gtk_edit.ads 2014-05-30 12.0 kB
0
units.adb 2014-05-30 6.8 kB
0
units.ads 2014-05-30 6.0 kB
0
measures_irregular.ads 2013-04-27 9.9 kB
0
strings_edit-utf8-wildcards-case_insensitive.adb 2012-10-13 3.0 kB
0
strings_edit-utf8-wildcards-case_insensitive.ads 2012-10-13 2.6 kB
0
strings_edit-lexicographical_order.ads 2012-04-02 3.5 kB
0
intervals-measures.ads 2012-01-21 15.9 kB
0
measures_universal_edit.ads 2011-03-19 11.0 kB
0
measures_utf8_edit.adb 2011-03-19 4.4 kB
0
measures_utf8_edit.ads 2011-03-19 10.9 kB
0
intervals-floats.adb 2010-04-14 16.8 kB
0
strings_edit.adb 2009-12-26 8.1 kB
0
measures_universal_edit.adb 2009-08-07 4.8 kB
0
strings_edit.ads 2009-05-08 13.3 kB
0
strings_edit-fields.adb 2009-04-21 4.8 kB
0
strings_edit-fields.ads 2009-04-21 4.7 kB
0
strings_edit-floats.ads 2009-04-21 2.0 kB
0
strings_edit-generic_scale.adb 2009-04-21 4.0 kB
0
strings_edit-generic_scale.ads 2009-04-21 4.2 kB
0
strings_edit-integers.ads 2009-04-21 2.0 kB
0
strings_edit-quoted.adb 2009-04-21 6.0 kB
0
strings_edit-roman_edit.adb 2009-04-21 8.0 kB
0
strings_edit-roman_edit.ads 2009-04-21 5.9 kB
0
strings_edit-utf8-categorization.ads 2009-04-21 5.7 kB
0
strings_edit-utf8-handling.adb 2009-04-21 5.9 kB
0
strings_edit-utf8-integer_edit.ads 2009-04-21 7.0 kB
0
strings_edit-utf8-mapping.ads 2009-04-21 3.5 kB
0
strings_edit-utf8-subscript-integer_edit.ads 2009-04-21 7.7 kB
0
strings_edit-utf8-subscript.ads 2009-04-21 4.5 kB
0
strings_edit-utf8-superscript-integer_edit.ads 2009-04-21 7.6 kB
0
strings_edit-utf8-superscript.adb 2009-04-21 6.2 kB
0
strings_edit-utf8-superscript.ads 2009-04-21 4.5 kB
0
strings_edit-utf8.ads 2009-04-21 7.5 kB
0
measures.adb 2008-07-06 8.5 kB
0
intervals-integers.ads 2008-07-06 12.0 kB
0
measures_derived.ads 2008-07-05 4.9 kB
0
float_measures.ads 2007-10-13 2.0 kB
0
float_measures_derived.ads 2007-10-13 2.0 kB
0
float_measures_edit.ads 2007-10-13 2.1 kB
0
float_measures_elementary_functions.ads 2007-10-13 2.1 kB
0
float_measures_irregular.ads 2007-10-13 2.1 kB
0
float_measures_universal_edit.ads 2007-10-13 2.2 kB
0
float_measures_utf8_edit.ads 2007-10-13 2.2 kB
0
gtk-float_measures_cell_renderer.ads 2007-10-13 2.1 kB
0
gtk-float_measures_dialogs.ads 2007-10-13 2.1 kB
0
gtk-float_measures_edit.ads 2007-10-13 2.1 kB
0
gtk-float_measures_entry.ads 2007-10-13 2.1 kB
0
measures_edit.adb 2007-10-13 6.8 kB
0
measures_edit.ads 2007-10-13 12.1 kB
0
measures_elementary_functions.adb 2007-10-13 8.1 kB
0
measures_elementary_functions.ads 2007-10-13 6.0 kB
0
measures_table_of_integer.ads 2007-10-13 2.1 kB
0
measures_table_of_measure.ads 2007-10-13 2.1 kB
0
units-base.ads 2007-10-13 2.7 kB
0
units-constants.ads 2007-10-13 3.0 kB
0
units-edit.adb 2007-10-13 6.1 kB
0
units-edit.ads 2007-10-13 2.9 kB
0
units-utf8_edit.ads 2007-10-13 2.8 kB
0
float_interval_measures.ads 2007-07-27 2.2 kB
0
integer_intervals.ads 2006-10-08 2.0 kB
0
intervals-integers.adb 2006-10-08 13.8 kB
0
intervals.adb 2006-10-08 5.0 kB
0
intervals.ads 2006-10-08 4.2 kB
0
float_intervals.ads 2006-10-08 2.0 kB
0
Totals: 195 Items   1.9 MB 0 
The directory contains the project Interval Arithmetic for Ada. See:

   http://www.dmitry-kazakov.de/ada/intervals.htm

The subdirectory test_intervals contains self-tests.
Source: readme_intervals.txt, updated 2025-07-12