summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2013-12-28Removed duplicate entry.Roberto Bagnara1-31/+0
2013-12-28Book title fixed.Roberto Bagnara1-3/+4
2013-12-28Title fixed and abstract added.Roberto Bagnara1-1/+25
2013-12-28Fixed more book titles.Roberto Bagnara1-12/+16
2013-12-28Book title fixed.Roberto Bagnara1-1/+2
2013-12-28Fixed several typos.Roberto Bagnara1-10/+12
2013-12-27Typo fixed.Patricia Hill1-1/+0
2013-12-27Typo fixed.Patricia Hill1-1/+1
2013-12-27Added recently published papers citing the PPL.Patricia Hill1-2/+764
2013-12-11Fixed check_nil_terminating().Roberto Bagnara1-6/+2
2013-12-11Some corrections.Roberto Bagnara1-3/+3
2013-12-11Use Prolog_put_nil() and Prolog_get_nil().Roberto Bagnara2-26/+26
2013-12-11Added Prolog_put_nil() and Prolog_get_nil().Roberto Bagnara1-0/+19
2013-12-01Useless typedefs avoided. Formatting improved on passing.Roberto Bagnara4-46/+19
2013-11-08Version number bumped.Roberto Bagnara2-2/+3
2013-10-28Updated.Roberto Bagnara1-0/+19
2013-10-28Updated.Roberto Bagnara6-12/+108
2013-10-28Worked around a Doxygen bug.Roberto Bagnara1-0/+5
2013-10-28Updated.Roberto Bagnara1-1/+3
2013-10-28Updated.Roberto Bagnara1-0/+2673
2013-10-28Label updated.Roberto Bagnara1-1/+1
2013-10-28BenerecettiFM13 has been published.Roberto Bagnara2-23/+48
2013-10-28Updated.Roberto Bagnara4-8/+8
2013-10-28Test renamed.Roberto Bagnara2-1/+3
2013-10-28Improved.Roberto Bagnara1-24/+27
2013-10-28Version number bumped.Roberto Bagnara1-1/+1
2013-10-27Fixed a bug.Patricia Hill2-3/+3
2013-10-27A couple of corrections.Roberto Bagnara2-3/+3
2013-10-27Punctuation.Roberto Bagnara1-1/+1
2013-10-27Corrected.Roberto Bagnara1-11/+8
2013-09-24Interfaced Polyhedron::positive_time_elapse_assign().Roberto Bagnara19-28/+212
2013-09-14Missing comment added.Roberto Bagnara1-0/+7
2013-09-14Commented-out code removed.Roberto Bagnara1-32/+19
2013-09-14Version number bumped.Roberto Bagnara1-1/+1
2013-09-14Merge branch 'polyops'.Roberto Bagnara10-22/+694
2013-09-14Version number bumped.Roberto Bagnara1-1/+1
2013-09-14Path fixed.Roberto Bagnara1-1/+1
2013-09-14Give up on -Werror: it increasingly causes problems.Roberto Bagnara2-3/+3
2013-09-14Directory fixed.Roberto Bagnara1-1/+1
2013-09-14Version number bumped.Roberto Bagnara1-1/+1
2013-09-14Mention recently fixed Java interface bug.Enea Zaffanella1-0/+5
2013-09-14Initialize custom_compare_ext field in structure custom_operations.Enea Zaffanella2-5/+10
2013-09-14Do not clean inexistent dat file.Enea Zaffanella2-16/+15
2013-09-14Convert C++ Variable id's to jlong before passing them to Java methods.Enea Zaffanella2-3/+5
2013-09-14Adapted to recent versions of GNU Prolog so as to work on 64-bit machines.Roberto Bagnara1-6/+7
2013-09-14Version number bumped.Roberto Bagnara1-1/+1
2013-09-14Use the serial test harness in these directories.Roberto Bagnara4-0/+8
2013-09-14Automake `subdir-objects' option is not for us.Roberto Bagnara6-6/+6
2013-09-14Updated.Roberto Bagnara5-567/+472
2013-09-14Put under Git control.Roberto Bagnara1-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-22 05:09:56 +0000