descriptionPPL sources central repository
ownergit repository hosting
last changeTue, 10 Dec 2019 14:35:01 +0000
shortlog
17 hours ago Roberto BagnaraAvoid mixing build log with analysis results. master
41 hours ago 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.
2018-03-27 Roberto BagnaraInstall also the header files required for static linking.
...
tags
10 years ago bounded_arithmetic_after_third_merge_from_trunk
10 years ago products_root
10 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
17 hours ago master
10 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
8 years ago COW
9 years ago MPI
9 years ago products
...