Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
READ_ME | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_lifting_functions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
inner_normal_cones.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_lifting_functions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_lifting_functions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_lifting_utilities.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_lifting_utilities.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_mixed_subdivisions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_mixed_subdivisions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_mixed_subdivisions_io.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_mixed_subdivisions_io.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_polyhedral_continuation.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_polyhedral_continuation.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_pruning_methods.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
integer_pruning_methods.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
mixed_coherent_subdivisions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
mixed_coherent_subdivisions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
mixed_volume_computation.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
mixed_volume_computation.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
normal_cone_intersections.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
normal_cone_intersections.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
normal_cone_intersections_io.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
normal_cone_intersections_io.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
pruning_statistics.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
pruning_statistics.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
ts_conint.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
ts_drivcrit.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
ts_drivstal.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
ts_mixture.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
ts_mixvol.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_integer_convertors.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_integer_convertors.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_lifting_functions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_mixed_subdivisions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_mixed_subdivisions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_mixed_subdivisions_io.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_mixed_subdivisions_io.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_pruning_methods.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
inner_normal_cones.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
bkk_bound_computations.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
bkk_bound_computations.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
contributions_to_mixed_volume.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
contributions_to_mixed_volume.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
driver_for_criterion.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
driver_for_criterion.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
drivers_for_lifting_functions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
drivers_for_lifting_functions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
drivers_for_mixed_contributions.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
drivers_for_mixed_contributions.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
drivers_for_static_lifting.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
drivers_for_static_lifting.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_lifting_utilities.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_lifting_utilities.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_polyhedral_continuation.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_polyhedral_continuation.ads | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |
floating_pruning_methods.adb | 1.1.1.1 | 24 years | maekawa | Import the second public release of PHCpack. OKed by Jan Verschelde. |