OSDN -- Desarrollar y descargar software de código abierto
Translation Status of Español translation status for es

RSS
Download List

Descripción del Proyecto

The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported

System Requirements

Sistema Operativo: Cygwin (MS Windows), MinGW/MSYS (MS Windows), All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), VxWorks, POSIX (Linux,BSD,Solaris etc..), BSD, Windows

Download Package list

Latest 5 files
Nombre Tamaño Fecha Download count
intervals_1_13.tgz 605.5 KB 2022-01-29 22:29 2
readme_intervals.txt 0.2 KB 2022-01-28 21:41 5
readme.txt 0.1 KB 2022-01-28 21:41 5
intervals.htm 70.0 KB 2022-01-28 21:41 9
readme.txt 0.7 KB 2022-01-28 21:40 2
Todos los Ficheros
releases
intervals_1_13.tgz605.5 KB2022-01-29 22:292
intervals_1_12.tgz514.6 KB2018-06-02 17:568
intervals_1_9.tgz495.8 KB2015-01-18 02:1912
intervals_1_11.tgz503.7 KB2014-07-27 03:536
documentation
intervals.htm70.0 KB2022-01-28 21:419
units.htm295.8 KB2022-01-28 21:4011
strings_edit.htm352.7 KB2022-01-28 21:405
tables.htm44.6 KB2022-01-28 21:403
ubuntu-logo.jpg1.3 KB2017-08-10 05:230
centos-logo.jpg1.1 KB2016-09-18 21:540
debian-logo.jpg1.1 KB2010-05-16 20:575
fedora-logo.jpg1.0 KB2010-05-16 20:416
units_converter.gif37.7 KB2007-07-08 17:5114
gtk_unit_selection_widget.gif8.5 KB2007-04-24 05:182
gtk_unit_selection_dialog.gif11.7 KB2007-04-24 05:165
strings_edit_scale.gif7.1 KB2007-03-19 18:588
download.jpg1.7 KB2002-05-13 16:215
home.jpg1.6 KB2002-05-13 16:217
index.gif1.0 KB2002-05-13 16:217
next.gif1.0 KB2002-05-13 16:216
prev.gif1.0 KB2002-05-13 16:2114
in.jpg1.7 KB2001-04-21 05:2411
sources
readme_intervals.txt0.2 KB2022-01-28 21:415
test_intervals
readme.txt0.1 KB2022-01-28 21:415
intervals-test.gpr0.3 KB2018-07-25 01:332
test_float_intervals.adb14.8 KB2010-05-30 06:351
test_integer_intervals.adb12.3 KB2010-05-30 06:352
readme_units.txt0.2 KB2022-01-28 21:403
test_units
readme_units.txt0.3 KB2022-01-28 21:405
test_gtk_unit_selection.adb15.2 KB2020-05-29 18:261
units-gtk-test_gtk_unit_selection.gpr0.8 KB2018-07-24 23:442
units-test_measures.gpr0.2 KB2018-07-24 23:424
test_measures.adb23.6 KB2014-05-30 18:504
units-examples
units-converter
gtk
readme.txt0.7 KB2022-01-28 21:402
units_converter.gpr0.8 KB2018-07-25 01:062
units_converter.adb6.8 KB2016-10-08 16:433
win32
readme.txt0.2 KB2022-01-28 21:404
units_converter.RES0.6 KB2022-01-28 21:401
units_converter.adb10.3 KB2021-05-30 05:591
units_converter.rc2.6 KB2021-05-30 05:592
units_converter.gpr0.5 KB2021-05-30 05:587
units-mapper
readme.txt0.6 KB2022-01-28 21:402
units_mapper.adb6.0 KB2020-05-29 18:265
units_mapper.gpr0.7 KB2018-07-25 01:084
readme_strings_edit.txt0.2 KB2022-01-28 21:404
test_strings_edit
readme_strings_edit.txt0.5 KB2022-01-28 21:407
test_base64.adb15.0 KB2022-01-28 21:326
test_koi8.adb2.6 KB2019-08-02 01:400
test_oid.adb3.2 KB2019-08-02 01:400
test_dn.adb6.7 KB2019-08-02 01:400
test_iso_8601.adb8.7 KB2019-08-02 01:400
strings_edit-test.gpr2.5 KB2019-07-29 04:173
test_itu_t61.adb3.6 KB2019-06-23 20:360
test_iso_8859_9.adb3.2 KB2018-11-04 20:270
test_macos_roman.adb2.6 KB2018-11-04 20:272
test_radix50.adb2.9 KB2018-11-04 20:270
test_string_streams.adb10.3 KB2018-11-04 20:272
test_windows_1250.adb3.2 KB2018-11-04 20:271
test_windows_1251.adb2.7 KB2018-11-04 20:270
test_windows_1252.adb3.2 KB2018-11-04 20:270
test_windows_1253.adb3.5 KB2018-11-04 20:270
test_windows_1254.adb3.3 KB2018-11-04 20:270
test_windows_1255.adb3.5 KB2018-11-04 20:270
test_windows_1256.adb2.6 KB2018-11-04 20:270
test_windows_1257.adb3.5 KB2018-11-04 20:270
test_windows_1258.adb3.4 KB2018-11-04 20:270
test_iso_8859_10.adb3.2 KB2018-11-04 20:270
test_iso_8859_2.adb3.2 KB2018-11-04 20:270
test_iso_8859_3.adb3.4 KB2018-11-04 20:270
test_iso_8859_4.adb3.2 KB2018-11-04 20:270
test_iso_8859_5.adb3.2 KB2018-11-04 20:270
test_iso_8859_6.adb3.4 KB2018-11-04 20:270
test_iso_8859_7.adb3.3 KB2018-11-04 20:270
test_iso_8859_8.adb3.3 KB2018-11-04 20:270
test_chacha20.adb16.2 KB2018-08-04 18:200
strings_edit-utf8-categorization_generator.adb20.8 KB2018-07-29 18:442
strings_edit-utf8-mapping_generator.adb16.0 KB2018-07-29 18:445
test_strings_edit.adb34.6 KB2016-04-08 05:444
UnicodeData.txt1.0 MB2008-01-12 23:1426
readme_tables.txt0.2 KB2022-01-28 21:402
test_tables
readme_tables.txt0.2 KB2022-01-28 21:401
tables-test.gpr0.6 KB2018-07-24 23:324
test_tables.adb7.0 KB2016-04-08 05:443
test_tables_check_matched.adb2.0 KB2010-06-24 03:152
test_tables_check_spelling.adb2.5 KB2010-06-24 03:154
test_tables_names.ads2.1 KB2010-06-24 03:159
test_tables_table.ads1.9 KB2010-06-24 03:152
strings_edit.gpr12.9 KB2021-01-04 06:302
strings_edit-streams-generic_integer.adb7.6 KB2020-11-29 18:132
strings_edit-streams-generic_modular.adb5.4 KB2020-11-29 18:131
strings_edit-streams-generic_unsigned.adb5.6 KB2020-11-29 18:134
strings_edit-quoted.ads4.0 KB2020-08-30 21:391
measures_gtk_edit.adb34.1 KB2020-05-29 18:265
measures_gtk_edit-dialogs.adb10.4 KB2020-05-29 18:2611
measures_gtk_edit-gentry.adb16.4 KB2020-05-29 18:269
measures_gtk_edit-gentry-cell_renderer.adb21.2 KB2020-05-29 18:266
strings_edit-utf8-maps.adb66.8 KB2020-05-29 18:264
strings_edit-chacha20.adb20.7 KB2020-05-29 18:263
strings_edit-chacha20-aead.adb8.8 KB2020-05-29 18:260
strings_edit-chacha20-aead.ads3.7 KB2020-05-29 18:262
strings_edit-iso_8601.adb26.8 KB2020-05-29 18:260
strings_edit-utf8-blocks.ads15.6 KB2020-05-29 18:266
strings_edit-utf8-maps.ads22.2 KB2020-05-29 18:263
strings_edit-integer_edit.ads7.0 KB2020-01-03 01:3613
strings_edit-streams.adb4.6 KB2019-09-14 20:114
strings_edit-utf8-maps-constants.ads4.5 KB2019-09-14 20:116
tables.adb13.2 KB2019-09-14 20:119
tables.ads11.1 KB2019-09-14 20:115
tables-names.adb11.3 KB2019-09-14 20:115
tables-names.ads5.4 KB2019-09-14 20:114
tables.gpr7.5 KB2019-08-20 18:272
strings_edit-distinguished_names.adb50.5 KB2019-08-02 01:400
strings_edit-float_edit.adb19.3 KB2019-08-02 01:401
strings_edit-object_identifiers.adb7.4 KB2019-08-02 01:400
strings_edit-text_edit.adb6.9 KB2019-08-02 01:402
strings_edit-base64.adb15.2 KB2019-08-02 01:408
strings_edit-base64.ads7.7 KB2019-08-02 01:405
strings_edit-distinguished_names.ads14.8 KB2019-08-02 01:400
strings_edit-iso_8601.ads5.3 KB2019-08-02 01:400
strings_edit-object_identifiers.ads5.6 KB2019-08-02 01:400
strings_edit-utf8-itu_t61.adb13.4 KB2019-06-23 20:360
strings_edit-utf8-itu_t61.ads4.2 KB2019-06-23 20:360
strings_edit-long_floats.ads2.0 KB2019-06-23 20:360
strings_edit-utf8-windows_1258.adb19.5 KB2018-11-04 20:270
strings_edit-chacha20-poly1305.adb16.2 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_10.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_2.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_3.adb16.4 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_4.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_5.adb17.0 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_6.adb12.7 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_7.adb16.7 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_8.adb13.6 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_9.adb17.0 KB2018-11-04 20:270
strings_edit-utf8-koi8.adb18.5 KB2018-11-04 20:270
strings_edit-utf8-macos_roman.adb18.7 KB2018-11-04 20:270
strings_edit-utf8-radix50.adb9.3 KB2018-11-04 20:270
strings_edit-utf8-recoding_streams.adb13.1 KB2018-11-04 20:270
strings_edit-utf8-windows_1250.adb19.8 KB2018-11-04 20:270
strings_edit-utf8-windows_1251.adb20.4 KB2018-11-04 20:270
strings_edit-utf8-windows_1252.adb10.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1253.adb18.9 KB2018-11-04 20:271
strings_edit-utf8-windows_1254.adb19.6 KB2018-11-04 20:270
strings_edit-utf8-windows_1255.adb18.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1256.adb18.7 KB2018-11-04 20:270
strings_edit-utf8-windows_1257.adb19.3 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_10.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_2.ads4.2 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_3.ads4.2 KB2018-11-04 20:271
strings_edit-utf8-iso_8859_4.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_5.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_6.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_7.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_8.ads4.2 KB2018-11-04 20:270
strings_edit-utf8-iso_8859_9.ads4.2 KB2018-11-04 20:271
strings_edit-utf8-koi8.ads3.6 KB2018-11-04 20:270
strings_edit-utf8-macos_roman.ads3.7 KB2018-11-04 20:270
strings_edit-utf8-radix50.ads3.3 KB2018-11-04 20:270
strings_edit-utf8-recoding_streams.ads5.4 KB2018-11-04 20:270
strings_edit-utf8-windows_1250.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1251.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1252.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1253.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1254.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1255.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1256.ads3.7 KB2018-11-04 20:270
strings_edit-utf8-windows_1257.ads4.3 KB2018-11-04 20:270
strings_edit-utf8-windows_1258.ads4.3 KB2018-11-04 20:270
strings_edit-chacha20.ads10.5 KB2018-08-03 17:210
strings_edit-chacha20-poly1305.ads4.9 KB2018-08-03 17:211
intervals.gpr0.8 KB2018-07-25 01:333
units.gpr1.9 KB2018-07-25 01:0312
units-gtk.gpr1.3 KB2018-07-24 23:426
measures_gtk_edit-dialogs.ads6.7 KB2016-07-21 14:536
measures_generic_edit.adb64.5 KB2016-04-09 16:596
measures_generic_edit.ads11.2 KB2016-04-09 16:597
units-utf8_edit.adb6.4 KB2016-04-09 16:591
intervals-measures.adb21.6 KB2016-04-09 04:384
strings_edit-integer_edit.adb8.5 KB2016-04-08 05:443
strings_edit-lexicographical_order.adb6.6 KB2016-04-08 05:442
strings_edit-utf8.adb10.4 KB2016-04-08 05:445
strings_edit-utf8-integer_edit.adb7.7 KB2016-04-08 05:445
strings_edit-utf8-subscript.adb4.4 KB2016-04-08 05:445
strings_edit-utf8-wildcards.adb10.9 KB2016-04-08 05:444
strings_edit-utf8-wildcards.ads3.7 KB2016-04-08 05:444
strings_edit-streams-generic_integer.ads3.6 KB2016-04-08 05:444
strings_edit-streams-generic_modular.ads3.6 KB2016-04-08 05:442
strings_edit-streams-generic_unsigned.ads3.7 KB2016-04-08 05:443
strings_edit-streams-integers_32.ads2.1 KB2014-11-22 18:038
strings_edit-streams-integers_64.ads2.1 KB2014-11-22 18:032
strings_edit-streams-integers.ads2.0 KB2014-11-22 18:034
strings_edit-streams-naturals.ads2.0 KB2014-11-22 18:032
strings_edit-streams-unsigneds_32.ads2.1 KB2014-11-22 18:037
strings_edit-streams-unsigneds_64.ads2.1 KB2014-11-22 18:033
intervals-floats.ads11.8 KB2014-06-07 03:533
strings_edit-float_edit.ads9.6 KB2014-06-07 02:104
strings_edit-integers-subscript.ads2.0 KB2014-06-07 02:105
strings_edit-integers-superscript.ads2.0 KB2014-06-07 02:104
measures_gtk_edit.ads11.8 KB2014-05-30 18:501
measures_gtk_edit-gentry.ads10.6 KB2014-05-30 18:502
measures_gtk_edit-gentry-cell_renderer.ads14.2 KB2014-05-30 18:505
units.adb6.7 KB2014-05-30 18:503
units.ads5.9 KB2014-05-30 18:509
measures_irregular.ads9.7 KB2013-04-27 17:105
strings_edit-utf8-wildcards-case_insensitive.adb2.9 KB2012-10-13 18:551
strings_edit-utf8-wildcards-case_insensitive.ads2.5 KB2012-10-13 18:556
strings_edit-lexicographical_order.ads3.4 KB2012-04-02 21:322
strings_edit-streams.ads4.7 KB2012-02-11 22:231
intervals-measures.ads15.5 KB2012-01-22 04:444
measures_universal_edit.ads10.8 KB2011-03-19 21:423
measures_utf8_edit.adb4.3 KB2011-03-19 21:428
measures_utf8_edit.ads10.6 KB2011-03-19 21:422
intervals-floats.adb16.4 KB2010-04-14 18:210
strings_edit.adb7.9 KB2009-12-26 18:246
measures_universal_edit.adb4.7 KB2009-08-07 16:246
strings_edit.ads13.0 KB2009-05-09 05:146
strings_edit-fields.adb4.7 KB2009-04-22 04:031
strings_edit-fields.ads4.6 KB2009-04-22 04:033
strings_edit-floats.ads2.0 KB2009-04-22 04:032
strings_edit-generic_scale.adb3.9 KB2009-04-22 04:036
strings_edit-generic_scale.ads4.1 KB2009-04-22 04:034
strings_edit-integers.ads2.0 KB2009-04-22 04:035
strings_edit-quoted.adb5.8 KB2009-04-22 04:033
strings_edit-roman_edit.adb7.8 KB2009-04-22 04:037
strings_edit-roman_edit.ads5.8 KB2009-04-22 04:034
strings_edit-utf8.ads7.3 KB2009-04-22 04:031
strings_edit-utf8-categorization.adb55.9 KB2009-04-22 04:033
strings_edit-utf8-categorization.ads5.6 KB2009-04-22 04:033
strings_edit-utf8-handling.adb5.8 KB2009-04-22 04:036
strings_edit-utf8-handling.ads4.4 KB2009-04-22 04:034
strings_edit-utf8-integer_edit.ads6.9 KB2009-04-22 04:032
strings_edit-utf8-mapping.adb101.0 KB2009-04-22 04:032
strings_edit-utf8-mapping.ads3.4 KB2009-04-22 04:031
strings_edit-utf8-subscript.ads4.4 KB2009-04-22 04:036
strings_edit-utf8-subscript-integer_edit.ads7.5 KB2009-04-22 04:032
strings_edit-utf8-superscript.adb6.1 KB2009-04-22 04:038
strings_edit-utf8-superscript.ads4.4 KB2009-04-22 04:033
strings_edit-utf8-superscript-integer_edit.ads7.4 KB2009-04-22 04:035
measures.adb8.3 KB2008-07-06 17:514
intervals-integers.ads11.8 KB2008-07-06 16:533
measures_derived.ads4.8 KB2008-07-06 00:195
float_measures.ads1.9 KB2007-10-13 17:136
float_measures_derived.ads2.0 KB2007-10-13 17:136
float_measures_edit.ads2.1 KB2007-10-13 17:134
float_measures_elementary_functions.ads2.0 KB2007-10-13 17:131
float_measures_irregular.ads2.0 KB2007-10-13 17:133
float_measures_universal_edit.ads2.1 KB2007-10-13 17:135
float_measures_utf8_edit.ads2.1 KB2007-10-13 17:131
gtk-float_measures_cell_renderer.ads2.0 KB2007-10-13 17:130
gtk-float_measures_dialogs.ads2.1 KB2007-10-13 17:136
gtk-float_measures_edit.ads2.1 KB2007-10-13 17:134
gtk-float_measures_entry.ads2.1 KB2007-10-13 17:133
measures.ads11.3 KB2007-10-13 17:133
measures_edit.adb6.7 KB2007-10-13 17:131
measures_edit.ads11.8 KB2007-10-13 17:134
measures_elementary_functions.adb8.0 KB2007-10-13 17:133
measures_elementary_functions.ads5.8 KB2007-10-13 17:132
measures_table_of_integer.ads2.0 KB2007-10-13 17:130
measures_table_of_measure.ads2.0 KB2007-10-13 17:134
units-base.ads2.6 KB2007-10-13 17:131
units-constants.ads2.9 KB2007-10-13 17:132
units-edit.adb5.9 KB2007-10-13 17:138
units-edit.ads2.8 KB2007-10-13 17:134
units-utf8_edit.ads2.7 KB2007-10-13 17:131
float_interval_measures.ads2.1 KB2007-07-28 05:031
integer_intervals.ads2.0 KB2006-10-08 21:342
intervals.adb4.9 KB2006-10-08 21:343
intervals.ads4.1 KB2006-10-08 21:347
intervals-integers.adb13.5 KB2006-10-08 21:346
float_intervals.ads2.0 KB2006-10-08 21:343