descriptionPPL sources central repository
ownergit repository hosting
last changeWed, 22 Jan 2020 08:31:07 +0000
shortlog
8 hours ago Roberto BagnaraCopyright years bumped. master
2019-12-10 Roberto BagnaraAvoid mixing build log with analysis results.
2019-12-09 Roberto BagnaraAdded sample analysis script.
2019-08-14 Abramo BagnaraRemoved pointless qualifier.
2019-08-13 Roberto BagnaraUpdated.
2019-02-25 Abramo BagnaraAdded suport for SWI-Prolog 8 in windows.
2019-01-26 Roberto BagnaraBumped copyright years.
2018-11-06 Roberto BagnaraUpdated.
2018-06-19 Enea ZaffanellaFixed bug recently uncovered in method relation_with().
2018-06-19 Enea ZaffanellaFixed the expected result for test12:
2018-06-18 Abramo BagnaraUse --dump-runtime-variables.
2018-05-04 Roberto BagnaraDisable Kpathsea case-insensitive filename matching.
2018-03-28 Roberto BagnaraRevert "Better support for dynamically-loadable modules."
2018-03-27 Roberto BagnaraEscape backslashes in PPL_CONFIGURE_OPTIONS.
2018-03-27 Roberto BagnaraBetter support for dynamically-loadable modules.
2018-03-27 Roberto BagnaraTypo fixed.
...
tags
11 years ago bounded_arithmetic_after_third_merge_from_trunk
11 years ago products_root
11 years ago third_merge_to_bounded_arithmetic
11 years ago ppl_0_10_release
11 years ago bounded_arithmetic_after_second_merge_from_trunk
11 years ago bounded_arithmetic_before_third_merge_from_trunk
11 years ago second_merge_to_bounded_arithmetic
11 years ago generalized_streams_root
11 years ago bounded_arithmetic_after_first_merge_from_trunk
11 years ago bounded_arithmetic_before_second_merge_from_trunk
11 years ago first_merge_to_bounded_arithmetic
11 years ago simplex_after_fifth_merge_from_trunk
11 years ago simplex_before_fifth_merge_from_trunk
11 years ago bounded_arithmetic_before_first_merge_from_trunk
11 years ago bounded_arithmetic_root
11 years ago fifth_merge_to_simplex
...
heads
8 hours ago master
11 months ago devel
3 years ago ppl-1_2-branch
5 years ago compliance
6 years ago ppl-1_1-branch
6 years ago polyops
7 years ago ppl-1_0-branch
7 years ago ppl-0_12-branch
7 years ago sparse_matrices
8 years ago bounded_arithmetic
8 years ago ppl-0_11-branch
8 years ago floating_point
8 years ago pip
9 years ago COW
9 years ago MPI
9 years ago products
...